Benchmark PRtest TBF Test-Suite Validator
Tool tbf v0.3.0-testcomp19 Tbf Test-suite Validator v1.2
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon010; apollon052; apollon080; apollon107; apollon135; apollon167]
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-06 06:02:44 CET 2019-02-06 13:26:19 CET
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options --stats -i random --write-xml --svcomp-nondets --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/prtest.2019-02-06_0602.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
eca-rers2012/Problem03_label00.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .46 .46 58 2.1  0  
eca-rers2012/Problem03_label01.yml timeout .0718 prog tests 4 inspect 900 840 52 11000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .49 .51 57 2.5  0  
eca-rers2012/Problem03_label02.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .46 57 2.5  0  
eca-rers2012/Problem03_label03.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .48 .48 57 2.1  0  
eca-rers2012/Problem03_label04.yml timeout .0718 prog tests 4 inspect 900 840 52 15000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .44 .43 58 2.5  0  
eca-rers2012/Problem03_label05.yml timeout .0718 prog tests 4 inspect 900 840 52 16000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 58 2.1  0  
eca-rers2012/Problem03_label06.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 58 2.1  0  
eca-rers2012/Problem03_label07.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 57 2.1  0  
eca-rers2012/Problem03_label08.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 57 2.1  0  
eca-rers2012/Problem03_label09.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .49 .49 57 2.5  0  
eca-rers2012/Problem03_label10.yml timeout .0718 prog tests 4 inspect 900 840 52 15000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .46 .46 57 2.5  0  
eca-rers2012/Problem03_label11.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .52 .52 57 2.1  0  
eca-rers2012/Problem03_label12.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .46 58 2.1  0  
eca-rers2012/Problem03_label13.yml timeout .0718 prog tests 4 inspect 900 840 52 11000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .48 .48 57 2.1  0  
eca-rers2012/Problem03_label14.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 58 2.1  0  
eca-rers2012/Problem03_label15.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .52 .52 57 2.1  0  
eca-rers2012/Problem03_label16.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .46 .46 58 2.1  0  
eca-rers2012/Problem03_label17.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .48 .50 57 1.3  0  
eca-rers2012/Problem03_label18.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .48 .48 58 2.1  0  
eca-rers2012/Problem03_label19.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.1  0  
eca-rers2012/Problem03_label20.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.1  0  
eca-rers2012/Problem03_label21.yml timeout .0718 prog tests 4 inspect 900 840 52 15000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .48 .50 57 2.1  0  
eca-rers2012/Problem03_label22.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .48 .49 57 1.1  0  
eca-rers2012/Problem03_label23.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .52 .52 58 2.1  0  
eca-rers2012/Problem03_label24.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .46 .50 58 1.1  0  
eca-rers2012/Problem03_label25.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .47 .50 57 2.1  0  
eca-rers2012/Problem03_label26.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 57 2.1  0  
eca-rers2012/Problem03_label27.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .48 .47 57 2.1  0  
eca-rers2012/Problem03_label28.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.5  0  
eca-rers2012/Problem03_label29.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .50 .50 58 2.5  0  
eca-rers2012/Problem03_label30.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .50 58 1.1  0  
eca-rers2012/Problem03_label31.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .43 .43 57 1.7  0  
eca-rers2012/Problem03_label32.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 57 2.1  0  
eca-rers2012/Problem03_label33.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .45 .46 57 2.5  0  
eca-rers2012/Problem03_label34.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .46 .46 58 2.5  0  
eca-rers2012/Problem03_label35.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .020  0   unknown prog tests 0 inspect
7.18 8.36 .49 .49 58 2.1  0  
eca-rers2012/Problem03_label36.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .51 .51 58 2.5  0  
eca-rers2012/Problem03_label37.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 58 1.8  0  
eca-rers2012/Problem03_label38.yml timeout .0718 prog tests 4 inspect 900 840 52 15000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.2  0  
eca-rers2012/Problem03_label39.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .045  0   unknown prog tests 0 inspect
7.18 8.36 .51 .51 58 2.1  0  
eca-rers2012/Problem03_label40.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .46 .45 58 2.1  0  
eca-rers2012/Problem03_label41.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.1  0  
eca-rers2012/Problem03_label42.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .47 .47 57 2.1  0  
eca-rers2012/Problem03_label43.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .020  0   unknown prog tests 0 inspect
7.18 8.36 .46 .50 58 2.5  0  
eca-rers2012/Problem03_label44.yml timeout .0718 prog tests 4 inspect 900 840 52 15000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 58 2.1  0  
eca-rers2012/Problem03_label45.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .45 .45 57 2.5  0  
eca-rers2012/Problem03_label46.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .025  0   unknown prog tests 0 inspect
7.18 8.36 .50 .50 58 2.1  0  
eca-rers2012/Problem03_label47.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .49 .49 58 2.1  0  
eca-rers2012/Problem03_label48.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .50 .50 57 2.1  0  
eca-rers2012/Problem03_label49.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .50 .50 58 2.1  0  
eca-rers2012/Problem03_label50.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .53 .56 57 1.1  0  
eca-rers2012/Problem03_label51.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .46 .46 57 1.1  0  
eca-rers2012/Problem03_label52.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .049  0   unknown prog tests 0 inspect
7.18 8.36 .43 .43 58 2.5  0  
eca-rers2012/Problem03_label53.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .50 .52 58 2.1  0  
eca-rers2012/Problem03_label54.yml timeout .0718 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .44 .44 58 2.5  0  
eca-rers2012/Problem03_label55.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .51 .50 57 2.1  0  
eca-rers2012/Problem03_label56.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .43 .43 58 2.2  0  
eca-rers2012/Problem03_label57.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .44 .44 58 2.1  0  
eca-rers2012/Problem03_label58.yml timeout .0718 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
7.18 8.36 .51 .51 58 2.1  0  
eca-rers2012/Problem03_label59.yml timeout .0718 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
7.18 8.36 .44 .44 57 2.1  0  
eca-rers2012/Problem04_label00.yml timeout .0987 prog tests 4 inspect 900 840 66 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 4.6  0  
eca-rers2012/Problem04_label01.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.9  0  
eca-rers2012/Problem04_label02.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.8  0  
eca-rers2012/Problem04_label03.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .025  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 5.9  0  
eca-rers2012/Problem04_label04.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.7  0  
eca-rers2012/Problem04_label05.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.7  0  
eca-rers2012/Problem04_label06.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.1  0  
eca-rers2012/Problem04_label07.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 7.7  0  
eca-rers2012/Problem04_label08.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label09.yml timeout .0987 prog tests 4 inspect 900 840 66 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label10.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 8.1  0  
eca-rers2012/Problem04_label13.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 7.3  0  
eca-rers2012/Problem04_label15.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.8  0  
eca-rers2012/Problem04_label16.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label18.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.6  0  
eca-rers2012/Problem04_label19.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 5.2  0  
eca-rers2012/Problem04_label21.yml timeout .0987 prog tests 4 inspect 900 840 65 10000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.9  0  
eca-rers2012/Problem04_label22.yml timeout .0987 prog tests 4 inspect 900 840 65 15000 .025  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 7.3  0  
eca-rers2012/Problem04_label25.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .012  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label26.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 4.5  0  
eca-rers2012/Problem04_label28.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.7  0  
eca-rers2012/Problem04_label30.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.8  0  
eca-rers2012/Problem04_label31.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.7  0  
eca-rers2012/Problem04_label32.yml timeout .0987 prog tests 4 inspect 900 840 66 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.6  0  
eca-rers2012/Problem04_label33.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 7.1  0  
eca-rers2012/Problem04_label34.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .012  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 3.7  0  
eca-rers2012/Problem04_label35.yml timeout .0987 prog tests 4 inspect 900 840 65 11000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.0  1.0  110 8.5  0  
eca-rers2012/Problem04_label38.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 7.1  0  
eca-rers2012/Problem04_label39.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 8.4  0  
eca-rers2012/Problem04_label41.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.0  1.0  110 8.4  0  
eca-rers2012/Problem04_label45.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .025  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label47.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 4.4  0  
eca-rers2012/Problem04_label48.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label50.yml timeout .0987 prog tests 4 inspect 900 840 65 11000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.3  1.3  110 6.7  0  
eca-rers2012/Problem04_label51.yml timeout .0987 prog tests 4 inspect 900 840 65 15000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 7.0  0  
eca-rers2012/Problem04_label52.yml timeout .0987 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.5  0  
eca-rers2012/Problem04_label53.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 6.7  0  
eca-rers2012/Problem04_label54.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
9.87 15.7  1.2  1.2  110 7.7  0  
eca-rers2012/Problem04_label55.yml timeout .0987 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 3.5  0  
eca-rers2012/Problem04_label56.yml timeout .0987 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.7  0  
eca-rers2012/Problem04_label59.yml timeout .0987 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
9.87 15.7  1.1  1.1  110 6.9  0  
eca-rers2012/Problem05_label00.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .029  0   unknown prog tests 0 inspect
9.34 13.5  1.9  1.9  180 16    0  
eca-rers2012/Problem05_label01.yml timeout .0934 prog tests 4 inspect 900 840 89 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.1  180 12    0  
eca-rers2012/Problem05_label02.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 14    0  
eca-rers2012/Problem05_label03.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.1  180 19    0  
eca-rers2012/Problem05_label04.yml timeout .0934 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.3  180 14    0  
eca-rers2012/Problem05_label05.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .041  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 9.7  0  
eca-rers2012/Problem05_label06.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 14    0  
eca-rers2012/Problem05_label07.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 18    0  
eca-rers2012/Problem05_label08.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 16    0  
eca-rers2012/Problem05_label09.yml timeout .0934 prog tests 4 inspect 900 840 89 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 14    0  
eca-rers2012/Problem05_label10.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 14    0  
eca-rers2012/Problem05_label11.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 14    0  
eca-rers2012/Problem05_label12.yml timeout .0934 prog tests 4 inspect 900 840 89 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.4  2.4  180 17    0  
eca-rers2012/Problem05_label13.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 20    0  
eca-rers2012/Problem05_label14.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 14    0  
eca-rers2012/Problem05_label15.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 7.3  0  
eca-rers2012/Problem05_label16.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 20    0  
eca-rers2012/Problem05_label17.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 14    0  
eca-rers2012/Problem05_label18.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 9.7  0  
eca-rers2012/Problem05_label19.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.3  2.3  180 18    0  
eca-rers2012/Problem05_label20.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .020  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 19    0  
eca-rers2012/Problem05_label21.yml timeout .0934 prog tests 4 inspect 900 840 88 11000 .020  0   unknown prog tests 0 inspect
9.34 13.5  2.3  2.3  180 15    0  
eca-rers2012/Problem05_label22.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 8.1  0  
eca-rers2012/Problem05_label23.yml timeout .0934 prog tests 4 inspect 900 840 88 11000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 13    0  
eca-rers2012/Problem05_label24.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 13    0  
eca-rers2012/Problem05_label25.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 14    0  
eca-rers2012/Problem05_label26.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.2  180 15    0  
eca-rers2012/Problem05_label27.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.1  180 10    0  
eca-rers2012/Problem05_label28.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 12    0  
eca-rers2012/Problem05_label29.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 15    0  
eca-rers2012/Problem05_label30.yml timeout .0934 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 8.4  0  
eca-rers2012/Problem05_label31.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.3  180 18    0  
eca-rers2012/Problem05_label32.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 20    0  
eca-rers2012/Problem05_label33.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 13    0  
eca-rers2012/Problem05_label34.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 14    0  
eca-rers2012/Problem05_label35.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 20    0  
eca-rers2012/Problem05_label36.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 12    0  
eca-rers2012/Problem05_label37.yml timeout .0934 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.1  180 20    0  
eca-rers2012/Problem05_label38.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 17    0  
eca-rers2012/Problem05_label39.yml timeout .0934 prog tests 4 inspect 900 840 88 11000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 16    0  
eca-rers2012/Problem05_label40.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 16    0  
eca-rers2012/Problem05_label41.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 7.3  0  
eca-rers2012/Problem05_label42.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 11    0  
eca-rers2012/Problem05_label43.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 19    0  
eca-rers2012/Problem05_label44.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.1  180 9.2  0  
eca-rers2012/Problem05_label45.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  1.9  1.9  180 16    0  
eca-rers2012/Problem05_label46.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.3  2.3  180 14    0  
eca-rers2012/Problem05_label47.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 17    0  
eca-rers2012/Problem05_label48.yml timeout .0934 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.3  2.3  180 7.2  0  
eca-rers2012/Problem05_label49.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .020  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 10    0  
eca-rers2012/Problem05_label50.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 18    0  
eca-rers2012/Problem05_label51.yml timeout .0934 prog tests 4 inspect 900 840 88 15000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 15    0  
eca-rers2012/Problem05_label52.yml timeout .0934 prog tests 4 inspect 900 840 89 12000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 13    0  
eca-rers2012/Problem05_label53.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .053  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 13    0  
eca-rers2012/Problem05_label54.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 11    0  
eca-rers2012/Problem05_label55.yml timeout .0934 prog tests 4 inspect 900 840 89 15000 .025  0   unknown prog tests 0 inspect
9.34 13.5  2.2  2.2  180 17    0  
eca-rers2012/Problem05_label56.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 16    0  
eca-rers2012/Problem05_label57.yml timeout .0934 prog tests 4 inspect 900 840 88 13000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.0  2.0  180 21    0  
eca-rers2012/Problem05_label58.yml timeout .0934 prog tests 4 inspect 900 840 88 12000 .029  0   unknown prog tests 0 inspect
9.34 13.5  2.3  2.3  180 17    0  
eca-rers2012/Problem05_label59.yml timeout .0934 prog tests 4 inspect 900 840 88 14000 .016  0   unknown prog tests 0 inspect
9.34 13.5  2.1  2.1  180 9.7  0  
eca-rers2012/Problem06_label00.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 13    0  
eca-rers2012/Problem06_label01.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .020  0   unknown prog tests 0 inspect
9.41 8.51 2.3  2.3  180 16    0  
eca-rers2012/Problem06_label02.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 9.9  0  
eca-rers2012/Problem06_label03.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 18    0  
eca-rers2012/Problem06_label04.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 14    0  
eca-rers2012/Problem06_label05.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 16    0  
eca-rers2012/Problem06_label06.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 12    0  
eca-rers2012/Problem06_label07.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.2  2.2  180 17    0  
eca-rers2012/Problem06_label08.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 14    0  
eca-rers2012/Problem06_label09.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .029  0   unknown prog tests 0 inspect
9.41 8.51 2.2  2.2  180 18    0  
eca-rers2012/Problem06_label10.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.2  2.2  180 13    0  
eca-rers2012/Problem06_label11.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 18    0  
eca-rers2012/Problem06_label12.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 8.2  0  
eca-rers2012/Problem06_label13.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label14.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 17    0  
eca-rers2012/Problem06_label15.yml timeout .0941 prog tests 4 inspect 900 840 89 11000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.2  2.2  180 12    0  
eca-rers2012/Problem06_label16.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 18    0  
eca-rers2012/Problem06_label17.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 15    0  
eca-rers2012/Problem06_label18.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 18    0  
eca-rers2012/Problem06_label19.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 17    0  
eca-rers2012/Problem06_label20.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 17    0  
eca-rers2012/Problem06_label21.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 12    0  
eca-rers2012/Problem06_label22.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 14    0  
eca-rers2012/Problem06_label23.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .016  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 13    0  
eca-rers2012/Problem06_label24.yml timeout .0941 prog tests 4 inspect 900 840 89 11000 .025  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 12    0  
eca-rers2012/Problem06_label25.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 9.7  0  
eca-rers2012/Problem06_label26.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 16    0  
eca-rers2012/Problem06_label27.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.9  180 9.8  0  
eca-rers2012/Problem06_label28.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 12    0  
eca-rers2012/Problem06_label29.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 10    0  
eca-rers2012/Problem06_label30.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label31.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 12    0  
eca-rers2012/Problem06_label32.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .016  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 13    0  
eca-rers2012/Problem06_label33.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label34.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 8.5  0  
eca-rers2012/Problem06_label35.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 8.1  0  
eca-rers2012/Problem06_label36.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 17    0  
eca-rers2012/Problem06_label37.yml timeout .0941 prog tests 4 inspect 900 840 89 11000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 11    0  
eca-rers2012/Problem06_label38.yml timeout .0941 prog tests 4 inspect 900 840 89 11000 .016  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 12    0  
eca-rers2012/Problem06_label39.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .025  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 15    0  
eca-rers2012/Problem06_label40.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .029  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 10    0  
eca-rers2012/Problem06_label41.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 8.9  0  
eca-rers2012/Problem06_label42.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label43.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 12    0  
eca-rers2012/Problem06_label44.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 12    0  
eca-rers2012/Problem06_label45.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label46.yml timeout .0941 prog tests 4 inspect 900 840 89 15000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 10    0  
eca-rers2012/Problem06_label47.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 15    0  
eca-rers2012/Problem06_label48.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label49.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 13    0  
eca-rers2012/Problem06_label50.yml timeout .0941 prog tests 4 inspect 900 840 89 11000 .029  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 7.4  0  
eca-rers2012/Problem06_label51.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 13    0  
eca-rers2012/Problem06_label52.yml timeout .0941 prog tests 4 inspect 900 840 89 12000 .016  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 7.5  0  
eca-rers2012/Problem06_label53.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 11    0  
eca-rers2012/Problem06_label54.yml timeout .0941 prog tests 4 inspect 900 840 89 16000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 8.4  0  
eca-rers2012/Problem06_label55.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .029  0   unknown prog tests 0 inspect
9.41 8.51 2.0  2.0  180 13    0  
eca-rers2012/Problem06_label56.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 2.1  2.1  180 9.0  0  
eca-rers2012/Problem06_label57.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.8  1.8  180 13    0  
eca-rers2012/Problem06_label58.yml timeout .0941 prog tests 4 inspect 900 840 89 13000 .025  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem06_label59.yml timeout .0941 prog tests 4 inspect 900 840 89 14000 .012  0   unknown prog tests 0 inspect
9.41 8.51 1.9  1.9  180 15    0  
eca-rers2012/Problem07_label00.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 75    0  
eca-rers2012/Problem07_label01.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 77    0  
eca-rers2012/Problem07_label02.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 110    0  
eca-rers2012/Problem07_label03.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    16    770 110    0  
eca-rers2012/Problem07_label04.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .025  0   unknown prog tests 0 inspect
7.60 12.5  15    16    770 100    0  
eca-rers2012/Problem07_label05.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 78    0  
eca-rers2012/Problem07_label06.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 100    0  
eca-rers2012/Problem07_label07.yml timeout .076  prog tests 4 inspect 900 840 410 11000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 160    0  
eca-rers2012/Problem07_label08.yml timeout .076  prog tests 4 inspect 900 840 420 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 78    0  
eca-rers2012/Problem07_label09.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 100    0  
eca-rers2012/Problem07_label10.yml timeout .076  prog tests 4 inspect 900 840 420 10000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 110    0  
eca-rers2012/Problem07_label11.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .0041 0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 95    0  
eca-rers2012/Problem07_label12.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 99    0  
eca-rers2012/Problem07_label13.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .029  0   unknown prog tests 0 inspect
7.60 12.5  14    14    770 130    0  
eca-rers2012/Problem07_label14.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 77    0  
eca-rers2012/Problem07_label15.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 110    0  
eca-rers2012/Problem07_label16.yml timeout .076  prog tests 4 inspect 900 840 420 13000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 98    0  
eca-rers2012/Problem07_label17.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  17    17    770 150    0  
eca-rers2012/Problem07_label18.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 67    0  
eca-rers2012/Problem07_label19.yml timeout .076  prog tests 4 inspect 900 840 420 10000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 160    0  
eca-rers2012/Problem07_label20.yml timeout .076  prog tests 4 inspect 900 840 420 12000 .025  0   unknown prog tests 0 inspect
7.60 12.5  17    17    770 85    0  
eca-rers2012/Problem07_label21.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 92    0  
eca-rers2012/Problem07_label22.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .016  0   unknown prog tests 0 inspect
7.60 12.5  17    17    770 160    0  
eca-rers2012/Problem07_label23.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 95    0  
eca-rers2012/Problem07_label24.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 95    0  
eca-rers2012/Problem07_label25.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 150    0  
eca-rers2012/Problem07_label26.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .016  0   unknown prog tests 0 inspect
7.60 12.5  15    16    770 120    0  
eca-rers2012/Problem07_label27.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .025  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 88    0  
eca-rers2012/Problem07_label28.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 75    0  
eca-rers2012/Problem07_label29.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 86    0  
eca-rers2012/Problem07_label30.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 63    0  
eca-rers2012/Problem07_label31.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 90    0  
eca-rers2012/Problem07_label32.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 63    0  
eca-rers2012/Problem07_label33.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .025  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 100    0  
eca-rers2012/Problem07_label34.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .012  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 98    0  
eca-rers2012/Problem07_label35.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 87    0  
eca-rers2012/Problem07_label36.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .016  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 68    0  
eca-rers2012/Problem07_label37.yml timeout .076  prog tests 4 inspect 900 840 420 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 77    0  
eca-rers2012/Problem07_label38.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 130    0  
eca-rers2012/Problem07_label39.yml timeout .076  prog tests 4 inspect 900 840 410 15000 .029  0   unknown prog tests 0 inspect
7.60 12.5  14    14    770 110    0  
eca-rers2012/Problem07_label40.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .016  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 66    0  
eca-rers2012/Problem07_label41.yml timeout .076  prog tests 4 inspect 900 840 420 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 140    0  
eca-rers2012/Problem07_label42.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 93    0  
eca-rers2012/Problem07_label43.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 88    0  
eca-rers2012/Problem07_label44.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .025  0   unknown prog tests 0 inspect
7.60 12.5  17    17    770 130    0  
eca-rers2012/Problem07_label45.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 72    0  
eca-rers2012/Problem07_label46.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 130    0  
eca-rers2012/Problem07_label47.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 120    0  
eca-rers2012/Problem07_label48.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .012  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 52    0  
eca-rers2012/Problem07_label49.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 82    0  
eca-rers2012/Problem07_label50.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 77    0  
eca-rers2012/Problem07_label51.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 88    0  
eca-rers2012/Problem07_label52.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .016  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 160    0  
eca-rers2012/Problem07_label53.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .025  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 80    0  
eca-rers2012/Problem07_label54.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 90    0  
eca-rers2012/Problem07_label55.yml timeout .076  prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 95    0  
eca-rers2012/Problem07_label56.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .020  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 110    0  
eca-rers2012/Problem07_label57.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .025  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 150    0  
eca-rers2012/Problem07_label58.yml timeout .076  prog tests 4 inspect 900 840 410 13000 .016  0   unknown prog tests 0 inspect
7.60 12.5  15    15    770 82    0  
eca-rers2012/Problem07_label59.yml timeout .076  prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.60 12.5  16    16    770 93    0  
eca-rers2012/Problem08_label00.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 230    0  
eca-rers2012/Problem08_label01.yml timeout .0346 prog tests 4 inspect 900 840 790 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 130    0  
eca-rers2012/Problem08_label02.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 140    0  
eca-rers2012/Problem08_label03.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 140    0  
eca-rers2012/Problem08_label04.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 180    0  
eca-rers2012/Problem08_label05.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 140    0  
eca-rers2012/Problem08_label06.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 190    0  
eca-rers2012/Problem08_label07.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 140    0  
eca-rers2012/Problem08_label08.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    34    1600 120    0  
eca-rers2012/Problem08_label09.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 230    0  
eca-rers2012/Problem08_label10.yml timeout .0346 prog tests 4 inspect 900 840 780 16000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    32    1600 170    0  
eca-rers2012/Problem08_label11.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 250    0  
eca-rers2012/Problem08_label12.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.29 34    34    1600 260    0  
eca-rers2012/Problem08_label13.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.29 31    32    1600 140    0  
eca-rers2012/Problem08_label14.yml timeout .0346 prog tests 4 inspect 900 840 790 13000 .025  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 110    0  
eca-rers2012/Problem08_label15.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 210    0  
eca-rers2012/Problem08_label16.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.29 30    30    1600 170    0  
eca-rers2012/Problem08_label17.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 280    0  
eca-rers2012/Problem08_label18.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 210    0  
eca-rers2012/Problem08_label19.yml timeout .0346 prog tests 4 inspect 900 840 790 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 120    0  
eca-rers2012/Problem08_label20.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 190    0  
eca-rers2012/Problem08_label21.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 130    0  
eca-rers2012/Problem08_label22.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 310    0  
eca-rers2012/Problem08_label23.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 130    0  
eca-rers2012/Problem08_label24.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 150    0  
eca-rers2012/Problem08_label25.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.29 32    33    1600 180    0  
eca-rers2012/Problem08_label26.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 130    0  
eca-rers2012/Problem08_label27.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 120    0  
eca-rers2012/Problem08_label28.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 180    0  
eca-rers2012/Problem08_label29.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 29    29    1600 91    0  
eca-rers2012/Problem08_label30.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 180    0  
eca-rers2012/Problem08_label31.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 130    0  
eca-rers2012/Problem08_label32.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 160    0  
eca-rers2012/Problem08_label33.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 130    0  
eca-rers2012/Problem08_label34.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 130    0  
eca-rers2012/Problem08_label35.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .025  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 150    0  
eca-rers2012/Problem08_label36.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 150    0  
eca-rers2012/Problem08_label37.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .037  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 150    0  
eca-rers2012/Problem08_label38.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 210    0  
eca-rers2012/Problem08_label39.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 170    0  
eca-rers2012/Problem08_label40.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 300    0  
eca-rers2012/Problem08_label41.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 250    0  
eca-rers2012/Problem08_label42.yml timeout .0346 prog tests 4 inspect 900 840 790 15000 .020  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 120    0  
eca-rers2012/Problem08_label43.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 170    0  
eca-rers2012/Problem08_label44.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 300    0  
eca-rers2012/Problem08_label45.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 210    0  
eca-rers2012/Problem08_label46.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 140    0  
eca-rers2012/Problem08_label47.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 200    0  
eca-rers2012/Problem08_label48.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 140    0  
eca-rers2012/Problem08_label49.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 29    29    1600 270    0  
eca-rers2012/Problem08_label50.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 130    0  
eca-rers2012/Problem08_label51.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 180    0  
eca-rers2012/Problem08_label52.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 150    0  
eca-rers2012/Problem08_label53.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 170    0  
eca-rers2012/Problem08_label54.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 130    0  
eca-rers2012/Problem08_label55.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .012  0   unknown prog tests 0 inspect
3.46 5.29 33    33    1600 150    0  
eca-rers2012/Problem08_label56.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 120    0  
eca-rers2012/Problem08_label57.yml timeout .0346 prog tests 4 inspect 900 840 790 13000 .029  0   unknown prog tests 0 inspect
3.46 5.29 32    32    1600 170    0  
eca-rers2012/Problem08_label58.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.29 34    34    1600 250    0  
eca-rers2012/Problem08_label59.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .012  0   unknown prog tests 0 inspect
3.46 5.29 31    31    1600 130    0  
eca-rers2012/Problem09_label00.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .025  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 180    0  
eca-rers2012/Problem09_label01.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    38    1800 340    0  
eca-rers2012/Problem09_label02.yml timeout .0378 prog tests 4 inspect 900 840 900 15000 .020  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 210    0  
eca-rers2012/Problem09_label03.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 160    0  
eca-rers2012/Problem09_label04.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 160    0  
eca-rers2012/Problem09_label05.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 190    0  
eca-rers2012/Problem09_label06.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .041  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 130    0  
eca-rers2012/Problem09_label07.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .016  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 140    0  
eca-rers2012/Problem09_label08.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 150    0  
eca-rers2012/Problem09_label09.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 250    0  
eca-rers2012/Problem09_label10.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 160    0  
eca-rers2012/Problem09_label11.yml timeout .0378 prog tests 4 inspect 900 840 900 11000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 150    0  
eca-rers2012/Problem09_label12.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 150    0  
eca-rers2012/Problem09_label13.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 35    35    1800 170    0  
eca-rers2012/Problem09_label14.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 160    0  
eca-rers2012/Problem09_label15.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 180    0  
eca-rers2012/Problem09_label16.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 150    0  
eca-rers2012/Problem09_label17.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 170    0  
eca-rers2012/Problem09_label18.yml timeout .0378 prog tests 4 inspect 900 840 900 11000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 210    0  
eca-rers2012/Problem09_label19.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 33    33    1800 290    0  
eca-rers2012/Problem09_label20.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 200    0  
eca-rers2012/Problem09_label21.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 210    0  
eca-rers2012/Problem09_label22.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 170    0  
eca-rers2012/Problem09_label23.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 240    0  
eca-rers2012/Problem09_label24.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 160    0  
eca-rers2012/Problem09_label25.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .012  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 140    0  
eca-rers2012/Problem09_label26.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 34    35    1800 240    0  
eca-rers2012/Problem09_label27.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .016  0   unknown prog tests 0 inspect
3.78 3.90 34    34    1800 250    0  
eca-rers2012/Problem09_label28.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 95    0  
eca-rers2012/Problem09_label29.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 190    0  
eca-rers2012/Problem09_label30.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 190    0  
eca-rers2012/Problem09_label31.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .025  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 170    0  
eca-rers2012/Problem09_label32.yml timeout .0378 prog tests 4 inspect 900 840 900 15000 .025  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 160    0  
eca-rers2012/Problem09_label33.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 180    0  
eca-rers2012/Problem09_label34.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 35    35    1800 160    0  
eca-rers2012/Problem09_label35.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 140    0  
eca-rers2012/Problem09_label36.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 170    0  
eca-rers2012/Problem09_label37.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 210    0  
eca-rers2012/Problem09_label38.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .016  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 210    0  
eca-rers2012/Problem09_label39.yml timeout .0378 prog tests 4 inspect 900 840 900 15000 .016  0   unknown prog tests 0 inspect
3.78 3.90 35    35    1800 220    0  
eca-rers2012/Problem09_label40.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .025  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 130    0  
eca-rers2012/Problem09_label41.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 39    39    1800 240    0  
eca-rers2012/Problem09_label42.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 150    0  
eca-rers2012/Problem09_label43.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 180    0  
eca-rers2012/Problem09_label44.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 220    0  
eca-rers2012/Problem09_label45.yml timeout .0378 prog tests 4 inspect 900 840 900 11000 .016  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 160    0  
eca-rers2012/Problem09_label46.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 120    0  
eca-rers2012/Problem09_label47.yml timeout .0378 prog tests 4 inspect 900 840 900 15000 .025  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 220    0  
eca-rers2012/Problem09_label48.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 150    0  
eca-rers2012/Problem09_label49.yml timeout .0378 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    38    1800 140    0  
eca-rers2012/Problem09_label50.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 350    0  
eca-rers2012/Problem09_label51.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .0041 0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 230    0  
eca-rers2012/Problem09_label52.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.78 3.90 39    39    1800 280    0  
eca-rers2012/Problem09_label53.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 300    0  
eca-rers2012/Problem09_label54.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.90 36    36    1800 270    0  
eca-rers2012/Problem09_label55.yml timeout .0378 prog tests 4 inspect 900 840 900 16000 .029  0   unknown prog tests 0 inspect
3.78 3.90 39    39    1800 250    0  
eca-rers2012/Problem09_label56.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.78 3.90 35    35    1800 180    0  
eca-rers2012/Problem09_label57.yml timeout .0378 prog tests 4 inspect 900 840 900 15000 .012  0   unknown prog tests 0 inspect
3.78 3.90 35    35    1800 270    0  
eca-rers2012/Problem09_label58.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .020  0   unknown prog tests 0 inspect
3.78 3.90 37    37    1800 170    0  
eca-rers2012/Problem09_label59.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .016  0   unknown prog tests 0 inspect
3.78 3.90 38    38    1800 340    0  
eca-rers2012/Problem10_label00.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .25 30 .78 0  
eca-rers2012/Problem10_label01.yml timeout .166  prog tests 4 inspect 900 840 36 11000 .025  0   unknown prog tests 0 inspect
16.6  34.3  .22 .22 30 .78 0  
eca-rers2012/Problem10_label02.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label03.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .29 30 .78 0  
eca-rers2012/Problem10_label04.yml timeout .166  prog tests 4 inspect 900 840 36 11000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label05.yml timeout .166  prog tests 4 inspect 900 840 37 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .24 .26 30 .78 0  
eca-rers2012/Problem10_label06.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .25 30 .78 0  
eca-rers2012/Problem10_label07.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .012  0   unknown prog tests 0 inspect
16.6  34.3  .22 .22 30 .78 0  
eca-rers2012/Problem10_label08.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label09.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .26 .25 30 .78 0  
eca-rers2012/Problem10_label10.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label11.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label12.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label13.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .22 .22 30 .78 0  
eca-rers2012/Problem10_label14.yml timeout .166  prog tests 4 inspect 900 840 37 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label15.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .012  0   unknown prog tests 0 inspect
16.6  34.3  .26 .26 30 .78 0  
eca-rers2012/Problem10_label16.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label17.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label18.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label19.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label20.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .28 .28 30 .78 0  
eca-rers2012/Problem10_label21.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .28 30 .62 0  
eca-rers2012/Problem10_label22.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label23.yml timeout .166  prog tests 4 inspect 900 840 37 14000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label24.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label25.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label26.yml timeout .166  prog tests 4 inspect 900 840 37 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .22 30 .78 0  
eca-rers2012/Problem10_label27.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label28.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .22 .22 30 .78 0  
eca-rers2012/Problem10_label29.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .012  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label30.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .22 30 .78 0  
eca-rers2012/Problem10_label31.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label32.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label33.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label34.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label35.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label36.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label37.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label38.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .0082 0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label39.yml timeout .166  prog tests 4 inspect 900 840 36 11000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label40.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label41.yml timeout .166  prog tests 4 inspect 900 840 37 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label42.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label43.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label44.yml timeout .166  prog tests 4 inspect 900 840 36 11000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .26 30 .78 0  
eca-rers2012/Problem10_label45.yml timeout .166  prog tests 4 inspect 900 840 37 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label46.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .25 .24 30 .78 0  
eca-rers2012/Problem10_label47.yml timeout .166  prog tests 4 inspect 900 840 37 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label48.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label49.yml timeout .166  prog tests 4 inspect 900 840 36 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .26 .26 30 .78 0  
eca-rers2012/Problem10_label50.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .0041 0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label51.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .28 .28 30 .78 0  
eca-rers2012/Problem10_label52.yml timeout .166  prog tests 4 inspect 900 840 37 12000 .025  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label53.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .27 .27 30 .78 0  
eca-rers2012/Problem10_label54.yml timeout .166  prog tests 4 inspect 900 840 36 13000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .24 30 .78 0  
eca-rers2012/Problem10_label55.yml timeout .166  prog tests 4 inspect 900 840 36 14000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .23 30 .78 0  
eca-rers2012/Problem10_label56.yml timeout .166  prog tests 4 inspect 900 840 36 16000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .23 .26 30 .78 0  
eca-rers2012/Problem10_label57.yml timeout .166  prog tests 4 inspect 900 840 36 15000 .016  0   unknown prog tests 0 inspect
16.6  34.3  .24 .25 30 .78 0  
eca-rers2012/Problem10_label58.yml timeout .166  prog tests 4 inspect 900 840 36 11000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .25 .25 30 .78 0  
eca-rers2012/Problem10_label59.yml timeout .166  prog tests 4 inspect 900 840 37 12000 .029  0   unknown prog tests 0 inspect
16.6  34.3  .28 .28 30 .78 0  
eca-rers2012/Problem11_label00.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .34 44 1.3  0  
eca-rers2012/Problem11_label01.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .37 .37 44 1.3  0  
eca-rers2012/Problem11_label02.yml timeout .133  prog tests 4 inspect 900 840 43 15000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .32 .33 44 1.3  0  
eca-rers2012/Problem11_label03.yml timeout .133  prog tests 4 inspect 900 840 42 11000 .053  0   unknown prog tests 0 inspect
13.3  25.1  .32 .33 44 1.3  0  
eca-rers2012/Problem11_label04.yml timeout .133  prog tests 4 inspect 900 840 42 15000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .34 44 1.3  0  
eca-rers2012/Problem11_label05.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .33 .35 44 .69 0  
eca-rers2012/Problem11_label06.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label07.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .020  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label08.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label09.yml timeout .133  prog tests 4 inspect 900 840 43 11000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label10.yml timeout .133  prog tests 4 inspect 900 840 43 15000 .025  0   unknown prog tests 0 inspect
13.3  25.1  .37 .37 44 1.3  0  
eca-rers2012/Problem11_label11.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .37 .37 44 1.3  0  
eca-rers2012/Problem11_label12.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label13.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label14.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .35 44 1.3  0  
eca-rers2012/Problem11_label15.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .025  0   unknown prog tests 0 inspect
13.3  25.1  .36 .36 44 1.3  0  
eca-rers2012/Problem11_label16.yml timeout .133  prog tests 4 inspect 900 840 42 15000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label17.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .35 44 1.3  0  
eca-rers2012/Problem11_label18.yml timeout .133  prog tests 4 inspect 900 840 43 16000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .33 44 1.3  0  
eca-rers2012/Problem11_label19.yml timeout .133  prog tests 4 inspect 900 840 43 11000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label20.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label21.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .36 .36 44 1.3  0  
eca-rers2012/Problem11_label22.yml timeout .133  prog tests 4 inspect 900 840 42 15000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .33 44 1.3  0  
eca-rers2012/Problem11_label23.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label24.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .39 .39 44 1.3  0  
eca-rers2012/Problem11_label25.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label26.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .37 .37 44 1.3  0  
eca-rers2012/Problem11_label27.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .32 .32 44 1.3  0  
eca-rers2012/Problem11_label28.yml timeout .133  prog tests 4 inspect 900 840 42 15000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .35 44 1.3  0  
eca-rers2012/Problem11_label29.yml timeout .133  prog tests 4 inspect 900 840 43 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label30.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .36 44 1.3  0  
eca-rers2012/Problem11_label31.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .38 .38 44 1.3  0  
eca-rers2012/Problem11_label32.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label33.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label34.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .36 .36 44 1.3  0  
eca-rers2012/Problem11_label35.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .33 44 1.3  0  
eca-rers2012/Problem11_label36.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label37.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .37 44 1.1  0  
eca-rers2012/Problem11_label38.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .37 44 1.3  0  
eca-rers2012/Problem11_label39.yml timeout .133  prog tests 4 inspect 900 840 43 15000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .39 .39 44 1.3  0  
eca-rers2012/Problem11_label40.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .37 .36 44 1.3  0  
eca-rers2012/Problem11_label41.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .32 .32 44 1.3  0  
eca-rers2012/Problem11_label42.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .012  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label43.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .012  0   unknown prog tests 0 inspect
13.3  25.1  .36 .36 44 1.3  0  
eca-rers2012/Problem11_label44.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label45.yml timeout .133  prog tests 4 inspect 900 840 43 15000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label46.yml timeout .133  prog tests 4 inspect 900 840 42 15000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .32 .32 44 1.3  0  
eca-rers2012/Problem11_label47.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .32 .33 44 1.3  0  
eca-rers2012/Problem11_label48.yml timeout .133  prog tests 4 inspect 900 840 43 14000 .012  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label49.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .36 .36 44 1.3  0  
eca-rers2012/Problem11_label50.yml timeout .133  prog tests 4 inspect 900 840 43 15000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .37 .37 44 1.3  0  
eca-rers2012/Problem11_label51.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .37 .36 44 1.3  0  
eca-rers2012/Problem11_label52.yml timeout .133  prog tests 4 inspect 900 840 43 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label53.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label54.yml timeout .133  prog tests 4 inspect 900 840 43 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label55.yml timeout .133  prog tests 4 inspect 900 840 42 12000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label56.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .35 .35 44 1.3  0  
eca-rers2012/Problem11_label57.yml timeout .133  prog tests 4 inspect 900 840 42 14000 .016  0   unknown prog tests 0 inspect
13.3  25.1  .33 .33 44 1.3  0  
eca-rers2012/Problem11_label58.yml timeout .133  prog tests 4 inspect 900 840 43 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .34 44 1.3  0  
eca-rers2012/Problem11_label59.yml timeout .133  prog tests 4 inspect 900 840 42 13000 .029  0   unknown prog tests 0 inspect
13.3  25.1  .34 .38 44 1.2  0  
eca-rers2012/Problem12_label00.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label01.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .96 .97 99 6.8  0  
eca-rers2012/Problem12_label02.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label03.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 3.4  0  
eca-rers2012/Problem12_label04.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label05.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.1  99 2.7  0  
eca-rers2012/Problem12_label06.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .0082 0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label07.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .99 .99 99 5.8  0  
eca-rers2012/Problem12_label08.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .98 .98 99 6.5  0  
eca-rers2012/Problem12_label09.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  100 5.9  0  
eca-rers2012/Problem12_label10.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 6.2  0  
eca-rers2012/Problem12_label11.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .99 .99 99 7.2  0  
eca-rers2012/Problem12_label12.yml timeout .0854 prog tests 4 inspect 900 840 60 16000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label13.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .025  0   unknown prog tests 0 inspect
8.54 16.5  .97 .97 99 5.8  0  
eca-rers2012/Problem12_label14.yml timeout .0854 prog tests 4 inspect 900 840 60 10000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label15.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label16.yml timeout .0854 prog tests 4 inspect 900 840 60 10000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 3.4  0  
eca-rers2012/Problem12_label17.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label18.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 6.2  0  
eca-rers2012/Problem12_label19.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 3.2  0  
eca-rers2012/Problem12_label20.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label21.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 3.4  0  
eca-rers2012/Problem12_label22.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label23.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .95 .94 99 7.2  0  
eca-rers2012/Problem12_label24.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  100 5.8  0  
eca-rers2012/Problem12_label25.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label26.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 7.2  0  
eca-rers2012/Problem12_label27.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .025  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 6.3  0  
eca-rers2012/Problem12_label28.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .98 .98 99 7.1  0  
eca-rers2012/Problem12_label29.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label30.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 6.0  0  
eca-rers2012/Problem12_label31.yml timeout .0854 prog tests 4 inspect 900 840 60 11000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .98 .98 100 5.8  0  
eca-rers2012/Problem12_label32.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label33.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .98 .98 99 5.8  0  
eca-rers2012/Problem12_label34.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .94 .94 99 5.8  0  
eca-rers2012/Problem12_label35.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .012  0   unknown prog tests 0 inspect
8.54 16.5  .98 1.0  99 2.6  0  
eca-rers2012/Problem12_label36.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 7.2  0  
eca-rers2012/Problem12_label37.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 3.4  0  
eca-rers2012/Problem12_label38.yml timeout .0854 prog tests 4 inspect 900 840 60 11000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .92 .92 99 7.2  0  
eca-rers2012/Problem12_label39.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  100 5.8  0  
eca-rers2012/Problem12_label40.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .96 .96 99 5.8  0  
eca-rers2012/Problem12_label41.yml timeout .0854 prog tests 4 inspect 900 840 61 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .97 .97 99 5.8  0  
eca-rers2012/Problem12_label42.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .012  0   unknown prog tests 0 inspect
8.54 16.5  .99 .99 99 7.2  0  
eca-rers2012/Problem12_label43.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .95 .97 99 7.2  0  
eca-rers2012/Problem12_label44.yml timeout .0854 prog tests 4 inspect 900 840 61 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label45.yml timeout .0854 prog tests 4 inspect 900 840 61 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  .99 99 3.4  0  
eca-rers2012/Problem12_label46.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .025  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 3.4  0  
eca-rers2012/Problem12_label47.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 6.6  0  
eca-rers2012/Problem12_label48.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .0082 0   unknown prog tests 0 inspect
8.54 16.5  .97 .96 100 5.8  0  
eca-rers2012/Problem12_label49.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .97 .97 99 7.2  0  
eca-rers2012/Problem12_label50.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label51.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label52.yml timeout .0854 prog tests 4 inspect 900 840 60 14000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 5.8  0  
eca-rers2012/Problem12_label53.yml timeout .0854 prog tests 4 inspect 900 840 60 15000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .99 .99 99 3.4  0  
eca-rers2012/Problem12_label54.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .029  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 7.2  0  
eca-rers2012/Problem12_label55.yml timeout .0854 prog tests 4 inspect 900 840 60 16000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label56.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.0  1.0  99 5.8  0  
eca-rers2012/Problem12_label57.yml timeout .0854 prog tests 4 inspect 900 840 60 12000 .029  0   unknown prog tests 0 inspect
8.54 16.5  .98 .98 99 7.2  0  
eca-rers2012/Problem12_label58.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  .94 .94 99 5.8  0  
eca-rers2012/Problem12_label59.yml timeout .0854 prog tests 4 inspect 900 840 60 13000 .016  0   unknown prog tests 0 inspect
8.54 16.5  1.1  1.1  99 2.8  0  
eca-rers2012/Problem13_label00.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .012  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.0  0  
eca-rers2012/Problem13_label01.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.5  0  
eca-rers2012/Problem13_label02.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.4  1.4  120 8.8  0  
eca-rers2012/Problem13_label03.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label04.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 4.8  0  
eca-rers2012/Problem13_label05.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.3  120 3.4  0  
eca-rers2012/Problem13_label06.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 6.9  0  
eca-rers2012/Problem13_label07.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 5.4  0  
eca-rers2012/Problem13_label08.yml timeout .0295 prog tests 4 inspect 900 840 66 12000 .041  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label09.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label10.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label11.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 8.8  0  
eca-rers2012/Problem13_label12.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label13.yml timeout .0295 prog tests 4 inspect 900 840 66 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.1  0  
eca-rers2012/Problem13_label14.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .020  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.5  0  
eca-rers2012/Problem13_label15.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label16.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 7.2  0  
eca-rers2012/Problem13_label17.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label18.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 8.7  0  
eca-rers2012/Problem13_label19.yml timeout .0295 prog tests 4 inspect 900 840 65 11000 .025  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 7.2  0  
eca-rers2012/Problem13_label20.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.4  0  
eca-rers2012/Problem13_label21.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 7.2  0  
eca-rers2012/Problem13_label22.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .012  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 4.3  0  
eca-rers2012/Problem13_label23.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.4  1.4  120 6.9  0  
eca-rers2012/Problem13_label24.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 3.4  0  
eca-rers2012/Problem13_label25.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label26.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.0  0  
eca-rers2012/Problem13_label27.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 8.8  0  
eca-rers2012/Problem13_label28.yml timeout .0295 prog tests 4 inspect 900 840 66 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.2  0  
eca-rers2012/Problem13_label29.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 6.9  0  
eca-rers2012/Problem13_label30.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label31.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.1  0  
eca-rers2012/Problem13_label32.yml timeout .0295 prog tests 4 inspect 900 840 66 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.3  120 8.8  0  
eca-rers2012/Problem13_label33.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 6.9  0  
eca-rers2012/Problem13_label34.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.2  0  
eca-rers2012/Problem13_label35.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.8  0  
eca-rers2012/Problem13_label36.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.4  1.4  120 7.7  0  
eca-rers2012/Problem13_label37.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 5.8  0  
eca-rers2012/Problem13_label38.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.5  0  
eca-rers2012/Problem13_label39.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.1  0  
eca-rers2012/Problem13_label40.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label41.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.5  1.5  120 7.0  0  
eca-rers2012/Problem13_label42.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .025  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label43.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label44.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.8  0  
eca-rers2012/Problem13_label45.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .020  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label46.yml timeout .0295 prog tests 4 inspect 900 840 65 11000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 7.0  0  
eca-rers2012/Problem13_label47.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.2  0  
eca-rers2012/Problem13_label48.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.0  0  
eca-rers2012/Problem13_label49.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.4  1.4  120 8.1  0  
eca-rers2012/Problem13_label50.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.4  1.4  120 6.9  0  
eca-rers2012/Problem13_label51.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.7  0  
eca-rers2012/Problem13_label52.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .012  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 7.1  0  
eca-rers2012/Problem13_label53.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 8.1  0  
eca-rers2012/Problem13_label54.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label55.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 6.9  0  
eca-rers2012/Problem13_label56.yml timeout .0295 prog tests 4 inspect 900 840 65 12000 .016  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 6.9  0  
eca-rers2012/Problem13_label57.yml timeout .0295 prog tests 4 inspect 900 840 65 13000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 8.6  0  
eca-rers2012/Problem13_label58.yml timeout .0295 prog tests 4 inspect 900 840 65 15000 .029  0   unknown prog tests 0 inspect
2.95 4.90 1.3  1.3  120 7.1  0  
eca-rers2012/Problem13_label59.yml timeout .0295 prog tests 4 inspect 900 840 65 14000 .012  0   unknown prog tests 0 inspect
2.95 4.90 1.2  1.2  120 6.0  0  
eca-rers2012/Problem15_label00.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 64 2.0  0  
eca-rers2012/Problem15_label01.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .0041 0   unknown prog tests 0 inspect
12.1  20.7  .55 .55 63 2.0  0  
eca-rers2012/Problem15_label02.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .52 .51 63 2.0  0  
eca-rers2012/Problem15_label03.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .029  0   unknown prog tests 0 inspect
12.1  20.7  .49 .51 64 2.3  0  
eca-rers2012/Problem15_label04.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .53 .53 64 2.0  0  
eca-rers2012/Problem15_label05.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .51 63 2.3  0  
eca-rers2012/Problem15_label06.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .58 .58 63 2.3  0  
eca-rers2012/Problem15_label07.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 64 2.0  0  
eca-rers2012/Problem15_label08.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label09.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.3  0  
eca-rers2012/Problem15_label10.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 64 2.3  0  
eca-rers2012/Problem15_label11.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 63 2.0  0  
eca-rers2012/Problem15_label12.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .53 .53 63 2.3  0  
eca-rers2012/Problem15_label13.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .47 .47 64 2.0  0  
eca-rers2012/Problem15_label14.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 64 2.0  0  
eca-rers2012/Problem15_label15.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .62 .62 63 2.3  0  
eca-rers2012/Problem15_label16.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .48 .48 64 2.0  0  
eca-rers2012/Problem15_label17.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 63 2.0  0  
eca-rers2012/Problem15_label19.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .47 .47 64 2.0  0  
eca-rers2012/Problem15_label20.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .54 .54 64 2.0  0  
eca-rers2012/Problem15_label21.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .074  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 63 2.0  0  
eca-rers2012/Problem15_label22.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .52 .52 63 2.0  0  
eca-rers2012/Problem15_label23.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label24.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 63 2.0  0  
eca-rers2012/Problem15_label25.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 63 2.3  0  
eca-rers2012/Problem15_label26.yml timeout .121  prog tests 4 inspect 900 840 50 10000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 64 2.0  0  
eca-rers2012/Problem15_label27.yml timeout .121  prog tests 4 inspect 900 840 50 11000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .48 .49 63 2.3  0  
eca-rers2012/Problem15_label28.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .016  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label29.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 63 2.0  0  
eca-rers2012/Problem15_label30.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label31.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .57 .57 64 2.0  0  
eca-rers2012/Problem15_label32.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .029  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 63 2.3  0  
eca-rers2012/Problem15_label33.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 63 2.0  0  
eca-rers2012/Problem15_label34.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .53 .53 64 2.3  0  
eca-rers2012/Problem15_label35.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 64 2.3  0  
eca-rers2012/Problem15_label36.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label37.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .53 .53 64 2.0  0  
eca-rers2012/Problem15_label38.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .52 .52 64 2.0  0  
eca-rers2012/Problem15_label39.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 63 2.0  0  
eca-rers2012/Problem15_label40.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .56 .56 64 2.0  0  
eca-rers2012/Problem15_label41.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .029  0   unknown prog tests 0 inspect
12.1  20.7  .51 .50 64 2.3  0  
eca-rers2012/Problem15_label42.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 64 2.0  0  
eca-rers2012/Problem15_label43.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .55 .58 64 2.0  0  
eca-rers2012/Problem15_label44.yml timeout .121  prog tests 4 inspect 900 840 50 11000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 64 2.0  0  
eca-rers2012/Problem15_label45.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.3  0  
eca-rers2012/Problem15_label46.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .52 .51 64 2.3  0  
eca-rers2012/Problem15_label47.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .52 .52 64 2.0  0  
eca-rers2012/Problem15_label48.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .48 .48 63 2.0  0  
eca-rers2012/Problem15_label49.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .51 .51 63 2.0  0  
eca-rers2012/Problem15_label50.yml timeout .121  prog tests 4 inspect 900 840 50 15000 .020  0   unknown prog tests 0 inspect
12.1  20.7  .54 .53 64 2.3  0  
eca-rers2012/Problem15_label51.yml timeout .121  prog tests 4 inspect 900 840 50 11000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .50 .50 64 2.3  0  
eca-rers2012/Problem15_label52.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .55 .55 63 2.0  0  
eca-rers2012/Problem15_label53.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .49 .48 64 2.3  0  
eca-rers2012/Problem15_label54.yml timeout .121  prog tests 4 inspect 900 840 50 11000 .016  0   unknown prog tests 0 inspect
12.1  20.7  .47 .47 63 2.3  0  
eca-rers2012/Problem15_label55.yml timeout .121  prog tests 4 inspect 900 840 50 14000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .57 .56 64 2.0  0  
eca-rers2012/Problem15_label56.yml timeout .121  prog tests 4 inspect 900 840 50 12000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .53 .52 63 2.0  0  
eca-rers2012/Problem15_label57.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .49 .49 63 2.0  0  
eca-rers2012/Problem15_label58.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .025  0   unknown prog tests 0 inspect
12.1  20.7  .48 .48 63 2.3  0  
eca-rers2012/Problem15_label59.yml timeout .121  prog tests 4 inspect 900 840 50 13000 .012  0   unknown prog tests 0 inspect
12.1  20.7  .53 .53 64 2.3  0  
eca-rers2012/Problem16_label00.yml timeout .0878 prog tests 4 inspect 900 840 46 11000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .44 .45 52 1.9  0  
eca-rers2012/Problem16_label01.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .49 .49 52 1.8  0  
eca-rers2012/Problem16_label02.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 51 1.8  0  
eca-rers2012/Problem16_label03.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 51 1.8  0  
eca-rers2012/Problem16_label04.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .46 .45 51 1.8  0  
eca-rers2012/Problem16_label05.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 51 2.0  0  
eca-rers2012/Problem16_label06.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .43 .42 51 1.8  0  
eca-rers2012/Problem16_label07.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label08.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .43 .44 52 1.8  0  
eca-rers2012/Problem16_label09.yml timeout .0878 prog tests 4 inspect 900 840 47 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 52 1.8  0  
eca-rers2012/Problem16_label10.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .47 .47 52 1.8  0  
eca-rers2012/Problem16_label11.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .46 .46 51 1.8  0  
eca-rers2012/Problem16_label12.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .47 .47 52 1.8  0  
eca-rers2012/Problem16_label13.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 51 1.8  0  
eca-rers2012/Problem16_label14.yml timeout .0878 prog tests 4 inspect 900 840 46 11000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 51 1.1  0  
eca-rers2012/Problem16_label15.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 52 2.0  0  
eca-rers2012/Problem16_label16.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .48 .48 51 1.8  0  
eca-rers2012/Problem16_label17.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label18.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .48 .48 52 1.8  0  
eca-rers2012/Problem16_label19.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.8  0  
eca-rers2012/Problem16_label20.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .41 .42 51 1.8  0  
eca-rers2012/Problem16_label21.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 51 1.8  0  
eca-rers2012/Problem16_label22.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 52 1.8  0  
eca-rers2012/Problem16_label23.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 51 1.8  0  
eca-rers2012/Problem16_label24.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .43 .44 52 1.7  0  
eca-rers2012/Problem16_label25.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.8  0  
eca-rers2012/Problem16_label26.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 2.0  0  
eca-rers2012/Problem16_label27.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.8  0  
eca-rers2012/Problem16_label28.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.9  0  
eca-rers2012/Problem16_label29.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label30.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 51 2.0  0  
eca-rers2012/Problem16_label31.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 52 1.8  0  
eca-rers2012/Problem16_label32.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .46 .46 52 1.8  0  
eca-rers2012/Problem16_label33.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 2.0  0  
eca-rers2012/Problem16_label34.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 51 1.8  0  
eca-rers2012/Problem16_label35.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.8  0  
eca-rers2012/Problem16_label36.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label37.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 51 2.0  0  
eca-rers2012/Problem16_label38.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label39.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 51 2.0  0  
eca-rers2012/Problem16_label40.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .44 .45 52 2.0  0  
eca-rers2012/Problem16_label41.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .59 .59 51 2.0  0  
eca-rers2012/Problem16_label42.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .46 .45 51 1.8  0  
eca-rers2012/Problem16_label43.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .42 .43 52 .97 0  
eca-rers2012/Problem16_label44.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 51 1.8  0  
eca-rers2012/Problem16_label45.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .40 .40 52 1.8  0  
eca-rers2012/Problem16_label46.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 51 2.0  0  
eca-rers2012/Problem16_label47.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .029  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 52 1.8  0  
eca-rers2012/Problem16_label48.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 51 1.8  0  
eca-rers2012/Problem16_label49.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label50.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .41 .41 52 2.0  0  
eca-rers2012/Problem16_label51.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .42 .42 52 1.8  0  
eca-rers2012/Problem16_label52.yml timeout .0878 prog tests 4 inspect 900 840 46 16000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .40 .40 52 1.8  0  
eca-rers2012/Problem16_label53.yml timeout .0878 prog tests 4 inspect 900 840 46 15000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .43 .47 51 .95 0  
eca-rers2012/Problem16_label54.yml timeout .0878 prog tests 4 inspect 900 840 46 11000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 52 1.8  0  
eca-rers2012/Problem16_label55.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .033  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 51 2.0  0  
eca-rers2012/Problem16_label56.yml timeout .0878 prog tests 4 inspect 900 840 46 12000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .46 .46 52 1.8  0  
eca-rers2012/Problem16_label57.yml timeout .0878 prog tests 4 inspect 900 840 46 13000 .025  0   unknown prog tests 0 inspect
8.78 18.1  .43 .43 51 1.8  0  
eca-rers2012/Problem16_label58.yml timeout .0878 prog tests 4 inspect 900 840 46 11000 .012  0   unknown prog tests 0 inspect
8.78 18.1  .50 .50 52 1.8  0  
eca-rers2012/Problem16_label59.yml timeout .0878 prog tests 4 inspect 900 840 46 14000 .016  0   unknown prog tests 0 inspect
8.78 18.1  .45 .45 51 2.0  0  
eca-rers2012/Problem17_label00.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .69 .69 80 3.6  0  
eca-rers2012/Problem17_label01.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .71 .71 80 4.3  0  
eca-rers2012/Problem17_label02.yml timeout .0832 prog tests 4 inspect 900 840 54 11000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 81 3.4  0  
eca-rers2012/Problem17_label03.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .72 .73 80 3.4  0  
eca-rers2012/Problem17_label04.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .76 .76 81 4.2  0  
eca-rers2012/Problem17_label05.yml timeout .0832 prog tests 4 inspect 900 840 54 11000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .73 .76 80 1.6  0  
eca-rers2012/Problem17_label06.yml timeout .0832 prog tests 4 inspect 900 840 54 15000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .68 .68 80 3.5  0  
eca-rers2012/Problem17_label07.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 81 3.4  0  
eca-rers2012/Problem17_label08.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .76 .76 80 3.4  0  
eca-rers2012/Problem17_label09.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .0041 0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 4.2  0  
eca-rers2012/Problem17_label10.yml timeout .0832 prog tests 4 inspect 900 840 54 11000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .78 .78 80 4.2  0  
eca-rers2012/Problem17_label11.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .69 .69 81 4.3  0  
eca-rers2012/Problem17_label12.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .68 .68 80 3.6  0  
eca-rers2012/Problem17_label13.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 80 4.3  0  
eca-rers2012/Problem17_label14.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 3.4  0  
eca-rers2012/Problem17_label15.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 4.3  0  
eca-rers2012/Problem17_label16.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .73 .74 80 3.4  0  
eca-rers2012/Problem17_label17.yml timeout .0832 prog tests 4 inspect 900 840 54 10000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 81 3.4  0  
eca-rers2012/Problem17_label18.yml timeout .0832 prog tests 4 inspect 900 840 55 12000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .75 .75 80 4.3  0  
eca-rers2012/Problem17_label19.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 81 4.0  0  
eca-rers2012/Problem17_label20.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 3.4  0  
eca-rers2012/Problem17_label21.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 81 3.4  0  
eca-rers2012/Problem17_label22.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .041  0   unknown prog tests 0 inspect
8.32 16.6  .71 .71 80 3.4  0  
eca-rers2012/Problem17_label23.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .73 .78 80 4.3  0  
eca-rers2012/Problem17_label24.yml timeout .0832 prog tests 4 inspect 900 840 54 15000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .69 .69 80 3.6  0  
eca-rers2012/Problem17_label25.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 4.3  0  
eca-rers2012/Problem17_label26.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .012  0   unknown prog tests 0 inspect
8.32 16.6  .70 .71 80 3.4  0  
eca-rers2012/Problem17_label27.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .69 80 2.2  0  
eca-rers2012/Problem17_label28.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 2.2  0  
eca-rers2012/Problem17_label29.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .76 .76 81 3.4  0  
eca-rers2012/Problem17_label30.yml timeout .0832 prog tests 4 inspect 900 840 54 11000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 4.3  0  
eca-rers2012/Problem17_label31.yml timeout .0832 prog tests 4 inspect 900 840 54 15000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 80 4.0  0  
eca-rers2012/Problem17_label32.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .69 .69 80 4.3  0  
eca-rers2012/Problem17_label33.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 80 3.4  0  
eca-rers2012/Problem17_label34.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .75 .75 80 3.5  0  
eca-rers2012/Problem17_label35.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .78 .77 80 3.4  0  
eca-rers2012/Problem17_label36.yml timeout .0832 prog tests 4 inspect 900 840 54 11000 .025  0   unknown prog tests 0 inspect
8.32 16.6  .76 .76 80 3.4  0  
eca-rers2012/Problem17_label37.yml timeout .0832 prog tests 4 inspect 900 840 54 15000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .74 .74 80 3.9  0  
eca-rers2012/Problem17_label38.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .72 .76 80 3.4  0  
eca-rers2012/Problem17_label39.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 3.4  0  
eca-rers2012/Problem17_label40.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .78 .78 80 3.4  0  
eca-rers2012/Problem17_label41.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 3.4  0  
eca-rers2012/Problem17_label42.yml timeout .0832 prog tests 4 inspect 900 840 55 14000 .012  0   unknown prog tests 0 inspect
8.32 16.6  .68 .68 80 4.3  0  
eca-rers2012/Problem17_label43.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .74 .74 80 3.4  0  
eca-rers2012/Problem17_label44.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .75 .80 81 3.6  0  
eca-rers2012/Problem17_label45.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .78 .78 81 3.4  0  
eca-rers2012/Problem17_label46.yml timeout .0832 prog tests 4 inspect 900 840 54 15000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 81 3.4  0  
eca-rers2012/Problem17_label47.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .025  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 80 4.1  0  
eca-rers2012/Problem17_label48.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .80 .80 81 3.4  0  
eca-rers2012/Problem17_label49.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .71 .70 80 3.4  0  
eca-rers2012/Problem17_label50.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 4.3  0  
eca-rers2012/Problem17_label51.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .012  0   unknown prog tests 0 inspect
8.32 16.6  .70 .70 80 2.2  0  
eca-rers2012/Problem17_label52.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .73 .72 81 3.4  0  
eca-rers2012/Problem17_label53.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .77 .77 80 3.9  0  
eca-rers2012/Problem17_label54.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .025  0   unknown prog tests 0 inspect
8.32 16.6  .73 .73 81 4.3  0  
eca-rers2012/Problem17_label55.yml timeout .0832 prog tests 4 inspect 900 840 54 14000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .76 .76 80 3.6  0  
eca-rers2012/Problem17_label56.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .71 .71 80 3.6  0  
eca-rers2012/Problem17_label57.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .012  0   unknown prog tests 0 inspect
8.32 16.6  .70 .71 80 3.6  0  
eca-rers2012/Problem17_label58.yml timeout .0832 prog tests 4 inspect 900 840 54 12000 .016  0   unknown prog tests 0 inspect
8.32 16.6  .75 .75 81 3.4  0  
eca-rers2012/Problem17_label59.yml timeout .0832 prog tests 4 inspect 900 840 54 13000 .029  0   unknown prog tests 0 inspect
8.32 16.6  .72 .72 80 4.2  0  
eca-rers2012/Problem18_label00.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .037  0   unknown prog tests 0 inspect
6.96 12.2  .84 .84 75 4.1  0  
eca-rers2012/Problem18_label01.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .78 .79 76 5.1  0  
eca-rers2012/Problem18_label02.yml timeout .0696 prog tests 4 inspect 900 840 53 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 75 4.1  0  
eca-rers2012/Problem18_label03.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 75 4.4  0  
eca-rers2012/Problem18_label04.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .82 .81 75 4.1  0  
eca-rers2012/Problem18_label05.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .74 75 4.1  0  
eca-rers2012/Problem18_label06.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .77 .77 75 4.6  0  
eca-rers2012/Problem18_label07.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .72 .72 76 2.4  0  
eca-rers2012/Problem18_label08.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 75 4.9  0  
eca-rers2012/Problem18_label09.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .84 .84 76 4.2  0  
eca-rers2012/Problem18_label10.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .82 .82 75 4.1  0  
eca-rers2012/Problem18_label11.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .85 .85 76 4.1  0  
eca-rers2012/Problem18_label12.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .79 .79 75 4.1  0  
eca-rers2012/Problem18_label13.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .79 76 5.1  0  
eca-rers2012/Problem18_label14.yml timeout .0696 prog tests 4 inspect 900 840 53 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .84 .84 76 5.1  0  
eca-rers2012/Problem18_label15.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .025  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 76 5.1  0  
eca-rers2012/Problem18_label16.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .80 .80 75 5.1  0  
eca-rers2012/Problem18_label17.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .80 .80 75 2.4  0  
eca-rers2012/Problem18_label18.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .78 .78 75 4.7  0  
eca-rers2012/Problem18_label19.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .80 .80 76 4.7  0  
eca-rers2012/Problem18_label20.yml timeout .0696 prog tests 4 inspect 900 840 53 13000 .020  0   unknown prog tests 0 inspect
6.96 12.2  .88 .88 75 5.0  0  
eca-rers2012/Problem18_label21.yml timeout .0696 prog tests 4 inspect 900 840 52 11000 .025  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 75 2.4  0  
eca-rers2012/Problem18_label22.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .76 .78 75 4.1  0  
eca-rers2012/Problem18_label23.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .74 75 2.4  0  
eca-rers2012/Problem18_label24.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .76 .76 75 4.1  0  
eca-rers2012/Problem18_label25.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .79 .79 75 4.1  0  
eca-rers2012/Problem18_label26.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .020  0   unknown prog tests 0 inspect
6.96 12.2  .77 .77 75 4.1  0  
eca-rers2012/Problem18_label27.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .81 .81 76 4.4  0  
eca-rers2012/Problem18_label28.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .80 .80 76 4.1  0  
eca-rers2012/Problem18_label29.yml timeout .0696 prog tests 4 inspect 900 840 52 15000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .74 75 5.1  0  
eca-rers2012/Problem18_label30.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .71 .70 75 5.0  0  
eca-rers2012/Problem18_label31.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .025  0   unknown prog tests 0 inspect
6.96 12.2  .74 .74 76 5.1  0  
eca-rers2012/Problem18_label32.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 75 5.1  0  
eca-rers2012/Problem18_label33.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 75 4.2  0  
eca-rers2012/Problem18_label34.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 76 4.1  0  
eca-rers2012/Problem18_label35.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .75 .74 76 4.1  0  
eca-rers2012/Problem18_label36.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .78 .78 75 4.1  0  
eca-rers2012/Problem18_label37.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .86 .86 76 4.7  0  
eca-rers2012/Problem18_label38.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .84 .84 76 4.1  0  
eca-rers2012/Problem18_label39.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .73 .76 75 4.2  0  
eca-rers2012/Problem18_label40.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .87 .87 76 4.1  0  
eca-rers2012/Problem18_label41.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .74 .75 76 3.0  0  
eca-rers2012/Problem18_label42.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .75 76 4.1  0  
eca-rers2012/Problem18_label43.yml timeout .0696 prog tests 4 inspect 900 840 53 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .76 .76 75 4.1  0  
eca-rers2012/Problem18_label44.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .025  0   unknown prog tests 0 inspect
6.96 12.2  .80 .80 76 4.1  0  
eca-rers2012/Problem18_label45.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 75 5.1  0  
eca-rers2012/Problem18_label46.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .73 .75 75 1.9  0  
eca-rers2012/Problem18_label47.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .86 .86 76 4.1  0  
eca-rers2012/Problem18_label48.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 76 4.1  0  
eca-rers2012/Problem18_label49.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 76 4.1  0  
eca-rers2012/Problem18_label50.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .86 .86 76 5.1  0  
eca-rers2012/Problem18_label51.yml timeout .0696 prog tests 4 inspect 900 840 52 15000 .025  0   unknown prog tests 0 inspect
6.96 12.2  .84 .83 75 4.4  0  
eca-rers2012/Problem18_label52.yml timeout .0696 prog tests 4 inspect 900 840 53 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .76 .80 75 4.3  0  
eca-rers2012/Problem18_label53.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .76 .75 76 4.1  0  
eca-rers2012/Problem18_label54.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .76 .76 75 4.1  0  
eca-rers2012/Problem18_label55.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .82 .81 76 4.7  0  
eca-rers2012/Problem18_label56.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .79 .79 76 4.1  0  
eca-rers2012/Problem18_label57.yml timeout .0696 prog tests 4 inspect 900 840 52 14000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .74 .73 76 4.1  0  
eca-rers2012/Problem18_label58.yml timeout .0696 prog tests 4 inspect 900 840 52 13000 .016  0   unknown prog tests 0 inspect
6.96 12.2  .75 .75 76 5.1  0  
eca-rers2012/Problem18_label59.yml timeout .0696 prog tests 4 inspect 900 840 52 12000 .029  0   unknown prog tests 0 inspect
6.96 12.2  .73 .73 75 5.1  0  
eca-rers2012/Problem19_label00.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 14    0  
eca-rers2012/Problem19_label01.yml timeout .103  prog tests 4 inspect 900 840 79 15000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 8.7  0  
eca-rers2012/Problem19_label02.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .025  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 15    0  
eca-rers2012/Problem19_label03.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.1  2.1  160 13    0  
eca-rers2012/Problem19_label04.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label05.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 11    0  
eca-rers2012/Problem19_label06.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 7.6  0  
eca-rers2012/Problem19_label07.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 12    0  
eca-rers2012/Problem19_label08.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 7.0  0  
eca-rers2012/Problem19_label09.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label10.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.9  160 12    0  
eca-rers2012/Problem19_label11.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 11    0  
eca-rers2012/Problem19_label12.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 7.5  0  
eca-rers2012/Problem19_label13.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 14    0  
eca-rers2012/Problem19_label14.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 12    0  
eca-rers2012/Problem19_label15.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .0041 0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 14    0  
eca-rers2012/Problem19_label16.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .025  0   unknown prog tests 0 inspect
10.3  17.1  2.1  2.1  160 11    0  
eca-rers2012/Problem19_label17.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 9.3  0  
eca-rers2012/Problem19_label18.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .025  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.9  160 16    0  
eca-rers2012/Problem19_label19.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 8.6  0  
eca-rers2012/Problem19_label20.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  2.0  160 16    0  
eca-rers2012/Problem19_label21.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 13    0  
eca-rers2012/Problem19_label22.yml timeout .103  prog tests 4 inspect 900 840 79 10000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 16    0  
eca-rers2012/Problem19_label23.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label24.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label25.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 12    0  
eca-rers2012/Problem19_label26.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label27.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 6.3  0  
eca-rers2012/Problem19_label28.yml timeout .103  prog tests 4 inspect 900 840 79 10000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 16    0  
eca-rers2012/Problem19_label29.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label30.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 8.7  0  
eca-rers2012/Problem19_label31.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 15    0  
eca-rers2012/Problem19_label32.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label33.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 14    0  
eca-rers2012/Problem19_label34.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label35.yml timeout .103  prog tests 4 inspect 900 840 79 16000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.2  2.2  160 14    0  
eca-rers2012/Problem19_label36.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 8.4  0  
eca-rers2012/Problem19_label37.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 5.6  0  
eca-rers2012/Problem19_label38.yml timeout .103  prog tests 4 inspect 900 840 79 11000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.1  2.1  160 11    0  
eca-rers2012/Problem19_label39.yml timeout .103  prog tests 4 inspect 900 840 79 15000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label40.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .012  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label41.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 11    0  
eca-rers2012/Problem19_label42.yml timeout .103  prog tests 4 inspect 900 840 79 15000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 9.4  0  
eca-rers2012/Problem19_label43.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 13    0  
eca-rers2012/Problem19_label44.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 15    0  
eca-rers2012/Problem19_label45.yml timeout .103  prog tests 4 inspect 900 840 79 11000 .025  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 15    0  
eca-rers2012/Problem19_label46.yml timeout .103  prog tests 4 inspect 900 840 79 15000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label47.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 11    0  
eca-rers2012/Problem19_label48.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 11    0  
eca-rers2012/Problem19_label49.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label50.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 12    0  
eca-rers2012/Problem19_label51.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .025  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 8.5  0  
eca-rers2012/Problem19_label52.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.1  2.1  160 11    0  
eca-rers2012/Problem19_label53.yml timeout .103  prog tests 4 inspect 900 840 79 15000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 9.5  0  
eca-rers2012/Problem19_label54.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 11    0  
eca-rers2012/Problem19_label55.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  2.0  2.0  160 6.3  0  
eca-rers2012/Problem19_label56.yml timeout .103  prog tests 4 inspect 900 840 79 12000 .016  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 11    0  
eca-rers2012/Problem19_label57.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .0082 0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 10    0  
eca-rers2012/Problem19_label58.yml timeout .103  prog tests 4 inspect 900 840 79 14000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.9  1.9  160 6.3  0  
eca-rers2012/Problem19_label59.yml timeout .103  prog tests 4 inspect 900 840 79 13000 .029  0   unknown prog tests 0 inspect
10.3  17.1  1.8  1.8  160 15    0  
eca-programs/Problem101_label00.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 140    0  
eca-programs/Problem101_label01.yml timeout .0759 prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 160    0  
eca-programs/Problem101_label02.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 150    0  
eca-programs/Problem101_label03.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 140    0  
eca-programs/Problem101_label04.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .025  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 150    0  
eca-programs/Problem101_label05.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.59 12.5  18    17    770 150    0  
eca-programs/Problem101_label06.yml timeout .0759 prog tests 4 inspect 900 840 410 15000 .029  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 160    0  
eca-programs/Problem101_label07.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .074  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 160    0  
eca-programs/Problem101_label08.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .029  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 130    0  
eca-programs/Problem101_label09.yml timeout .0759 prog tests 4 inspect 900 840 420 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 97    0  
eca-programs/Problem101_label10.yml timeout .0759 prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 75    0  
eca-programs/Problem101_label11.yml timeout .0759 prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 93    0  
eca-programs/Problem101_label12.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .012  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 73    0  
eca-programs/Problem101_label13.yml timeout .0759 prog tests 4 inspect 900 840 410 15000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 160    0  
eca-programs/Problem101_label14.yml timeout .0759 prog tests 4 inspect 900 840 420 13000 .020  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 83    0  
eca-programs/Problem101_label15.yml timeout .0759 prog tests 4 inspect 900 840 410 14000 .012  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 170    0  
eca-programs/Problem101_label16.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 71    0  
eca-programs/Problem101_label17.yml timeout .0759 prog tests 4 inspect 900 840 410 13000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 120    0  
eca-programs/Problem101_label18.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  16    16    770 81    0  
eca-programs/Problem101_label19.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  17    17    770 80    0  
eca-programs/Problem101_label20.yml timeout .0759 prog tests 4 inspect 900 840 420 14000 .016  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 130    0  
eca-programs/Problem101_label21.yml timeout .0759 prog tests 4 inspect 900 840 410 12000 .029  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 85    0  
eca-programs/Problem101_label22.yml timeout .0759 prog tests 4 inspect 900 840 420 13000 .025  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 90    0  
eca-programs/Problem101_label23.yml timeout .0759 prog tests 4 inspect 900 840 410 13000 .025  0   unknown prog tests 0 inspect
7.59 12.5  15    15    770 63    0  
eca-programs/Problem102_label00.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label01.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .033  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 240    0  
eca-programs/Problem102_label02.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 30    30    1600 130    0  
eca-programs/Problem102_label03.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 170    0  
eca-programs/Problem102_label04.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 170    0  
eca-programs/Problem102_label05.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .025  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 270    0  
eca-programs/Problem102_label06.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .049  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 120    0  
eca-programs/Problem102_label07.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 170    0  
eca-programs/Problem102_label08.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 90    0  
eca-programs/Problem102_label09.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 230    0  
eca-programs/Problem102_label10.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 150    0  
eca-programs/Problem102_label11.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 140    0  
eca-programs/Problem102_label12.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 130    0  
eca-programs/Problem102_label13.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label14.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 200    0  
eca-programs/Problem102_label15.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 240    0  
eca-programs/Problem102_label16.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 150    0  
eca-programs/Problem102_label17.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 250    0  
eca-programs/Problem102_label18.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 30    30    1600 140    0  
eca-programs/Problem102_label19.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 200    0  
eca-programs/Problem102_label20.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .025  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 150    0  
eca-programs/Problem102_label21.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .012  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 160    0  
eca-programs/Problem102_label22.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 130    0  
eca-programs/Problem102_label23.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 160    0  
eca-programs/Problem102_label24.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 30    30    1600 210    0  
eca-programs/Problem102_label25.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .0041 0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 140    0  
eca-programs/Problem102_label26.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 120    0  
eca-programs/Problem102_label27.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 180    0  
eca-programs/Problem102_label28.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 72    0  
eca-programs/Problem102_label29.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .016  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 270    0  
eca-programs/Problem102_label30.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label31.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 220    0  
eca-programs/Problem102_label32.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .025  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 130    0  
eca-programs/Problem102_label33.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 150    0  
eca-programs/Problem102_label34.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 140    0  
eca-programs/Problem102_label35.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 160    0  
eca-programs/Problem102_label36.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 160    0  
eca-programs/Problem102_label37.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 170    0  
eca-programs/Problem102_label38.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .012  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 170    0  
eca-programs/Problem102_label39.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    32    1600 120    0  
eca-programs/Problem102_label40.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 230    0  
eca-programs/Problem102_label41.yml timeout .0346 prog tests 4 inspect 900 840 780 11000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label42.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .012  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 150    0  
eca-programs/Problem102_label43.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label44.yml timeout .0346 prog tests 4 inspect 900 840 790 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 190    0  
eca-programs/Problem102_label45.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 30    30    1600 140    0  
eca-programs/Problem102_label46.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 30    30    1600 270    0  
eca-programs/Problem102_label47.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 29    29    1600 210    0  
eca-programs/Problem102_label48.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .020  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label49.yml timeout .0346 prog tests 4 inspect 900 840 790 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 240    0  
eca-programs/Problem102_label50.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 150    0  
eca-programs/Problem102_label51.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .025  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 130    0  
eca-programs/Problem102_label52.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 270    0  
eca-programs/Problem102_label53.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 160    0  
eca-programs/Problem102_label54.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .029  0   unknown prog tests 0 inspect
3.46 5.30 33    33    1600 210    0  
eca-programs/Problem102_label55.yml timeout .0346 prog tests 4 inspect 900 840 780 15000 .029  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 180    0  
eca-programs/Problem102_label56.yml timeout .0346 prog tests 4 inspect 900 840 780 13000 .029  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 250    0  
eca-programs/Problem102_label57.yml timeout .0346 prog tests 4 inspect 900 840 780 14000 .016  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 170    0  
eca-programs/Problem102_label58.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .025  0   unknown prog tests 0 inspect
3.46 5.30 32    32    1600 200    0  
eca-programs/Problem102_label59.yml timeout .0346 prog tests 4 inspect 900 840 780 12000 .016  0   unknown prog tests 0 inspect
3.46 5.30 31    31    1600 110    0  
eca-programs/Problem103_label32.yml timeout .0378 prog tests 4 inspect 900 840 900 12000 .025  0   unknown prog tests 0 inspect
3.78 3.91 38    38    1800 100    0  
eca-programs/Problem103_label35.yml timeout .0378 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.78 3.91 38    38    1800 210    0  
eca-programs/Problem103_label40.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 160    0  
eca-programs/Problem103_label41.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .025  0   unknown prog tests 0 inspect
3.77 3.91 37    37    1800 190    0  
eca-programs/Problem103_label42.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 270    0  
eca-programs/Problem103_label43.yml timeout .0377 prog tests 4 inspect 900 840 900 15000 .029  0   unknown prog tests 0 inspect
3.77 3.91 37    37    1800 210    0  
eca-programs/Problem103_label44.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .016  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 180    0  
eca-programs/Problem103_label45.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 170    0  
eca-programs/Problem103_label46.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .020  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 160    0  
eca-programs/Problem103_label47.yml timeout .0377 prog tests 4 inspect 900 840 900 16000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    37    1800 140    0  
eca-programs/Problem103_label48.yml timeout .0377 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.77 3.91 37    37    1800 200    0  
eca-programs/Problem103_label49.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.77 3.91 37    37    1800 160    0  
eca-programs/Problem103_label50.yml timeout .0377 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 150    0  
eca-programs/Problem103_label51.yml timeout .0377 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.77 3.91 38    38    1800 180    0  
eca-programs/Problem103_label52.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .020  0   unknown prog tests 0 inspect
3.77 3.91 35    35    1800 190    0  
eca-programs/Problem103_label53.yml timeout .0377 prog tests 4 inspect 900 840 900 15000 .012  0   unknown prog tests 0 inspect
3.77 3.91 37    37    1800 160    0  
eca-programs/Problem103_label54.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.77 3.91 38    38    1800 200    0  
eca-programs/Problem103_label55.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 260    0  
eca-programs/Problem103_label56.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 150    0  
eca-programs/Problem103_label57.yml timeout .0377 prog tests 4 inspect 900 840 900 14000 .029  0   unknown prog tests 0 inspect
3.77 3.91 35    35    1800 170    0  
eca-programs/Problem103_label58.yml timeout .0377 prog tests 4 inspect 900 840 900 13000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    37    1800 170    0  
eca-programs/Problem103_label59.yml timeout .0377 prog tests 4 inspect 900 840 900 12000 .029  0   unknown prog tests 0 inspect
3.77 3.91 36    36    1800 180    0  
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 1046 85.8 940000 880000 250000 14000000 23 0   1046 8580 14400 8900 8900 470000 50000 0  
Run set prtest.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-prtest.test-comp19_prop-coverage-branches.ReachSafety-ECA