Benchmark CPA/Tiger-MGP TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30541M 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*
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-05 21:13:54 CET 2019-02-06 06:15:02 CET
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options -benchmark -heap 10000M -tigertestcomp19 --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/cpa-tiger.2019-02-05_2113.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 .481  prog tests 476 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.7   58   120   0     
eca-rers2012/Problem03_label01.yml timeout .481  prog tests 475 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label02.yml timeout .481  prog tests 475 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.4   58   120   0     
eca-rers2012/Problem03_label03.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.4   58   120   0     
eca-rers2012/Problem03_label04.yml timeout .481  prog tests 476 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label05.yml timeout .481  prog tests 476 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label06.yml timeout .481  prog tests 476 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label07.yml timeout .481  prog tests 475 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.3   58   130   0     
eca-rers2012/Problem03_label08.yml timeout .481  prog tests 475 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.3   58   120   0     
eca-rers2012/Problem03_label09.yml timeout .481  prog tests 475 inspect 900 870 2200 9800 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label10.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label11.yml timeout .481  prog tests 476 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.5   58   120   0     
eca-rers2012/Problem03_label12.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label13.yml timeout .481  prog tests 476 inspect 900 870 2300 12000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label14.yml timeout .478  prog tests 472 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
47.8  48.5  4.3   4.5   58   120   0     
eca-rers2012/Problem03_label15.yml timeout .481  prog tests 476 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label16.yml timeout .481  prog tests 476 inspect 900 870 2300 9900 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.4   58   130   0     
eca-rers2012/Problem03_label17.yml timeout .481  prog tests 476 inspect 900 870 2300 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   5.3   58   130   0     
eca-rers2012/Problem03_label18.yml timeout .481  prog tests 476 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.2   58   120   0     
eca-rers2012/Problem03_label19.yml timeout .481  prog tests 476 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.9   58   130   0     
eca-rers2012/Problem03_label20.yml timeout .481  prog tests 475 inspect 900 870 2200 9800 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label21.yml timeout .481  prog tests 476 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.4   58   120   0     
eca-rers2012/Problem03_label22.yml timeout .481  prog tests 476 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label23.yml timeout .481  prog tests 475 inspect 900 870 2300 9200 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.2   58   130   0     
eca-rers2012/Problem03_label24.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.7   4.5   58   120   0     
eca-rers2012/Problem03_label25.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label26.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.5   4.3   58   120   0     
eca-rers2012/Problem03_label27.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.4   5.3   58   130   0     
eca-rers2012/Problem03_label28.yml timeout .481  prog tests 475 inspect 900 870 2300 12000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label29.yml timeout .481  prog tests 475 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.5   58   120   0     
eca-rers2012/Problem03_label30.yml timeout .481  prog tests 475 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label31.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label32.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.7   58   120   0     
eca-rers2012/Problem03_label33.yml timeout .481  prog tests 475 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.3   58   120   0     
eca-rers2012/Problem03_label34.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.8   58   120   0     
eca-rers2012/Problem03_label35.yml timeout .485  prog tests 477 inspect 900 870 2300 12000 .0041 0   true prog tests 1 inspect
48.5  49.7  4.4   4.4   58   130   0     
eca-rers2012/Problem03_label36.yml timeout .481  prog tests 476 inspect 930 900 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label37.yml timeout .481  prog tests 475 inspect 900 870 2300 10000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.5   4.4   58   120   0     
eca-rers2012/Problem03_label38.yml timeout .481  prog tests 475 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   130   0     
eca-rers2012/Problem03_label39.yml timeout .481  prog tests 476 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label40.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.3   58   130   0     
eca-rers2012/Problem03_label41.yml timeout .481  prog tests 475 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.1   4.0   58   120   0     
eca-rers2012/Problem03_label42.yml timeout .481  prog tests 476 inspect 900 870 2400 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label43.yml timeout .481  prog tests 475 inspect 900 870 2300 11000 .0041 0   true prog tests 1 inspect
48.1  49.1  4.4   4.6   58   120   .0041
eca-rers2012/Problem03_label44.yml timeout .479  prog tests 473 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
47.9  48.5  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label45.yml timeout .475  prog tests 449 inspect 900 870 2100 10000 .0041 0   unknown prog tests 0 inspect
47.5  49.7  4.5   4.6   58   120   0     
eca-rers2012/Problem03_label46.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.2   58   120   0     
eca-rers2012/Problem03_label47.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.8   58   130   0     
eca-rers2012/Problem03_label48.yml timeout .481  prog tests 476 inspect 900 870 2300 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label49.yml timeout .481  prog tests 475 inspect 900 870 2200 12000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label50.yml timeout .481  prog tests 476 inspect 900 870 2300 9900 .0041 0   true prog tests 1 inspect
48.1  49.1  4.4   4.7   58   130   0     
eca-rers2012/Problem03_label51.yml timeout .475  prog tests 470 inspect 900 870 2100 10000 .0041 0   unknown prog tests 0 inspect
47.5  47.8  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label52.yml timeout .481  prog tests 475 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.5   58   130   0     
eca-rers2012/Problem03_label53.yml timeout .481  prog tests 475 inspect 900 870 2200 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.3   58   120   0     
eca-rers2012/Problem03_label54.yml timeout .481  prog tests 476 inspect 900 870 2200 13000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label55.yml timeout .481  prog tests 476 inspect 900 870 2300 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.5   4.6   58   130   0     
eca-rers2012/Problem03_label56.yml timeout .481  prog tests 475 inspect 900 870 2200 10000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label57.yml timeout .481  prog tests 476 inspect 900 870 2300 9800 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.0   58   120   0     
eca-rers2012/Problem03_label58.yml timeout .481  prog tests 475 inspect 900 870 2300 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   4.2   58   120   0     
eca-rers2012/Problem03_label59.yml timeout .481  prog tests 475 inspect 930 900 2100 11000 .0041 0   unknown prog tests 0 inspect
48.1  49.1  4.3   5.2   58   120   0     
eca-rers2012/Problem04_label00.yml timeout .216  prog tests 483 inspect 900 860 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.5   9.3   110   360   0     
eca-rers2012/Problem04_label01.yml timeout .216  prog tests 483 inspect 900 870 1600 9900 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   8.9   110   370   0     
eca-rers2012/Problem04_label02.yml timeout .216  prog tests 484 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.5   8.5   110   360   0     
eca-rers2012/Problem04_label03.yml timeout .216  prog tests 482 inspect 900 870 1700 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   8.7   110   360   0     
eca-rers2012/Problem04_label04.yml timeout .216  prog tests 481 inspect 930 900 1000 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   350   0     
eca-rers2012/Problem04_label05.yml timeout .216  prog tests 484 inspect 900 870 1600 9700 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   8.6   110   370   0     
eca-rers2012/Problem04_label06.yml timeout .216  prog tests 484 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   8.7   110   360   0     
eca-rers2012/Problem04_label07.yml timeout .216  prog tests 482 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label08.yml timeout .216  prog tests 483 inspect 900 870 1700 9700 .0041 0   unknown prog tests 0 inspect
21.6  18.9  9.0   8.9   110   370   0     
eca-rers2012/Problem04_label09.yml timeout .216  prog tests 483 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   10     110   360   0     
eca-rers2012/Problem04_label10.yml timeout .216  prog tests 483 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   11     110   360   0     
eca-rers2012/Problem04_label13.yml timeout .216  prog tests 483 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   9.9   110   370   0     
eca-rers2012/Problem04_label15.yml timeout .216  prog tests 482 inspect 900 870 1600 9700 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   10     110   350   0     
eca-rers2012/Problem04_label16.yml timeout .216  prog tests 483 inspect 900 870 1600 9300 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   10     110   370   0     
eca-rers2012/Problem04_label18.yml timeout .216  prog tests 485 inspect 900 860 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   9.2   110   360   0     
eca-rers2012/Problem04_label19.yml timeout .216  prog tests 483 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   8.8   110   360   0     
eca-rers2012/Problem04_label21.yml timeout .216  prog tests 482 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   8.9   110   350   0     
eca-rers2012/Problem04_label22.yml timeout .216  prog tests 485 inspect 900 870 1600 9600 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   10     110   370   0     
eca-rers2012/Problem04_label25.yml timeout .216  prog tests 483 inspect 900 870 1800 9800 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label26.yml timeout .216  prog tests 480 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   10     110   370   0     
eca-rers2012/Problem04_label28.yml timeout .216  prog tests 479 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   10     110   360   0     
eca-rers2012/Problem04_label30.yml timeout .216  prog tests 481 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   10     110   360   0     
eca-rers2012/Problem04_label31.yml timeout .216  prog tests 481 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   8.8   110   370   0     
eca-rers2012/Problem04_label32.yml timeout .216  prog tests 482 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.6   11     110   360   0     
eca-rers2012/Problem04_label33.yml timeout .216  prog tests 482 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  9.1   9.0   110   360   0     
eca-rers2012/Problem04_label34.yml timeout .216  prog tests 482 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label35.yml timeout .216  prog tests 479 inspect 900 870 1800 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   350   0     
eca-rers2012/Problem04_label38.yml timeout .216  prog tests 483 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  9.0   9.5   110   360   0     
eca-rers2012/Problem04_label39.yml timeout .216  prog tests 482 inspect 900 870 1700 13000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   8.8   110   370   0     
eca-rers2012/Problem04_label41.yml timeout .216  prog tests 484 inspect 900 870 1600 9400 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   8.7   110   360   0     
eca-rers2012/Problem04_label45.yml timeout .216  prog tests 482 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   8.7   110   360   0     
eca-rers2012/Problem04_label47.yml timeout .216  prog tests 481 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   9.9   110   360   0     
eca-rers2012/Problem04_label48.yml timeout .216  prog tests 484 inspect 900 870 1700 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   9.2   110   370   0     
eca-rers2012/Problem04_label50.yml timeout .216  prog tests 482 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   8.7   110   370   0     
eca-rers2012/Problem04_label51.yml timeout .216  prog tests 484 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.8   11     110   360   0     
eca-rers2012/Problem04_label52.yml timeout .216  prog tests 484 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label53.yml timeout .216  prog tests 484 inspect 900 860 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.7   8.6   110   360   0     
eca-rers2012/Problem04_label54.yml timeout .216  prog tests 484 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  9.0   8.9   110   370   0     
eca-rers2012/Problem04_label55.yml timeout .216  prog tests 484 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  9.5   9.4   110   360   0     
eca-rers2012/Problem04_label56.yml timeout .216  prog tests 484 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
21.6  18.9  8.9   9.5   110   360   0     
eca-rers2012/Problem04_label59.yml timeout .215  prog tests 487 inspect 900 870 1700 9900 .0041 0   unknown prog tests 0 inspect
21.5  19.1  8.9   8.7   110   370   0     
eca-rers2012/Problem05_label00.yml timeout .112  prog tests 390 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   910   0     
eca-rers2012/Problem05_label01.yml timeout .112  prog tests 394 inspect 900 870 1900 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label02.yml timeout .112  prog tests 394 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   820   0     
eca-rers2012/Problem05_label03.yml timeout .112  prog tests 375 inspect 900 870 1900 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   730   0     
eca-rers2012/Problem05_label04.yml timeout .112  prog tests 374 inspect 900 870 1800 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  12     14     180   800   0     
eca-rers2012/Problem05_label05.yml timeout .112  prog tests 375 inspect 900 870 1900 9700 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   780   0     
eca-rers2012/Problem05_label06.yml timeout .112  prog tests 391 inspect 900 870 1800 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   680   0     
eca-rers2012/Problem05_label07.yml timeout .112  prog tests 394 inspect 900 870 1800 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   730   0     
eca-rers2012/Problem05_label08.yml timeout .112  prog tests 395 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label09.yml timeout .112  prog tests 394 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label10.yml timeout .112  prog tests 393 inspect 900 870 1800 9300 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label11.yml timeout .112  prog tests 394 inspect 930 900 1800 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label12.yml timeout .112  prog tests 394 inspect 900 870 1900 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label13.yml timeout .112  prog tests 394 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label14.yml timeout .112  prog tests 394 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   910   0     
eca-rers2012/Problem05_label15.yml timeout .112  prog tests 394 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label16.yml timeout .112  prog tests 395 inspect 900 870 1600 9300 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   780   0     
eca-rers2012/Problem05_label17.yml timeout .112  prog tests 395 inspect 900 870 1700 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     16     180   750   0     
eca-rers2012/Problem05_label18.yml timeout .112  prog tests 391 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   780   0     
eca-rers2012/Problem05_label19.yml timeout .112  prog tests 395 inspect 900 870 1900 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   820   0     
eca-rers2012/Problem05_label20.yml timeout .112  prog tests 394 inspect 900 870 1900 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   810   0     
eca-rers2012/Problem05_label21.yml timeout .112  prog tests 393 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     16     180   820   0     
eca-rers2012/Problem05_label22.yml timeout .112  prog tests 394 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label23.yml timeout .112  prog tests 393 inspect 900 870 1800 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label24.yml timeout .112  prog tests 393 inspect 900 870 1900 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   840   0     
eca-rers2012/Problem05_label25.yml timeout .112  prog tests 374 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   640   0     
eca-rers2012/Problem05_label26.yml timeout .112  prog tests 394 inspect 900 870 1900 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   690   0     
eca-rers2012/Problem05_label27.yml timeout .112  prog tests 393 inspect 900 870 1600 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   690   0     
eca-rers2012/Problem05_label28.yml timeout .112  prog tests 375 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   720   0     
eca-rers2012/Problem05_label29.yml timeout .112  prog tests 393 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label30.yml timeout .112  prog tests 376 inspect 900 870 1900 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     12     180   850   0     
eca-rers2012/Problem05_label31.yml timeout .112  prog tests 375 inspect 900 870 1700 9800 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   850   0     
eca-rers2012/Problem05_label32.yml timeout .112  prog tests 375 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   840   0     
eca-rers2012/Problem05_label33.yml timeout .112  prog tests 375 inspect 900 870 1900 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label34.yml timeout .112  prog tests 394 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   830   0     
eca-rers2012/Problem05_label35.yml timeout .112  prog tests 393 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   780   0     
eca-rers2012/Problem05_label36.yml timeout .112  prog tests 394 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label37.yml timeout .112  prog tests 375 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label38.yml timeout .112  prog tests 394 inspect 900 870 1900 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   790   0     
eca-rers2012/Problem05_label39.yml timeout .112  prog tests 394 inspect 900 870 1600 9300 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     16     180   750   0     
eca-rers2012/Problem05_label40.yml timeout .112  prog tests 394 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   880   0     
eca-rers2012/Problem05_label41.yml timeout .112  prog tests 394 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label42.yml timeout .112  prog tests 374 inspect 930 900 1900 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   800   0     
eca-rers2012/Problem05_label43.yml timeout .112  prog tests 375 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  12     13     180   770   0     
eca-rers2012/Problem05_label44.yml timeout .112  prog tests 395 inspect 900 870 1800 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   880   0     
eca-rers2012/Problem05_label45.yml timeout .112  prog tests 394 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label46.yml timeout .112  prog tests 375 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   770   0     
eca-rers2012/Problem05_label47.yml timeout .112  prog tests 394 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   810   0     
eca-rers2012/Problem05_label48.yml timeout .112  prog tests 394 inspect 900 870 1800 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   790   0     
eca-rers2012/Problem05_label49.yml timeout .112  prog tests 373 inspect 900 880 1700 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  12     14     180   780   0     
eca-rers2012/Problem05_label50.yml timeout .112  prog tests 395 inspect 900 870 1900 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label51.yml timeout .112  prog tests 394 inspect 900 870 1600 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label52.yml timeout .112  prog tests 394 inspect 900 870 1700 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label53.yml timeout .112  prog tests 394 inspect 900 870 1800 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label54.yml timeout .112  prog tests 399 inspect 900 870 1900 10000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   920   0     
eca-rers2012/Problem05_label55.yml timeout .112  prog tests 395 inspect 900 870 1600 12000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label56.yml timeout .112  prog tests 393 inspect 900 870 1900 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     15     180   760   0     
eca-rers2012/Problem05_label57.yml timeout .112  prog tests 395 inspect 900 870 1600 13000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     13     180   920   0     
eca-rers2012/Problem05_label58.yml timeout .112  prog tests 374 inspect 900 870 1700 11000 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     14     180   800   0     
eca-rers2012/Problem05_label59.yml timeout .112  prog tests 395 inspect 900 870 1800 9400 .0041 0   unknown prog tests 0 inspect
11.2  15.7  13     16     180   760   0     
eca-rers2012/Problem06_label00.yml timeout .0987 prog tests 408 inspect 900 870 1300 8300 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label01.yml timeout .0987 prog tests 408 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label02.yml timeout .0987 prog tests 407 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label03.yml timeout .0987 prog tests 392 inspect 930 900 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   630   0     
eca-rers2012/Problem06_label04.yml timeout .0987 prog tests 392 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   660   0     
eca-rers2012/Problem06_label05.yml timeout .0987 prog tests 408 inspect 900 870 1200 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   670   0     
eca-rers2012/Problem06_label06.yml timeout .0987 prog tests 408 inspect 930 900 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label07.yml timeout .0987 prog tests 406 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   770   0     
eca-rers2012/Problem06_label08.yml timeout .0987 prog tests 408 inspect 900 870 1400 13000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   670   0     
eca-rers2012/Problem06_label09.yml timeout .0987 prog tests 390 inspect 900 870 2600 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   660   0     
eca-rers2012/Problem06_label10.yml timeout .0987 prog tests 408 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label11.yml timeout .0987 prog tests 408 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label12.yml timeout .0987 prog tests 381 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 11     12     180   710   0     
eca-rers2012/Problem06_label13.yml timeout .0987 prog tests 392 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   720   0     
eca-rers2012/Problem06_label14.yml timeout .0987 prog tests 408 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label15.yml timeout .0987 prog tests 392 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   700   0     
eca-rers2012/Problem06_label16.yml timeout .0987 prog tests 408 inspect 900 870 1300 9800 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label17.yml timeout .0987 prog tests 392 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label18.yml timeout .0987 prog tests 408 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label19.yml timeout .0987 prog tests 409 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label20.yml timeout .0987 prog tests 409 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 13     14     180   590   0     
eca-rers2012/Problem06_label21.yml timeout .0987 prog tests 407 inspect 930 900 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label22.yml timeout .0987 prog tests 407 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   680   0     
eca-rers2012/Problem06_label23.yml timeout .0987 prog tests 408 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   790   0     
eca-rers2012/Problem06_label24.yml timeout .0987 prog tests 407 inspect 900 870 1400 13000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   720   0     
eca-rers2012/Problem06_label25.yml timeout .0987 prog tests 407 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label26.yml timeout .0987 prog tests 408 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   660   0     
eca-rers2012/Problem06_label27.yml timeout .0987 prog tests 408 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   750   0     
eca-rers2012/Problem06_label28.yml timeout .0987 prog tests 408 inspect 900 870 1200 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   770   0     
eca-rers2012/Problem06_label29.yml timeout .0987 prog tests 394 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label30.yml timeout .0987 prog tests 408 inspect 900 870 1400 9900 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   650   0     
eca-rers2012/Problem06_label31.yml timeout .0987 prog tests 390 inspect 900 870 1300 13000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   710   0     
eca-rers2012/Problem06_label32.yml timeout .0987 prog tests 391 inspect 900 870 1300 9800 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   750   0     
eca-rers2012/Problem06_label33.yml timeout .0987 prog tests 407 inspect 900 870 2800 9300 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem06_label34.yml timeout .0987 prog tests 407 inspect 900 870 2000 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   740   0     
eca-rers2012/Problem06_label35.yml timeout .0987 prog tests 408 inspect 900 870 1200 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label36.yml timeout .0987 prog tests 409 inspect 900 870 1200 9700 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label37.yml timeout .0987 prog tests 408 inspect 900 870 1200 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   690   0     
eca-rers2012/Problem06_label38.yml timeout .0987 prog tests 409 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   770   0     
eca-rers2012/Problem06_label39.yml timeout .0987 prog tests 409 inspect 900 870 1300 9200 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label40.yml timeout .0987 prog tests 407 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label41.yml timeout .0987 prog tests 407 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   680   0     
eca-rers2012/Problem06_label42.yml timeout .0987 prog tests 407 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     15     180   640   0     
eca-rers2012/Problem06_label43.yml timeout .0987 prog tests 408 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     13     180   690   0     
eca-rers2012/Problem06_label44.yml timeout .0987 prog tests 407 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   730   0     
eca-rers2012/Problem06_label45.yml timeout .0987 prog tests 409 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   790   0     
eca-rers2012/Problem06_label46.yml timeout .0987 prog tests 408 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem06_label47.yml timeout .0987 prog tests 391 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   640   0     
eca-rers2012/Problem06_label48.yml timeout .0987 prog tests 391 inspect 900 870 1400 9900 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   650   0     
eca-rers2012/Problem06_label49.yml timeout .0987 prog tests 407 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label50.yml timeout .0987 prog tests 409 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label51.yml timeout .0987 prog tests 392 inspect 900 870 1300 9300 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   750   0     
eca-rers2012/Problem06_label52.yml timeout .0987 prog tests 407 inspect 900 870 1200 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   650   0     
eca-rers2012/Problem06_label53.yml timeout .0987 prog tests 408 inspect 930 900 1400 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   630   0     
eca-rers2012/Problem06_label54.yml timeout .0987 prog tests 408 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label55.yml timeout .0987 prog tests 408 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label56.yml timeout .0987 prog tests 408 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label57.yml timeout .0987 prog tests 407 inspect 900 870 1300 10000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   640   0     
eca-rers2012/Problem06_label58.yml timeout .0987 prog tests 407 inspect 900 870 1400 9900 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     15     180   660   0     
eca-rers2012/Problem06_label59.yml timeout .0987 prog tests 408 inspect 900 870 1300 11000 .0041 0   unknown prog tests 0 inspect
9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem07_label00.yml timeout .0    prog tests 0 inspect 900 880 1800 3300 .0041 0   unknown prog tests 0 inspect
0    0    .065 .066 9.0 0   0     
eca-rers2012/Problem07_label01.yml timeout .0    prog tests 0 inspect 900 880 1800 3800 .0041 0   unknown prog tests 0 inspect
0    0    .063 .063 9.1 0   0     
eca-rers2012/Problem07_label02.yml timeout .0    prog tests 0 inspect 900 880 1400 3500 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem07_label03.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label04.yml timeout .0    prog tests 0 inspect 900 880 1800 6200 .0041 0   unknown prog tests 0 inspect
0    0    .062 .064 9.1 0   0     
eca-rers2012/Problem07_label05.yml timeout .0    prog tests 0 inspect 900 880 1800 6300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label06.yml timeout .0    prog tests 0 inspect 900 880 1800 3000 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label07.yml timeout .0    prog tests 0 inspect 900 880 1800 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label08.yml timeout .0    prog tests 0 inspect 900 890 1400 5100 .0041 0   unknown prog tests 0 inspect
0    0    .067 .067 9.0 0   0     
eca-rers2012/Problem07_label09.yml timeout .0    prog tests 0 inspect 900 880 1800 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label10.yml timeout .0    prog tests 0 inspect 900 880 1800 5700 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem07_label11.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label12.yml timeout .0    prog tests 0 inspect 900 880 1800 3500 .0041 0   unknown prog tests 0 inspect
0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem07_label13.yml timeout .0    prog tests 0 inspect 900 890 1400 4100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label14.yml timeout .0    prog tests 0 inspect 900 880 1800 5400 .0041 0   unknown prog tests 0 inspect
0    0    .064 .064 9.0 0   0     
eca-rers2012/Problem07_label15.yml timeout .0    prog tests 0 inspect 900 880 1800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem07_label16.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .083 .084 9.0 0   0     
eca-rers2012/Problem07_label17.yml timeout .0    prog tests 0 inspect 900 880 1800 3300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label18.yml timeout .0    prog tests 0 inspect 900 880 1800 4500 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label19.yml timeout .0    prog tests 0 inspect 900 880 1800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label20.yml timeout .0    prog tests 0 inspect 900 880 1800 6100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem07_label21.yml timeout .0    prog tests 0 inspect 900 890 1400 8900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label22.yml timeout .0    prog tests 0 inspect 900 880 1800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem07_label23.yml timeout .0    prog tests 0 inspect 900 880 1800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label24.yml timeout .0    prog tests 0 inspect 900 880 1800 2900 .0041 0   unknown prog tests 0 inspect
0    0    .061 .075 9.0 0   0     
eca-rers2012/Problem07_label25.yml timeout .0    prog tests 0 inspect 900 880 1800 3300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label26.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .073 .074 9.0 0   0     
eca-rers2012/Problem07_label27.yml timeout .0    prog tests 0 inspect 900 880 1800 3200 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 8.9 0   0     
eca-rers2012/Problem07_label28.yml timeout .0    prog tests 0 inspect 900 880 1800 6300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label29.yml timeout .0    prog tests 0 inspect 900 880 1800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .065 .069 9.1 0   0     
eca-rers2012/Problem07_label30.yml timeout .0    prog tests 0 inspect 900 880 1800 6500 .0041 0   unknown prog tests 0 inspect
0    0    .057 .057 9.0 0   0     
eca-rers2012/Problem07_label31.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label32.yml timeout .0    prog tests 0 inspect 900 890 1400 3300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label33.yml timeout .0    prog tests 0 inspect 900 890 1400 4300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label34.yml timeout .0    prog tests 0 inspect 900 880 1800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem07_label35.yml timeout .0    prog tests 0 inspect 900 880 1800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem07_label36.yml timeout .0    prog tests 0 inspect 900 880 1800 3800 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label37.yml timeout .0    prog tests 0 inspect 900 880 1800 4000 .0041 0   unknown prog tests 0 inspect
0    0    .079 .080 9.1 0   0     
eca-rers2012/Problem07_label38.yml timeout .0    prog tests 0 inspect 900 880 1800 3500 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label39.yml timeout .0    prog tests 0 inspect 900 880 1800 3200 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem07_label40.yml timeout .0    prog tests 0 inspect 900 890 1400 6500 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label41.yml timeout .0    prog tests 0 inspect 930 910 1800 5600 .0041 0   unknown prog tests 0 inspect
0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem07_label42.yml timeout .0    prog tests 0 inspect 900 890 1400 3800 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 9.1 0   0     
eca-rers2012/Problem07_label43.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem07_label44.yml timeout .0    prog tests 0 inspect 900 890 1400 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label45.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .082 .084 9.0 0   0     
eca-rers2012/Problem07_label46.yml timeout .0    prog tests 0 inspect 900 880 1800 4500 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 9.0 0   0     
eca-rers2012/Problem07_label47.yml timeout .0    prog tests 0 inspect 900 880 1800 3500 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label48.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label49.yml timeout .0    prog tests 0 inspect 900 880 1800 4800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem07_label50.yml timeout .0    prog tests 0 inspect 900 890 1400 3300 .0041 0   unknown prog tests 0 inspect
0    0    .063 .063 9.0 0   0     
eca-rers2012/Problem07_label51.yml timeout .0    prog tests 0 inspect 900 880 1800 3100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.1 0   0     
eca-rers2012/Problem07_label52.yml timeout .0    prog tests 0 inspect 900 890 1400 3300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem07_label53.yml timeout .0    prog tests 0 inspect 900 880 1800 3700 .0041 0   unknown prog tests 0 inspect
0    0    .065 .066 8.9 0   0     
eca-rers2012/Problem07_label54.yml timeout .0    prog tests 0 inspect 900 880 1800 3200 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label55.yml timeout .0    prog tests 0 inspect 900 890 1400 3800 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label56.yml timeout .0    prog tests 0 inspect 900 880 1800 6100 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label57.yml timeout .0    prog tests 0 inspect 900 880 1800 4400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 8.9 0   0     
eca-rers2012/Problem07_label58.yml timeout .0    prog tests 0 inspect 900 880 1800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label59.yml timeout .0    prog tests 0 inspect 900 880 1800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 8.9 0   0     
eca-rers2012/Problem08_label00.yml timeout .0    prog tests 0 inspect 900 880 2300 4700 .0041 0   unknown prog tests 0 inspect
0    0    .070 .078 9.0 0   0     
eca-rers2012/Problem08_label01.yml timeout .0    prog tests 0 inspect 900 880 2300 3600 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 8.9 0   0     
eca-rers2012/Problem08_label02.yml timeout .0    prog tests 0 inspect 900 870 2700 5300 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.1 0   0     
eca-rers2012/Problem08_label03.yml timeout .0    prog tests 0 inspect 900 870 2400 5900 .0041 0   unknown prog tests 0 inspect
0    0    .087 .088 9.0 0   0     
eca-rers2012/Problem08_label04.yml timeout .0    prog tests 0 inspect 900 870 2900 5300 .0041 0   unknown prog tests 0 inspect
0    0    .065 .065 9.0 0   0     
eca-rers2012/Problem08_label05.yml timeout .0    prog tests 0 inspect 900 880 2300 4200 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label06.yml timeout .0    prog tests 0 inspect 900 870 2700 3600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label07.yml timeout .0    prog tests 0 inspect 900 870 2700 5100 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label08.yml timeout .0    prog tests 0 inspect 900 870 2700 5100 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label09.yml timeout .0    prog tests 0 inspect 900 870 2800 3300 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label10.yml timeout .0    prog tests 0 inspect 900 880 2600 3700 .0041 0   unknown prog tests 0 inspect
0    0    .084 .091 9.0 0   0     
eca-rers2012/Problem08_label11.yml timeout .0    prog tests 0 inspect 900 870 2700 3600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label12.yml timeout .0    prog tests 0 inspect 900 880 2300 4100 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label13.yml timeout .0    prog tests 0 inspect 900 880 2300 4300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label14.yml timeout .0    prog tests 0 inspect 900 880 2300 4000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label15.yml timeout .0    prog tests 0 inspect 900 870 2800 4700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem08_label16.yml timeout .0    prog tests 0 inspect 900 870 2700 3100 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label17.yml timeout .0    prog tests 0 inspect 900 880 2500 4000 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem08_label18.yml timeout .0    prog tests 0 inspect 900 870 2800 4700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label19.yml timeout .0    prog tests 0 inspect 900 870 2700 4100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem08_label20.yml timeout .0    prog tests 0 inspect 900 870 2700 2900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label21.yml timeout .0    prog tests 0 inspect 900 870 2300 4300 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem08_label22.yml timeout .0    prog tests 0 inspect 900 880 2600 4300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label23.yml timeout .0    prog tests 0 inspect 900 870 2300 3500 .0041 0   unknown prog tests 0 inspect
0    0    .072 .072 9.0 0   0     
eca-rers2012/Problem08_label24.yml timeout .0    prog tests 0 inspect 900 870 2700 4400 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label25.yml timeout .0    prog tests 0 inspect 900 870 3000 4000 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label26.yml timeout .0    prog tests 0 inspect 900 870 2700 4100 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label27.yml timeout .0    prog tests 0 inspect 900 880 2300 5200 .0041 0   unknown prog tests 0 inspect
0    0    .057 .059 9.1 0   0     
eca-rers2012/Problem08_label28.yml timeout .0    prog tests 0 inspect 900 880 2500 3300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .061 9.0 0   0     
eca-rers2012/Problem08_label29.yml timeout .0    prog tests 0 inspect 900 870 2700 4100 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label30.yml timeout .0    prog tests 0 inspect 900 870 2800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem08_label31.yml timeout .0    prog tests 0 inspect 900 870 2300 4000 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label32.yml timeout .0    prog tests 0 inspect 900 870 3100 5900 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label33.yml timeout .0    prog tests 0 inspect 900 870 2700 2600 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label34.yml timeout .0    prog tests 0 inspect 900 880 2300 4500 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.0 0   0     
eca-rers2012/Problem08_label35.yml timeout .0    prog tests 0 inspect 900 880 2500 3200 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 8.9 0   0     
eca-rers2012/Problem08_label36.yml timeout .0    prog tests 0 inspect 900 870 3000 4200 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label37.yml timeout .0    prog tests 0 inspect 900 880 2600 3800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label38.yml timeout .0    prog tests 0 inspect 900 880 2300 3400 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.1 0   0     
eca-rers2012/Problem08_label39.yml timeout .0    prog tests 0 inspect 900 870 2300 3900 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label40.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label41.yml timeout .0    prog tests 0 inspect 900 870 3000 5200 .0041 0   unknown prog tests 0 inspect
0    0    .067 .069 9.1 0   0     
eca-rers2012/Problem08_label42.yml timeout .0    prog tests 0 inspect 900 880 2600 3500 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label43.yml timeout .0    prog tests 0 inspect 930 900 2800 5800 .0041 0   unknown prog tests 0 inspect
0    0    .062 .064 9.1 0   0     
eca-rers2012/Problem08_label44.yml timeout .0    prog tests 0 inspect 900 880 2500 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 8.9 0   0     
eca-rers2012/Problem08_label45.yml timeout .0    prog tests 0 inspect 900 870 2600 3500 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem08_label46.yml timeout .0    prog tests 0 inspect 900 870 3100 4600 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem08_label47.yml timeout .0    prog tests 0 inspect 900 870 2700 3000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label48.yml timeout .0    prog tests 0 inspect 900 870 3200 2600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label49.yml timeout .0    prog tests 0 inspect 900 870 2700 5300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem08_label50.yml timeout .0    prog tests 0 inspect 900 870 2600 3600 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label51.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem08_label52.yml timeout .0    prog tests 0 inspect 900 870 2300 2900 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label53.yml timeout .0    prog tests 0 inspect 900 870 2300 2900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label54.yml timeout .0    prog tests 0 inspect 900 870 2700 4800 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label55.yml timeout .0    prog tests 0 inspect 900 870 2800 4400 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label56.yml timeout .0    prog tests 0 inspect 930 900 2700 6300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem08_label57.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem08_label58.yml timeout .0    prog tests 0 inspect 900 870 2800 4500 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label59.yml timeout .0    prog tests 0 inspect 900 870 2700 3700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 8.9 0   0     
eca-rers2012/Problem09_label00.yml timeout .0    prog tests 0 inspect 900 870 2900 4400 .0041 0   unknown prog tests 0 inspect
0    0    .070 .070 9.0 0   0     
eca-rers2012/Problem09_label01.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .061 9.0 0   0     
eca-rers2012/Problem09_label02.yml timeout .0    prog tests 0 inspect 900 870 3000 3300 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem09_label03.yml timeout .0    prog tests 0 inspect 900 870 3100 3000 .0041 0   unknown prog tests 0 inspect
0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem09_label04.yml timeout .0    prog tests 0 inspect 900 880 2900 3700 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.1 0   0     
eca-rers2012/Problem09_label05.yml timeout .0    prog tests 0 inspect 900 870 3100 3300 .0041 0   unknown prog tests 0 inspect
0    0    .064 .066 8.9 0   0     
eca-rers2012/Problem09_label06.yml timeout .0    prog tests 0 inspect 900 870 3100 4000 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem09_label07.yml timeout .0    prog tests 0 inspect 900 880 3100 3500 .0041 0   unknown prog tests 0 inspect
0    0    .069 .072 9.0 0   0     
eca-rers2012/Problem09_label08.yml timeout .0    prog tests 0 inspect 900 870 2600 4600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label09.yml timeout .0    prog tests 0 inspect 900 870 2800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label10.yml timeout .0    prog tests 0 inspect 900 870 3100 6200 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem09_label11.yml timeout .0    prog tests 0 inspect 900 870 3000 3600 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label12.yml timeout .0    prog tests 0 inspect 900 870 2600 4900 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem09_label13.yml timeout .0    prog tests 0 inspect 900 870 3100 3900 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 8.9 0   0     
eca-rers2012/Problem09_label14.yml timeout .0    prog tests 0 inspect 900 880 2900 3300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label15.yml timeout .0    prog tests 0 inspect 900 870 2900 3400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label16.yml timeout .0    prog tests 0 inspect 900 870 3000 4300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label17.yml timeout .0    prog tests 0 inspect 900 870 3100 3700 .0041 0   unknown prog tests 0 inspect
0    0    .057 .057 9.0 0   0     
eca-rers2012/Problem09_label18.yml timeout .0    prog tests 0 inspect 900 870 3000 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label19.yml timeout .0    prog tests 0 inspect 900 870 2800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label20.yml timeout .0    prog tests 0 inspect 900 870 3100 3600 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem09_label21.yml timeout .0    prog tests 0 inspect 900 870 3000 6500 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 8.9 0   0     
eca-rers2012/Problem09_label22.yml timeout .0    prog tests 0 inspect 900 870 3000 3300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label23.yml timeout .0    prog tests 0 inspect 900 870 3000 4700 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label24.yml timeout .0    prog tests 0 inspect 900 870 2600 5800 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label25.yml timeout .0    prog tests 0 inspect 900 870 3100 3300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.0 0   0     
eca-rers2012/Problem09_label26.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label27.yml timeout .0    prog tests 0 inspect 900 870 3000 4100 .0041 0   unknown prog tests 0 inspect
0    0    .062 .064 9.0 0   0     
eca-rers2012/Problem09_label28.yml timeout .0    prog tests 0 inspect 900 870 3000 3700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label29.yml timeout .0    prog tests 0 inspect 900 870 3000 4400 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label30.yml timeout .0    prog tests 0 inspect 900 870 3000 3600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label31.yml timeout .0    prog tests 0 inspect 900 870 3100 3000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label32.yml timeout .0    prog tests 0 inspect 900 870 2700 3800 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label33.yml timeout .0    prog tests 0 inspect 900 870 2900 4600 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label34.yml timeout .0    prog tests 0 inspect 900 870 2700 4200 .0041 0   unknown prog tests 0 inspect
0    0    .060 .063 9.0 0   0     
eca-rers2012/Problem09_label35.yml timeout .0    prog tests 0 inspect 900 870 2700 4200 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.1 0   0     
eca-rers2012/Problem09_label36.yml timeout .0    prog tests 0 inspect 900 870 3100 3700 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem09_label37.yml timeout .0    prog tests 0 inspect 900 870 3100 3400 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem09_label38.yml timeout .0    prog tests 0 inspect 930 900 2900 5300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label39.yml timeout .0    prog tests 0 inspect 900 870 3100 3700 .0041 0   unknown prog tests 0 inspect
0    0    .059 .062 9.0 0   0     
eca-rers2012/Problem09_label40.yml timeout .0    prog tests 0 inspect 900 870 2600 4000 .0041 0   unknown prog tests 0 inspect
0    0    .076 .077 8.9 0   0     
eca-rers2012/Problem09_label41.yml timeout .0    prog tests 0 inspect 900 880 2900 3400 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem09_label42.yml timeout .0    prog tests 0 inspect 900 870 2700 3500 .0041 0   unknown prog tests 0 inspect
0    0    .059 .069 9.0 0   0     
eca-rers2012/Problem09_label43.yml timeout .0    prog tests 0 inspect 900 870 2900 3600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label44.yml timeout .0    prog tests 0 inspect 900 870 3000 3700 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem09_label45.yml timeout .0    prog tests 0 inspect 900 870 2600 2900 .0041 0   unknown prog tests 0 inspect
0    0    .069 .070 9.0 0   0     
eca-rers2012/Problem09_label46.yml timeout .0    prog tests 0 inspect 900 870 2900 5600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label47.yml timeout .0    prog tests 0 inspect 900 870 3000 4800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label48.yml timeout .0    prog tests 0 inspect 900 870 3100 4000 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem09_label49.yml timeout .0    prog tests 0 inspect 900 880 2900 3700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 9.0 0   0     
eca-rers2012/Problem09_label50.yml timeout .0    prog tests 0 inspect 900 870 3000 3800 .0041 0   unknown prog tests 0 inspect
0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem09_label51.yml timeout .0    prog tests 0 inspect 900 870 3000 4500 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.1 0   0     
eca-rers2012/Problem09_label52.yml timeout .0    prog tests 0 inspect 900 870 3100 3300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem09_label53.yml timeout .0    prog tests 0 inspect 900 870 3000 4600 .0041 0   unknown prog tests 0 inspect
0    0    .062 .073 9.1 0   0     
eca-rers2012/Problem09_label54.yml timeout .0    prog tests 0 inspect 900 870 3100 3100 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem09_label55.yml timeout .0    prog tests 0 inspect 900 870 3000 3900 .0041 0   unknown prog tests 0 inspect
0    0    .068 .069 9.0 0   0     
eca-rers2012/Problem09_label56.yml timeout .0    prog tests 0 inspect 900 870 2700 4800 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.1 0   0     
eca-rers2012/Problem09_label57.yml timeout .0    prog tests 0 inspect 900 870 3000 3000 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem09_label58.yml timeout .0    prog tests 0 inspect 900 870 2900 3900 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem09_label59.yml timeout .0    prog tests 0 inspect 900 870 3100 3500 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem10_label00.yml timeout .580  prog tests 148 inspect 900 880 910 9300 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label01.yml timeout .580  prog tests 148 inspect 900 880 910 8900 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  1.1   30   15   0     
eca-rers2012/Problem10_label02.yml timeout .580  prog tests 148 inspect 900 880 870 10000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .95  .89  30   15   0     
eca-rers2012/Problem10_label03.yml timeout .580  prog tests 148 inspect 900 880 910 8100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .95  .96  30   15   0     
eca-rers2012/Problem10_label04.yml timeout .580  prog tests 148 inspect 900 880 1100 9500 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  .93  30   15   0     
eca-rers2012/Problem10_label05.yml timeout .580  prog tests 148 inspect 900 880 910 8900 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  .93  30   15   0     
eca-rers2012/Problem10_label06.yml timeout .580  prog tests 148 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label07.yml timeout .580  prog tests 148 inspect 900 880 1100 9400 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .94  30   15   0     
eca-rers2012/Problem10_label08.yml timeout .580  prog tests 148 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  .90  30   15   0     
eca-rers2012/Problem10_label09.yml timeout .580  prog tests 148 inspect 900 880 900 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  .93  30   15   0     
eca-rers2012/Problem10_label10.yml timeout .580  prog tests 148 inspect 900 880 1100 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .93  30   15   0     
eca-rers2012/Problem10_label11.yml timeout .580  prog tests 148 inspect 900 880 910 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  .95  30   15   0     
eca-rers2012/Problem10_label12.yml timeout .580  prog tests 148 inspect 900 880 890 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  .92  30   15   0     
eca-rers2012/Problem10_label13.yml timeout .580  prog tests 148 inspect 900 880 960 9200 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label14.yml timeout .580  prog tests 148 inspect 900 880 1100 9500 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  .91  30   15   0     
eca-rers2012/Problem10_label15.yml timeout .580  prog tests 148 inspect 900 880 900 8700 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label16.yml timeout .580  prog tests 148 inspect 900 880 900 9700 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  .93  30   15   0     
eca-rers2012/Problem10_label17.yml timeout .580  prog tests 148 inspect 900 880 950 9300 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label18.yml timeout .580  prog tests 148 inspect 900 880 880 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label19.yml timeout .592  prog tests 149 inspect 900 880 960 9400 .0041 0   unknown prog tests 0 inspect
59.2  51.8  .98  .94  30   15   0     
eca-rers2012/Problem10_label20.yml timeout .580  prog tests 148 inspect 900 880 1100 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  1.1   30   15   0     
eca-rers2012/Problem10_label21.yml timeout .592  prog tests 149 inspect 900 880 910 9500 .0041 0   unknown prog tests 0 inspect
59.2  51.8  .95  .91  30   15   0     
eca-rers2012/Problem10_label22.yml timeout .580  prog tests 148 inspect 900 880 920 8800 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  .96  30   15   0     
eca-rers2012/Problem10_label23.yml timeout .580  prog tests 148 inspect 900 880 870 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .98  30   15   0     
eca-rers2012/Problem10_label24.yml timeout .580  prog tests 148 inspect 900 880 880 10000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label25.yml timeout .592  prog tests 149 inspect 900 880 1100 12000 .0041 0   unknown prog tests 0 inspect
59.2  51.8  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label26.yml timeout .580  prog tests 148 inspect 900 880 860 8800 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label27.yml timeout .592  prog tests 149 inspect 900 880 920 9200 .0041 0   unknown prog tests 0 inspect
59.2  51.8  .98  1.1   30   15   0     
eca-rers2012/Problem10_label28.yml timeout .580  prog tests 148 inspect 900 880 910 9900 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.2   30   15   0     
eca-rers2012/Problem10_label29.yml timeout .592  prog tests 149 inspect 900 880 900 12000 .0041 0   unknown prog tests 0 inspect
59.2  51.8  1.1   1.0   30   15   0     
eca-rers2012/Problem10_label30.yml timeout .580  prog tests 148 inspect 900 880 920 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.0   30   15   0     
eca-rers2012/Problem10_label31.yml timeout .580  prog tests 148 inspect 900 880 1100 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label32.yml timeout .580  prog tests 148 inspect 900 880 900 10000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label33.yml timeout .580  prog tests 148 inspect 900 880 1100 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .95  .93  30   15   0     
eca-rers2012/Problem10_label34.yml timeout .580  prog tests 148 inspect 900 880 1100 9900 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label35.yml timeout .580  prog tests 148 inspect 900 880 900 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  .94  30   15   0     
eca-rers2012/Problem10_label36.yml timeout .580  prog tests 148 inspect 900 880 930 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.1   1.0   30   15   0     
eca-rers2012/Problem10_label37.yml timeout .580  prog tests 148 inspect 900 880 1200 8700 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label38.yml timeout .580  prog tests 148 inspect 900 880 900 10000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label39.yml timeout .580  prog tests 148 inspect 900 880 870 9600 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label40.yml timeout .580  prog tests 148 inspect 900 880 910 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label41.yml timeout .580  prog tests 148 inspect 900 880 870 9800 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  .90  30   15   0     
eca-rers2012/Problem10_label42.yml timeout .580  prog tests 148 inspect 900 880 910 8300 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .97  30   15   0     
eca-rers2012/Problem10_label43.yml timeout .580  prog tests 148 inspect 900 880 1200 12000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .94  30   15   0     
eca-rers2012/Problem10_label44.yml timeout .580  prog tests 148 inspect 900 880 1200 9800 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  .91  30   15   0     
eca-rers2012/Problem10_label45.yml timeout .580  prog tests 148 inspect 900 880 900 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .95  .89  30   15   0     
eca-rers2012/Problem10_label46.yml timeout .580  prog tests 148 inspect 900 880 920 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .94  .88  30   15   0     
eca-rers2012/Problem10_label47.yml timeout .580  prog tests 148 inspect 900 880 920 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label48.yml timeout .580  prog tests 148 inspect 900 880 910 7300 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  .89  30   15   0     
eca-rers2012/Problem10_label49.yml timeout .580  prog tests 148 inspect 900 880 890 9900 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label50.yml timeout .580  prog tests 148 inspect 900 880 940 12000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .96  1.1   30   15   0     
eca-rers2012/Problem10_label51.yml timeout .580  prog tests 148 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  .96  30   15   0     
eca-rers2012/Problem10_label52.yml timeout .580  prog tests 148 inspect 900 880 910 9500 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .96  .91  30   15   0     
eca-rers2012/Problem10_label53.yml timeout .580  prog tests 148 inspect 900 880 890 9700 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .96  .94  30   15   0     
eca-rers2012/Problem10_label54.yml timeout .580  prog tests 148 inspect 900 880 870 10000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  1.2   30   15   0     
eca-rers2012/Problem10_label55.yml timeout .580  prog tests 148 inspect 900 880 1100 9300 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .94  .88  30   15   0     
eca-rers2012/Problem10_label56.yml timeout .580  prog tests 148 inspect 900 880 890 9200 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .97  1.1   30   15   0     
eca-rers2012/Problem10_label57.yml timeout .570  prog tests 155 inspect 900 880 890 11000 .0041 0   unknown prog tests 0 inspect
57.0  52.0  1.0   .96  30   16   0     
eca-rers2012/Problem10_label58.yml timeout .580  prog tests 148 inspect 900 880 900 9100 .0041 0   unknown prog tests 0 inspect
58.0  51.3  1.0   .98  30   15   0     
eca-rers2012/Problem10_label59.yml timeout .580  prog tests 148 inspect 900 880 920 9000 .0041 0   unknown prog tests 0 inspect
58.0  51.3  .99  1.0   30   15   0     
eca-rers2012/Problem11_label00.yml timeout .325  prog tests 95 inspect 900 880 1000 9200 .0041 0   unknown prog tests 0 inspect
32.5  28.9  .91  .86  44   16   0     
eca-rers2012/Problem11_label01.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  1.1   44   18   0     
eca-rers2012/Problem11_label02.yml timeout .348  prog tests 109 inspect 900 880 910 12000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  1.0   44   19   0     
eca-rers2012/Problem11_label03.yml timeout .348  prog tests 109 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   1.1   44   19   0     
eca-rers2012/Problem11_label04.yml timeout .348  prog tests 109 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   .94  44   19   0     
eca-rers2012/Problem11_label05.yml timeout .348  prog tests 109 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.2   1.2   44   19   0     
eca-rers2012/Problem11_label06.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label07.yml timeout .348  prog tests 109 inspect 900 880 930 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   1.0   44   18   0     
eca-rers2012/Problem11_label08.yml timeout .348  prog tests 108 inspect 900 880 930 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   1.2   44   18   0     
eca-rers2012/Problem11_label09.yml timeout .348  prog tests 108 inspect 900 880 950 8100 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .93  .89  44   18   0     
eca-rers2012/Problem11_label10.yml timeout .348  prog tests 108 inspect 900 880 910 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  .99  44   18   0     
eca-rers2012/Problem11_label11.yml timeout .348  prog tests 109 inspect 900 880 890 12000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  1.1   44   19   0     
eca-rers2012/Problem11_label12.yml timeout .348  prog tests 108 inspect 900 880 890 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label13.yml timeout .348  prog tests 108 inspect 900 880 940 9300 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label14.yml timeout .348  prog tests 108 inspect 900 880 1100 9600 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .94  1.1   44   18   0     
eca-rers2012/Problem11_label15.yml timeout .348  prog tests 108 inspect 900 880 960 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  .90  44   18   0     
eca-rers2012/Problem11_label16.yml timeout .348  prog tests 109 inspect 900 880 880 10000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  1.0   44   19   0     
eca-rers2012/Problem11_label17.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  .97  44   18   0     
eca-rers2012/Problem11_label18.yml timeout .348  prog tests 108 inspect 900 880 890 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label19.yml timeout .348  prog tests 109 inspect 900 880 1100 12000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  1.1   44   19   0     
eca-rers2012/Problem11_label20.yml timeout .348  prog tests 108 inspect 900 880 910 9200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  .98  44   18   0     
eca-rers2012/Problem11_label21.yml timeout .348  prog tests 108 inspect 900 880 930 9700 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  .92  44   18   0     
eca-rers2012/Problem11_label22.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  .92  44   18   0     
eca-rers2012/Problem11_label23.yml timeout .348  prog tests 109 inspect 900 880 1100 9900 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   .98  44   18   0     
eca-rers2012/Problem11_label24.yml timeout .348  prog tests 108 inspect 900 880 930 9800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label25.yml timeout .348  prog tests 109 inspect 900 880 1100 9500 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  .97  44   19   0     
eca-rers2012/Problem11_label26.yml timeout .348  prog tests 108 inspect 900 880 1100 8200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  1.0   44   18   0     
eca-rers2012/Problem11_label27.yml timeout .348  prog tests 108 inspect 900 880 1000 8800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.2   44   18   0     
eca-rers2012/Problem11_label28.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  1.1   44   18   0     
eca-rers2012/Problem11_label29.yml timeout .348  prog tests 108 inspect 900 880 1000 9200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  .93  44   18   0     
eca-rers2012/Problem11_label30.yml timeout .348  prog tests 108 inspect 900 880 1100 10000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  .90  44   18   0     
eca-rers2012/Problem11_label31.yml timeout .348  prog tests 109 inspect 900 880 1100 8200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  .94  44   18   0     
eca-rers2012/Problem11_label32.yml timeout .348  prog tests 108 inspect 900 880 1100 8800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label33.yml timeout .348  prog tests 108 inspect 900 880 1100 10000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  .94  44   18   0     
eca-rers2012/Problem11_label34.yml timeout .348  prog tests 108 inspect 900 880 1100 9600 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  1.0   44   18   0     
eca-rers2012/Problem11_label35.yml timeout .348  prog tests 108 inspect 900 880 1100 9200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  .99  44   18   0     
eca-rers2012/Problem11_label36.yml timeout .348  prog tests 108 inspect 900 880 1100 10000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  .96  44   18   0     
eca-rers2012/Problem11_label37.yml timeout .348  prog tests 108 inspect 900 880 940 9900 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label38.yml timeout .348  prog tests 108 inspect 900 880 1100 10000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .94  1.1   44   18   0     
eca-rers2012/Problem11_label39.yml timeout .348  prog tests 108 inspect 900 880 940 8800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.1   1.0   44   18   0     
eca-rers2012/Problem11_label40.yml timeout .348  prog tests 108 inspect 900 880 1100 8800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   1.0   44   18   0     
eca-rers2012/Problem11_label41.yml timeout .348  prog tests 108 inspect 900 880 890 9200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  .94  44   18   0     
eca-rers2012/Problem11_label42.yml timeout .348  prog tests 108 inspect 930 910 1100 9600 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   1.1   44   18   0     
eca-rers2012/Problem11_label43.yml timeout .348  prog tests 108 inspect 900 880 920 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label44.yml timeout .348  prog tests 108 inspect 920 900 930 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  .95  44   18   0     
eca-rers2012/Problem11_label45.yml timeout .348  prog tests 109 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   19   0     
eca-rers2012/Problem11_label46.yml timeout .348  prog tests 108 inspect 900 880 1100 9800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label47.yml timeout .348  prog tests 108 inspect 900 880 910 9600 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .95  1.1   44   18   0     
eca-rers2012/Problem11_label48.yml timeout .348  prog tests 109 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   .97  44   18   0     
eca-rers2012/Problem11_label49.yml timeout .348  prog tests 108 inspect 900 880 1100 9200 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label50.yml timeout .348  prog tests 108 inspect 900 880 1100 8700 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  .92  44   18   0     
eca-rers2012/Problem11_label51.yml timeout .348  prog tests 108 inspect 900 880 1100 9500 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label52.yml timeout .348  prog tests 109 inspect 900 880 880 9400 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .94  .89  44   19   0     
eca-rers2012/Problem11_label53.yml timeout .348  prog tests 108 inspect 900 880 1100 9000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.1   1.0   44   18   0     
eca-rers2012/Problem11_label54.yml timeout .348  prog tests 109 inspect 900 880 1100 12000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  1.1   44   19   0     
eca-rers2012/Problem11_label55.yml timeout .348  prog tests 108 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .96  .91  44   18   0     
eca-rers2012/Problem11_label56.yml timeout .348  prog tests 108 inspect 900 880 1100 8800 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .97  .95  44   18   0     
eca-rers2012/Problem11_label57.yml timeout .348  prog tests 108 inspect 900 880 1100 9000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .94  1.0   44   18   0     
eca-rers2012/Problem11_label58.yml timeout .348  prog tests 108 inspect 900 880 920 8600 .0041 0   unknown prog tests 0 inspect
34.8  29.5  1.0   .98  44   18   0     
eca-rers2012/Problem11_label59.yml timeout .348  prog tests 109 inspect 900 880 1200 12000 .0041 0   unknown prog tests 0 inspect
34.8  29.5  .98  .95  44   19   0     
eca-rers2012/Problem12_label00.yml timeout .110  prog tests 239 inspect 900 880 2500 9100 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.0   100   160   0     
eca-rers2012/Problem12_label01.yml timeout .110  prog tests 239 inspect 900 880 2400 8200 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.0   4.2   100   150   0     
eca-rers2012/Problem12_label02.yml timeout .110  prog tests 239 inspect 900 880 2500 11000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label03.yml timeout .146  prog tests 240 inspect 900 880 2400 9000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.0   100   150   0     
eca-rers2012/Problem12_label04.yml timeout .146  prog tests 240 inspect 900 880 2300 10000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label05.yml timeout .110  prog tests 239 inspect 900 880 2300 9600 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label06.yml timeout .110  prog tests 239 inspect 900 880 2400 9500 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.9   100   150   0     
eca-rers2012/Problem12_label07.yml timeout .108  prog tests 264 inspect 900 880 2300 11000 .0041 0   unknown prog tests 0 inspect
10.8  18.6  4.5   4.8   100   170   0     
eca-rers2012/Problem12_label08.yml timeout .110  prog tests 239 inspect 900 880 2600 10000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label09.yml timeout .110  prog tests 239 inspect 900 880 2400 7300 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   99   150   0     
eca-rers2012/Problem12_label10.yml timeout .110  prog tests 239 inspect 900 880 2100 9300 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label11.yml timeout .146  prog tests 240 inspect 900 880 2500 9200 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.4   4.7   100   150   0     
eca-rers2012/Problem12_label12.yml timeout .146  prog tests 240 inspect 900 880 2400 12000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label13.yml timeout .146  prog tests 240 inspect 900 880 2400 8100 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.7   100   160   0     
eca-rers2012/Problem12_label14.yml timeout .146  prog tests 240 inspect 900 880 2300 8800 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label15.yml timeout .110  prog tests 239 inspect 900 880 2300 9300 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.0   4.5   100   150   0     
eca-rers2012/Problem12_label16.yml timeout .146  prog tests 240 inspect 900 880 2400 10000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.2   99   150   0     
eca-rers2012/Problem12_label17.yml timeout .110  prog tests 239 inspect 900 880 2400 9900 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.8   100   150   0     
eca-rers2012/Problem12_label18.yml timeout .110  prog tests 239 inspect 900 880 2500 8900 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label19.yml timeout .146  prog tests 240 inspect 900 880 2400 12000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.3   100   160   0     
eca-rers2012/Problem12_label20.yml timeout .146  prog tests 240 inspect 900 880 2100 9200 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label21.yml timeout .110  prog tests 239 inspect 900 880 2400 9500 .0041 0   unknown prog tests 0 inspect
11.0  18.7  3.9   3.9   99   150   0     
eca-rers2012/Problem12_label22.yml timeout .110  prog tests 239 inspect 900 880 2500 9200 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label23.yml timeout .110  prog tests 239 inspect 900 880 2400 9000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label24.yml timeout .110  prog tests 239 inspect 900 880 2600 9800 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label25.yml timeout .110  prog tests 239 inspect 930 910 2300 10000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.6   100   160   0     
eca-rers2012/Problem12_label26.yml timeout .110  prog tests 239 inspect 930 910 2300 9300 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.7   100   150   0     
eca-rers2012/Problem12_label27.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.1   99   150   0     
eca-rers2012/Problem12_label28.yml timeout .110  prog tests 239 inspect 900 880 2300 9800 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.9   100   150   0     
eca-rers2012/Problem12_label29.yml timeout .110  prog tests 239 inspect 900 880 2400 9600 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label30.yml timeout .110  prog tests 239 inspect 900 880 2400 9600 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label31.yml timeout .110  prog tests 239 inspect 900 880 2500 9100 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label32.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label33.yml timeout .146  prog tests 240 inspect 900 880 2400 8500 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.4   99   150   0     
eca-rers2012/Problem12_label34.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.9   100   160   0     
eca-rers2012/Problem12_label35.yml timeout .110  prog tests 239 inspect 900 880 2500 10000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label36.yml timeout .110  prog tests 239 inspect 900 880 2600 9700 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.0   99   160   0     
eca-rers2012/Problem12_label37.yml timeout .110  prog tests 239 inspect 900 880 2400 9600 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label38.yml timeout .110  prog tests 239 inspect 900 880 2200 9500 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label39.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label40.yml timeout .146  prog tests 240 inspect 900 880 2000 8500 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label41.yml timeout .110  prog tests 239 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label42.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label43.yml timeout .110  prog tests 239 inspect 900 880 2300 9400 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.0   100   150   0     
eca-rers2012/Problem12_label44.yml timeout .146  prog tests 240 inspect 900 880 2400 9000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.4   100   160   0     
eca-rers2012/Problem12_label45.yml timeout .110  prog tests 239 inspect 900 880 2100 9400 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label46.yml timeout .110  prog tests 269 inspect 900 880 2500 8800 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.5   4.5   100   170   0     
eca-rers2012/Problem12_label47.yml timeout .146  prog tests 240 inspect 900 880 2400 8900 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.5   100   160   0     
eca-rers2012/Problem12_label48.yml timeout .110  prog tests 239 inspect 900 880 2500 9300 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   3.9   100   150   0     
eca-rers2012/Problem12_label49.yml timeout .110  prog tests 239 inspect 900 880 2500 8800 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.0   3.9   100   160   0     
eca-rers2012/Problem12_label50.yml timeout .110  prog tests 239 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label51.yml timeout .146  prog tests 240 inspect 900 880 2400 9100 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.6   100   150   0     
eca-rers2012/Problem12_label52.yml timeout .110  prog tests 239 inspect 900 880 2400 10000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.2   4.1   99   150   0     
eca-rers2012/Problem12_label53.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label54.yml timeout .110  prog tests 239 inspect 900 880 2400 9800 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.4   100   150   0     
eca-rers2012/Problem12_label55.yml timeout .110  prog tests 239 inspect 900 880 2500 9700 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.0   4.0   100   150   0     
eca-rers2012/Problem12_label56.yml timeout .146  prog tests 240 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.0   4.6   100   160   0     
eca-rers2012/Problem12_label57.yml timeout .146  prog tests 240 inspect 930 910 2400 11000 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label58.yml timeout .110  prog tests 239 inspect 900 880 2400 11000 .0041 0   unknown prog tests 0 inspect
11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label59.yml timeout .146  prog tests 240 inspect 900 880 2400 8800 .0041 0   unknown prog tests 0 inspect
14.6  19.1  4.1   5.0   100   160   0     
eca-rers2012/Problem13_label00.yml timeout .125  prog tests 301 inspect 900 880 3000 9700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label01.yml timeout .113  prog tests 333 inspect 900 880 3100 11000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.1   7.2   120   260   0     
eca-rers2012/Problem13_label02.yml timeout .125  prog tests 301 inspect 900 880 2800 8800 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label03.yml timeout .125  prog tests 301 inspect 900 880 2800 8900 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.9   120   240   0     
eca-rers2012/Problem13_label04.yml timeout .113  prog tests 333 inspect 900 880 3000 11000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.3   6.3   120   270   0     
eca-rers2012/Problem13_label05.yml timeout .125  prog tests 301 inspect 900 880 3000 9200 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.6   6.8   120   240   0     
eca-rers2012/Problem13_label06.yml timeout .125  prog tests 301 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.8   120   240   0     
eca-rers2012/Problem13_label07.yml timeout .125  prog tests 301 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.2   120   230   0     
eca-rers2012/Problem13_label08.yml timeout .125  prog tests 301 inspect 900 880 2800 9400 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.6   120   240   0     
eca-rers2012/Problem13_label09.yml timeout .125  prog tests 301 inspect 900 880 2800 8000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.5   120   240   0     
eca-rers2012/Problem13_label10.yml timeout .125  prog tests 301 inspect 900 880 3000 8300 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.6   6.8   120   240   0     
eca-rers2012/Problem13_label11.yml timeout .125  prog tests 301 inspect 930 910 3000 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label12.yml timeout .125  prog tests 301 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.7   120   250   0     
eca-rers2012/Problem13_label13.yml timeout .125  prog tests 301 inspect 900 880 2700 12000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.1   120   240   0     
eca-rers2012/Problem13_label14.yml timeout .113  prog tests 333 inspect 900 880 3100 9000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.1   7.1   120   280   0     
eca-rers2012/Problem13_label15.yml timeout .125  prog tests 301 inspect 900 880 2900 9300 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.5   5.4   120   250   0     
eca-rers2012/Problem13_label16.yml timeout .125  prog tests 301 inspect 900 880 2900 8500 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label17.yml timeout .125  prog tests 301 inspect 900 880 3000 9500 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.7   120   250   0     
eca-rers2012/Problem13_label18.yml timeout .125  prog tests 301 inspect 900 880 2900 9100 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.7   120   250   0     
eca-rers2012/Problem13_label19.yml timeout .125  prog tests 301 inspect 900 880 3100 9700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   6.3   120   250   0     
eca-rers2012/Problem13_label20.yml timeout .113  prog tests 333 inspect 900 880 3100 11000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.2   6.2   120   270   0     
eca-rers2012/Problem13_label21.yml timeout .113  prog tests 333 inspect 900 880 3300 9000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.6   6.9   120   260   0     
eca-rers2012/Problem13_label22.yml timeout .125  prog tests 301 inspect 900 880 2800 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.9   120   250   0     
eca-rers2012/Problem13_label23.yml timeout .125  prog tests 301 inspect 900 880 2900 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.6   120   250   0     
eca-rers2012/Problem13_label24.yml timeout .125  prog tests 301 inspect 900 880 3000 9200 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.5   120   240   0     
eca-rers2012/Problem13_label25.yml timeout .125  prog tests 301 inspect 900 880 2900 9200 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.7   120   240   0     
eca-rers2012/Problem13_label26.yml timeout .125  prog tests 301 inspect 900 880 2900 9900 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.6   120   250   0     
eca-rers2012/Problem13_label27.yml timeout .125  prog tests 301 inspect 900 880 3000 9300 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label28.yml timeout .125  prog tests 301 inspect 900 880 3000 9500 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.8   120   240   0     
eca-rers2012/Problem13_label29.yml timeout .125  prog tests 301 inspect 900 880 2900 9700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label30.yml timeout .125  prog tests 301 inspect 900 880 3000 8100 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.0   120   250   0     
eca-rers2012/Problem13_label31.yml timeout .113  prog tests 333 inspect 900 880 3100 8900 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.1   7.7   120   260   0     
eca-rers2012/Problem13_label32.yml timeout .125  prog tests 301 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.6   6.2   120   240   0     
eca-rers2012/Problem13_label33.yml timeout .125  prog tests 301 inspect 900 880 3000 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.6   6.7   120   240   0     
eca-rers2012/Problem13_label34.yml timeout .125  prog tests 301 inspect 900 880 3000 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.6   5.5   120   250   0     
eca-rers2012/Problem13_label35.yml timeout .125  prog tests 301 inspect 900 880 3000 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.8   120   240   0     
eca-rers2012/Problem13_label36.yml timeout .125  prog tests 301 inspect 900 880 2900 8600 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.0   120   240   0     
eca-rers2012/Problem13_label37.yml timeout .125  prog tests 301 inspect 900 880 2900 8700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.6   120   240   0     
eca-rers2012/Problem13_label38.yml timeout .125  prog tests 301 inspect 900 880 2800 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   6.5   120   230   0     
eca-rers2012/Problem13_label39.yml timeout .125  prog tests 301 inspect 900 880 3000 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   6.4   120   240   0     
eca-rers2012/Problem13_label40.yml timeout .125  prog tests 301 inspect 900 880 2900 8700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.9   5.8   120   250   0     
eca-rers2012/Problem13_label41.yml timeout .125  prog tests 301 inspect 900 880 2800 9300 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.6   120   240   0     
eca-rers2012/Problem13_label42.yml timeout .125  prog tests 301 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.7   120   250   0     
eca-rers2012/Problem13_label43.yml timeout .125  prog tests 301 inspect 900 880 2900 10000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.2   120   240   0     
eca-rers2012/Problem13_label44.yml timeout .113  prog tests 333 inspect 900 880 3100 10000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.2   6.9   120   260   0     
eca-rers2012/Problem13_label45.yml timeout .125  prog tests 301 inspect 900 880 2700 8700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.8   120   240   0     
eca-rers2012/Problem13_label46.yml timeout .113  prog tests 333 inspect 900 880 3100 9400 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.0   6.3   120   270   0     
eca-rers2012/Problem13_label47.yml timeout .125  prog tests 301 inspect 900 880 3000 9400 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.0   120   250   0     
eca-rers2012/Problem13_label48.yml timeout .113  prog tests 287 inspect 900 880 3000 10000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  5.5   5.5   120   230   0     
eca-rers2012/Problem13_label49.yml timeout .113  prog tests 333 inspect 900 880 3100 9600 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.2   6.2   120   270   0     
eca-rers2012/Problem13_label50.yml timeout .113  prog tests 333 inspect 900 880 3000 9000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.3   7.6   120   270   0     
eca-rers2012/Problem13_label51.yml timeout .125  prog tests 301 inspect 900 880 2800 9400 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.7   120   250   0     
eca-rers2012/Problem13_label52.yml timeout .125  prog tests 301 inspect 900 880 3000 9400 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label53.yml timeout .125  prog tests 301 inspect 900 880 2900 8900 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label54.yml timeout .125  prog tests 301 inspect 900 880 2900 9700 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label55.yml timeout .125  prog tests 301 inspect 900 880 3000 9200 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   5.7   120   240   0     
eca-rers2012/Problem13_label56.yml timeout .113  prog tests 333 inspect 900 880 2900 11000 .0041 0   unknown prog tests 0 inspect
11.3  16.8  6.2   6.1   120   280   0     
eca-rers2012/Problem13_label57.yml timeout .125  prog tests 301 inspect 900 880 3100 12000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.8   6.7   120   240   0     
eca-rers2012/Problem13_label58.yml timeout .125  prog tests 301 inspect 900 880 2800 12000 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label59.yml timeout .125  prog tests 301 inspect 900 880 3000 9900 .0041 0   unknown prog tests 0 inspect
12.5  16.8  5.7   6.9   120   240   0     
eca-rers2012/Problem15_label00.yml timeout .155  prog tests 133 inspect 900 880 1400 9500 .0041 0   unknown prog tests 0 inspect
15.5  21.6  1.4   1.4   64   34   0     
eca-rers2012/Problem15_label01.yml timeout .165  prog tests 120 inspect 900 880 1400 9100 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label02.yml timeout .165  prog tests 120 inspect 900 880 1500 8900 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label03.yml timeout .165  prog tests 120 inspect 900 880 1300 8800 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.4   63   31   0     
eca-rers2012/Problem15_label04.yml timeout .165  prog tests 120 inspect 900 880 1300 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label05.yml timeout .165  prog tests 120 inspect 900 880 1300 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   63   31   0     
eca-rers2012/Problem15_label06.yml timeout .165  prog tests 120 inspect 900 880 1300 8700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label07.yml timeout .165  prog tests 120 inspect 900 880 1400 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.2   64   31   0     
eca-rers2012/Problem15_label08.yml timeout .165  prog tests 120 inspect 900 880 1300 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label09.yml timeout .165  prog tests 120 inspect 900 880 1500 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label10.yml timeout .165  prog tests 120 inspect 900 880 1300 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.4   64   31   0     
eca-rers2012/Problem15_label11.yml timeout .165  prog tests 120 inspect 900 880 1500 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label12.yml timeout .165  prog tests 120 inspect 900 880 1300 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label13.yml timeout .165  prog tests 120 inspect 900 880 1500 8700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label14.yml timeout .165  prog tests 120 inspect 900 880 1400 9700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label15.yml timeout .165  prog tests 120 inspect 900 880 1400 8600 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label16.yml timeout .165  prog tests 120 inspect 900 880 1400 9800 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label17.yml timeout .165  prog tests 120 inspect 900 880 1500 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label19.yml timeout .165  prog tests 120 inspect 900 880 1300 9300 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label20.yml timeout .165  prog tests 120 inspect 900 880 1400 9400 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label21.yml timeout .165  prog tests 120 inspect 900 880 1500 8700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label22.yml timeout .165  prog tests 121 inspect 900 880 1500 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.5   1.5   64   31   0     
eca-rers2012/Problem15_label23.yml timeout .165  prog tests 120 inspect 900 880 1500 12000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label24.yml timeout .165  prog tests 120 inspect 900 880 1500 9300 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label25.yml timeout .165  prog tests 120 inspect 900 880 1300 9100 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label26.yml timeout .165  prog tests 120 inspect 900 880 1300 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.4   63   31   0     
eca-rers2012/Problem15_label27.yml timeout .165  prog tests 120 inspect 900 880 1300 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label28.yml timeout .165  prog tests 120 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label29.yml timeout .165  prog tests 120 inspect 900 880 1300 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label30.yml timeout .165  prog tests 120 inspect 900 880 1500 9700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label31.yml timeout .165  prog tests 120 inspect 900 880 1500 9700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label32.yml timeout .165  prog tests 120 inspect 900 880 1300 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label33.yml timeout .165  prog tests 120 inspect 900 880 1500 9400 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   30   0     
eca-rers2012/Problem15_label34.yml timeout .165  prog tests 121 inspect 900 880 1300 8600 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label35.yml timeout .165  prog tests 120 inspect 900 880 1300 9300 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   63   31   0     
eca-rers2012/Problem15_label36.yml timeout .165  prog tests 121 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label37.yml timeout .165  prog tests 121 inspect 900 880 1500 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.4   64   31   0     
eca-rers2012/Problem15_label38.yml timeout .165  prog tests 120 inspect 900 880 1300 8700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   30   0     
eca-rers2012/Problem15_label39.yml timeout .165  prog tests 121 inspect 900 880 1300 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label40.yml timeout .165  prog tests 121 inspect 900 880 1300 9800 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   32   0     
eca-rers2012/Problem15_label41.yml timeout .165  prog tests 120 inspect 900 880 1500 9000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label42.yml timeout .165  prog tests 120 inspect 900 880 1400 12000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label43.yml timeout .165  prog tests 120 inspect 900 880 1400 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label44.yml timeout .165  prog tests 121 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   32   0     
eca-rers2012/Problem15_label45.yml timeout .165  prog tests 120 inspect 900 880 1300 9400 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label46.yml timeout .165  prog tests 120 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label47.yml timeout .165  prog tests 120 inspect 900 880 1300 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label48.yml timeout .165  prog tests 120 inspect 900 880 1300 8900 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.2   64   31   0     
eca-rers2012/Problem15_label49.yml timeout .165  prog tests 120 inspect 900 880 1400 9900 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label50.yml timeout .165  prog tests 120 inspect 900 880 1300 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label51.yml timeout .165  prog tests 120 inspect 900 880 1300 9600 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label52.yml timeout .165  prog tests 120 inspect 900 880 1300 9100 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   63   31   0     
eca-rers2012/Problem15_label53.yml timeout .165  prog tests 120 inspect 900 880 1200 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label54.yml timeout .165  prog tests 120 inspect 900 880 1200 8700 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label55.yml timeout .165  prog tests 120 inspect 900 880 1300 10000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label56.yml timeout .165  prog tests 120 inspect 900 880 1400 9200 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label57.yml timeout .165  prog tests 120 inspect 900 880 1500 8800 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label58.yml timeout .165  prog tests 120 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label59.yml timeout .165  prog tests 120 inspect 900 880 1500 9400 .0041 0   unknown prog tests 0 inspect
16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem16_label00.yml timeout .199  prog tests 129 inspect 900 880 1000 9300 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   31   0     
eca-rers2012/Problem16_label01.yml timeout .199  prog tests 129 inspect 900 880 880 9900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label02.yml timeout .199  prog tests 129 inspect 900 880 1000 9100 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label03.yml timeout .193  prog tests 130 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.3  26.4  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label04.yml timeout .199  prog tests 129 inspect 900 880 840 8900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label05.yml timeout .199  prog tests 129 inspect 900 880 900 9900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label06.yml timeout .199  prog tests 128 inspect 900 880 860 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label07.yml timeout .199  prog tests 128 inspect 900 880 850 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label08.yml timeout .199  prog tests 129 inspect 900 880 1000 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.4   52   30   0     
eca-rers2012/Problem16_label09.yml timeout .199  prog tests 129 inspect 900 880 1000 12000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label10.yml timeout .199  prog tests 128 inspect 900 880 840 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label11.yml timeout .199  prog tests 129 inspect 900 880 850 9200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.3   52   31   0     
eca-rers2012/Problem16_label12.yml timeout .199  prog tests 128 inspect 900 880 860 9200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label13.yml timeout .199  prog tests 129 inspect 900 880 880 9100 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label14.yml timeout .199  prog tests 129 inspect 900 880 1000 8200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.6   52   30   0     
eca-rers2012/Problem16_label15.yml timeout .199  prog tests 129 inspect 900 880 890 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label16.yml timeout .199  prog tests 129 inspect 900 880 870 9200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label17.yml timeout .199  prog tests 129 inspect 900 880 980 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.3   52   31   0     
eca-rers2012/Problem16_label18.yml timeout .199  prog tests 129 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label19.yml timeout .199  prog tests 129 inspect 900 880 840 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label20.yml timeout .199  prog tests 129 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label21.yml timeout .199  prog tests 129 inspect 900 880 1000 9400 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.2   52   31   0     
eca-rers2012/Problem16_label22.yml timeout .199  prog tests 129 inspect 900 880 1000 9300 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label23.yml timeout .199  prog tests 129 inspect 930 910 1000 12000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label24.yml timeout .199  prog tests 129 inspect 900 880 850 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label25.yml timeout .199  prog tests 129 inspect 900 880 1000 8700 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label26.yml timeout .199  prog tests 129 inspect 900 880 1000 9000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.6   52   31   0     
eca-rers2012/Problem16_label27.yml timeout .199  prog tests 129 inspect 900 880 870 9300 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label28.yml timeout .199  prog tests 129 inspect 900 880 890 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label29.yml timeout .199  prog tests 129 inspect 900 880 850 12000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label30.yml timeout .199  prog tests 128 inspect 900 880 1000 9300 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   29   0     
eca-rers2012/Problem16_label31.yml timeout .199  prog tests 129 inspect 900 880 1000 7200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.6   52   31   0     
eca-rers2012/Problem16_label32.yml timeout .199  prog tests 129 inspect 900 880 1000 8800 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label33.yml timeout .199  prog tests 129 inspect 900 880 870 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.2   52   30   0     
eca-rers2012/Problem16_label34.yml timeout .199  prog tests 129 inspect 900 880 1000 9700 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   51   31   0     
eca-rers2012/Problem16_label35.yml timeout .199  prog tests 129 inspect 900 880 870 8200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label36.yml timeout .199  prog tests 129 inspect 900 880 870 9900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label37.yml timeout .199  prog tests 129 inspect 900 880 850 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   31   0     
eca-rers2012/Problem16_label38.yml timeout .199  prog tests 129 inspect 900 880 890 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.5   52   31   0     
eca-rers2012/Problem16_label39.yml timeout .199  prog tests 130 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label40.yml timeout .199  prog tests 128 inspect 900 880 1000 9900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label41.yml timeout .199  prog tests 129 inspect 900 880 880 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label42.yml timeout .199  prog tests 129 inspect 900 880 1000 9200 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label43.yml timeout .199  prog tests 129 inspect 900 880 1100 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label44.yml timeout .199  prog tests 129 inspect 900 880 880 9400 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.7   52   30   0     
eca-rers2012/Problem16_label45.yml timeout .199  prog tests 129 inspect 900 880 990 9800 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label46.yml timeout .199  prog tests 130 inspect 900 880 1000 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label47.yml timeout .199  prog tests 128 inspect 900 880 1100 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.3   52   30   0     
eca-rers2012/Problem16_label48.yml timeout .199  prog tests 129 inspect 900 880 1000 9000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label49.yml timeout .199  prog tests 129 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.6   52   30   0     
eca-rers2012/Problem16_label50.yml timeout .199  prog tests 129 inspect 900 880 1000 8900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label51.yml timeout .199  prog tests 130 inspect 900 880 1100 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label52.yml timeout .199  prog tests 129 inspect 900 880 990 8900 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label53.yml timeout .199  prog tests 129 inspect 900 880 840 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.4   1.4   52   30   0     
eca-rers2012/Problem16_label54.yml timeout .199  prog tests 129 inspect 900 880 840 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label55.yml timeout .199  prog tests 128 inspect 900 880 1000 10000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label56.yml timeout .199  prog tests 129 inspect 900 880 850 9300 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label57.yml timeout .199  prog tests 128 inspect 900 880 980 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.2   52   30   0     
eca-rers2012/Problem16_label58.yml timeout .199  prog tests 129 inspect 900 880 860 9500 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label59.yml timeout .199  prog tests 128 inspect 900 880 1000 11000 .0041 0   unknown prog tests 0 inspect
19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem17_label00.yml timeout .117  prog tests 171 inspect 900 880 1800 9500 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.2   80   69   0     
eca-rers2012/Problem17_label01.yml timeout .117  prog tests 171 inspect 900 880 3800 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label02.yml timeout .117  prog tests 171 inspect 900 880 1800 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.4   80   69   0     
eca-rers2012/Problem17_label03.yml timeout .117  prog tests 171 inspect 900 880 1800 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   80   70   0     
eca-rers2012/Problem17_label04.yml timeout .117  prog tests 171 inspect 900 880 2600 8700 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label05.yml timeout .117  prog tests 171 inspect 900 880 2000 9300 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.5   80   70   0     
eca-rers2012/Problem17_label06.yml timeout .117  prog tests 171 inspect 900 880 1800 9000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label07.yml timeout .117  prog tests 171 inspect 900 880 2600 9800 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.7   81   69   0     
eca-rers2012/Problem17_label08.yml timeout .117  prog tests 171 inspect 900 880 2200 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.5   80   69   0     
eca-rers2012/Problem17_label09.yml timeout .117  prog tests 171 inspect 900 880 2100 8600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.8   81   69   0     
eca-rers2012/Problem17_label10.yml timeout .167  prog tests 172 inspect 900 880 1800 11000 .0041 0   unknown prog tests 0 inspect
16.7  20.8  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label11.yml timeout .117  prog tests 171 inspect 900 880 2800 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label12.yml timeout .117  prog tests 171 inspect 900 880 2400 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label13.yml timeout .117  prog tests 171 inspect 900 880 3000 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.4   81   69   0     
eca-rers2012/Problem17_label14.yml timeout .117  prog tests 171 inspect 900 880 2500 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   81   69   0     
eca-rers2012/Problem17_label15.yml timeout .117  prog tests 171 inspect 900 880 2000 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.1   80   70   0     
eca-rers2012/Problem17_label16.yml timeout .117  prog tests 171 inspect 900 880 2000 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   81   70   0     
eca-rers2012/Problem17_label17.yml timeout .117  prog tests 171 inspect 900 880 2000 7100 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label18.yml timeout .117  prog tests 171 inspect 900 880 1800 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label19.yml timeout .117  prog tests 171 inspect 900 880 3000 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   80   69   0     
eca-rers2012/Problem17_label20.yml timeout .117  prog tests 171 inspect 900 880 1900 9300 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.2   80   69   0     
eca-rers2012/Problem17_label21.yml timeout .117  prog tests 171 inspect 900 880 1900 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.7   81   70   0     
eca-rers2012/Problem17_label22.yml timeout .117  prog tests 171 inspect 900 880 2800 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   81   70   0     
eca-rers2012/Problem17_label23.yml timeout .117  prog tests 171 inspect 900 880 2000 9100 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.4   81   68   0     
eca-rers2012/Problem17_label24.yml timeout .117  prog tests 171 inspect 900 880 2100 9200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label25.yml timeout .117  prog tests 171 inspect 900 880 1800 9200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.6   81   69   0     
eca-rers2012/Problem17_label26.yml timeout .117  prog tests 171 inspect 900 880 3000 9800 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label27.yml timeout .117  prog tests 171 inspect 900 880 1900 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.5   81   69   0     
eca-rers2012/Problem17_label28.yml timeout .117  prog tests 171 inspect 900 880 1800 12000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   81   69   0     
eca-rers2012/Problem17_label29.yml timeout .117  prog tests 171 inspect 900 880 2000 9200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.4   2.3   80   69   0     
eca-rers2012/Problem17_label30.yml timeout .117  prog tests 171 inspect 900 880 1900 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.7   81   70   0     
eca-rers2012/Problem17_label31.yml timeout .117  prog tests 171 inspect 900 880 1900 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.2   81   70   0     
eca-rers2012/Problem17_label32.yml timeout .117  prog tests 171 inspect 900 880 1900 9200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.4   80   70   0     
eca-rers2012/Problem17_label33.yml timeout .117  prog tests 171 inspect 900 880 2000 8600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.3   80   69   0     
eca-rers2012/Problem17_label34.yml timeout .167  prog tests 172 inspect 900 880 1900 11000 .0041 0   unknown prog tests 0 inspect
16.7  20.8  2.3   2.5   80   70   0     
eca-rers2012/Problem17_label35.yml timeout .117  prog tests 171 inspect 900 880 3000 12000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label36.yml timeout .117  prog tests 171 inspect 900 880 1800 8600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.5   81   69   0     
eca-rers2012/Problem17_label37.yml timeout .117  prog tests 171 inspect 900 880 2400 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   80   66   0     
eca-rers2012/Problem17_label38.yml timeout .117  prog tests 171 inspect 900 880 1800 8700 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label39.yml timeout .117  prog tests 171 inspect 900 880 1900 8900 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.1   81   69   0     
eca-rers2012/Problem17_label40.yml timeout .117  prog tests 171 inspect 900 880 4000 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label41.yml timeout .117  prog tests 171 inspect 900 880 1900 9600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.5   81   70   0     
eca-rers2012/Problem17_label42.yml timeout .117  prog tests 171 inspect 900 880 2600 9100 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.3   81   69   0     
eca-rers2012/Problem17_label43.yml timeout .167  prog tests 172 inspect 900 880 1900 9100 .0041 0   unknown prog tests 0 inspect
16.7  20.8  2.3   2.2   81   69   0     
eca-rers2012/Problem17_label44.yml timeout .117  prog tests 171 inspect 900 880 2500 8200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label45.yml timeout .117  prog tests 171 inspect 900 880 2000 8600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.5   81   70   0     
eca-rers2012/Problem17_label46.yml timeout .117  prog tests 171 inspect 900 880 1800 9700 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.3   80   69   0     
eca-rers2012/Problem17_label47.yml timeout .167  prog tests 172 inspect 900 880 2000 9700 .0041 0   unknown prog tests 0 inspect
16.7  20.8  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label48.yml timeout .117  prog tests 171 inspect 900 880 2600 11000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label49.yml timeout .117  prog tests 171 inspect 930 910 1800 9600 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   80   69   0     
eca-rers2012/Problem17_label50.yml timeout .117  prog tests 171 inspect 900 880 1800 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.2   81   69   0     
eca-rers2012/Problem17_label51.yml timeout .117  prog tests 171 inspect 930 910 2800 9200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label52.yml timeout .157  prog tests 184 inspect 900 880 1900 9400 .0041 0   unknown prog tests 0 inspect
15.7  20.8  2.4   2.4   80   73   0     
eca-rers2012/Problem17_label53.yml timeout .117  prog tests 171 inspect 900 880 2700 9500 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label54.yml timeout .117  prog tests 171 inspect 900 880 1800 9900 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.7   80   69   0     
eca-rers2012/Problem17_label55.yml timeout .117  prog tests 171 inspect 900 880 2000 10000 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.4   80   69   0     
eca-rers2012/Problem17_label56.yml timeout .117  prog tests 171 inspect 900 880 2700 9100 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label57.yml timeout .117  prog tests 171 inspect 900 880 1800 9400 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label58.yml timeout .167  prog tests 172 inspect 900 880 1900 8500 .0041 0   unknown prog tests 0 inspect
16.7  20.8  2.3   2.4   80   70   0     
eca-rers2012/Problem17_label59.yml timeout .117  prog tests 171 inspect 900 880 2200 8200 .0041 0   unknown prog tests 0 inspect
11.7  20.7  2.3   2.3   81   69   0     
eca-rers2012/Problem18_label00.yml timeout .134  prog tests 231 inspect 900 880 1800 9700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label01.yml timeout .134  prog tests 231 inspect 900 880 1400 9900 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label02.yml timeout .134  prog tests 231 inspect 900 880 1800 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label03.yml timeout .134  prog tests 231 inspect 900 880 1800 9100 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label04.yml timeout .134  prog tests 231 inspect 900 880 2000 9300 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label05.yml timeout .134  prog tests 231 inspect 900 880 1500 8700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label06.yml timeout .134  prog tests 231 inspect 900 880 1600 9300 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label07.yml timeout .134  prog tests 231 inspect 900 880 1600 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label08.yml timeout .134  prog tests 231 inspect 900 880 1500 8700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   3.1   76   110   0     
eca-rers2012/Problem18_label09.yml timeout .134  prog tests 231 inspect 900 880 1700 9000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label10.yml timeout .134  prog tests 231 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   75   110   0     
eca-rers2012/Problem18_label11.yml timeout .134  prog tests 231 inspect 900 880 1800 9400 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label12.yml timeout .134  prog tests 231 inspect 900 880 1600 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label13.yml timeout .134  prog tests 231 inspect 900 880 1800 9400 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.7   76   110   0     
eca-rers2012/Problem18_label14.yml timeout .134  prog tests 231 inspect 900 880 1800 9100 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label15.yml timeout .134  prog tests 231 inspect 900 880 1600 9000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label16.yml timeout .134  prog tests 231 inspect 900 880 1600 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.3   76   110   0     
eca-rers2012/Problem18_label17.yml timeout .134  prog tests 231 inspect 900 880 1900 9500 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.5   76   110   0     
eca-rers2012/Problem18_label18.yml timeout .134  prog tests 231 inspect 900 880 1800 9200 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   3.1   76   110   0     
eca-rers2012/Problem18_label19.yml timeout .134  prog tests 231 inspect 900 880 1800 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.5   76   110   0     
eca-rers2012/Problem18_label20.yml timeout .126  prog tests 265 inspect 900 880 1600 9700 .0041 0   unknown prog tests 0 inspect
12.6  19.8  3.5   3.4   76   130   0     
eca-rers2012/Problem18_label21.yml timeout .134  prog tests 231 inspect 900 880 2300 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label22.yml timeout .134  prog tests 231 inspect 930 910 1500 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   3.0   76   110   0     
eca-rers2012/Problem18_label23.yml timeout .134  prog tests 231 inspect 900 880 1500 9700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label24.yml timeout .134  prog tests 231 inspect 900 880 1500 9700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label25.yml timeout .134  prog tests 231 inspect 900 880 1800 9500 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label26.yml timeout .134  prog tests 231 inspect 900 880 2400 9300 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.6   76   110   0     
eca-rers2012/Problem18_label27.yml timeout .134  prog tests 231 inspect 900 880 2100 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   3.0   76   110   0     
eca-rers2012/Problem18_label28.yml timeout .133  prog tests 264 inspect 900 880 1700 11000 .0041 0   unknown prog tests 0 inspect
13.3  19.8  3.6   4.2   76   130   0     
eca-rers2012/Problem18_label29.yml timeout .134  prog tests 231 inspect 900 880 2200 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.4   76   110   0     
eca-rers2012/Problem18_label30.yml timeout .134  prog tests 231 inspect 900 880 1800 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label31.yml timeout .134  prog tests 231 inspect 900 880 1800 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label32.yml timeout .134  prog tests 231 inspect 900 880 1800 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label33.yml timeout .134  prog tests 231 inspect 900 880 1800 9500 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.0   3.0   76   110   0     
eca-rers2012/Problem18_label34.yml timeout .134  prog tests 231 inspect 900 880 1800 9000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label35.yml timeout .134  prog tests 231 inspect 900 880 1700 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label36.yml timeout .134  prog tests 231 inspect 900 880 1600 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label37.yml timeout .134  prog tests 231 inspect 900 880 2300 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label38.yml timeout .134  prog tests 231 inspect 900 880 1400 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.4   76   110   0     
eca-rers2012/Problem18_label39.yml timeout .134  prog tests 231 inspect 900 880 2100 8900 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label40.yml timeout .134  prog tests 231 inspect 900 880 2200 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label41.yml timeout .134  prog tests 231 inspect 900 880 1800 12000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.3   76   110   0     
eca-rers2012/Problem18_label42.yml timeout .134  prog tests 231 inspect 900 880 2100 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.8   76   110   0     
eca-rers2012/Problem18_label43.yml timeout .134  prog tests 231 inspect 900 880 1600 9200 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label44.yml timeout .134  prog tests 231 inspect 900 880 1800 9700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label45.yml timeout .134  prog tests 231 inspect 900 880 1800 9300 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.8   76   110   0     
eca-rers2012/Problem18_label46.yml timeout .134  prog tests 231 inspect 900 880 1800 9700 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label47.yml timeout .134  prog tests 231 inspect 900 880 1900 9400 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label48.yml timeout .134  prog tests 231 inspect 900 880 1500 11000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label49.yml timeout .134  prog tests 231 inspect 900 880 2000 8400 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label50.yml timeout .134  prog tests 231 inspect 900 880 1800 8100 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label51.yml timeout .134  prog tests 231 inspect 900 880 2300 9500 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   3.3   76   110   0     
eca-rers2012/Problem18_label52.yml timeout .134  prog tests 231 inspect 900 880 1700 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label53.yml timeout .134  prog tests 231 inspect 900 880 1800 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.1   4.0   76   110   0     
eca-rers2012/Problem18_label54.yml timeout .134  prog tests 231 inspect 900 880 1400 10000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label55.yml timeout .134  prog tests 231 inspect 900 880 2500 9000 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   75   110   0     
eca-rers2012/Problem18_label56.yml timeout .134  prog tests 231 inspect 900 880 2000 9200 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label57.yml timeout .134  prog tests 231 inspect 900 880 1700 9800 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label58.yml timeout .134  prog tests 231 inspect 900 880 1700 8800 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label59.yml timeout .134  prog tests 231 inspect 900 880 1800 9500 .0041 0   unknown prog tests 0 inspect
13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem19_label00.yml timeout .110  prog tests 454 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label01.yml timeout .110  prog tests 454 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   750   0     
eca-rers2012/Problem19_label02.yml timeout .110  prog tests 453 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label03.yml timeout .110  prog tests 452 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   600   0     
eca-rers2012/Problem19_label04.yml timeout .110  prog tests 452 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   700   0     
eca-rers2012/Problem19_label05.yml timeout .110  prog tests 449 inspect 900 870 1600 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   630   0     
eca-rers2012/Problem19_label06.yml timeout .110  prog tests 464 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   740   0     
eca-rers2012/Problem19_label07.yml timeout .110  prog tests 451 inspect 900 870 1500 9700 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   720   0     
eca-rers2012/Problem19_label08.yml timeout .110  prog tests 451 inspect 900 870 1500 9200 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     13     160   720   0     
eca-rers2012/Problem19_label09.yml timeout .110  prog tests 453 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   550   0     
eca-rers2012/Problem19_label10.yml timeout .110  prog tests 453 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   660   0     
eca-rers2012/Problem19_label11.yml timeout .110  prog tests 453 inspect 900 870 1300 9200 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     11     160   740   0     
eca-rers2012/Problem19_label12.yml timeout .110  prog tests 451 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     11     160   750   0     
eca-rers2012/Problem19_label13.yml timeout .110  prog tests 463 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     14     160   640   0     
eca-rers2012/Problem19_label14.yml timeout .110  prog tests 450 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   570   0     
eca-rers2012/Problem19_label15.yml timeout .110  prog tests 454 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   720   0     
eca-rers2012/Problem19_label16.yml timeout .110  prog tests 451 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   590   0     
eca-rers2012/Problem19_label17.yml timeout .110  prog tests 464 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   670   0     
eca-rers2012/Problem19_label18.yml timeout .110  prog tests 453 inspect 900 870 1400 9800 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   590   0     
eca-rers2012/Problem19_label19.yml timeout .110  prog tests 452 inspect 900 870 1400 9800 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label20.yml timeout .110  prog tests 454 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   690   0     
eca-rers2012/Problem19_label21.yml timeout .110  prog tests 452 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   710   0     
eca-rers2012/Problem19_label22.yml timeout .110  prog tests 462 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   740   0     
eca-rers2012/Problem19_label23.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label24.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   760   0     
eca-rers2012/Problem19_label25.yml timeout .110  prog tests 453 inspect 900 870 1400 9900 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   740   0     
eca-rers2012/Problem19_label26.yml timeout .110  prog tests 454 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     14     160   670   0     
eca-rers2012/Problem19_label27.yml timeout .110  prog tests 452 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   760   0     
eca-rers2012/Problem19_label28.yml timeout .110  prog tests 452 inspect 900 870 1500 9300 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   750   0     
eca-rers2012/Problem19_label29.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   570   0     
eca-rers2012/Problem19_label30.yml timeout .110  prog tests 455 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   730   0     
eca-rers2012/Problem19_label31.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   620   0     
eca-rers2012/Problem19_label32.yml timeout .110  prog tests 453 inspect 900 870 1500 13000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   760   0     
eca-rers2012/Problem19_label33.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     14     160   650   0     
eca-rers2012/Problem19_label34.yml timeout .110  prog tests 454 inspect 900 870 1500 9100 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   730   0     
eca-rers2012/Problem19_label35.yml timeout .110  prog tests 464 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   770   0     
eca-rers2012/Problem19_label36.yml timeout .110  prog tests 453 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   700   0     
eca-rers2012/Problem19_label37.yml timeout .110  prog tests 452 inspect 900 870 1400 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   720   0     
eca-rers2012/Problem19_label38.yml timeout .110  prog tests 453 inspect 900 870 1400 9900 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label39.yml timeout .110  prog tests 452 inspect 900 870 1300 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   690   0     
eca-rers2012/Problem19_label40.yml timeout .110  prog tests 452 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   740   0     
eca-rers2012/Problem19_label41.yml timeout .110  prog tests 460 inspect 900 870 1400 9600 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label42.yml timeout .110  prog tests 453 inspect 900 870 1500 9800 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     14     160   650   0     
eca-rers2012/Problem19_label43.yml timeout .110  prog tests 463 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     14     160   660   0     
eca-rers2012/Problem19_label44.yml timeout .110  prog tests 454 inspect 900 870 1500 9600 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   760   0     
eca-rers2012/Problem19_label45.yml timeout .110  prog tests 452 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label46.yml timeout .110  prog tests 452 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label47.yml timeout .110  prog tests 464 inspect 900 870 1400 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     14     160   790   0     
eca-rers2012/Problem19_label48.yml timeout .110  prog tests 453 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     13     160   690   0     
eca-rers2012/Problem19_label49.yml timeout .110  prog tests 453 inspect 900 870 1500 9800 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   700   0     
eca-rers2012/Problem19_label50.yml timeout .110  prog tests 452 inspect 900 870 1500 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   700   0     
eca-rers2012/Problem19_label51.yml timeout .110  prog tests 453 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     11     160   560   0     
eca-rers2012/Problem19_label52.yml timeout .110  prog tests 453 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   580   0     
eca-rers2012/Problem19_label53.yml timeout .110  prog tests 453 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   670   0     
eca-rers2012/Problem19_label54.yml timeout .110  prog tests 464 inspect 900 870 1500 10000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   780   0     
eca-rers2012/Problem19_label55.yml timeout .110  prog tests 455 inspect 900 870 1500 9800 .0041 0   unknown prog tests 0 inspect
11.0  17.2  12     12     160   670   0     
eca-rers2012/Problem19_label56.yml timeout .110  prog tests 448 inspect 900 870 1400 13000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label57.yml timeout .110  prog tests 454 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   670   0     
eca-rers2012/Problem19_label58.yml timeout .110  prog tests 454 inspect 900 870 1400 12000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label59.yml timeout .110  prog tests 453 inspect 900 870 1500 11000 .0041 0   unknown prog tests 0 inspect
11.0  17.2  11     11     160   620   0     
eca-programs/Problem101_label00.yml timeout .0    prog tests 0 inspect 900 880 1800 3700 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-programs/Problem101_label01.yml timeout .0    prog tests 0 inspect 900 880 1800 5300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-programs/Problem101_label02.yml timeout .0    prog tests 0 inspect 900 880 1800 3800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label03.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label04.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label05.yml timeout .0    prog tests 0 inspect 900 880 1800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-programs/Problem101_label06.yml timeout .0    prog tests 0 inspect 900 880 1800 3500 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.1 0   0     
eca-programs/Problem101_label07.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-programs/Problem101_label08.yml timeout .0    prog tests 0 inspect 900 890 1400 3500 .0041 0   unknown prog tests 0 inspect
0    0    .074 .077 9.0 0   0     
eca-programs/Problem101_label09.yml timeout .0    prog tests 0 inspect 900 880 1800 5400 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 8.9 0   0     
eca-programs/Problem101_label10.yml timeout .0    prog tests 0 inspect 900 880 1800 2900 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label11.yml timeout .0    prog tests 0 inspect 900 880 1800 6000 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label12.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label13.yml timeout .0    prog tests 0 inspect 900 880 1800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .067 .068 9.0 0   0     
eca-programs/Problem101_label14.yml timeout .0    prog tests 0 inspect 900 880 1800 3700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.1 0   0     
eca-programs/Problem101_label15.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.0 0   0     
eca-programs/Problem101_label16.yml timeout .0    prog tests 0 inspect 900 880 1800 3400 .0041 0   unknown prog tests 0 inspect
0    0    .064 .064 9.0 0   0     
eca-programs/Problem101_label17.yml timeout .0    prog tests 0 inspect 900 880 1800 3300 .0041 0   unknown prog tests 0 inspect
0    0    .088 .089 9.0 0   0     
eca-programs/Problem101_label18.yml timeout .0    prog tests 0 inspect 900 880 1800 2900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label19.yml timeout .0    prog tests 0 inspect 900 880 1800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .076 .077 9.0 0   0     
eca-programs/Problem101_label20.yml timeout .0    prog tests 0 inspect 900 880 1800 5300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-programs/Problem101_label21.yml timeout .0    prog tests 0 inspect 900 890 1800 6000 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label22.yml timeout .0    prog tests 0 inspect 900 880 1800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label23.yml timeout .0    prog tests 0 inspect 900 880 1800 3900 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label00.yml timeout .0    prog tests 0 inspect 900 870 3000 3000 .0041 0   unknown prog tests 0 inspect
0    0    .058 .060 9.0 0   0     
eca-programs/Problem102_label01.yml timeout .0    prog tests 0 inspect 900 870 2700 3200 .0041 0   unknown prog tests 0 inspect
0    0    .061 .063 9.1 0   0     
eca-programs/Problem102_label02.yml timeout .0    prog tests 0 inspect 900 870 2700 3700 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.1 0   0     
eca-programs/Problem102_label03.yml timeout .0    prog tests 0 inspect 900 880 2300 4100 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label04.yml timeout .0    prog tests 0 inspect 900 870 2700 3400 .0041 0   unknown prog tests 0 inspect
0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label05.yml timeout .0    prog tests 0 inspect 900 870 2700 5600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label06.yml timeout .0    prog tests 0 inspect 900 880 2300 3300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.0 0   0     
eca-programs/Problem102_label07.yml timeout .0    prog tests 0 inspect 900 880 2300 4100 .0041 0   unknown prog tests 0 inspect
0    0    .064 .066 9.1 0   0     
eca-programs/Problem102_label08.yml timeout .0    prog tests 0 inspect 900 880 2300 4200 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.1 0   0     
eca-programs/Problem102_label09.yml timeout .0    prog tests 0 inspect 900 880 2800 5900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.0 0   0     
eca-programs/Problem102_label10.yml timeout .0    prog tests 0 inspect 900 870 2700 3700 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label11.yml timeout .0    prog tests 0 inspect 900 870 2300 3300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .062 9.0 0   0     
eca-programs/Problem102_label12.yml timeout .0    prog tests 0 inspect 900 880 2600 4000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-programs/Problem102_label13.yml timeout .0    prog tests 0 inspect 900 870 2400 4300 .0041 0   unknown prog tests 0 inspect
0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label14.yml timeout .0    prog tests 0 inspect 900 880 2400 6800 .0041 0   unknown prog tests 0 inspect
0    0    .075 .076 9.0 0   0     
eca-programs/Problem102_label15.yml timeout .0    prog tests 0 inspect 900 870 2800 3800 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-programs/Problem102_label16.yml timeout .0    prog tests 0 inspect 900 870 2700 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 9.1 0   0     
eca-programs/Problem102_label17.yml timeout .0    prog tests 0 inspect 900 870 3300 3300 .0041 0   unknown prog tests 0 inspect
0    0    .068 .068 9.0 0   0     
eca-programs/Problem102_label18.yml timeout .0    prog tests 0 inspect 900 870 2700 3300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label19.yml timeout .0    prog tests 0 inspect 900 870 2700 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label20.yml timeout .0    prog tests 0 inspect 900 880 2300 3600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .061 9.0 0   0     
eca-programs/Problem102_label21.yml timeout .0    prog tests 0 inspect 900 870 2300 3700 .0041 0   unknown prog tests 0 inspect
0    0    .063 .065 9.0 0   0     
eca-programs/Problem102_label22.yml timeout .0    prog tests 0 inspect 900 870 3000 3300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label23.yml timeout .0    prog tests 0 inspect 900 870 2700 4000 .0041 0   unknown prog tests 0 inspect
0    0    .064 .066 9.0 0   0     
eca-programs/Problem102_label24.yml timeout .0    prog tests 0 inspect 900 870 2500 3600 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label25.yml timeout .0    prog tests 0 inspect 900 880 2300 4700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label26.yml timeout .0    prog tests 0 inspect 900 870 2700 4000 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.1 0   0     
eca-programs/Problem102_label27.yml timeout .0    prog tests 0 inspect 900 870 2400 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label28.yml timeout .0    prog tests 0 inspect 900 870 2800 4300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label29.yml timeout .0    prog tests 0 inspect 900 870 3100 3600 .0041 0   unknown prog tests 0 inspect
0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label30.yml timeout .0    prog tests 0 inspect 900 870 2600 3500 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label31.yml timeout .0    prog tests 0 inspect 900 870 2800 4200 .0041 0   unknown prog tests 0 inspect
0    0    .060 .062 9.1 0   0     
eca-programs/Problem102_label32.yml timeout .0    prog tests 0 inspect 900 870 2900 5100 .0041 0   unknown prog tests 0 inspect
0    0    .076 .077 9.0 0   0     
eca-programs/Problem102_label33.yml timeout .0    prog tests 0 inspect 900 880 2300 6000 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label34.yml timeout .0    prog tests 0 inspect 900 870 2800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label35.yml timeout .0    prog tests 0 inspect 900 870 3000 4000 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label36.yml timeout .0    prog tests 0 inspect 900 870 2600 5600 .0041 0   unknown prog tests 0 inspect
0    0    .066 .067 9.1 0   0     
eca-programs/Problem102_label37.yml timeout .0    prog tests 0 inspect 900 870 3100 5800 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label38.yml timeout .0    prog tests 0 inspect 900 870 2500 4300 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label39.yml timeout .0    prog tests 0 inspect 900 870 2700 3100 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-programs/Problem102_label40.yml timeout .0    prog tests 0 inspect 900 870 2300 3600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label41.yml timeout .0    prog tests 0 inspect 900 870 2700 3300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-programs/Problem102_label42.yml timeout .0    prog tests 0 inspect 900 870 2800 4200 .0041 0   unknown prog tests 0 inspect
0    0    .058 .058 9.0 0   0     
eca-programs/Problem102_label43.yml timeout .0    prog tests 0 inspect 900 880 2300 2400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label44.yml timeout .0    prog tests 0 inspect 900 880 2500 3300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label45.yml timeout .0    prog tests 0 inspect 900 880 2700 3300 .0041 0   unknown prog tests 0 inspect
0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label46.yml timeout .0    prog tests 0 inspect 900 870 3000 5200 .0041 0   unknown prog tests 0 inspect
0    0    .057 .058 9.0 0   0     
eca-programs/Problem102_label47.yml timeout .0    prog tests 0 inspect 900 870 2700 4900 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-programs/Problem102_label48.yml timeout .0    prog tests 0 inspect 900 870 3000 3600 .0041 0   unknown prog tests 0 inspect
0    0    .067 .068 9.0 0   0     
eca-programs/Problem102_label49.yml timeout .0    prog tests 0 inspect 900 870 2800 3600 .0041 0   unknown prog tests 0 inspect
0    0    .063 .064 9.1 0   0     
eca-programs/Problem102_label50.yml timeout .0    prog tests 0 inspect 900 880 2300 3300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label51.yml timeout .0    prog tests 0 inspect 900 880 2800 5300 .0041 0   unknown prog tests 0 inspect
0    0    .058 .058 9.0 0   0     
eca-programs/Problem102_label52.yml timeout .0    prog tests 0 inspect 900 870 2300 3500 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label53.yml timeout .0    prog tests 0 inspect 900 880 2400 5100 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label54.yml timeout .0    prog tests 0 inspect 900 880 2500 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 8.9 0   0     
eca-programs/Problem102_label55.yml timeout .0    prog tests 0 inspect 900 880 2700 4100 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-programs/Problem102_label56.yml timeout .0    prog tests 0 inspect 900 870 2800 4400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .060 9.0 0   0     
eca-programs/Problem102_label57.yml timeout .0    prog tests 0 inspect 900 870 2700 4000 .0041 0   unknown prog tests 0 inspect
0    0    .064 .074 9.0 0   0     
eca-programs/Problem102_label58.yml timeout .0    prog tests 0 inspect 900 870 2700 3700 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label59.yml timeout .0    prog tests 0 inspect 900 870 2600 4100 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label32.yml timeout .0    prog tests 0 inspect 900 870 2900 3400 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-programs/Problem103_label35.yml timeout .0    prog tests 0 inspect 900 880 2900 4000 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label40.yml timeout .0    prog tests 0 inspect 900 870 2800 4100 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.1 0   0     
eca-programs/Problem103_label41.yml timeout .0    prog tests 0 inspect 900 870 3000 4400 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label42.yml timeout .0    prog tests 0 inspect 900 870 3100 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .063 9.0 0   0     
eca-programs/Problem103_label43.yml timeout .0    prog tests 0 inspect 900 870 2900 3600 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label44.yml timeout .0    prog tests 0 inspect 900 870 2800 6200 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label45.yml timeout .0    prog tests 0 inspect 900 870 3000 3600 .0041 0   unknown prog tests 0 inspect
0    0    .059 .061 9.0 0   0     
eca-programs/Problem103_label46.yml timeout .0    prog tests 0 inspect 900 870 2600 3700 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label47.yml timeout .0    prog tests 0 inspect 900 870 3000 3300 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem103_label48.yml timeout .0    prog tests 0 inspect 900 870 2600 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label49.yml timeout .0    prog tests 0 inspect 900 870 2600 3700 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem103_label50.yml timeout .0    prog tests 0 inspect 900 870 3000 3900 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 8.9 0   0     
eca-programs/Problem103_label51.yml timeout .0    prog tests 0 inspect 930 900 2900 4200 .0041 0   unknown prog tests 0 inspect
0    0    .059 .059 8.9 0   0     
eca-programs/Problem103_label52.yml timeout .0    prog tests 0 inspect 900 870 3000 3300 .0041 0   unknown prog tests 0 inspect
0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label53.yml timeout .0    prog tests 0 inspect 900 870 2800 3500 .0041 0   unknown prog tests 0 inspect
0    0    .061 .061 9.0 0   0     
eca-programs/Problem103_label54.yml timeout .0    prog tests 0 inspect 900 870 2900 3400 .0041 0   unknown prog tests 0 inspect
0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label55.yml timeout .0    prog tests 0 inspect 900 870 2700 4500 .0041 0   unknown prog tests 0 inspect
0    0    .062 .062 9.0 0   0     
eca-programs/Problem103_label56.yml timeout .0    prog tests 0 inspect 930 900 3000 4000 .0041 0   unknown prog tests 0 inspect
0    0    .059 .060 9.0 0   0     
eca-programs/Problem103_label57.yml timeout .0    prog tests 0 inspect 900 870 2900 5900 .0041 0   unknown prog tests 0 inspect
0    0    .061 .062 9.0 0   0     
eca-programs/Problem103_label58.yml timeout .0    prog tests 0 inspect 900 870 3200 3400 .0041 0   unknown prog tests 0 inspect
0    0    .058 .059 9.1 0   0     
eca-programs/Problem103_label59.yml timeout .0    prog tests 0 inspect 900 870 2700 2400 .0041 0   unknown prog tests 0 inspect
0    0    .057 .059 9.0 0   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 164 940000 920000 2000000 8900000 4.3 0   1046 16400 18500 4000 4300 75000 200000 .0041
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA