Benchmark KLEE TBF Test-Suite Validator
Tool KLEE 2.0.0-pre-test-comp 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:09:47 CET 2019-02-06 06:16:47 CET
Run set klee.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-klee.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/klee.2019-02-05_2109.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 .498 prog tests 388 inspect 900 900 10000 6100 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.9 58 100 0     
eca-rers2012/Problem03_label01.yml timeout .498 prog tests 389 inspect 900 900 10000 5400 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.5 58 100 0     
eca-rers2012/Problem03_label02.yml timeout .498 prog tests 390 inspect 900 900 10000 6100 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.4 58 100 0     
eca-rers2012/Problem03_label03.yml timeout .498 prog tests 389 inspect 900 900 10000 5600 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.5 58 100 0     
eca-rers2012/Problem03_label04.yml timeout .498 prog tests 389 inspect 900 900 10000 6200 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.8 3.7 58 100 0     
eca-rers2012/Problem03_label05.yml timeout .498 prog tests 390 inspect 900 900 10000 6500 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.5 58 100 0     
eca-rers2012/Problem03_label06.yml timeout .498 prog tests 388 inspect 900 900 10000 5700 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.8 4.6 58 100 0     
eca-rers2012/Problem03_label07.yml timeout .498 prog tests 390 inspect 900 900 10000 5100 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.8 3.7 58 100 0     
eca-rers2012/Problem03_label08.yml timeout .498 prog tests 389 inspect 900 900 10000 5600 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.8 3.7 58 100 0     
eca-rers2012/Problem03_label09.yml timeout (false(unreach-call)) .498 prog tests 388 inspect 900 900 10000 7900 .21  0      true prog tests 1 inspect
49.9 54.6 3.6 4.4 58 100 0     
eca-rers2012/Problem03_label10.yml timeout .498 prog tests 388 inspect 900 900 10000 5800 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.5 58 100 0     
eca-rers2012/Problem03_label11.yml timeout .498 prog tests 388 inspect 900 900 10000 5500 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.8 58 100 0     
eca-rers2012/Problem03_label12.yml timeout .498 prog tests 390 inspect 900 900 10000 5900 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.5 58 100 0     
eca-rers2012/Problem03_label13.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 5900 .24  0      true prog tests 1 inspect
49.9 54.6 3.8 3.7 58 100 0     
eca-rers2012/Problem03_label14.yml timeout .498 prog tests 390 inspect 900 900 10000 5700 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.6 58 100 0     
eca-rers2012/Problem03_label15.yml timeout .498 prog tests 390 inspect 930 930 9400 6400 .18  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label16.yml timeout .498 prog tests 387 inspect 900 900 10000 6900 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.8 3.7 58 100 0     
eca-rers2012/Problem03_label17.yml timeout .498 prog tests 389 inspect 900 900 10000 5500 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.3 58 100 0     
eca-rers2012/Problem03_label18.yml timeout .498 prog tests 390 inspect 900 900 10000 5800 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.9 58 100 0     
eca-rers2012/Problem03_label19.yml timeout .498 prog tests 389 inspect 900 900 10000 6200 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.9 58 100 0     
eca-rers2012/Problem03_label20.yml timeout .498 prog tests 388 inspect 900 900 10000 6200 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.5 58 100 0     
eca-rers2012/Problem03_label21.yml timeout .498 prog tests 390 inspect 900 900 10000 6400 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.3 58 100 0     
eca-rers2012/Problem03_label22.yml timeout .498 prog tests 388 inspect 900 900 10000 7800 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.6 58 100 0     
eca-rers2012/Problem03_label23.yml timeout .498 prog tests 389 inspect 900 900 10000 6100 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.5 58 100 0     
eca-rers2012/Problem03_label24.yml timeout .498 prog tests 388 inspect 900 900 10000 6300 .25  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.2 58 100 0     
eca-rers2012/Problem03_label25.yml timeout .498 prog tests 390 inspect 900 900 10000 5200 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.0 58 100 0     
eca-rers2012/Problem03_label26.yml timeout (false(unreach-call)) .498 prog tests 395 inspect 900 900 10000 8000 .21  0      true prog tests 1 inspect
49.9 54.6 3.8 4.6 58 100 0     
eca-rers2012/Problem03_label27.yml timeout (false(unreach-call)) .498 prog tests 390 inspect 900 900 10000 5800 .24  0      true prog tests 1 inspect
49.9 54.6 3.7 4.6 58 100 0     
eca-rers2012/Problem03_label28.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 5800 .24  0      true prog tests 1 inspect
49.9 54.6 3.7 4.2 58 100 0     
eca-rers2012/Problem03_label29.yml timeout .498 prog tests 389 inspect 900 900 10000 6000 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.2 58 100 0     
eca-rers2012/Problem03_label30.yml timeout .498 prog tests 387 inspect 900 900 10000 7800 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.4 58 100 0     
eca-rers2012/Problem03_label31.yml timeout (false(unreach-call)) .498 prog tests 388 inspect 900 900 10000 6800 .20  0      true prog tests 1 inspect
49.9 54.6 3.8 3.9 58 100 0     
eca-rers2012/Problem03_label32.yml timeout .498 prog tests 389 inspect 900 900 10000 6400 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.9 58 100 0     
eca-rers2012/Problem03_label33.yml timeout .498 prog tests 389 inspect 900 900 10000 5700 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label34.yml timeout .498 prog tests 390 inspect 900 900 10000 6000 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.2 58 100 0     
eca-rers2012/Problem03_label35.yml timeout (false(unreach-call)) .498 prog tests 390 inspect 900 900 10000 6100 .24  0      true prog tests 1 inspect
49.9 54.6 3.6 4.0 58 100 0     
eca-rers2012/Problem03_label36.yml timeout .498 prog tests 388 inspect 900 900 10000 5500 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.9 58 100 0     
eca-rers2012/Problem03_label37.yml timeout (false(unreach-call)) .498 prog tests 390 inspect 900 900 10000 6300 .23  0      true prog tests 1 inspect
49.9 54.6 3.7 3.8 58 100 0     
eca-rers2012/Problem03_label38.yml timeout .498 prog tests 390 inspect 900 900 10000 5700 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.5 58 100 0     
eca-rers2012/Problem03_label39.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 5500 .24  0      true prog tests 1 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label40.yml timeout .498 prog tests 388 inspect 930 930 6300 6000 .18  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.5 58 100 0     
eca-rers2012/Problem03_label41.yml timeout .498 prog tests 388 inspect 900 900 10000 6100 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.6 3.5 58 100 0     
eca-rers2012/Problem03_label42.yml timeout .498 prog tests 388 inspect 900 900 10000 5500 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.5 58 100 0     
eca-rers2012/Problem03_label43.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 5700 .24  0      true prog tests 1 inspect
49.9 54.6 3.6 3.5 58 100 0     
eca-rers2012/Problem03_label44.yml timeout .498 prog tests 390 inspect 900 900 10000 6300 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.1 58 100 0     
eca-rers2012/Problem03_label45.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 6100 .21  0      true prog tests 1 inspect
49.9 54.6 3.8 3.6 58 100 0     
eca-rers2012/Problem03_label46.yml timeout .498 prog tests 388 inspect 900 900 10000 5500 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.3 58 100 0     
eca-rers2012/Problem03_label47.yml timeout .498 prog tests 388 inspect 900 900 10000 6100 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.6 58 100 0     
eca-rers2012/Problem03_label48.yml timeout .498 prog tests 387 inspect 900 900 10000 6100 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.6 4.5 58 100 0     
eca-rers2012/Problem03_label49.yml timeout .498 prog tests 390 inspect 900 900 10000 5500 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.5 58 100 0     
eca-rers2012/Problem03_label50.yml timeout (false(unreach-call)) .498 prog tests 390 inspect 900 900 10000 5300 .23  0      true prog tests 1 inspect
49.9 54.6 3.8 4.6 58 100 0     
eca-rers2012/Problem03_label51.yml timeout .498 prog tests 390 inspect 900 900 10000 6000 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label52.yml timeout (false(unreach-call)) .498 prog tests 389 inspect 900 900 10000 5600 .21  0      true prog tests 1 inspect
49.9 54.6 3.8 4.5 58 100 0     
eca-rers2012/Problem03_label53.yml timeout .498 prog tests 390 inspect 900 900 10000 5400 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.8 58 100 0     
eca-rers2012/Problem03_label54.yml timeout .498 prog tests 390 inspect 900 900 10000 5400 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label55.yml timeout .498 prog tests 390 inspect 900 900 10000 6300 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.6 58 100 0     
eca-rers2012/Problem03_label56.yml timeout .498 prog tests 389 inspect 900 900 10000 6900 .20  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.5 58 100 0     
eca-rers2012/Problem03_label57.yml timeout .498 prog tests 389 inspect 900 900 10000 8400 .21  0      unknown prog tests 0 inspect
49.9 54.6 3.7 4.3 58 100 0     
eca-rers2012/Problem03_label58.yml timeout .498 prog tests 389 inspect 900 900 10000 5700 .24  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.7 58 100 0     
eca-rers2012/Problem03_label59.yml timeout .498 prog tests 390 inspect 900 900 10000 5800 .23  0      unknown prog tests 0 inspect
49.9 54.6 3.7 3.5 58 100 0     
eca-rers2012/Problem04_label00.yml timeout .817 prog tests 1796 inspect 900 900 8400 5400 .61  0      unknown prog tests 0 inspect
81.7 98.5 34   37   110 1400 0     
eca-rers2012/Problem04_label01.yml timeout .817 prog tests 1792 inspect 900 900 8400 6100 .60  0      unknown prog tests 0 inspect
81.7 98.5 34   33   110 1400 0     
eca-rers2012/Problem04_label02.yml timeout .817 prog tests 1793 inspect 900 900 8400 6000 .61  0      unknown prog tests 0 inspect
81.7 98.5 34   33   110 1400 0     
eca-rers2012/Problem04_label03.yml timeout .818 prog tests 1792 inspect 930 930 1900 6100 .50  0      unknown prog tests 0 inspect
81.8 98.5 33   36   110 1400 0     
eca-rers2012/Problem04_label04.yml timeout (false(unreach-call)) .818 prog tests 1798 inspect 900 900 8500 6400 .61  0      true prog tests 1 inspect
81.8 98.5 34   33   110 1400 0     
eca-rers2012/Problem04_label05.yml timeout .817 prog tests 1778 inspect 900 900 8400 5600 .53  0      unknown prog tests 0 inspect
81.7 98.5 33   33   110 1400 0     
eca-rers2012/Problem04_label06.yml timeout (false(unreach-call)) .818 prog tests 1799 inspect 900 900 8300 5700 .59  0      true prog tests 1 inspect
81.8 98.5 34   34   110 1400 0     
eca-rers2012/Problem04_label07.yml timeout .817 prog tests 1790 inspect 900 900 8400 6000 .61  0      unknown prog tests 0 inspect
81.7 98.5 34   43   110 1400 0     
eca-rers2012/Problem04_label08.yml timeout .818 prog tests 1793 inspect 930 930 2900 5600 .50  0      unknown prog tests 0 inspect
81.8 98.5 33   33   110 1400 0     
eca-rers2012/Problem04_label09.yml timeout (false(unreach-call)) .817 prog tests 1780 inspect 900 900 8300 6400 .57  0      true prog tests 1 inspect
81.7 98.5 33   41   110 1300 0     
eca-rers2012/Problem04_label10.yml timeout .817 prog tests 1774 inspect 900 900 8600 7000 .55  0      unknown prog tests 0 inspect
81.7 98.5 33   42   110 1300 0     
eca-rers2012/Problem04_label13.yml timeout (false(unreach-call)) .817 prog tests 1794 inspect 900 900 8600 8000 .60  0      true prog tests 1 inspect
81.7 98.5 34   43   110 1300 0     
eca-rers2012/Problem04_label15.yml timeout (false(unreach-call)) .818 prog tests 1791 inspect 900 900 8600 8000 .61  0      true prog tests 1 inspect
81.8 98.5 34   41   110 1400 0     
eca-rers2012/Problem04_label16.yml timeout .817 prog tests 1794 inspect 900 900 8600 7900 .62  0      unknown prog tests 0 inspect
81.7 98.5 33   33   110 1400 0     
eca-rers2012/Problem04_label18.yml timeout (false(unreach-call)) .817 prog tests 1794 inspect 900 900 8300 5100 .60  0      true prog tests 1 inspect
81.7 98.5 33   33   110 1400 0     
eca-rers2012/Problem04_label19.yml timeout (false(unreach-call)) .818 prog tests 1800 inspect 900 900 8400 5300 .61  0      true prog tests 1 inspect
81.8 98.5 34   38   110 1400 0     
eca-rers2012/Problem04_label21.yml timeout .817 prog tests 1790 inspect 900 900 8400 6300 .60  0      unknown prog tests 0 inspect
81.7 98.5 34   34   110 1300 0     
eca-rers2012/Problem04_label22.yml timeout .817 prog tests 1793 inspect 900 900 8400 6100 .59  0      unknown prog tests 0 inspect
81.7 98.4 34   37   110 1400 0     
eca-rers2012/Problem04_label25.yml timeout .818 prog tests 1794 inspect 900 900 8400 6100 .61  0      unknown prog tests 0 inspect
81.8 98.5 34   34   110 1400 0     
eca-rers2012/Problem04_label26.yml timeout (false(unreach-call)) .817 prog tests 1790 inspect 900 900 8400 6600 .61  0      true prog tests 1 inspect
81.7 98.5 34   39   110 1400 0     
eca-rers2012/Problem04_label28.yml timeout .817 prog tests 1788 inspect 900 900 8400 5800 .61  0      unknown prog tests 0 inspect
81.7 98.5 33   34   110 1400 0     
eca-rers2012/Problem04_label30.yml timeout .817 prog tests 1790 inspect 900 900 8600 7000 .58  0      unknown prog tests 0 inspect
81.7 98.5 34   36   110 1400 0     
eca-rers2012/Problem04_label31.yml timeout (false(unreach-call)) .817 prog tests 1792 inspect 900 900 8400 5200 .60  0      true prog tests 1 inspect
81.7 98.5 34   34   110 1300 0     
eca-rers2012/Problem04_label32.yml timeout (false(unreach-call)) .817 prog tests 1795 inspect 900 900 8500 7100 .61  0      true prog tests 1 inspect
81.7 98.5 34   34   110 1400 0     
eca-rers2012/Problem04_label33.yml timeout .817 prog tests 1792 inspect 900 900 8400 6500 .61  0      unknown prog tests 0 inspect
81.7 98.4 34   33   110 1400 0     
eca-rers2012/Problem04_label34.yml timeout .817 prog tests 1777 inspect 900 900 8500 5900 .54  0      unknown prog tests 0 inspect
81.7 98.5 34   34   110 1300 0     
eca-rers2012/Problem04_label35.yml timeout (false(unreach-call)) .817 prog tests 1781 inspect 900 900 8300 5500 .52  0      true prog tests 1 inspect
81.7 98.4 34   35   110 1300 0     
eca-rers2012/Problem04_label38.yml timeout (false(unreach-call)) .817 prog tests 1783 inspect 900 900 8400 6600 .55  0      true prog tests 1 inspect
81.7 98.5 34   37   110 1400 0     
eca-rers2012/Problem04_label39.yml timeout (false(unreach-call)) .818 prog tests 1794 inspect 900 900 8400 6400 .60  0      true prog tests 1 inspect
81.8 98.5 33   43   110 1300 0     
eca-rers2012/Problem04_label41.yml timeout .817 prog tests 1794 inspect 900 900 8300 5600 .59  0      unknown prog tests 0 inspect
81.7 98.5 33   45   110 1300 0     
eca-rers2012/Problem04_label45.yml timeout (false(unreach-call)) .818 prog tests 1788 inspect 900 900 8600 8000 .60  0      true prog tests 1 inspect
81.8 98.5 34   34   110 1300 0     
eca-rers2012/Problem04_label47.yml timeout .817 prog tests 1790 inspect 900 900 8400 6500 .60  0      unknown prog tests 0 inspect
81.7 98.5 33   42   110 1400 0     
eca-rers2012/Problem04_label48.yml timeout .817 prog tests 1792 inspect 900 900 8400 6300 .59  0      unknown prog tests 0 inspect
81.7 98.5 34   33   110 1400 0     
eca-rers2012/Problem04_label50.yml timeout .818 prog tests 1792 inspect 900 900 8600 8600 .60  0      unknown prog tests 0 inspect
81.8 98.5 33   33   110 1400 0     
eca-rers2012/Problem04_label51.yml timeout .817 prog tests 1789 inspect 900 900 8400 5700 .60  0      unknown prog tests 0 inspect
81.7 98.5 34   35   110 1400 0     
eca-rers2012/Problem04_label52.yml timeout (false(unreach-call)) .818 prog tests 1792 inspect 930 930 2000 6800 .50  0      true prog tests 1 inspect
81.8 98.5 34   37   110 1400 0     
eca-rers2012/Problem04_label53.yml timeout .817 prog tests 1793 inspect 900 900 8400 6200 .60  0      unknown prog tests 0 inspect
81.7 98.5 33   42   110 1300 0     
eca-rers2012/Problem04_label54.yml timeout .818 prog tests 1793 inspect 900 900 8400 6600 .60  0      unknown prog tests 0 inspect
81.8 98.5 34   34   110 1300 0     
eca-rers2012/Problem04_label55.yml timeout (false(unreach-call)) .818 prog tests 1797 inspect 900 900 8400 6100 .61  0      true prog tests 1 inspect
81.8 98.5 34   34   110 1400 0     
eca-rers2012/Problem04_label56.yml timeout .818 prog tests 1794 inspect 900 900 8600 8600 .60  0      unknown prog tests 0 inspect
81.8 98.5 34   36   110 1400 0     
eca-rers2012/Problem04_label59.yml timeout .818 prog tests 1792 inspect 900 900 8300 6500 .61  0      unknown prog tests 0 inspect
81.8 98.5 34   38   110 1400 0     
eca-rers2012/Problem05_label00.yml timeout (false(unreach-call)) .683 prog tests 2478 inspect 900 900 8700 5700 1.4   0      true prog tests 1 inspect
68.3 55.5 81   99   180 5200 0     
eca-rers2012/Problem05_label01.yml timeout (false(unreach-call)) .684 prog tests 2483 inspect 900 900 8900 5700 1.4   0      true prog tests 1 inspect
68.4 55.7 82   87   180 5400 0     
eca-rers2012/Problem05_label02.yml timeout .684 prog tests 2484 inspect 900 900 8900 5100 1.4   0      unknown prog tests 0 inspect
68.4 55.7 81   99   180 5100 0     
eca-rers2012/Problem05_label03.yml timeout .684 prog tests 2488 inspect 900 900 9000 5300 1.4   0      unknown prog tests 0 inspect
68.4 55.8 83   95   180 5800 0     
eca-rers2012/Problem05_label04.yml timeout .684 prog tests 2483 inspect 900 900 8800 5600 1.4   0      unknown prog tests 0 inspect
68.4 55.7 82   93   180 5100 0     
eca-rers2012/Problem05_label05.yml timeout .684 prog tests 2480 inspect 900 900 8800 6000 1.4   0      unknown prog tests 0 inspect
68.4 55.5 81   94   180 5000 0     
eca-rers2012/Problem05_label06.yml timeout .684 prog tests 2485 inspect 900 900 9000 7600 1.4   0      unknown prog tests 0 inspect
68.4 55.7 81   95   180 5200 0     
eca-rers2012/Problem05_label07.yml timeout .684 prog tests 2487 inspect 900 900 9000 6900 1.4   0      unknown prog tests 0 inspect
68.4 55.7 82   99   180 5400 0     
eca-rers2012/Problem05_label08.yml timeout .684 prog tests 2479 inspect 900 900 8900 5700 1.4   0      unknown prog tests 0 inspect
68.4 55.6 82   98   180 5000 0     
eca-rers2012/Problem05_label09.yml timeout .683 prog tests 2479 inspect 900 900 8900 7000 1.4   0      unknown prog tests 0 inspect
68.3 55.5 81   93   180 5200 0     
eca-rers2012/Problem05_label10.yml timeout .683 prog tests 2477 inspect 900 900 8800 5400 1.3   0      unknown prog tests 0 inspect
68.3 55.5 82   85   180 5000 0     
eca-rers2012/Problem05_label11.yml timeout .684 prog tests 2489 inspect 900 900 8800 5900 1.4   0      unknown prog tests 0 inspect
68.4 55.9 83   99   180 5100 0     
eca-rers2012/Problem05_label12.yml timeout .683 prog tests 2484 inspect 900 900 8900 6100 1.4   0      unknown prog tests 0 inspect
68.3 55.6 82   90   180 4900 0     
eca-rers2012/Problem05_label13.yml timeout (false(unreach-call)) .684 prog tests 2482 inspect 900 900 9000 8700 1.4   0      true prog tests 1 inspect
68.4 55.7 81   93   180 4700 0     
eca-rers2012/Problem05_label14.yml timeout .683 prog tests 2480 inspect 900 900 8700 7200 1.4   0      unknown prog tests 0 inspect
68.3 55.6 82   81   180 5300 0     
eca-rers2012/Problem05_label15.yml timeout .683 prog tests 2470 inspect 900 900 8800 5800 1.4   0      unknown prog tests 0 inspect
68.3 55.4 81   98   180 5000 0     
eca-rers2012/Problem05_label16.yml timeout .684 prog tests 2480 inspect 900 900 9000 6300 1.4   0      unknown prog tests 0 inspect
68.4 55.7 81   99   180 5700 0     
eca-rers2012/Problem05_label17.yml timeout .683 prog tests 2478 inspect 900 900 8800 5700 1.4   0      unknown prog tests 0 inspect
68.3 55.6 83   89   180 5100 0     
eca-rers2012/Problem05_label18.yml timeout (false(unreach-call)) .684 prog tests 2484 inspect 900 900 9200 6900 1.4   0      true prog tests 1 inspect
68.4 55.7 83   100   180 5700 0     
eca-rers2012/Problem05_label19.yml timeout .683 prog tests 2478 inspect 900 900 8800 5500 1.3   0      unknown prog tests 0 inspect
68.3 55.5 82   94   180 5600 0     
eca-rers2012/Problem05_label20.yml timeout .683 prog tests 2484 inspect 900 900 8900 8300 1.4   0      unknown prog tests 0 inspect
68.3 55.7 82   98   180 5900 0     
eca-rers2012/Problem05_label21.yml timeout .684 prog tests 2484 inspect 900 900 9100 7900 1.3   0      unknown prog tests 0 inspect
68.4 55.7 82   87   180 5200 0     
eca-rers2012/Problem05_label22.yml timeout .684 prog tests 2480 inspect 900 900 8700 5600 1.4   0      unknown prog tests 0 inspect
68.4 55.6 81   81   180 5400 0     
eca-rers2012/Problem05_label23.yml timeout .684 prog tests 2483 inspect 900 900 8700 5800 1.4   0      unknown prog tests 0 inspect
68.4 55.6 82   100   180 5000 0     
eca-rers2012/Problem05_label24.yml timeout (false(unreach-call)) .683 prog tests 2478 inspect 900 900 8800 6200 1.4   0      true prog tests 1 inspect
68.3 55.6 81   95   180 4900 0     
eca-rers2012/Problem05_label25.yml timeout .683 prog tests 2480 inspect 900 900 8800 5600 1.4   0      unknown prog tests 0 inspect
68.3 55.5 81   93   180 5100 0     
eca-rers2012/Problem05_label26.yml timeout .684 prog tests 2488 inspect 900 900 8800 6700 1.4   0      unknown prog tests 0 inspect
68.4 55.7 81   99   180 5000 0     
eca-rers2012/Problem05_label27.yml timeout .684 prog tests 2482 inspect 900 900 8700 6000 1.4   0      unknown prog tests 0 inspect
68.4 55.6 81   99   180 5200 0     
eca-rers2012/Problem05_label28.yml timeout .683 prog tests 2480 inspect 900 900 8900 7200 1.4   0      unknown prog tests 0 inspect
68.3 55.6 81   100   180 4900 0     
eca-rers2012/Problem05_label29.yml timeout .684 prog tests 2484 inspect 900 900 8900 6800 1.4   0      unknown prog tests 0 inspect
68.4 55.8 82   99   180 4900 0     
eca-rers2012/Problem05_label30.yml timeout (false(unreach-call)) .684 prog tests 2485 inspect 900 900 8700 5900 1.4   0      true prog tests 1 inspect
68.4 55.5 82   87   180 5400 0     
eca-rers2012/Problem05_label31.yml timeout .684 prog tests 2485 inspect 900 900 8800 6000 1.4   0      unknown prog tests 0 inspect
68.4 55.6 82   81   180 5200 0     
eca-rers2012/Problem05_label32.yml timeout (false(unreach-call)) .684 prog tests 2490 inspect 900 900 9000 8000 1.3   0      true prog tests 1 inspect
68.4 55.7 82   96   180 5900 0     
eca-rers2012/Problem05_label33.yml timeout .683 prog tests 2479 inspect 900 900 8900 5700 1.4   0      unknown prog tests 0 inspect
68.3 55.6 81   95   180 5000 0     
eca-rers2012/Problem05_label34.yml timeout .684 prog tests 2486 inspect 900 900 8800 5200 1.4   0      unknown prog tests 0 inspect
68.4 55.6 81   100   180 5100 0     
eca-rers2012/Problem05_label35.yml timeout .684 prog tests 2479 inspect 900 900 8800 5800 1.4   0      unknown prog tests 0 inspect
68.4 55.6 81   85   180 5300 0     
eca-rers2012/Problem05_label36.yml timeout (false(unreach-call)) .684 prog tests 2484 inspect 900 900 9000 6400 1.4   0      true prog tests 1 inspect
68.4 55.6 79   79   180 4500 0     
eca-rers2012/Problem05_label37.yml timeout (false(unreach-call)) .683 prog tests 2482 inspect 900 900 8800 6300 1.4   0      true prog tests 1 inspect
68.3 55.5 81   100   180 5000 0     
eca-rers2012/Problem05_label38.yml timeout (false(unreach-call)) .684 prog tests 2479 inspect 900 900 8900 6300 1.4   0      true prog tests 1 inspect
68.4 55.5 82   90   180 5000 0     
eca-rers2012/Problem05_label39.yml timeout (false(unreach-call)) .683 prog tests 2476 inspect 900 900 8800 6600 1.4   0      true prog tests 1 inspect
68.3 55.5 82   92   180 5500 0     
eca-rers2012/Problem05_label40.yml timeout (false(unreach-call)) .684 prog tests 2482 inspect 900 900 8700 5500 1.4   0      true prog tests 1 inspect
68.4 55.6 82   84   180 5600 0     
eca-rers2012/Problem05_label41.yml timeout (false(unreach-call)) .684 prog tests 2488 inspect 900 900 8900 6900 1.4   0      true prog tests 1 inspect
68.4 55.6 82   99   180 5000 0     
eca-rers2012/Problem05_label42.yml timeout .683 prog tests 2481 inspect 900 900 8700 6800 1.4   0      unknown prog tests 0 inspect
68.3 55.5 83   87   180 4900 0     
eca-rers2012/Problem05_label43.yml timeout .683 prog tests 2485 inspect 900 900 8900 5600 1.4   0      unknown prog tests 0 inspect
68.3 55.6 82   81   180 5900 0     
eca-rers2012/Problem05_label44.yml timeout (false(unreach-call)) .683 prog tests 2476 inspect 900 900 9100 8500 1.3   0      true prog tests 1 inspect
68.3 55.5 82   90   180 5700 0     
eca-rers2012/Problem05_label45.yml timeout .684 prog tests 2484 inspect 900 900 8900 5200 1.4   0      unknown prog tests 0 inspect
68.4 55.7 81   100   180 4900 0     
eca-rers2012/Problem05_label46.yml timeout .683 prog tests 2477 inspect 900 900 8900 6800 1.3   0      unknown prog tests 0 inspect
68.3 55.5 82   99   180 5100 0     
eca-rers2012/Problem05_label47.yml timeout (false(unreach-call)) .683 prog tests 2480 inspect 900 900 8800 5700 1.4   0      true prog tests 1 inspect
68.3 55.5 82   92   180 5900 0     
eca-rers2012/Problem05_label48.yml timeout (false(unreach-call)) .684 prog tests 2478 inspect 900 900 8800 5700 1.4   0      true prog tests 1 inspect
68.4 55.5 82   100   180 5000 0     
eca-rers2012/Problem05_label49.yml timeout .683 prog tests 2472 inspect 900 900 8800 5600 1.4   0      unknown prog tests 0 inspect
68.3 55.5 81   86   180 5800 0     
eca-rers2012/Problem05_label50.yml timeout .683 prog tests 2480 inspect 900 900 8800 5800 1.4   0      unknown prog tests 0 inspect
68.3 55.5 82   82   180 5000 0     
eca-rers2012/Problem05_label51.yml timeout (false(unreach-call)) .684 prog tests 2485 inspect 900 900 8800 6200 1.4   0      true prog tests 1 inspect
68.4 55.8 82   99   180 5000 0     
eca-rers2012/Problem05_label52.yml timeout .684 prog tests 2486 inspect 900 900 9100 6800 1.4   0      unknown prog tests 0 inspect
68.4 55.8 82   98   180 5300 0     
eca-rers2012/Problem05_label53.yml timeout .683 prog tests 2481 inspect 900 900 8800 5100 1.4   0      unknown prog tests 0 inspect
68.3 55.6 81   100   180 5000 0     
eca-rers2012/Problem05_label54.yml timeout .683 prog tests 2479 inspect 900 900 8700 6100 1.4   0      unknown prog tests 0 inspect
68.3 55.6 82   88   180 5900 0     
eca-rers2012/Problem05_label55.yml timeout (false(unreach-call)) .684 prog tests 2486 inspect 900 900 9000 7900 1.4   0      true prog tests 1 inspect
68.4 55.7 82   96   180 5200 0     
eca-rers2012/Problem05_label56.yml timeout .684 prog tests 2483 inspect 900 900 8900 6000 1.4   0      unknown prog tests 0 inspect
68.4 55.6 82   100   180 5100 0     
eca-rers2012/Problem05_label57.yml timeout (false(unreach-call)) .683 prog tests 2479 inspect 900 900 8800 6200 1.4   0      true prog tests 1 inspect
68.3 55.5 82   87   180 5400 0     
eca-rers2012/Problem05_label58.yml timeout (false(unreach-call)) .683 prog tests 2483 inspect 900 900 8900 5800 1.4   0      true prog tests 1 inspect
68.3 55.6 82   91   180 5500 0     
eca-rers2012/Problem05_label59.yml timeout .683 prog tests 2479 inspect 900 900 8900 5700 1.4   0      unknown prog tests 0 inspect
68.3 55.5 81   85   180 4800 0     
eca-rers2012/Problem06_label00.yml timeout (false(unreach-call)) .592 prog tests 2182 inspect 900 900 9500 6100 1.2   0      true prog tests 1 inspect
59.2 56.0 64   81   180 3800 0     
eca-rers2012/Problem06_label01.yml timeout .592 prog tests 2184 inspect 900 900 9500 4900 1.2   0      unknown prog tests 0 inspect
59.2 55.9 64   67   180 4100 0     
eca-rers2012/Problem06_label02.yml timeout (false(unreach-call)) .592 prog tests 2187 inspect 900 900 9500 6700 1.2   0      true prog tests 1 inspect
59.2 56.0 65   73   180 3900 0     
eca-rers2012/Problem06_label03.yml timeout .591 prog tests 2185 inspect 900 900 9500 5500 1.2   0      unknown prog tests 0 inspect
59.1 55.8 64   64   180 4200 0     
eca-rers2012/Problem06_label04.yml timeout (false(unreach-call)) .592 prog tests 2185 inspect 900 900 9500 6100 1.2   0      true prog tests 1 inspect
59.2 55.9 64   75   180 3600 0     
eca-rers2012/Problem06_label05.yml timeout (false(unreach-call)) .592 prog tests 2185 inspect 900 900 9500 6800 1.2   0      true prog tests 1 inspect
59.2 56.1 65   78   180 3800 0     
eca-rers2012/Problem06_label06.yml timeout .592 prog tests 2189 inspect 900 900 9500 5600 1.2   0      unknown prog tests 0 inspect
59.2 56.0 65   76   180 3800 0     
eca-rers2012/Problem06_label07.yml timeout .592 prog tests 2189 inspect 900 900 9500 4900 1.2   0      unknown prog tests 0 inspect
59.2 55.9 65   77   180 4000 0     
eca-rers2012/Problem06_label08.yml timeout .592 prog tests 2183 inspect 900 900 9500 6000 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   82   180 3700 0     
eca-rers2012/Problem06_label09.yml timeout (false(unreach-call)) .593 prog tests 2193 inspect 900 900 9500 5200 1.2   0      true prog tests 1 inspect
59.3 56.0 65   78   180 3600 0     
eca-rers2012/Problem06_label10.yml timeout (false(unreach-call)) .592 prog tests 2187 inspect 900 900 9500 5100 1.2   0      true prog tests 1 inspect
59.2 56.0 65   76   180 3800 0     
eca-rers2012/Problem06_label11.yml timeout (false(unreach-call)) .592 prog tests 2190 inspect 900 900 9500 7600 1.2   0      true prog tests 1 inspect
59.2 56.1 65   70   180 4200 0     
eca-rers2012/Problem06_label12.yml timeout (false(unreach-call)) .592 prog tests 2192 inspect 900 900 9500 5900 1.2   0      true prog tests 1 inspect
59.2 56.0 65   64   180 3900 0     
eca-rers2012/Problem06_label13.yml timeout .593 prog tests 2191 inspect 900 900 9500 6700 1.2   0      unknown prog tests 0 inspect
59.3 56.1 65   80   180 4200 0     
eca-rers2012/Problem06_label14.yml timeout .592 prog tests 2186 inspect 900 900 9500 4300 1.2   0      unknown prog tests 0 inspect
59.2 56.0 65   72   180 3900 0     
eca-rers2012/Problem06_label15.yml timeout (false(unreach-call)) .593 prog tests 2190 inspect 900 900 9500 5000 1.2   0      true prog tests 1 inspect
59.2 56.1 64   66   180 4000 0     
eca-rers2012/Problem06_label16.yml timeout .592 prog tests 2188 inspect 900 900 9500 6600 1.2   0      unknown prog tests 0 inspect
59.2 55.8 64   74   180 3700 0     
eca-rers2012/Problem06_label17.yml timeout .596 prog tests 2234 inspect 930 930 7000 5900 1.1   0      unknown prog tests 0 inspect
59.6 56.4 66   80   180 3800 0     
eca-rers2012/Problem06_label18.yml timeout .592 prog tests 2189 inspect 900 900 9500 4700 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   67   180 3900 0     
eca-rers2012/Problem06_label19.yml timeout .592 prog tests 2187 inspect 900 900 9500 5300 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   72   180 3800 0     
eca-rers2012/Problem06_label20.yml timeout (false(unreach-call)) .592 prog tests 2182 inspect 900 900 9500 5300 1.2   0      true prog tests 1 inspect
59.2 56.0 64   85   180 3800 0     
eca-rers2012/Problem06_label21.yml timeout (false(unreach-call)) .592 prog tests 2182 inspect 900 900 9500 5800 1.2   0      true prog tests 1 inspect
59.2 55.9 65   71   180 3600 0     
eca-rers2012/Problem06_label22.yml timeout .592 prog tests 2192 inspect 900 900 9500 5700 1.2   0      unknown prog tests 0 inspect
59.2 56.1 65   77   180 3900 0     
eca-rers2012/Problem06_label23.yml timeout .592 prog tests 2185 inspect 900 900 9500 6500 1.2   0      unknown prog tests 0 inspect
59.2 55.9 65   79   180 3700 0     
eca-rers2012/Problem06_label24.yml timeout (false(unreach-call)) .592 prog tests 2183 inspect 900 900 9500 5700 1.2   0      true prog tests 1 inspect
59.2 55.9 65   65   180 4000 0     
eca-rers2012/Problem06_label25.yml timeout .592 prog tests 2183 inspect 900 900 9500 5500 1.2   0      unknown prog tests 0 inspect
59.2 55.8 66   71   180 3700 0     
eca-rers2012/Problem06_label26.yml timeout .592 prog tests 2182 inspect 900 900 9500 8600 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   78   180 3900 0     
eca-rers2012/Problem06_label27.yml timeout (false(unreach-call)) .592 prog tests 2187 inspect 900 900 9500 8500 1.2   0      true prog tests 1 inspect
59.2 55.9 65   76   180 3700 0     
eca-rers2012/Problem06_label28.yml timeout .593 prog tests 2189 inspect 900 900 9500 7000 1.2   0      unknown prog tests 0 inspect
59.3 55.9 64   64   180 4000 0     
eca-rers2012/Problem06_label29.yml timeout (false(unreach-call)) .592 prog tests 2189 inspect 900 900 9500 5500 1.2   0      true prog tests 1 inspect
59.2 56.0 65   79   180 4000 0     
eca-rers2012/Problem06_label30.yml timeout .592 prog tests 2191 inspect 900 900 9500 6100 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   73   180 3400 0     
eca-rers2012/Problem06_label31.yml timeout .593 prog tests 2192 inspect 900 900 9500 5500 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   82   180 3600 0     
eca-rers2012/Problem06_label32.yml timeout .593 prog tests 2190 inspect 900 900 9500 8000 1.2   0      unknown prog tests 0 inspect
59.3 56.1 64   71   180 4000 0     
eca-rers2012/Problem06_label33.yml timeout (false(unreach-call)) .592 prog tests 2186 inspect 900 900 9500 5500 1.2   0      true prog tests 1 inspect
59.2 55.9 65   69   180 3700 0     
eca-rers2012/Problem06_label34.yml timeout .592 prog tests 2188 inspect 900 900 9500 4700 1.2   0      unknown prog tests 0 inspect
59.2 55.9 64   80   180 3500 0     
eca-rers2012/Problem06_label35.yml timeout .593 prog tests 2189 inspect 900 900 9500 6000 1.2   0      unknown prog tests 0 inspect
59.3 56.0 65   74   180 3500 0     
eca-rers2012/Problem06_label36.yml timeout (false(unreach-call)) .593 prog tests 2189 inspect 900 900 9500 8300 1.2   0      true prog tests 1 inspect
59.3 55.9 64   73   180 3800 0     
eca-rers2012/Problem06_label37.yml timeout (false(unreach-call)) .591 prog tests 2186 inspect 900 900 9500 5600 1.2   0      true prog tests 1 inspect
59.1 55.8 65   70   180 3600 0     
eca-rers2012/Problem06_label38.yml timeout (false(unreach-call)) .591 prog tests 2179 inspect 900 900 9500 5400 1.2   0      true prog tests 1 inspect
59.1 55.8 64   81   180 3500 0     
eca-rers2012/Problem06_label39.yml timeout .591 prog tests 2186 inspect 900 900 9500 6200 1.2   0      unknown prog tests 0 inspect
59.1 55.8 64   64   180 3800 0     
eca-rers2012/Problem06_label40.yml timeout .592 prog tests 2189 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 56.0 66   78   180 3700 0     
eca-rers2012/Problem06_label41.yml timeout .592 prog tests 2183 inspect 900 900 9500 6700 1.2   0      unknown prog tests 0 inspect
59.2 56.0 65   68   180 3500 0     
eca-rers2012/Problem06_label42.yml timeout .592 prog tests 2189 inspect 900 900 9500 5900 1.2   0      unknown prog tests 0 inspect
59.2 55.9 64   72   180 3700 0     
eca-rers2012/Problem06_label43.yml timeout .593 prog tests 2187 inspect 900 900 9500 5800 1.2   0      unknown prog tests 0 inspect
59.2 56.1 65   84   180 3500 0     
eca-rers2012/Problem06_label44.yml timeout .592 prog tests 2184 inspect 900 900 9500 5800 1.2   0      unknown prog tests 0 inspect
59.2 55.9 65   68   180 3900 0     
eca-rers2012/Problem06_label45.yml timeout .592 prog tests 2183 inspect 900 900 9500 5800 1.2   0      unknown prog tests 0 inspect
59.2 56.0 65   79   180 3700 0     
eca-rers2012/Problem06_label46.yml timeout .592 prog tests 2191 inspect 900 900 9500 6100 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   80   180 3800 0     
eca-rers2012/Problem06_label47.yml timeout (false(unreach-call)) .593 prog tests 2191 inspect 900 900 9500 6300 1.2   0      true prog tests 1 inspect
59.2 56.1 66   67   180 3700 0     
eca-rers2012/Problem06_label48.yml timeout (false(unreach-call)) .592 prog tests 2190 inspect 900 900 9500 5500 1.2   0      true prog tests 1 inspect
59.2 55.8 66   70   180 3600 0     
eca-rers2012/Problem06_label49.yml timeout .592 prog tests 2185 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 56.0 64   66   180 3700 0     
eca-rers2012/Problem06_label50.yml timeout .592 prog tests 2182 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 56.0 67   72   180 3500 0     
eca-rers2012/Problem06_label51.yml timeout .592 prog tests 2181 inspect 900 900 9500 5000 1.2   0      unknown prog tests 0 inspect
59.1 55.8 64   73   180 4200 0     
eca-rers2012/Problem06_label52.yml timeout .592 prog tests 2186 inspect 900 900 9500 5800 1.2   0      unknown prog tests 0 inspect
59.2 56.0 65   80   180 3700 0     
eca-rers2012/Problem06_label53.yml timeout .592 prog tests 2189 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 56.0 66   73   180 3700 0     
eca-rers2012/Problem06_label54.yml timeout .592 prog tests 2185 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 55.9 64   64   180 4200 0     
eca-rers2012/Problem06_label55.yml timeout .595 prog tests 2234 inspect 930 930 8300 5600 1.1   0      unknown prog tests 0 inspect
59.5 56.1 66   72   180 4200 0     
eca-rers2012/Problem06_label56.yml timeout (false(unreach-call)) .593 prog tests 2187 inspect 900 900 9500 6700 1.2   0      true prog tests 1 inspect
59.3 55.8 65   82   180 3600 0     
eca-rers2012/Problem06_label57.yml timeout .592 prog tests 2182 inspect 900 900 9500 5700 1.2   0      unknown prog tests 0 inspect
59.2 55.9 65   82   180 3600 0     
eca-rers2012/Problem06_label58.yml timeout .592 prog tests 2186 inspect 900 900 9500 5400 1.2   0      unknown prog tests 0 inspect
59.2 56.0 66   81   180 3400 0     
eca-rers2012/Problem06_label59.yml timeout (false(unreach-call)) .592 prog tests 2189 inspect 900 900 9500 5400 1.2   0      true prog tests 1 inspect
59.2 56.0 65   71   180 3900 0     
eca-rers2012/Problem07_label00.yml timeout .685 prog tests 10287 inspect 900 900 9400 5800 11     0      unknown prog tests 0 inspect
68.5 37.5 2200   2200   770 220000 0     
eca-rers2012/Problem07_label01.yml timeout .682 prog tests 10208 inspect 900 900 9400 5400 15     .0041 unknown prog tests 0 inspect
68.2 36.9 2200   2200   770 180000 0     
eca-rers2012/Problem07_label02.yml timeout .685 prog tests 10295 inspect 900 900 9400 7700 11     0      unknown prog tests 0 inspect
68.5 37.8 2200   2200   770 180000 0     
eca-rers2012/Problem07_label03.yml timeout .683 prog tests 10242 inspect 900 900 9400 6500 16     .0041 unknown prog tests 0 inspect
68.3 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label04.yml timeout .683 prog tests 10289 inspect 900 900 9400 7100 16     0      unknown prog tests 0 inspect
68.3 37.5 2300   2300   770 190000 0     
eca-rers2012/Problem07_label05.yml timeout .683 prog tests 10205 inspect 900 900 9400 6500 16     .0041 unknown prog tests 0 inspect
68.3 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label06.yml timeout .680 prog tests 10230 inspect 900 900 9400 5400 11     0      unknown prog tests 0 inspect
68.0 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label07.yml timeout .679 prog tests 10191 inspect 900 900 9400 5200 16     0      unknown prog tests 0 inspect
67.9 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label08.yml timeout .682 prog tests 10248 inspect 900 900 9400 5400 16     0      unknown prog tests 0 inspect
68.2 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label09.yml timeout .684 prog tests 10288 inspect 900 900 9400 6500 16     0      unknown prog tests 0 inspect
68.4 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label10.yml timeout .683 prog tests 10231 inspect 900 900 9400 5600 16     0      unknown prog tests 0 inspect
68.3 37.3 2200   2200   770 210000 0     
eca-rers2012/Problem07_label11.yml timeout .683 prog tests 10292 inspect 900 900 9400 5000 16     0      unknown prog tests 0 inspect
68.3 37.5 2200   2200   770 190000 0     
eca-rers2012/Problem07_label12.yml timeout .684 prog tests 10297 inspect 900 900 9400 6000 11     0      unknown prog tests 0 inspect
68.4 37.5 2300   2300   770 180000 0     
eca-rers2012/Problem07_label13.yml timeout .682 prog tests 10253 inspect 900 900 9400 6100 16     0      unknown prog tests 0 inspect
68.2 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label14.yml timeout .683 prog tests 10211 inspect 900 900 9400 5900 16     0      unknown prog tests 0 inspect
68.3 37.1 2200   2200   770 190000 0     
eca-rers2012/Problem07_label15.yml timeout (false(unreach-call)) .686 prog tests 10314 inspect 900 900 9400 5300 11     0      true prog tests 1 inspect
68.6 37.5 2200   2200   770 190000 0     
eca-rers2012/Problem07_label16.yml timeout .681 prog tests 10208 inspect 900 900 9400 5800 11     0      unknown prog tests 0 inspect
68.1 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label17.yml timeout .683 prog tests 10227 inspect 900 900 9400 5400 16     .0041 unknown prog tests 0 inspect
68.3 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label18.yml timeout .682 prog tests 10195 inspect 900 900 9400 6500 16     .0041 unknown prog tests 0 inspect
68.2 37.0 2200   2200   770 180000 .025 
eca-rers2012/Problem07_label19.yml timeout .684 prog tests 10282 inspect 900 900 9400 7700 11     0      unknown prog tests 0 inspect
68.4 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label20.yml timeout .685 prog tests 10309 inspect 900 900 9400 5200 16     0      unknown prog tests 0 inspect
68.5 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label21.yml timeout .683 prog tests 10256 inspect 900 900 9400 5800 16     .0041 unknown prog tests 0 inspect
68.3 37.5 2200   2200   770 190000 0     
eca-rers2012/Problem07_label22.yml timeout .679 prog tests 10144 inspect 900 900 9400 5300 16     0      unknown prog tests 0 inspect
67.9 36.9 2200   2200   770 190000 0     
eca-rers2012/Problem07_label23.yml timeout .684 prog tests 10276 inspect 900 900 9400 5900 11     .0041 unknown prog tests 0 inspect
68.4 37.5 2200   2200   770 180000 0     
eca-rers2012/Problem07_label24.yml timeout .683 prog tests 10287 inspect 900 900 9400 6400 16     0      unknown prog tests 0 inspect
68.3 37.8 2200   2200   770 190000 0     
eca-rers2012/Problem07_label25.yml timeout .681 prog tests 10226 inspect 900 900 9400 4900 16     .0041 unknown prog tests 0 inspect
68.1 37.2 2200   2300   770 180000 0     
eca-rers2012/Problem07_label26.yml timeout .680 prog tests 10206 inspect 900 900 9400 6400 16     .0041 unknown prog tests 0 inspect
68.0 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label27.yml timeout .685 prog tests 10314 inspect 900 900 9400 6700 11     0      unknown prog tests 0 inspect
68.5 37.6 2200   2200   770 190000 0     
eca-rers2012/Problem07_label28.yml timeout .683 prog tests 10237 inspect 900 900 9400 5300 16     0      unknown prog tests 0 inspect
68.3 37.3 2200   2300   770 180000 0     
eca-rers2012/Problem07_label29.yml timeout .683 prog tests 10265 inspect 900 900 9400 7700 11     0      unknown prog tests 0 inspect
68.3 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label30.yml timeout .684 prog tests 10222 inspect 900 900 9400 5400 16     0      unknown prog tests 0 inspect
68.4 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label31.yml timeout .679 prog tests 10231 inspect 900 900 9400 5400 16     0      unknown prog tests 0 inspect
67.9 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label32.yml timeout .683 prog tests 10238 inspect 900 900 9400 5600 11     0      unknown prog tests 0 inspect
68.3 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label33.yml timeout .685 prog tests 10246 inspect 900 900 9400 6400 16     0      unknown prog tests 0 inspect
68.5 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label34.yml timeout .681 prog tests 10179 inspect 900 900 9400 5900 11     0      unknown prog tests 0 inspect
68.1 36.9 2200   2200   770 180000 0     
eca-rers2012/Problem07_label35.yml timeout .683 prog tests 10216 inspect 900 900 9400 4800 11     0      unknown prog tests 0 inspect
68.3 37.3 2300   2300   770 180000 0     
eca-rers2012/Problem07_label36.yml timeout .680 prog tests 10160 inspect 900 900 9400 6900 11     0      unknown prog tests 0 inspect
68.0 37.0 2200   2200   770 190000 0     
eca-rers2012/Problem07_label37.yml timeout .680 prog tests 10225 inspect 900 900 9400 5300 11     0      unknown prog tests 0 inspect
68.0 36.9 2300   2300   770 200000 0     
eca-rers2012/Problem07_label38.yml timeout .678 prog tests 10155 inspect 900 900 9400 5400 11     0      unknown prog tests 0 inspect
67.8 37.1 2200   2200   770 190000 0     
eca-rers2012/Problem07_label39.yml timeout .683 prog tests 10241 inspect 900 900 9400 7500 11     .0041 unknown prog tests 0 inspect
68.3 37.3 2200   2200   770 190000 0     
eca-rers2012/Problem07_label40.yml timeout .683 prog tests 10292 inspect 900 900 9400 6400 16     0      unknown prog tests 0 inspect
68.3 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label41.yml timeout .684 prog tests 10236 inspect 900 900 9400 5600 11     0      unknown prog tests 0 inspect
68.4 37.4 2200   2200   770 180000 0     
eca-rers2012/Problem07_label42.yml timeout .683 prog tests 10252 inspect 900 900 9400 5300 14     0      unknown prog tests 0 inspect
68.3 37.5 2200   2200   770 190000 0     
eca-rers2012/Problem07_label43.yml timeout .679 prog tests 10247 inspect 900 900 9400 6000 16     .0041 unknown prog tests 0 inspect
67.9 37.1 2200   2200   770 190000 0     
eca-rers2012/Problem07_label44.yml timeout .681 prog tests 10140 inspect 900 900 9400 5300 16     .0041 unknown prog tests 0 inspect
68.1 36.9 2200   2200   770 180000 0     
eca-rers2012/Problem07_label45.yml timeout .685 prog tests 10260 inspect 900 900 9400 6200 16     .0041 unknown prog tests 0 inspect
68.5 37.3 2200   2300   770 180000 0     
eca-rers2012/Problem07_label46.yml timeout .686 prog tests 10303 inspect 900 900 9400 7700 16     0      unknown prog tests 0 inspect
68.6 37.6 2200   2300   770 180000 0     
eca-rers2012/Problem07_label47.yml timeout .685 prog tests 10321 inspect 900 900 9400 5900 15     0      unknown prog tests 0 inspect
68.5 37.5 2300   2300   770 180000 0     
eca-rers2012/Problem07_label48.yml timeout .685 prog tests 10268 inspect 900 900 9400 7600 11     0      unknown prog tests 0 inspect
68.5 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label49.yml timeout .682 prog tests 10215 inspect 900 900 9400 5300 11     0      unknown prog tests 0 inspect
68.2 37.3 2200   2200   770 200000 0     
eca-rers2012/Problem07_label50.yml timeout .681 prog tests 10184 inspect 900 900 9400 5300 11     0      unknown prog tests 0 inspect
68.1 37.4 2200   2200   770 180000 .0041
eca-rers2012/Problem07_label51.yml timeout .682 prog tests 10207 inspect 900 900 9400 5500 11     0      unknown prog tests 0 inspect
68.2 37.1 2200   2200   770 190000 0     
eca-rers2012/Problem07_label52.yml timeout .683 prog tests 10271 inspect 900 900 9400 5800 16     0      unknown prog tests 0 inspect
68.3 37.4 2200   2200   770 190000 0     
eca-rers2012/Problem07_label53.yml timeout .684 prog tests 10230 inspect 900 900 9400 5500 16     0      unknown prog tests 0 inspect
68.4 37.2 2200   2200   770 190000 0     
eca-rers2012/Problem07_label54.yml timeout .684 prog tests 10307 inspect 900 900 9400 5800 11     0      unknown prog tests 0 inspect
68.4 37.6 2200   2300   770 190000 0     
eca-rers2012/Problem07_label55.yml timeout .685 prog tests 10275 inspect 900 900 9400 6200 16     0      unknown prog tests 0 inspect
68.5 37.7 2200   2300   770 190000 0     
eca-rers2012/Problem07_label56.yml timeout .681 prog tests 10222 inspect 900 900 9400 6100 11     .0041 unknown prog tests 0 inspect
68.1 37.1 2200   2200   770 190000 0     
eca-rers2012/Problem07_label57.yml timeout .681 prog tests 10274 inspect 900 900 9400 7900 11     0      unknown prog tests 0 inspect
68.1 37.6 2300   2300   770 180000 0     
eca-rers2012/Problem07_label58.yml timeout .687 prog tests 10341 inspect 900 900 9400 5900 15     .0041 unknown prog tests 0 inspect
68.7 37.7 2300   2300   770 190000 0     
eca-rers2012/Problem07_label59.yml timeout .684 prog tests 10247 inspect 900 900 9400 6600 16     0      unknown prog tests 0 inspect
68.4 37.5 2200   2300   770 190000 0     
eca-rers2012/Problem08_label00.yml timeout .642 prog tests 18151 inspect 900 900 9600 6000 21     0      unknown prog tests 0 inspect
64.2 23.6 7500   7500   1600 680000 .0041
eca-rers2012/Problem08_label01.yml timeout .644 prog tests 18081 inspect 900 900 9600 6200 22     0      unknown prog tests 0 inspect
64.4 23.7 7400   7400   1600 800000 0     
eca-rers2012/Problem08_label02.yml timeout .643 prog tests 18148 inspect 900 900 9600 5600 22     0      unknown prog tests 0 inspect
64.3 23.8 7500   7500   1600 650000 0     
eca-rers2012/Problem08_label03.yml timeout .643 prog tests 18084 inspect 900 900 9600 5900 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7600   7600   1600 650000 0     
eca-rers2012/Problem08_label04.yml timeout .643 prog tests 18029 inspect 900 900 9600 6500 21     .0082 unknown prog tests 0 inspect
64.3 23.7 7500   7500   1600 660000 0     
eca-rers2012/Problem08_label05.yml timeout .642 prog tests 18111 inspect 900 900 9600 6200 32     0      unknown prog tests 0 inspect
64.2 23.6 7500   7500   1600 650000 0     
eca-rers2012/Problem08_label06.yml timeout .640 prog tests 18025 inspect 900 900 9600 5700 21     0      unknown prog tests 0 inspect
64.0 23.4 7600   7600   1600 680000 0     
eca-rers2012/Problem08_label07.yml timeout .642 prog tests 18042 inspect 900 900 9600 5600 22     .0082 unknown prog tests 0 inspect
64.2 23.6 7400   7400   1600 660000 0     
eca-rers2012/Problem08_label08.yml timeout .643 prog tests 18074 inspect 900 900 9600 4500 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7500   7600   1600 660000 0     
eca-rers2012/Problem08_label09.yml timeout .645 prog tests 18186 inspect 900 900 9600 6800 22     0      unknown prog tests 0 inspect
64.5 23.7 7500   7500   1600 710000 0     
eca-rers2012/Problem08_label10.yml timeout .644 prog tests 18119 inspect 900 900 9600 6300 22     .0082 unknown prog tests 0 inspect
64.4 23.6 7500   7500   1600 660000 0     
eca-rers2012/Problem08_label11.yml timeout .642 prog tests 18055 inspect 900 900 9600 6000 22     0      unknown prog tests 0 inspect
64.2 23.5 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label12.yml timeout .641 prog tests 18063 inspect 900 900 9600 5000 22     .0041 unknown prog tests 0 inspect
64.1 23.5 7600   7600   1600 680000 .0041
eca-rers2012/Problem08_label13.yml timeout .642 prog tests 18108 inspect 900 900 9600 5700 22     0      unknown prog tests 0 inspect
64.2 23.6 7400   7400   1600 640000 0     
eca-rers2012/Problem08_label14.yml timeout .643 prog tests 18094 inspect 900 900 9600 6100 22     .0082 unknown prog tests 0 inspect
64.3 23.7 7400   7500   1600 800000 0     
eca-rers2012/Problem08_label15.yml timeout .642 prog tests 18070 inspect 900 900 9600 5500 32     .0082 unknown prog tests 0 inspect
64.2 23.4 7500   7500   1600 650000 0     
eca-rers2012/Problem08_label16.yml timeout .642 prog tests 18044 inspect 900 900 9600 6000 22     .0041 unknown prog tests 0 inspect
64.2 23.6 7400   7400   1600 730000 0     
eca-rers2012/Problem08_label17.yml timeout .643 prog tests 18103 inspect 900 900 9600 5200 32     0      unknown prog tests 0 inspect
64.3 23.6 7600   7600   1600 670000 0     
eca-rers2012/Problem08_label18.yml timeout .644 prog tests 18184 inspect 900 900 9600 6500 22     0      unknown prog tests 0 inspect
64.4 23.7 7500   7500   1600 800000 0     
eca-rers2012/Problem08_label19.yml timeout .646 prog tests 18206 inspect 900 900 9600 7300 22     .0082 unknown prog tests 0 inspect
64.6 23.9 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label20.yml timeout .644 prog tests 18028 inspect 900 900 9600 6200 22     .0082 unknown prog tests 0 inspect
64.4 23.5 7400   7400   1600 670000 0     
eca-rers2012/Problem08_label21.yml timeout .643 prog tests 18146 inspect 900 900 9600 6400 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7500   7500   1600 640000 0     
eca-rers2012/Problem08_label22.yml timeout .640 prog tests 18104 inspect 900 900 9600 5700 22     0      unknown prog tests 0 inspect
64.0 23.6 7400   7400   1600 660000 0     
eca-rers2012/Problem08_label23.yml timeout .644 prog tests 18075 inspect 900 900 9600 7700 22     0      unknown prog tests 0 inspect
64.4 23.6 7600   7600   1600 640000 0     
eca-rers2012/Problem08_label24.yml timeout .643 prog tests 18079 inspect 900 900 9600 5400 32     0      unknown prog tests 0 inspect
64.3 23.5 7600   7600   1600 680000 0     
eca-rers2012/Problem08_label25.yml timeout .642 prog tests 18077 inspect 900 900 9600 7800 22     0      unknown prog tests 0 inspect
64.2 23.6 7500   7500   1600 660000 0     
eca-rers2012/Problem08_label26.yml timeout .641 prog tests 18072 inspect 900 900 9600 5800 22     0      unknown prog tests 0 inspect
64.1 23.6 7600   7600   1600 650000 0     
eca-rers2012/Problem08_label27.yml timeout .642 prog tests 18028 inspect 900 900 9600 6000 22     0      unknown prog tests 0 inspect
64.2 23.5 7600   7600   1600 650000 0     
eca-rers2012/Problem08_label28.yml timeout .643 prog tests 18112 inspect 900 900 9600 6400 32     0      unknown prog tests 0 inspect
64.3 23.6 7700   7700   1600 640000 0     
eca-rers2012/Problem08_label29.yml timeout .645 prog tests 18132 inspect 900 900 9600 6500 22     .0082 unknown prog tests 0 inspect
64.5 23.8 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label30.yml timeout .642 prog tests 17955 inspect 900 900 9600 6200 22     .0082 unknown prog tests 0 inspect
64.2 23.4 7500   7500   1600 650000 0     
eca-rers2012/Problem08_label31.yml timeout .645 prog tests 18120 inspect 900 900 9600 6600 22     .0082 unknown prog tests 0 inspect
64.5 23.8 7500   7500   1600 780000 0     
eca-rers2012/Problem08_label32.yml timeout .646 prog tests 18112 inspect 900 900 9600 6300 22     0      unknown prog tests 0 inspect
64.6 23.7 7400   7400   1600 680000 0     
eca-rers2012/Problem08_label33.yml timeout .643 prog tests 18122 inspect 900 900 9600 6200 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7600   7600   1600 670000 0     
eca-rers2012/Problem08_label34.yml timeout .643 prog tests 18070 inspect 900 900 9600 5800 22     0      unknown prog tests 0 inspect
64.3 23.6 7500   7500   1600 660000 0     
eca-rers2012/Problem08_label35.yml timeout .644 prog tests 18077 inspect 900 900 9600 5400 22     0      unknown prog tests 0 inspect
64.4 23.6 7600   7600   1600 660000 0     
eca-rers2012/Problem08_label36.yml timeout .641 prog tests 18049 inspect 900 900 9600 5600 22     0      unknown prog tests 0 inspect
64.1 23.7 7500   7500   1600 660000 0     
eca-rers2012/Problem08_label37.yml timeout .642 prog tests 18058 inspect 900 900 9600 5100 32     0      unknown prog tests 0 inspect
64.2 23.5 7500   7500   1600 800000 .0041
eca-rers2012/Problem08_label38.yml timeout .643 prog tests 18039 inspect 900 900 9600 5100 22     0      unknown prog tests 0 inspect
64.3 23.5 7600   7600   1600 700000 0     
eca-rers2012/Problem08_label39.yml timeout .644 prog tests 18060 inspect 900 900 9600 5500 32     0      unknown prog tests 0 inspect
64.4 23.5 7400   7400   1600 720000 .0082
eca-rers2012/Problem08_label40.yml timeout .643 prog tests 18012 inspect 900 900 9600 6700 32     .0082 unknown prog tests 0 inspect
64.3 23.5 7400   7400   1600 670000 0     
eca-rers2012/Problem08_label41.yml timeout .642 prog tests 18071 inspect 900 900 9600 6300 21     0      unknown prog tests 0 inspect
64.2 23.7 7600   7600   1600 680000 0     
eca-rers2012/Problem08_label42.yml timeout .642 prog tests 18069 inspect 900 900 9600 5900 22     .0082 unknown prog tests 0 inspect
64.2 23.6 7500   7500   1600 780000 0     
eca-rers2012/Problem08_label43.yml timeout .642 prog tests 18092 inspect 900 900 9600 8400 22     .0082 unknown prog tests 0 inspect
64.2 23.5 7600   7700   1600 640000 0     
eca-rers2012/Problem08_label44.yml timeout .643 prog tests 18068 inspect 900 900 9600 5500 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7600   7600   1600 710000 0     
eca-rers2012/Problem08_label45.yml timeout .645 prog tests 18178 inspect 900 900 9600 6800 25     .0082 unknown prog tests 0 inspect
64.5 23.7 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label46.yml timeout .643 prog tests 18121 inspect 900 900 9600 5000 22     .0041 unknown prog tests 0 inspect
64.3 23.7 7600   7600   1600 660000 0     
eca-rers2012/Problem08_label47.yml timeout .643 prog tests 18149 inspect 900 900 9600 6600 22     0      unknown prog tests 0 inspect
64.3 23.7 7500   7600   1600 680000 0     
eca-rers2012/Problem08_label48.yml timeout .645 prog tests 18183 inspect 900 900 9600 5100 32     .0082 unknown prog tests 0 inspect
64.5 23.6 7400   7400   1600 760000 0     
eca-rers2012/Problem08_label49.yml timeout .645 prog tests 18189 inspect 900 900 9600 6700 22     0      true prog tests 1 inspect
64.5 23.7 7500   7500   1600 660000 .0041
eca-rers2012/Problem08_label50.yml timeout .644 prog tests 18238 inspect 900 900 9600 5800 22     .0082 unknown prog tests 0 inspect
64.4 23.6 7600   7600   1600 650000 0     
eca-rers2012/Problem08_label51.yml timeout .641 prog tests 18117 inspect 900 900 9600 5700 22     0      unknown prog tests 0 inspect
64.1 23.5 7500   7500   1600 800000 0     
eca-rers2012/Problem08_label52.yml timeout .645 prog tests 18066 inspect 900 900 9600 5500 22     .0082 unknown prog tests 0 inspect
64.5 23.6 7400   7400   1600 660000 0     
eca-rers2012/Problem08_label53.yml timeout .643 prog tests 18116 inspect 900 900 9600 5800 21     .0082 unknown prog tests 0 inspect
64.3 23.7 7600   7600   1600 660000 0     
eca-rers2012/Problem08_label54.yml timeout .644 prog tests 18158 inspect 900 900 9600 5900 22     0      unknown prog tests 0 inspect
64.4 23.7 7500   7500   1600 710000 0     
eca-rers2012/Problem08_label55.yml timeout .642 prog tests 18066 inspect 900 900 9600 5600 22     0      unknown prog tests 0 inspect
64.2 23.7 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label56.yml timeout .648 prog tests 18196 inspect 900 900 9600 8800 32     .0082 unknown prog tests 0 inspect
64.8 23.7 7500   7500   1600 670000 0     
eca-rers2012/Problem08_label57.yml timeout .642 prog tests 18169 inspect 900 900 9600 6000 21     .0082 unknown prog tests 0 inspect
64.2 23.6 7500   7500   1600 780000 0     
eca-rers2012/Problem08_label58.yml timeout .643 prog tests 18079 inspect 900 900 9600 6600 22     .0082 unknown prog tests 0 inspect
64.3 23.6 7600   7600   1600 670000 0     
eca-rers2012/Problem08_label59.yml timeout .645 prog tests 18126 inspect 900 900 9600 5800 22     .0082 unknown prog tests 0 inspect
64.5 23.6 7500   7500   1600 660000 0     
eca-rers2012/Problem09_label00.yml timeout .468 prog tests 19663 inspect 900 900 9300 6200 24     0      unknown prog tests 0 inspect
46.8 19.7 8800   8800   1800 860000 0     
eca-rers2012/Problem09_label01.yml timeout .472 prog tests 19967 inspect 900 900 9600 5900 35     .0082 unknown prog tests 0 inspect
47.2 19.9 9100   9100   1800 830000 0     
eca-rers2012/Problem09_label02.yml timeout .470 prog tests 19842 inspect 900 900 9600 6100 24     0      unknown prog tests 0 inspect
47.0 19.9 9000   9000   1800 890000 0     
eca-rers2012/Problem09_label03.yml timeout .470 prog tests 19771 inspect 900 900 9600 6200 25     0      unknown prog tests 0 inspect
47.0 20.0 9000   9000   1800 810000 0     
eca-rers2012/Problem09_label04.yml timeout .468 prog tests 19537 inspect 900 900 9500 6200 24     0      unknown prog tests 0 inspect
46.8 19.7 8800   8800   1800 840000 0     
eca-rers2012/Problem09_label05.yml timeout .47  prog tests 19653 inspect 900 900 9400 5600 25     0      unknown prog tests 0 inspect
47.0 20.0 9000   9000   1800 870000 0     
eca-rers2012/Problem09_label06.yml timeout .469 prog tests 19538 inspect 900 900 9600 5200 24     .0082 unknown prog tests 0 inspect
46.9 19.8 8800   8800   1800 870000 0     
eca-rers2012/Problem09_label07.yml timeout .467 prog tests 19583 inspect 900 900 9200 6000 24     .0082 unknown prog tests 0 inspect
46.7 19.6 8800   8800   1800 840000 0     
eca-rers2012/Problem09_label08.yml timeout .468 prog tests 19653 inspect 900 900 9600 6800 24     .0082 unknown prog tests 0 inspect
46.8 19.8 8900   8900   1800 780000 0     
eca-rers2012/Problem09_label09.yml timeout .470 prog tests 19754 inspect 900 900 9400 6600 24     0      unknown prog tests 0 inspect
47.0 19.6 8900   8900   1800 810000 0     
eca-rers2012/Problem09_label10.yml timeout .470 prog tests 19753 inspect 900 900 9700 8700 24     .0041 unknown prog tests 0 inspect
47.0 20.0 9100   9100   1800 810000 0     
eca-rers2012/Problem09_label11.yml timeout .468 prog tests 19659 inspect 900 900 9500 5600 24     0      unknown prog tests 0 inspect
46.8 19.9 9000   9000   1800 810000 0     
eca-rers2012/Problem09_label12.yml timeout .469 prog tests 19812 inspect 900 900 9700 8200 24     0      unknown prog tests 0 inspect
46.9 20.0 9000   9000   1800 900000 0     
eca-rers2012/Problem09_label13.yml timeout .472 prog tests 19928 inspect 900 900 9900 9100 24     .0082 unknown prog tests 0 inspect
47.2 20.1 9000   9000   1800 860000 0     
eca-rers2012/Problem09_label14.yml timeout .471 prog tests 19740 inspect 900 900 9600 7400 24     .0082 unknown prog tests 0 inspect
47.1 20.0 8900   8900   1800 820000 0     
eca-rers2012/Problem09_label15.yml timeout .468 prog tests 19670 inspect 900 900 9600 8300 34     0      unknown prog tests 0 inspect
46.8 19.7 8900   8900   1800 800000 0     
eca-rers2012/Problem09_label16.yml timeout .469 prog tests 19626 inspect 900 900 9400 4400 24     .0082 unknown prog tests 0 inspect
46.9 19.7 8900   8900   1800 800000 0     
eca-rers2012/Problem09_label17.yml timeout .471 prog tests 19800 inspect 900 900 9400 5800 24     0      unknown prog tests 0 inspect
47.1 19.8 8900   8900   1800 810000 0     
eca-rers2012/Problem09_label18.yml timeout .469 prog tests 19746 inspect 900 900 9700 5700 24     .0082 unknown prog tests 0 inspect
46.9 19.9 9100   9100   1800 780000 0     
eca-rers2012/Problem09_label19.yml timeout .469 prog tests 19669 inspect 900 900 9600 6700 24     .0082 unknown prog tests 0 inspect
46.9 19.7 8900   8900   1800 810000 0     
eca-rers2012/Problem09_label20.yml timeout .468 prog tests 19595 inspect 900 900 9800 6500 35     .0041 unknown prog tests 0 inspect
46.8 19.8 8900   8900   1800 800000 0     
eca-rers2012/Problem09_label21.yml timeout .470 prog tests 19786 inspect 900 900 9400 6000 24     0      unknown prog tests 0 inspect
47.0 19.9 9000   9000   1800 810000 0     
eca-rers2012/Problem09_label22.yml timeout .470 prog tests 19679 inspect 900 900 9600 6000 24     0      unknown prog tests 0 inspect
47.0 19.8 9000   9000   1800 780000 0     
eca-rers2012/Problem09_label23.yml timeout .469 prog tests 19606 inspect 900 900 9500 6100 24     0      unknown prog tests 0 inspect
46.9 19.7 8900   8900   1800 820000 0     
eca-rers2012/Problem09_label24.yml timeout .471 prog tests 19810 inspect 900 900 9800 8100 24     .0082 unknown prog tests 0 inspect
47.1 20.0 9100   9100   1800 790000 0     
eca-rers2012/Problem09_label25.yml timeout .470 prog tests 19616 inspect 900 900 9500 5800 24     0      unknown prog tests 0 inspect
47.0 19.8 8900   8900   1800 810000 0     
eca-rers2012/Problem09_label26.yml timeout .471 prog tests 19879 inspect 900 900 10000 8100 30     .0082 unknown prog tests 0 inspect
47.1 20.1 9100   9100   1800 810000 0     
eca-rers2012/Problem09_label27.yml timeout .469 prog tests 19646 inspect 900 900 9500 6300 35     0      unknown prog tests 0 inspect
46.9 19.9 8900   8900   1800 790000 0     
eca-rers2012/Problem09_label28.yml timeout .470 prog tests 19729 inspect 900 900 9700 6300 24     .0082 unknown prog tests 0 inspect
47.0 19.9 8900   9000   1800 800000 0     
eca-rers2012/Problem09_label29.yml timeout .470 prog tests 19652 inspect 900 900 9600 6000 24     0      unknown prog tests 0 inspect
47.0 19.9 8900   8900   1800 820000 0     
eca-rers2012/Problem09_label30.yml timeout .469 prog tests 19595 inspect 900 900 9400 5700 24     0      unknown prog tests 0 inspect
46.9 19.8 8800   8800   1800 870000 0     
eca-rers2012/Problem09_label31.yml timeout .491 prog tests 20779 inspect 730 930 8300 6000 35     0      unknown prog tests 0 inspect
49.1 22.5 9300   9300   1800 960000 0     
eca-rers2012/Problem09_label32.yml timeout .471 prog tests 19744 inspect 900 900 9400 6900 24     0      unknown prog tests 0 inspect
47.1 19.9 8900   8900   1800 810000 0     
eca-rers2012/Problem09_label33.yml timeout .469 prog tests 19675 inspect 900 900 9200 6000 24     0      unknown prog tests 0 inspect
46.9 19.8 9000   9000   1800 780000 0     
eca-rers2012/Problem09_label34.yml timeout .468 prog tests 19578 inspect 900 900 9600 8100 24     0      unknown prog tests 0 inspect
46.8 19.9 9000   9000   1800 780000 .0041
eca-rers2012/Problem09_label35.yml timeout .469 prog tests 19724 inspect 900 900 9600 5800 24     0      unknown prog tests 0 inspect
46.9 19.8 8900   9000   1800 780000 0     
eca-rers2012/Problem09_label36.yml timeout .493 prog tests 21028 inspect 170 930 3100 9600 24     0      unknown prog tests 0 inspect
49.3 22.7 9400   9400   1800 900000 0     
eca-rers2012/Problem09_label37.yml timeout .471 prog tests 19832 inspect 900 900 9600 6000 35     .0082 unknown prog tests 0 inspect
47.1 19.9 9000   9000   1800 830000 .0041
eca-rers2012/Problem09_label38.yml timeout .467 prog tests 19719 inspect 900 900 9500 5200 24     .0082 unknown prog tests 0 inspect
46.7 19.7 9000   9000   1800 840000 0     
eca-rers2012/Problem09_label39.yml timeout .469 prog tests 19705 inspect 900 900 9800 8100 24     .0082 unknown prog tests 0 inspect
46.9 19.9 8900   8900   1800 880000 0     
eca-rers2012/Problem09_label40.yml timeout .470 prog tests 19687 inspect 900 900 9900 6400 35     .0041 unknown prog tests 0 inspect
47.0 20.0 9000   9000   1800 800000 0     
eca-rers2012/Problem09_label41.yml timeout .490 prog tests 20734 inspect 660 930 7300 6100 24     .0082 unknown prog tests 0 inspect
49.0 22.4 9500   9500   1800 890000 0     
eca-rers2012/Problem09_label42.yml timeout .470 prog tests 19654 inspect 900 900 9300 6100 24     .0041 unknown prog tests 0 inspect
47.0 19.8 9000   9100   1800 790000 0     
eca-rers2012/Problem09_label43.yml timeout .470 prog tests 19711 inspect 900 900 9600 6400 24     0      unknown prog tests 0 inspect
47.0 19.9 9000   9000   1800 820000 0     
eca-rers2012/Problem09_label44.yml timeout .471 prog tests 19823 inspect 900 900 9800 8700 24     0      unknown prog tests 0 inspect
47.1 20.1 9100   9100   1800 810000 0     
eca-rers2012/Problem09_label45.yml timeout .471 prog tests 19680 inspect 900 900 9900 8200 24     .0041 unknown prog tests 0 inspect
47.1 20.0 9000   9000   1800 840000 0     
eca-rers2012/Problem09_label46.yml timeout .471 prog tests 19759 inspect 900 900 9700 6600 24     .0041 unknown prog tests 0 inspect
47.1 20.1 8900   8900   1800 870000 0     
eca-rers2012/Problem09_label47.yml timeout .468 prog tests 19649 inspect 900 900 9900 6900 24     .0082 unknown prog tests 0 inspect
46.8 19.9 8900   8900   1800 800000 .0041
eca-rers2012/Problem09_label48.yml timeout .473 prog tests 19870 inspect 900 900 9500 7500 24     0      unknown prog tests 0 inspect
47.3 19.9 8900   8900   1800 800000 0     
eca-rers2012/Problem09_label49.yml timeout .469 prog tests 19604 inspect 900 900 9500 6600 24     0      unknown prog tests 0 inspect
46.9 19.8 8900   8900   1800 830000 0     
eca-rers2012/Problem09_label50.yml timeout .469 prog tests 19650 inspect 900 900 9500 6200 24     .0082 unknown prog tests 0 inspect
46.9 19.7 9000   9000   1800 810000 0     
eca-rers2012/Problem09_label51.yml timeout .472 prog tests 19905 inspect 900 900 9700 5900 24     .0041 unknown prog tests 0 inspect
47.2 20.0 8900   8900   1800 910000 0     
eca-rers2012/Problem09_label52.yml timeout .467 prog tests 19528 inspect 900 900 9500 7000 35     .0082 unknown prog tests 0 inspect
46.7 19.7 8900   8900   1800 800000 0     
eca-rers2012/Problem09_label53.yml timeout .468 prog tests 19658 inspect 900 900 9500 6000 24     .0082 unknown prog tests 0 inspect
46.8 19.7 9000   9000   1800 810000 0     
eca-rers2012/Problem09_label54.yml timeout .469 prog tests 19766 inspect 900 900 9600 6200 24     .0082 unknown prog tests 0 inspect
46.9 19.8 8900   8900   1800 850000 0     
eca-rers2012/Problem09_label55.yml timeout .470 prog tests 19719 inspect 900 900 9800 6600 35     0      unknown prog tests 0 inspect
47.0 20.0 9000   9000   1800 800000 0     
eca-rers2012/Problem09_label56.yml timeout .469 prog tests 19616 inspect 900 900 9500 5300 24     0      unknown prog tests 0 inspect
46.9 19.8 9000   9000   1800 800000 0     
eca-rers2012/Problem09_label57.yml timeout .470 prog tests 19627 inspect 900 900 9900 6300 24     0      unknown prog tests 0 inspect
47.0 19.9 8900   8900   1800 830000 0     
eca-rers2012/Problem09_label58.yml timeout .470 prog tests 19700 inspect 900 900 9600 5500 35     .0041 unknown prog tests 0 inspect
47.0 19.8 9100   9100   1800 820000 0     
eca-rers2012/Problem09_label59.yml timeout .469 prog tests 19655 inspect 900 900 9500 6000 24     0      unknown prog tests 0 inspect
46.9 19.8 8900   8900   1800 850000 0     
eca-rers2012/Problem10_label00.yml timeout .771 prog tests 226 inspect 900 900 5600 8700 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label01.yml timeout .771 prog tests 226 inspect 900 900 5700 9500 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label02.yml timeout .771 prog tests 226 inspect 900 900 5500 8200 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label03.yml timeout .771 prog tests 226 inspect 900 900 5600 9900 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label04.yml timeout .771 prog tests 226 inspect 900 900 5700 11000 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label05.yml timeout .771 prog tests 226 inspect 900 900 5800 9700 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.3 1.4 30 23 0     
eca-rers2012/Problem10_label06.yml timeout .771 prog tests 226 inspect 900 900 5800 8700 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label07.yml timeout .771 prog tests 226 inspect 900 900 5700 12000 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label08.yml timeout .771 prog tests 226 inspect 900 900 5700 9700 .086 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.2 30 23 0     
eca-rers2012/Problem10_label09.yml timeout .771 prog tests 226 inspect 900 900 5600 10000 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label10.yml timeout .771 prog tests 226 inspect 900 900 5700 9800 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label11.yml timeout .771 prog tests 226 inspect 900 900 5700 7900 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label12.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5600 8900 .098 0      true prog tests 1 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label13.yml timeout .771 prog tests 226 inspect 900 900 5600 8400 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label14.yml timeout .771 prog tests 226 inspect 900 900 5800 9200 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label15.yml timeout (false(unreach-call)) .771 prog tests 229 inspect 900 900 5800 12000 .090 0      true prog tests 1 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label16.yml timeout .771 prog tests 226 inspect 900 900 5800 8500 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label17.yml timeout .771 prog tests 226 inspect 900 900 5600 8200 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label18.yml timeout .771 prog tests 226 inspect 900 900 5600 7700 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label19.yml timeout .771 prog tests 226 inspect 900 900 5700 11000 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.7 30 23 0     
eca-rers2012/Problem10_label20.yml timeout .771 prog tests 226 inspect 900 900 5600 11000 .086 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 22 0     
eca-rers2012/Problem10_label21.yml timeout .771 prog tests 226 inspect 900 900 5700 9400 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.8 30 23 0     
eca-rers2012/Problem10_label22.yml timeout .771 prog tests 226 inspect 900 900 5700 11000 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label23.yml timeout .771 prog tests 226 inspect 900 900 5700 10000 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label24.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5700 8800 .098 0      true prog tests 1 inspect
77.1 89.3 1.4 1.7 30 23 0     
eca-rers2012/Problem10_label25.yml timeout .771 prog tests 226 inspect 900 900 5700 11000 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 22 0     
eca-rers2012/Problem10_label26.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5600 6700 .098 0      true prog tests 1 inspect
77.1 89.3 1.4 1.8 30 23 0     
eca-rers2012/Problem10_label27.yml timeout .771 prog tests 226 inspect 900 900 5700 8300 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label28.yml timeout (false(unreach-call)) .771 prog tests 226 inspect 900 900 5400 8000 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label29.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5600 7900 .098 0      true prog tests 1 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label30.yml timeout .771 prog tests 226 inspect 900 900 5800 9400 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.6 30 23 0     
eca-rers2012/Problem10_label31.yml timeout .771 prog tests 226 inspect 900 900 5800 11000 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label32.yml timeout .771 prog tests 226 inspect 900 900 5700 9200 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label33.yml timeout .771 prog tests 226 inspect 900 900 5800 11000 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.7 30 23 0     
eca-rers2012/Problem10_label34.yml timeout .771 prog tests 226 inspect 900 900 5500 7700 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label35.yml timeout .771 prog tests 226 inspect 900 900 5900 8600 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 22 0     
eca-rers2012/Problem10_label36.yml timeout .771 prog tests 226 inspect 900 900 5500 7700 .10  0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 22 0     
eca-rers2012/Problem10_label37.yml timeout .771 prog tests 226 inspect 900 900 5600 8700 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label38.yml timeout .771 prog tests 226 inspect 900 900 5800 9900 .10  0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label39.yml timeout .771 prog tests 226 inspect 900 900 5700 9500 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label40.yml timeout .771 prog tests 226 inspect 900 900 5800 9100 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label41.yml timeout (false(unreach-call)) .771 prog tests 228 inspect 900 900 5600 7900 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label42.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5700 9000 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label43.yml timeout .771 prog tests 226 inspect 930 930 4900 9000 .066 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.3 30 23 0     
eca-rers2012/Problem10_label44.yml timeout .771 prog tests 226 inspect 900 900 5700 10000 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.8 30 23 0     
eca-rers2012/Problem10_label45.yml timeout .771 prog tests 226 inspect 900 900 5400 7600 .086 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label46.yml timeout (false(unreach-call)) .771 prog tests 224 inspect 900 900 5700 8100 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.7 30 22 0     
eca-rers2012/Problem10_label47.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5800 12000 .090 0      true prog tests 1 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label48.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5500 9300 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label49.yml timeout .771 prog tests 226 inspect 900 900 5800 8600 .090 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem10_label50.yml timeout (false(unreach-call)) .771 prog tests 224 inspect 900 900 5600 11000 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.7 30 22 0     
eca-rers2012/Problem10_label51.yml timeout .771 prog tests 226 inspect 900 900 5700 9200 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.4 30 23 0     
eca-rers2012/Problem10_label52.yml timeout .771 prog tests 226 inspect 930 930 4900 7600 .066 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.7 30 23 0     
eca-rers2012/Problem10_label53.yml timeout .771 prog tests 226 inspect 900 900 5800 8800 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label54.yml timeout .771 prog tests 226 inspect 900 900 5700 7800 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.5 30 23 0     
eca-rers2012/Problem10_label55.yml timeout (false(unreach-call)) .771 prog tests 228 inspect 900 900 5800 9600 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.3 30 23 0     
eca-rers2012/Problem10_label56.yml timeout .771 prog tests 226 inspect 900 900 5900 10000 .098 0      unknown prog tests 0 inspect
77.1 89.3 1.5 1.4 30 23 0     
eca-rers2012/Problem10_label57.yml timeout (false(unreach-call)) .771 prog tests 224 inspect 900 900 5700 11000 .094 0      true prog tests 1 inspect
77.1 89.3 1.4 1.6 30 22 0     
eca-rers2012/Problem10_label58.yml timeout (false(unreach-call)) .771 prog tests 227 inspect 900 900 5800 8100 .094 0      true prog tests 1 inspect
77.1 89.3 1.6 1.6 30 23 0     
eca-rers2012/Problem10_label59.yml timeout .771 prog tests 226 inspect 900 900 5500 9400 .094 0      unknown prog tests 0 inspect
77.1 89.3 1.4 1.6 30 23 0     
eca-rers2012/Problem11_label00.yml timeout (false(unreach-call)) .638 prog tests 257 inspect 900 900 5200 11000 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.3 44 43 0     
eca-rers2012/Problem11_label01.yml timeout .638 prog tests 254 inspect 920 920 5100 11000 .11  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.8 44 42 0     
eca-rers2012/Problem11_label02.yml timeout .638 prog tests 254 inspect 900 900 5200 10000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label03.yml timeout .638 prog tests 254 inspect 900 900 5400 9300 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.2 44 42 0     
eca-rers2012/Problem11_label04.yml timeout .638 prog tests 254 inspect 900 900 5200 8500 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.3 44 42 0     
eca-rers2012/Problem11_label05.yml timeout .638 prog tests 254 inspect 900 900 5400 11000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.2 44 42 0     
eca-rers2012/Problem11_label06.yml timeout .638 prog tests 254 inspect 900 900 5300 11000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.8 44 42 0     
eca-rers2012/Problem11_label07.yml timeout .638 prog tests 254 inspect 900 900 5300 9200 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.1 44 42 0     
eca-rers2012/Problem11_label08.yml timeout (false(unreach-call)) .638 prog tests 252 inspect 900 900 5200 12000 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.4 44 42 0     
eca-rers2012/Problem11_label09.yml timeout .638 prog tests 254 inspect 900 900 5200 8900 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label10.yml timeout .638 prog tests 254 inspect 900 900 5200 9300 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.8 44 42 0     
eca-rers2012/Problem11_label11.yml timeout .638 prog tests 254 inspect 900 900 5300 10000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label12.yml timeout .638 prog tests 254 inspect 900 900 5200 8800 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.1 44 42 0     
eca-rers2012/Problem11_label13.yml timeout .638 prog tests 254 inspect 900 900 5300 11000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label14.yml timeout (false(unreach-call)) .638 prog tests 255 inspect 900 900 5300 8400 .14  0      true prog tests 1 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label15.yml timeout (false(unreach-call)) .638 prog tests 251 inspect 900 900 5100 9500 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label16.yml timeout .638 prog tests 254 inspect 900 900 5200 7700 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.3 44 42 0     
eca-rers2012/Problem11_label17.yml timeout .638 prog tests 254 inspect 900 900 5400 10000 .13  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label18.yml timeout .638 prog tests 254 inspect 900 900 5200 9200 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.8 44 42 0     
eca-rers2012/Problem11_label19.yml timeout .638 prog tests 254 inspect 900 900 5000 8000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 2.1 44 42 0     
eca-rers2012/Problem11_label20.yml timeout (false(unreach-call)) .638 prog tests 255 inspect 900 900 5100 9500 .14  0      true prog tests 1 inspect
63.8 62.0 1.9 2.3 44 42 0     
eca-rers2012/Problem11_label21.yml timeout .638 prog tests 254 inspect 900 900 5100 7800 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label22.yml timeout .638 prog tests 254 inspect 920 920 4400 9200 .11  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.1 44 42 0     
eca-rers2012/Problem11_label23.yml timeout .638 prog tests 254 inspect 900 900 5200 8800 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.4 44 42 0     
eca-rers2012/Problem11_label24.yml timeout .638 prog tests 254 inspect 900 900 5200 8400 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.2 44 42 0     
eca-rers2012/Problem11_label25.yml timeout .638 prog tests 254 inspect 900 900 5300 8600 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.9 44 42 0     
eca-rers2012/Problem11_label26.yml timeout .638 prog tests 254 inspect 900 900 5400 12000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label27.yml timeout .638 prog tests 254 inspect 900 900 5300 8400 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.4 44 42 0     
eca-rers2012/Problem11_label28.yml timeout .638 prog tests 254 inspect 900 900 5300 8700 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.9 44 42 0     
eca-rers2012/Problem11_label29.yml timeout (false(unreach-call)) .638 prog tests 255 inspect 900 900 5100 8500 .13  0      true prog tests 1 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label30.yml timeout .638 prog tests 254 inspect 900 900 5200 8100 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label31.yml timeout (false(unreach-call)) .638 prog tests 250 inspect 900 900 5100 8300 .14  0      true prog tests 1 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label32.yml timeout .638 prog tests 254 inspect 900 900 5300 10000 .13  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.3 44 42 0     
eca-rers2012/Problem11_label33.yml timeout .638 prog tests 254 inspect 900 900 5200 9000 .13  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label34.yml timeout (false(unreach-call)) .638 prog tests 253 inspect 900 900 5300 9100 .14  0      true prog tests 1 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label35.yml timeout .638 prog tests 254 inspect 900 900 5200 9500 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label36.yml timeout (false(unreach-call)) .638 prog tests 257 inspect 900 900 5200 9000 .14  0      true prog tests 1 inspect
63.8 62.0 1.9 1.8 44 43 0     
eca-rers2012/Problem11_label37.yml timeout .638 prog tests 254 inspect 900 900 5300 9400 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 2.1 44 42 0     
eca-rers2012/Problem11_label38.yml timeout .638 prog tests 254 inspect 900 900 5300 10000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label39.yml timeout (false(unreach-call)) .638 prog tests 255 inspect 900 900 5200 9400 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.4 44 42 0     
eca-rers2012/Problem11_label40.yml timeout .638 prog tests 254 inspect 900 900 5200 9600 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label41.yml timeout .638 prog tests 254 inspect 900 900 5300 9100 .13  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label42.yml timeout (false(unreach-call)) .638 prog tests 257 inspect 900 900 5300 8800 .13  0      true prog tests 1 inspect
63.8 62.0 2.0 1.8 44 43 0     
eca-rers2012/Problem11_label43.yml timeout (false(unreach-call)) .638 prog tests 256 inspect 900 900 5300 8700 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.0 44 43 0     
eca-rers2012/Problem11_label44.yml timeout .638 prog tests 254 inspect 900 900 5300 10000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 2.1 44 42 0     
eca-rers2012/Problem11_label45.yml timeout .638 prog tests 254 inspect 900 900 5300 9000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label46.yml timeout .638 prog tests 254 inspect 900 900 5300 8700 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.8 44 42 0     
eca-rers2012/Problem11_label47.yml timeout .638 prog tests 254 inspect 900 900 5100 8800 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.9 44 42 0     
eca-rers2012/Problem11_label48.yml timeout .638 prog tests 254 inspect 900 900 5300 11000 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.8 1.7 44 42 0     
eca-rers2012/Problem11_label49.yml timeout (false(unreach-call)) .638 prog tests 253 inspect 900 900 5200 8900 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.2 44 42 0     
eca-rers2012/Problem11_label50.yml timeout .638 prog tests 254 inspect 900 900 4900 8700 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.1 44 42 0     
eca-rers2012/Problem11_label51.yml timeout (false(unreach-call)) .638 prog tests 254 inspect 900 900 5300 9700 .13  0      true prog tests 1 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label52.yml timeout .638 prog tests 254 inspect 900 900 5300 11000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label53.yml timeout .638 prog tests 254 inspect 900 900 5300 9900 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.8 1.7 44 42 0     
eca-rers2012/Problem11_label54.yml timeout .638 prog tests 254 inspect 900 900 5300 12000 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label55.yml timeout .638 prog tests 254 inspect 900 900 5400 8700 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.0 44 42 0     
eca-rers2012/Problem11_label56.yml timeout .638 prog tests 254 inspect 900 900 5200 8900 .14  0      unknown prog tests 0 inspect
63.8 62.0 2.0 1.9 44 42 0     
eca-rers2012/Problem11_label57.yml timeout .638 prog tests 254 inspect 900 900 5400 8200 .15  0      unknown prog tests 0 inspect
63.8 62.0 1.9 2.3 44 42 0     
eca-rers2012/Problem11_label58.yml timeout (false(unreach-call)) .638 prog tests 257 inspect 900 900 5200 8800 .14  0      true prog tests 1 inspect
63.8 62.0 2.0 2.3 44 43 0     
eca-rers2012/Problem11_label59.yml timeout .638 prog tests 254 inspect 900 900 5300 9300 .14  0      unknown prog tests 0 inspect
63.8 62.0 1.9 1.9 44 42 0     
eca-rers2012/Problem12_label00.yml timeout (false(unreach-call)) .902 prog tests 1737 inspect 900 900 2900 10000 .54  0      true prog tests 1 inspect
90.2 99.1 27   28   100 1100 0     
eca-rers2012/Problem12_label01.yml timeout .902 prog tests 1735 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label02.yml timeout .902 prog tests 1736 inspect 900 900 2900 8000 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   33   100 1100 0     
eca-rers2012/Problem12_label03.yml timeout (false(unreach-call)) .902 prog tests 1740 inspect 900 900 2900 11000 .54  0      true prog tests 1 inspect
90.2 99.1 27   28   100 1100 0     
eca-rers2012/Problem12_label04.yml timeout .902 prog tests 1739 inspect 900 900 2900 8100 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label05.yml timeout .902 prog tests 1738 inspect 900 900 2900 11000 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label06.yml timeout (false(unreach-call)) .902 prog tests 1738 inspect 900 900 2900 9900 .54  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label07.yml timeout (false(unreach-call)) .902 prog tests 1743 inspect 900 900 2900 9300 .53  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label08.yml timeout (false(unreach-call)) .902 prog tests 1742 inspect 900 900 2900 9500 .52  0      true prog tests 1 inspect
90.2 99.1 27   31   100 1100 0     
eca-rers2012/Problem12_label09.yml timeout .902 prog tests 1734 inspect 900 900 2900 9100 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   33   100 1100 0     
eca-rers2012/Problem12_label10.yml timeout (false(unreach-call)) .902 prog tests 1738 inspect 900 900 2900 8100 .51  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label11.yml timeout .902 prog tests 1734 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label12.yml timeout .902 prog tests 1735 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   30   100 1100 0     
eca-rers2012/Problem12_label13.yml timeout (false(unreach-call)) .902 prog tests 1739 inspect 900 900 2900 9300 .54  0      true prog tests 1 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label14.yml timeout .902 prog tests 1738 inspect 900 900 2900 8900 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label15.yml timeout .902 prog tests 1736 inspect 900 900 2900 8700 .54  0      unknown prog tests 0 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label16.yml timeout .902 prog tests 1738 inspect 900 900 3000 9500 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   30   100 1100 0     
eca-rers2012/Problem12_label17.yml timeout .902 prog tests 1738 inspect 900 900 2900 9700 .51  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label18.yml timeout .902 prog tests 1739 inspect 900 900 2900 9300 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label19.yml timeout (false(unreach-call)) .902 prog tests 1743 inspect 900 900 2900 11000 .54  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label20.yml timeout (false(unreach-call)) .902 prog tests 1739 inspect 900 900 2900 8600 .52  0      true prog tests 1 inspect
90.2 99.1 27   36   100 1100 0     
eca-rers2012/Problem12_label21.yml timeout (false(unreach-call)) .902 prog tests 1736 inspect 900 900 2900 11000 .52  0      true prog tests 1 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label22.yml timeout .902 prog tests 1734 inspect 900 900 2900 9100 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label23.yml timeout .902 prog tests 1738 inspect 900 900 2800 9900 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   38   100 1100 0     
eca-rers2012/Problem12_label24.yml timeout .902 prog tests 1735 inspect 900 900 2800 9300 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   32   100 1100 0     
eca-rers2012/Problem12_label25.yml timeout (false(unreach-call)) .902 prog tests 1737 inspect 900 900 2800 9400 .54  0      true prog tests 1 inspect
90.2 99.1 27   34   100 1100 0     
eca-rers2012/Problem12_label26.yml timeout .902 prog tests 1738 inspect 900 900 2900 11000 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   34   100 1100 0     
eca-rers2012/Problem12_label27.yml timeout .902 prog tests 1734 inspect 900 900 2800 9900 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   32   100 1100 0     
eca-rers2012/Problem12_label28.yml timeout (false(unreach-call)) .902 prog tests 1752 inspect 900 900 2900 9800 .53  0      true prog tests 1 inspect
90.2 99.1 27   29   100 1100 0     
eca-rers2012/Problem12_label29.yml timeout .902 prog tests 1735 inspect 900 900 2900 8900 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label30.yml timeout (false(unreach-call)) .902 prog tests 1726 inspect 900 900 2900 9900 .51  0      true prog tests 1 inspect
90.2 99.1 27   31   100 1100 0     
eca-rers2012/Problem12_label31.yml timeout .902 prog tests 1736 inspect 900 900 2800 9400 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   32   100 1100 0     
eca-rers2012/Problem12_label32.yml timeout .902 prog tests 1738 inspect 910 910 2700 10000 .43  0      unknown prog tests 0 inspect
90.2 99.1 27   33   100 1100 0     
eca-rers2012/Problem12_label33.yml timeout .902 prog tests 1734 inspect 900 900 2900 9900 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   36   100 1100 0     
eca-rers2012/Problem12_label34.yml timeout (false(unreach-call)) .902 prog tests 1735 inspect 900 900 2900 9700 .52  0      true prog tests 1 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label35.yml timeout (false(unreach-call)) .902 prog tests 1737 inspect 900 900 2900 11000 .55  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label36.yml timeout .902 prog tests 1738 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 29   28   100 1100 0     
eca-rers2012/Problem12_label37.yml timeout (false(unreach-call)) .902 prog tests 1734 inspect 900 900 2900 12000 .52  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label38.yml timeout (false(unreach-call)) .902 prog tests 1732 inspect 900 900 2900 9100 .51  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label39.yml timeout (false(unreach-call)) .902 prog tests 1740 inspect 900 900 2800 9200 .52  0      true prog tests 1 inspect
90.2 99.1 28   27   100 1100 0     
eca-rers2012/Problem12_label40.yml timeout (false(unreach-call)) .902 prog tests 1740 inspect 900 900 2800 11000 .52  0      true prog tests 1 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label41.yml timeout .902 prog tests 1736 inspect 900 900 2900 9500 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label42.yml timeout (false(unreach-call)) .902 prog tests 1747 inspect 900 900 2900 8000 .52  0      true prog tests 1 inspect
90.2 99.1 28   27   100 1100 0     
eca-rers2012/Problem12_label43.yml timeout .902 prog tests 1734 inspect 900 900 2900 9500 .52  0      unknown prog tests 0 inspect
90.2 99.1 28   33   100 1100 0     
eca-rers2012/Problem12_label44.yml timeout .902 prog tests 1738 inspect 900 900 2900 9400 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   28   100 1100 0     
eca-rers2012/Problem12_label45.yml timeout .902 prog tests 1735 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label46.yml timeout .902 prog tests 1735 inspect 900 900 2900 11000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   29   100 1100 0     
eca-rers2012/Problem12_label47.yml timeout .902 prog tests 1738 inspect 900 900 2900 11000 .51  0      unknown prog tests 0 inspect
90.2 99.1 27   35   100 1100 0     
eca-rers2012/Problem12_label48.yml timeout (false(unreach-call)) .902 prog tests 1736 inspect 900 900 2900 9300 .52  0      true prog tests 1 inspect
90.2 99.1 27   36   100 1100 0     
eca-rers2012/Problem12_label49.yml timeout .902 prog tests 1736 inspect 900 900 2900 10000 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   26   100 1100 0     
eca-rers2012/Problem12_label50.yml timeout (false(unreach-call)) .902 prog tests 1735 inspect 900 900 2900 9700 .51  0      true prog tests 1 inspect
90.2 99.1 27   29   100 1100 0     
eca-rers2012/Problem12_label51.yml timeout (false(unreach-call)) .902 prog tests 1742 inspect 900 900 2900 10000 .53  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label52.yml timeout (false(unreach-call)) .902 prog tests 1739 inspect 900 900 2900 11000 .52  0      true prog tests 1 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label53.yml timeout .902 prog tests 1739 inspect 900 900 3000 10000 .54  0      unknown prog tests 0 inspect
90.2 99.1 27   28   100 1100 0     
eca-rers2012/Problem12_label54.yml timeout .902 prog tests 1738 inspect 900 900 2900 12000 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label55.yml timeout (false(unreach-call)) .902 prog tests 1736 inspect 900 900 2900 9100 .52  0      true prog tests 1 inspect
90.2 99.1 27   36   100 1100 0     
eca-rers2012/Problem12_label56.yml timeout .902 prog tests 1735 inspect 900 900 2900 8900 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   32   100 1100 0     
eca-rers2012/Problem12_label57.yml timeout .902 prog tests 1734 inspect 900 900 2900 8800 .51  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem12_label58.yml timeout .902 prog tests 1738 inspect 900 900 2900 10000 .52  0      unknown prog tests 0 inspect
90.2 99.1 27   29   100 1100 0     
eca-rers2012/Problem12_label59.yml timeout .902 prog tests 1736 inspect 900 900 2900 9100 .53  0      unknown prog tests 0 inspect
90.2 99.1 27   27   100 1100 0     
eca-rers2012/Problem13_label00.yml timeout .738 prog tests 1416 inspect 900 900 6600 6200 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   28   120 1100 0     
eca-rers2012/Problem13_label01.yml timeout .738 prog tests 1417 inspect 900 900 7100 8700 .59  0      unknown prog tests 0 inspect
73.8 61.8 25   26   120 1100 0     
eca-rers2012/Problem13_label02.yml timeout .738 prog tests 1416 inspect 900 900 6700 7100 .57  0      unknown prog tests 0 inspect
73.8 61.8 25   24   120 1200 0     
eca-rers2012/Problem13_label03.yml timeout .738 prog tests 1417 inspect 900 900 6700 7000 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   31   120 1100 0     
eca-rers2012/Problem13_label04.yml timeout (false(unreach-call)) .738 prog tests 1422 inspect 900 900 6800 7400 .60  0      true prog tests 1 inspect
73.8 61.8 28   28   120 1100 0     
eca-rers2012/Problem13_label05.yml timeout .739 prog tests 1419 inspect 900 900 6900 9400 .60  0      unknown prog tests 0 inspect
73.9 61.9 25   25   120 1100 0     
eca-rers2012/Problem13_label06.yml timeout (false(unreach-call)) .738 prog tests 1415 inspect 900 900 6500 6700 .61  0      true prog tests 1 inspect
73.8 61.9 25   31   120 1100 0     
eca-rers2012/Problem13_label07.yml timeout (false(unreach-call)) .738 prog tests 1429 inspect 900 900 6500 6100 .57  0      true prog tests 1 inspect
73.8 61.8 27   30   120 1100 0     
eca-rers2012/Problem13_label08.yml timeout .738 prog tests 1417 inspect 900 900 6700 6200 .57  0      unknown prog tests 0 inspect
73.8 61.8 25   31   120 1100 0     
eca-rers2012/Problem13_label09.yml timeout .739 prog tests 1420 inspect 900 900 6600 7900 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label10.yml timeout .739 prog tests 1420 inspect 900 900 6800 7700 .60  0      unknown prog tests 0 inspect
73.9 61.9 25   28   120 1200 0     
eca-rers2012/Problem13_label11.yml timeout (false(unreach-call)) .738 prog tests 1416 inspect 900 900 6800 6600 .61  0      true prog tests 1 inspect
73.8 61.9 25   27   120 1100 0     
eca-rers2012/Problem13_label12.yml timeout (false(unreach-call)) .739 prog tests 1407 inspect 900 900 7000 11000 .62  0      true prog tests 1 inspect
73.9 61.9 26   29   120 1100 0     
eca-rers2012/Problem13_label13.yml timeout .739 prog tests 1419 inspect 900 900 6800 6600 .61  0      unknown prog tests 0 inspect
73.9 61.9 24   24   120 1200 0     
eca-rers2012/Problem13_label14.yml timeout .739 prog tests 1421 inspect 900 900 7100 8600 .60  0      unknown prog tests 0 inspect
73.9 61.9 26   26   120 1100 0     
eca-rers2012/Problem13_label15.yml timeout .738 prog tests 1416 inspect 900 900 6800 8200 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   29   120 1100 0     
eca-rers2012/Problem13_label16.yml timeout (false(unreach-call)) .738 prog tests 1424 inspect 900 900 6800 7700 .58  0      true prog tests 1 inspect
73.8 61.8 25   30   120 1100 0     
eca-rers2012/Problem13_label17.yml timeout .738 prog tests 1416 inspect 900 900 6900 7100 .57  0      unknown prog tests 0 inspect
73.8 61.8 25   25   120 1100 0     
eca-rers2012/Problem13_label18.yml timeout .738 prog tests 1417 inspect 900 900 6600 5900 .60  0      unknown prog tests 0 inspect
73.8 61.8 25   25   120 1100 0     
eca-rers2012/Problem13_label19.yml timeout (false(unreach-call)) .738 prog tests 1417 inspect 900 900 6600 7200 .58  0      true prog tests 1 inspect
73.8 61.9 25   29   120 1200 0     
eca-rers2012/Problem13_label20.yml timeout .738 prog tests 1419 inspect 900 900 6700 6900 .58  0      unknown prog tests 0 inspect
73.8 61.9 25   29   120 1200 0     
eca-rers2012/Problem13_label21.yml timeout (false(unreach-call)) .738 prog tests 1419 inspect 900 900 6700 7700 .58  0      true prog tests 1 inspect
73.8 61.8 25   30   120 1100 0     
eca-rers2012/Problem13_label22.yml timeout .738 prog tests 1418 inspect 900 900 6500 6600 .57  0      unknown prog tests 0 inspect
73.8 61.9 25   24   120 1200 0     
eca-rers2012/Problem13_label23.yml timeout (false(unreach-call)) .738 prog tests 1415 inspect 900 900 6600 5900 .58  0      true prog tests 1 inspect
73.8 61.9 26   27   120 1100 0     
eca-rers2012/Problem13_label24.yml timeout (false(unreach-call)) .738 prog tests 1423 inspect 900 900 6600 9500 .59  0      true prog tests 1 inspect
73.8 61.8 25   32   120 1100 0     
eca-rers2012/Problem13_label25.yml timeout (false(unreach-call)) .739 prog tests 1422 inspect 900 900 6800 7400 .62  0      true prog tests 1 inspect
73.9 61.9 26   28   120 1100 0     
eca-rers2012/Problem13_label26.yml timeout .738 prog tests 1418 inspect 900 900 6600 6200 .57  0      unknown prog tests 0 inspect
73.8 61.8 27   27   120 1100 0     
eca-rers2012/Problem13_label27.yml timeout .739 prog tests 1420 inspect 900 900 6700 8700 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label28.yml timeout (false(unreach-call)) .739 prog tests 1429 inspect 900 900 6800 6700 .62  0      true prog tests 1 inspect
73.9 61.9 26   26   120 1200 0     
eca-rers2012/Problem13_label29.yml timeout (false(unreach-call)) .738 prog tests 1420 inspect 900 900 6800 7800 .61  0      true prog tests 1 inspect
73.8 61.8 25   32   120 1100 0     
eca-rers2012/Problem13_label30.yml timeout (false(unreach-call)) .738 prog tests 1416 inspect 900 900 6600 5700 .58  0      true prog tests 1 inspect
73.8 61.8 25   28   120 1200 0     
eca-rers2012/Problem13_label31.yml timeout .739 prog tests 1420 inspect 900 900 7100 12000 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label32.yml timeout (false(unreach-call)) .738 prog tests 1418 inspect 900 900 6500 6500 .59  0      true prog tests 1 inspect
73.8 61.8 25   27   120 1100 0     
eca-rers2012/Problem13_label33.yml timeout .739 prog tests 1420 inspect 900 900 6600 7100 .61  0      unknown prog tests 0 inspect
73.9 61.9 26   30   120 1100 0     
eca-rers2012/Problem13_label34.yml timeout .739 prog tests 1419 inspect 900 900 6500 5700 .62  0      unknown prog tests 0 inspect
73.9 61.9 25   27   120 1100 0     
eca-rers2012/Problem13_label35.yml timeout (false(unreach-call)) .738 prog tests 1417 inspect 900 900 6500 6000 .58  0      true prog tests 1 inspect
73.8 61.8 25   28   120 1100 0     
eca-rers2012/Problem13_label36.yml timeout (false(unreach-call)) .738 prog tests 1418 inspect 900 900 7000 10000 .58  0      true prog tests 1 inspect
73.8 61.8 25   30   120 1100 0     
eca-rers2012/Problem13_label37.yml timeout .738 prog tests 1416 inspect 900 900 7000 7700 .57  0      unknown prog tests 0 inspect
73.8 61.8 25   27   120 1200 0     
eca-rers2012/Problem13_label38.yml timeout .738 prog tests 1418 inspect 900 900 6700 6500 .58  0      unknown prog tests 0 inspect
73.8 61.9 25   29   120 1200 0     
eca-rers2012/Problem13_label39.yml timeout .738 prog tests 1416 inspect 900 900 6700 8400 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   28   120 1100 0     
eca-rers2012/Problem13_label40.yml timeout (false(unreach-call)) .739 prog tests 1417 inspect 900 900 7000 9700 .61  0      true prog tests 1 inspect
73.9 61.9 25   25   120 1200 0     
eca-rers2012/Problem13_label41.yml timeout .739 prog tests 1419 inspect 900 900 6400 6000 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   25   120 1100 0     
eca-rers2012/Problem13_label42.yml timeout .738 prog tests 1416 inspect 900 900 6900 8200 .58  0      unknown prog tests 0 inspect
73.8 61.8 26   26   120 1100 0     
eca-rers2012/Problem13_label43.yml timeout (false(unreach-call)) .738 prog tests 1417 inspect 900 900 6700 8500 .59  0      true prog tests 1 inspect
73.8 61.8 25   33   120 1100 0     
eca-rers2012/Problem13_label44.yml timeout (false(unreach-call)) .738 prog tests 1414 inspect 900 900 6900 10000 .59  0      true prog tests 1 inspect
73.8 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label45.yml timeout (false(unreach-call)) .738 prog tests 1419 inspect 900 900 6600 7300 .60  0      true prog tests 1 inspect
73.8 61.8 25   28   120 1200 0     
eca-rers2012/Problem13_label46.yml timeout .738 prog tests 1417 inspect 900 900 6800 8200 .57  0      unknown prog tests 0 inspect
73.8 61.8 25   32   120 1100 0     
eca-rers2012/Problem13_label47.yml timeout .738 prog tests 1418 inspect 900 900 6500 7500 .58  0      unknown prog tests 0 inspect
73.8 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label48.yml timeout (false(unreach-call)) .739 prog tests 1426 inspect 900 900 6800 7300 .62  0      true prog tests 1 inspect
73.9 61.9 25   25   120 1200 0     
eca-rers2012/Problem13_label49.yml timeout .739 prog tests 1420 inspect 900 900 6700 8600 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   27   120 1100 0     
eca-rers2012/Problem13_label50.yml timeout .738 prog tests 1416 inspect 900 900 7100 8800 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   32   120 1100 0     
eca-rers2012/Problem13_label51.yml timeout (false(unreach-call)) .738 prog tests 1420 inspect 900 900 6700 8200 .58  0      true prog tests 1 inspect
73.8 61.9 25   33   120 1100 0     
eca-rers2012/Problem13_label52.yml timeout .738 prog tests 1412 inspect 900 900 7000 9000 .59  0      unknown prog tests 0 inspect
73.8 61.8 25   30   120 1100 0     
eca-rers2012/Problem13_label53.yml timeout .739 prog tests 1419 inspect 900 900 7200 10000 .60  0      unknown prog tests 0 inspect
73.9 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label54.yml timeout (false(unreach-call)) .738 prog tests 1417 inspect 900 900 6800 7800 .59  0      true prog tests 1 inspect
73.8 61.8 25   27   120 1200 0     
eca-rers2012/Problem13_label55.yml timeout .738 prog tests 1417 inspect 900 900 6800 9200 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   29   120 1200 0     
eca-rers2012/Problem13_label56.yml timeout .739 prog tests 1419 inspect 900 900 7100 7000 .61  0      unknown prog tests 0 inspect
73.9 61.9 25   27   120 1100 0     
eca-rers2012/Problem13_label57.yml timeout .739 prog tests 1421 inspect 930 930 3000 7500 .55  0      unknown prog tests 0 inspect
73.9 61.9 25   25   120 1200 0     
eca-rers2012/Problem13_label58.yml timeout (false(unreach-call)) .738 prog tests 1411 inspect 900 900 6400 6800 .57  0      true prog tests 1 inspect
73.8 61.9 25   32   120 1100 0     
eca-rers2012/Problem13_label59.yml timeout .738 prog tests 1417 inspect 900 900 7000 9300 .58  0      unknown prog tests 0 inspect
73.8 61.8 25   33   120 1100 0     
eca-rers2012/Problem15_label00.yml timeout (false(unreach-call)) .66  prog tests 439 inspect 900 900 700 7900 .22  0      true prog tests 1 inspect
66.0 60.8 3.9 4.8 64 110 0     
eca-rers2012/Problem15_label01.yml timeout .66  prog tests 447 inspect 900 900 700 8900 .20  0      unknown prog tests 0 inspect
66.0 60.8 3.8 4.8 64 110 0     
eca-rers2012/Problem15_label02.yml timeout (false(unreach-call)) .66  prog tests 444 inspect 900 900 710 11000 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label03.yml timeout (false(unreach-call)) .66  prog tests 438 inspect 900 900 700 8500 .21  0      true prog tests 1 inspect
66.0 60.8 3.8 4.8 64 110 0     
eca-rers2012/Problem15_label04.yml timeout .66  prog tests 447 inspect 900 900 540 9700 .18  0      unknown prog tests 0 inspect
66.0 60.8 3.8 4.2 64 110 0     
eca-rers2012/Problem15_label05.yml timeout .66  prog tests 447 inspect 900 900 710 11000 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label06.yml timeout .66  prog tests 447 inspect 900 900 720 9700 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.8 64 110 0     
eca-rers2012/Problem15_label07.yml timeout (false(unreach-call)) .66  prog tests 445 inspect 900 900 700 9900 .21  0      true prog tests 1 inspect
66.0 60.8 4.0 4.9 64 110 0     
eca-rers2012/Problem15_label08.yml timeout .66  prog tests 447 inspect 900 900 700 10000 .20  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label09.yml timeout (false(unreach-call)) .66  prog tests 448 inspect 900 900 710 9800 .19  0      true prog tests 1 inspect
66.0 60.8 4.0 4.2 64 110 0     
eca-rers2012/Problem15_label10.yml timeout .66  prog tests 447 inspect 900 900 710 9500 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.9 64 110 0     
eca-rers2012/Problem15_label11.yml timeout .66  prog tests 447 inspect 900 900 710 11000 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.8 3.7 64 110 0     
eca-rers2012/Problem15_label12.yml timeout .66  prog tests 447 inspect 900 900 710 11000 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label13.yml timeout .66  prog tests 447 inspect 900 900 710 8200 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 3.8 64 110 0     
eca-rers2012/Problem15_label14.yml timeout (false(unreach-call)) .66  prog tests 442 inspect 900 900 710 8100 .21  0      true prog tests 1 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label15.yml timeout (false(unreach-call)) .66  prog tests 444 inspect 900 900 710 9200 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 3.9 64 110 0     
eca-rers2012/Problem15_label16.yml timeout .66  prog tests 447 inspect 900 900 710 9200 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.9 64 110 0     
eca-rers2012/Problem15_label17.yml timeout .66  prog tests 447 inspect 900 900 710 10000 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 5.0 64 110 0     
eca-rers2012/Problem15_label19.yml timeout .66  prog tests 447 inspect 900 900 700 9500 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.6 64 110 0     
eca-rers2012/Problem15_label20.yml timeout .66  prog tests 447 inspect 900 900 710 11000 .20  0      unknown prog tests 0 inspect
66.0 60.8 3.9 3.9 64 110 0     
eca-rers2012/Problem15_label21.yml timeout .66  prog tests 447 inspect 900 900 700 10000 .20  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.8 64 110 0     
eca-rers2012/Problem15_label22.yml timeout (false(unreach-call)) .66  prog tests 448 inspect 900 900 710 8800 .22  0      true prog tests 1 inspect
66.0 60.8 4.1 4.0 64 110 0     
eca-rers2012/Problem15_label23.yml timeout (false(unreach-call)) .66  prog tests 440 inspect 900 900 710 9500 .22  0      true prog tests 1 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label24.yml timeout .66  prog tests 447 inspect 900 900 710 9400 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.8 64 110 0     
eca-rers2012/Problem15_label25.yml timeout (false(unreach-call)) .66  prog tests 443 inspect 900 900 710 10000 .21  0      true prog tests 1 inspect
66.0 60.8 3.9 4.6 64 110 0     
eca-rers2012/Problem15_label26.yml timeout .66  prog tests 447 inspect 900 900 700 10000 .21  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label27.yml timeout .66  prog tests 447 inspect 900 900 700 9900 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.9 64 110 0     
eca-rers2012/Problem15_label28.yml timeout .66  prog tests 447 inspect 900 900 700 9700 .21  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label29.yml timeout (false(unreach-call)) .66  prog tests 446 inspect 900 900 700 9300 .22  0      true prog tests 1 inspect
66.0 60.8 3.9 4.7 64 110 0     
eca-rers2012/Problem15_label30.yml timeout (false(unreach-call)) .66  prog tests 450 inspect 900 900 710 9300 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 3.9 64 110 0     
eca-rers2012/Problem15_label31.yml timeout .66  prog tests 447 inspect 900 900 710 10000 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 5.0 64 110 0     
eca-rers2012/Problem15_label32.yml timeout .66  prog tests 447 inspect 900 900 720 9600 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 4.6 64 110 0     
eca-rers2012/Problem15_label33.yml timeout (false(unreach-call)) .66  prog tests 455 inspect 900 900 710 11000 .21  0      true prog tests 1 inspect
66.0 60.8 4.1 4.9 64 120 0     
eca-rers2012/Problem15_label34.yml timeout (false(unreach-call)) .66  prog tests 446 inspect 900 900 700 9300 .20  0      true prog tests 1 inspect
66.0 60.8 4.0 4.2 64 110 0     
eca-rers2012/Problem15_label35.yml timeout .66  prog tests 447 inspect 900 900 710 11000 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.9 64 110 0     
eca-rers2012/Problem15_label36.yml timeout .66  prog tests 447 inspect 900 900 700 9400 .21  0      unknown prog tests 0 inspect
66.0 60.8 4.0 4.9 64 110 0     
eca-rers2012/Problem15_label37.yml timeout (false(unreach-call)) .66  prog tests 445 inspect 900 900 710 11000 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label38.yml timeout (false(unreach-call)) .66  prog tests 448 inspect 900 900 710 9000 .21  0      true prog tests 1 inspect
66.0 60.8 4.0 5.3 64 110 0     
eca-rers2012/Problem15_label39.yml timeout (false(unreach-call)) .66  prog tests 447 inspect 900 900 470 9700 .18  0      true prog tests 1 inspect
66.0 60.8 4.2 4.7 64 110 0     
eca-rers2012/Problem15_label40.yml timeout (false(unreach-call)) .66  prog tests 446 inspect 900 900 710 8500 .22  0      true prog tests 1 inspect
66.0 60.8 3.9 4.4 64 110 0     
eca-rers2012/Problem15_label41.yml timeout (false(unreach-call)) .66  prog tests 436 inspect 900 900 700 12000 .22  0      true prog tests 1 inspect
66.0 60.8 3.9 4.1 64 110 0     
eca-rers2012/Problem15_label42.yml timeout .66  prog tests 447 inspect 900 900 710 8900 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.2 64 110 0     
eca-rers2012/Problem15_label43.yml timeout .66  prog tests 447 inspect 900 900 710 8200 .21  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label44.yml timeout .66  prog tests 447 inspect 900 900 700 9500 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 4.0 64 110 0     
eca-rers2012/Problem15_label45.yml timeout (false(unreach-call)) .66  prog tests 444 inspect 900 900 710 8700 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label46.yml timeout .66  prog tests 447 inspect 900 900 700 9500 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 3.8 64 110 0     
eca-rers2012/Problem15_label47.yml timeout (false(unreach-call)) .66  prog tests 445 inspect 900 900 710 9300 .20  0      true prog tests 1 inspect
66.0 60.8 4.0 4.8 64 110 0     
eca-rers2012/Problem15_label48.yml timeout (false(unreach-call)) .66  prog tests 446 inspect 900 900 700 10000 .22  0      true prog tests 1 inspect
66.0 60.8 4.0 4.3 64 110 0     
eca-rers2012/Problem15_label49.yml timeout .66  prog tests 447 inspect 900 900 710 9000 .20  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.6 64 110 0     
eca-rers2012/Problem15_label50.yml timeout (false(unreach-call)) .66  prog tests 446 inspect 900 900 700 11000 .20  0      true prog tests 1 inspect
66.0 60.8 4.0 4.5 64 110 0     
eca-rers2012/Problem15_label51.yml timeout (false(unreach-call)) .66  prog tests 449 inspect 900 900 700 9600 .21  0      true prog tests 1 inspect
66.0 60.8 4.1 4.0 64 110 0     
eca-rers2012/Problem15_label52.yml timeout .66  prog tests 447 inspect 900 900 700 10000 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 3.7 64 110 0     
eca-rers2012/Problem15_label53.yml timeout .66  prog tests 447 inspect 900 900 710 9500 .21  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.8 64 110 0     
eca-rers2012/Problem15_label54.yml timeout .66  prog tests 447 inspect 900 900 700 8900 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 3.9 64 110 0     
eca-rers2012/Problem15_label55.yml timeout .66  prog tests 447 inspect 900 900 710 8700 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.8 4.9 64 110 0     
eca-rers2012/Problem15_label56.yml timeout .66  prog tests 447 inspect 900 900 700 9700 .21  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.8 64 110 0     
eca-rers2012/Problem15_label57.yml timeout .66  prog tests 447 inspect 900 900 720 9100 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.1 64 110 0     
eca-rers2012/Problem15_label58.yml timeout .66  prog tests 447 inspect 900 900 700 8900 .22  0      unknown prog tests 0 inspect
66.0 60.8 4.0 4.4 64 110 0     
eca-rers2012/Problem15_label59.yml timeout .66  prog tests 447 inspect 900 900 700 8900 .22  0      unknown prog tests 0 inspect
66.0 60.8 3.9 4.9 64 110 0     
eca-rers2012/Problem16_label00.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 900 900 1600 11000 .18  0      true prog tests 1 inspect
81.5 97.4 5.5 5.9 52 150 0     
eca-rers2012/Problem16_label01.yml timeout (false(unreach-call)) .815 prog tests 655 inspect 900 900 1700 9300 .18  0      true prog tests 1 inspect
81.5 97.4 5.6 5.7 52 150 0     
eca-rers2012/Problem16_label02.yml timeout .815 prog tests 652 inspect 900 900 1700 9400 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 5.6 52 150 0     
eca-rers2012/Problem16_label03.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 900 900 1700 9500 .18  0      true prog tests 1 inspect
81.5 97.4 5.3 5.6 52 150 0     
eca-rers2012/Problem16_label04.yml timeout (false(unreach-call)) .815 prog tests 651 inspect 900 900 1700 10000 .19  0      true prog tests 1 inspect
81.5 97.4 5.6 6.9 52 150 0     
eca-rers2012/Problem16_label05.yml timeout (false(unreach-call)) .815 prog tests 654 inspect 900 900 1700 8100 .19  0      true prog tests 1 inspect
81.5 97.4 5.8 5.6 52 150 0     
eca-rers2012/Problem16_label06.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 9800 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 6.9 52 150 0     
eca-rers2012/Problem16_label07.yml timeout .815 prog tests 652 inspect 900 900 1700 9300 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.7 52 150 0     
eca-rers2012/Problem16_label08.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 910 910 1400 9600 .16  0      true prog tests 1 inspect
81.5 97.4 5.4 5.9 52 150 0     
eca-rers2012/Problem16_label09.yml timeout .815 prog tests 652 inspect 900 900 1700 9900 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.8 52 150 0     
eca-rers2012/Problem16_label10.yml timeout .815 prog tests 652 inspect 900 900 1700 7100 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.1 4.8 52 150 0     
eca-rers2012/Problem16_label11.yml timeout .815 prog tests 652 inspect 900 900 1700 9300 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.3 6.9 52 150 0     
eca-rers2012/Problem16_label12.yml timeout .815 prog tests 652 inspect 900 900 1700 9100 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 6.3 52 150 0     
eca-rers2012/Problem16_label13.yml timeout .815 prog tests 652 inspect 900 900 1700 8600 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.9 52 150 0     
eca-rers2012/Problem16_label14.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 11000 .19  0      true prog tests 1 inspect
81.5 97.4 5.6 6.3 52 150 0     
eca-rers2012/Problem16_label15.yml timeout (false(unreach-call)) .815 prog tests 656 inspect 900 900 1700 9000 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 6.7 52 150 0     
eca-rers2012/Problem16_label16.yml timeout .815 prog tests 652 inspect 900 900 1700 8900 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 5.4 52 150 0     
eca-rers2012/Problem16_label17.yml timeout .815 prog tests 652 inspect 900 900 1700 11000 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.6 5.4 52 150 0     
eca-rers2012/Problem16_label18.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 10000 .18  0      true prog tests 1 inspect
81.5 97.4 5.5 5.5 52 150 0     
eca-rers2012/Problem16_label19.yml timeout .815 prog tests 652 inspect 900 900 1700 11000 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.9 52 150 0     
eca-rers2012/Problem16_label20.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 9900 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 7.7 52 150 0     
eca-rers2012/Problem16_label21.yml timeout .815 prog tests 652 inspect 900 900 1700 10000 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label22.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 900 900 1700 9600 .18  0      true prog tests 1 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label23.yml timeout .815 prog tests 652 inspect 900 900 1700 11000 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label24.yml timeout .815 prog tests 652 inspect 900 900 1700 11000 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.4 5.1 52 150 0     
eca-rers2012/Problem16_label25.yml timeout .815 prog tests 652 inspect 900 900 1700 9100 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 6.9 52 150 0     
eca-rers2012/Problem16_label26.yml timeout .815 prog tests 652 inspect 900 900 1700 9400 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 7.0 52 150 0     
eca-rers2012/Problem16_label27.yml timeout (false(unreach-call)) .815 prog tests 656 inspect 900 900 1700 9100 .18  0      true prog tests 1 inspect
81.5 97.4 5.6 5.4 52 150 0     
eca-rers2012/Problem16_label28.yml timeout .815 prog tests 652 inspect 900 900 1700 9700 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label29.yml timeout .815 prog tests 652 inspect 900 900 1700 9400 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.8 6.0 52 150 0     
eca-rers2012/Problem16_label30.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 900 900 1700 9800 .19  0      true prog tests 1 inspect
81.5 97.4 5.6 5.3 52 150 0     
eca-rers2012/Problem16_label31.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 9400 .18  0      true prog tests 1 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label32.yml timeout .815 prog tests 652 inspect 900 900 1700 9600 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.2 52 150 0     
eca-rers2012/Problem16_label33.yml timeout (false(unreach-call)) .815 prog tests 654 inspect 900 900 1700 11000 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 5.2 52 150 0     
eca-rers2012/Problem16_label34.yml timeout .815 prog tests 652 inspect 900 900 1700 10000 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.5 52 150 0     
eca-rers2012/Problem16_label35.yml timeout .815 prog tests 652 inspect 900 900 1700 8800 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 5.9 52 150 0     
eca-rers2012/Problem16_label36.yml timeout .815 prog tests 652 inspect 900 900 1700 10000 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 6.7 52 150 0     
eca-rers2012/Problem16_label37.yml timeout (false(unreach-call)) .815 prog tests 654 inspect 900 900 1700 8200 .18  0      true prog tests 1 inspect
81.5 97.4 5.5 6.7 52 150 0     
eca-rers2012/Problem16_label38.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 8900 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 6.7 52 150 0     
eca-rers2012/Problem16_label39.yml timeout .815 prog tests 652 inspect 900 900 1700 11000 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.1 52 150 0     
eca-rers2012/Problem16_label40.yml timeout .815 prog tests 652 inspect 900 900 1700 9900 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.4 52 150 0     
eca-rers2012/Problem16_label41.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 900 900 1700 9400 .18  0      true prog tests 1 inspect
81.5 97.4 5.4 5.2 52 150 0     
eca-rers2012/Problem16_label42.yml timeout .815 prog tests 652 inspect 900 900 1700 9300 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 5.2 52 150 0     
eca-rers2012/Problem16_label43.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 10000 .19  0      true prog tests 1 inspect
81.5 97.4 5.7 5.4 52 150 0     
eca-rers2012/Problem16_label44.yml timeout (false(unreach-call)) .815 prog tests 655 inspect 900 900 1700 9600 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 7.1 52 150 0     
eca-rers2012/Problem16_label45.yml timeout .815 prog tests 652 inspect 900 900 1700 9600 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 6.3 52 150 0     
eca-rers2012/Problem16_label46.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 9700 .18  0      true prog tests 1 inspect
81.5 97.4 5.6 5.3 52 150 0     
eca-rers2012/Problem16_label47.yml timeout .815 prog tests 652 inspect 900 900 1700 9600 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.4 52 150 0     
eca-rers2012/Problem16_label48.yml timeout .815 prog tests 652 inspect 900 900 1700 9500 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.4 52 150 0     
eca-rers2012/Problem16_label49.yml timeout .815 prog tests 652 inspect 910 910 1500 11000 .16  0      unknown prog tests 0 inspect
81.5 97.4 5.6 6.3 52 150 0     
eca-rers2012/Problem16_label50.yml timeout .815 prog tests 652 inspect 910 910 1300 11000 .16  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.7 52 150 0     
eca-rers2012/Problem16_label51.yml timeout (false(unreach-call)) .815 prog tests 652 inspect 910 910 990 9700 .16  0      true prog tests 1 inspect
81.5 97.4 5.4 7.0 52 150 0     
eca-rers2012/Problem16_label52.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 11000 .19  0      true prog tests 1 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label53.yml timeout .815 prog tests 652 inspect 900 900 1700 9600 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.4 6.4 52 150 0     
eca-rers2012/Problem16_label54.yml timeout (false(unreach-call)) .815 prog tests 653 inspect 900 900 1700 9800 .19  0      true prog tests 1 inspect
81.5 97.4 5.6 5.5 52 150 0     
eca-rers2012/Problem16_label55.yml timeout .815 prog tests 652 inspect 900 900 1700 12000 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.3 6.7 52 150 0     
eca-rers2012/Problem16_label56.yml timeout .815 prog tests 652 inspect 900 900 1700 8900 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.6 6.1 52 150 0     
eca-rers2012/Problem16_label57.yml timeout .815 prog tests 652 inspect 900 900 1700 9500 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 6.1 52 150 0     
eca-rers2012/Problem16_label58.yml timeout .815 prog tests 652 inspect 900 900 1700 9200 .18  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem16_label59.yml timeout .815 prog tests 652 inspect 900 900 1700 9200 .19  0      unknown prog tests 0 inspect
81.5 97.4 5.5 5.3 52 150 0     
eca-rers2012/Problem17_label00.yml timeout .695 prog tests 688 inspect 900 900 1600 12000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.8 8.3 81 270 0     
eca-rers2012/Problem17_label01.yml timeout .695 prog tests 690 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem17_label02.yml timeout .695 prog tests 688 inspect 900 900 1600 9700 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.0 81 270 0     
eca-rers2012/Problem17_label03.yml timeout .695 prog tests 688 inspect 900 900 1600 9700 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 9.5 81 270 0     
eca-rers2012/Problem17_label04.yml timeout (false(unreach-call)) .695 prog tests 683 inspect 900 900 1600 11000 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 9.7 81 270 0     
eca-rers2012/Problem17_label05.yml timeout .695 prog tests 688 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.6 81 270 0     
eca-rers2012/Problem17_label06.yml timeout .695 prog tests 688 inspect 900 900 1600 12000 .31  0      unknown prog tests 0 inspect
69.5 61.5 7.5 8.4 81 280 0     
eca-rers2012/Problem17_label07.yml timeout (false(unreach-call)) .695 prog tests 691 inspect 900 900 1700 8200 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 9.8 81 280 0     
eca-rers2012/Problem17_label08.yml timeout .695 prog tests 688 inspect 900 900 1600 9400 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.8 81 270 0     
eca-rers2012/Problem17_label09.yml timeout (false(unreach-call)) .695 prog tests 683 inspect 900 900 1600 9600 .32  0      true prog tests 1 inspect
69.5 61.5 7.6 8.1 81 270 0     
eca-rers2012/Problem17_label10.yml timeout .695 prog tests 688 inspect 900 900 1600 11000 .30  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.4 81 270 0     
eca-rers2012/Problem17_label11.yml timeout .695 prog tests 688 inspect 900 900 1600 8900 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 10   81 270 0     
eca-rers2012/Problem17_label12.yml timeout .695 prog tests 688 inspect 900 900 1600 9200 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.5 81 280 0     
eca-rers2012/Problem17_label13.yml timeout (false(unreach-call)) .695 prog tests 691 inspect 900 900 1600 11000 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 8.1 81 280 0     
eca-rers2012/Problem17_label14.yml timeout .695 prog tests 688 inspect 900 900 1600 11000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 9.5 81 270 0     
eca-rers2012/Problem17_label15.yml timeout .695 prog tests 688 inspect 900 900 1600 9500 .31  0      unknown prog tests 0 inspect
69.5 61.5 7.8 7.7 81 270 0     
eca-rers2012/Problem17_label16.yml timeout (false(unreach-call)) .695 prog tests 686 inspect 900 900 1600 9500 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 7.4 81 270 0     
eca-rers2012/Problem17_label17.yml timeout .695 prog tests 688 inspect 900 900 1600 9900 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 7.9 81 270 0     
eca-rers2012/Problem17_label18.yml timeout .695 prog tests 688 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.0 81 270 0     
eca-rers2012/Problem17_label19.yml timeout .695 prog tests 688 inspect 900 900 1600 9500 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 7.5 81 270 0     
eca-rers2012/Problem17_label20.yml timeout (false(unreach-call)) .695 prog tests 690 inspect 900 900 1600 9800 .32  0      true prog tests 1 inspect
69.5 61.5 7.6 9.6 81 280 0     
eca-rers2012/Problem17_label21.yml timeout .695 prog tests 688 inspect 900 900 1600 12000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 8.3 81 270 0     
eca-rers2012/Problem17_label22.yml timeout .695 prog tests 688 inspect 900 900 1700 10000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 9.0 81 270 0     
eca-rers2012/Problem17_label23.yml timeout (false(unreach-call)) .695 prog tests 686 inspect 900 900 1600 9300 .31  0      true prog tests 1 inspect
69.5 61.5 7.8 8.0 81 270 0     
eca-rers2012/Problem17_label24.yml timeout .695 prog tests 688 inspect 900 900 1600 9700 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.5 81 270 0     
eca-rers2012/Problem17_label25.yml timeout (false(unreach-call)) .695 prog tests 690 inspect 900 900 1600 10000 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 9.4 81 280 0     
eca-rers2012/Problem17_label26.yml timeout (false(unreach-call)) .695 prog tests 686 inspect 900 900 1600 8200 .32  0      true prog tests 1 inspect
69.5 61.5 7.9 8.5 81 270 0     
eca-rers2012/Problem17_label27.yml timeout .695 prog tests 688 inspect 900 900 1600 9500 .31  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem17_label28.yml timeout .695 prog tests 688 inspect 900 900 1600 10000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem17_label29.yml timeout .695 prog tests 688 inspect 910 910 950 8800 .29  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.3 81 270 0     
eca-rers2012/Problem17_label30.yml timeout (false(unreach-call)) .695 prog tests 688 inspect 900 900 1600 9000 .32  0      true prog tests 1 inspect
69.5 61.5 7.8 7.6 81 270 0     
eca-rers2012/Problem17_label31.yml timeout (false(unreach-call)) .695 prog tests 691 inspect 900 900 1600 9000 .32  0      true prog tests 1 inspect
69.5 61.5 7.6 9.9 81 280 0     
eca-rers2012/Problem17_label32.yml timeout .695 prog tests 690 inspect 900 900 1600 10000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 8.9 81 280 0     
eca-rers2012/Problem17_label33.yml timeout (false(unreach-call)) .695 prog tests 687 inspect 900 900 1600 9400 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem17_label34.yml timeout (false(unreach-call)) .695 prog tests 681 inspect 900 900 1600 10000 .32  0      true prog tests 1 inspect
69.5 61.5 7.5 7.9 81 270 0     
eca-rers2012/Problem17_label35.yml timeout (false(unreach-call)) .695 prog tests 683 inspect 900 900 1600 9200 .34  0      true prog tests 1 inspect
69.5 61.5 7.6 9.4 81 270 0     
eca-rers2012/Problem17_label36.yml timeout .695 prog tests 688 inspect 900 900 1600 9600 .30  0      unknown prog tests 0 inspect
69.5 61.5 7.7 8.1 81 270 0     
eca-rers2012/Problem17_label37.yml timeout (false(unreach-call)) .695 prog tests 689 inspect 900 900 1600 11000 .32  0      true prog tests 1 inspect
69.5 61.5 7.6 9.8 81 270 0     
eca-rers2012/Problem17_label38.yml timeout .695 prog tests 690 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.3 81 280 0     
eca-rers2012/Problem17_label39.yml timeout .695 prog tests 688 inspect 900 900 1600 9600 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.8 7.7 81 270 0     
eca-rers2012/Problem17_label40.yml timeout (false(unreach-call)) .695 prog tests 685 inspect 900 900 1600 9500 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 8.1 81 270 0     
eca-rers2012/Problem17_label41.yml timeout .695 prog tests 688 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 8.6 81 270 0     
eca-rers2012/Problem17_label42.yml timeout .695 prog tests 688 inspect 900 900 1600 10000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.2 81 280 0     
eca-rers2012/Problem17_label43.yml timeout .695 prog tests 688 inspect 900 900 1600 9900 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.8 7.8 81 270 0     
eca-rers2012/Problem17_label44.yml timeout .695 prog tests 688 inspect 900 900 1600 12000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 9.4 81 270 0     
eca-rers2012/Problem17_label45.yml timeout .695 prog tests 688 inspect 900 900 1600 8800 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 8.2 81 270 0     
eca-rers2012/Problem17_label46.yml timeout (false(unreach-call)) .695 prog tests 696 inspect 900 900 1700 9100 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 9.7 81 280 0     
eca-rers2012/Problem17_label47.yml timeout .695 prog tests 688 inspect 900 900 1600 7900 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.4 81 270 0     
eca-rers2012/Problem17_label48.yml timeout .695 prog tests 688 inspect 900 900 1600 9300 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.7 81 270 0     
eca-rers2012/Problem17_label49.yml timeout (false(unreach-call)) .695 prog tests 689 inspect 900 900 1600 11000 .32  0      true prog tests 1 inspect
69.5 61.5 7.8 9.4 81 270 0     
eca-rers2012/Problem17_label50.yml timeout (false(unreach-call)) .695 prog tests 687 inspect 900 900 1600 8900 .32  0      true prog tests 1 inspect
69.5 61.5 7.8 7.5 81 270 0     
eca-rers2012/Problem17_label51.yml timeout .695 prog tests 688 inspect 900 900 1600 8600 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 8.2 81 280 0     
eca-rers2012/Problem17_label52.yml timeout (false(unreach-call)) .695 prog tests 692 inspect 900 900 1600 9600 .32  0      true prog tests 1 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem17_label53.yml timeout (false(unreach-call)) .695 prog tests 682 inspect 900 900 1600 10000 .32  0      true prog tests 1 inspect
69.5 61.5 7.3 7.1 81 270 0     
eca-rers2012/Problem17_label54.yml timeout (false(unreach-call)) .695 prog tests 683 inspect 900 900 1600 9300 .34  0      true prog tests 1 inspect
69.5 61.5 7.9 8.9 81 270 0     
eca-rers2012/Problem17_label55.yml timeout (false(unreach-call)) .695 prog tests 680 inspect 900 900 1600 9300 .32  0      true prog tests 1 inspect
69.5 61.5 7.5 9.4 81 270 0     
eca-rers2012/Problem17_label56.yml timeout .695 prog tests 688 inspect 900 900 1600 8800 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.5 9.6 81 270 0     
eca-rers2012/Problem17_label57.yml timeout (false(unreach-call)) .695 prog tests 689 inspect 900 900 1600 9900 .32  0      true prog tests 1 inspect
69.5 61.5 7.6 9.5 81 280 0     
eca-rers2012/Problem17_label58.yml timeout .695 prog tests 688 inspect 900 900 1600 11000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.6 9.6 81 270 0     
eca-rers2012/Problem17_label59.yml timeout .695 prog tests 688 inspect 900 900 1600 11000 .32  0      unknown prog tests 0 inspect
69.5 61.5 7.7 7.5 81 270 0     
eca-rers2012/Problem18_label00.yml timeout (false(unreach-call)) .918 prog tests 1418 inspect 900 900 1500 9300 .39  0      true prog tests 1 inspect
91.8 98.9 19   18   76 680 0     
eca-rers2012/Problem18_label01.yml timeout (false(unreach-call)) .918 prog tests 1423 inspect 900 900 1500 9500 .37  0      true prog tests 1 inspect
91.8 98.9 18   21   76 690 0     
eca-rers2012/Problem18_label02.yml timeout .918 prog tests 1424 inspect 900 900 1500 12000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   25   76 690 0     
eca-rers2012/Problem18_label03.yml timeout (false(unreach-call)) .918 prog tests 1426 inspect 900 900 1500 8300 .37  0      true prog tests 1 inspect
91.8 98.9 18   20   77 690 0     
eca-rers2012/Problem18_label04.yml timeout .918 prog tests 1425 inspect 900 900 1500 9900 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   20   77 690 0     
eca-rers2012/Problem18_label05.yml timeout .918 prog tests 1427 inspect 900 900 1500 9500 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   23   77 690 0     
eca-rers2012/Problem18_label06.yml timeout (false(unreach-call)) .918 prog tests 1428 inspect 900 900 1500 9000 .38  0      true prog tests 1 inspect
91.8 98.9 18   19   76 690 0     
eca-rers2012/Problem18_label07.yml timeout .918 prog tests 1424 inspect 900 900 1500 9300 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   18   77 690 0     
eca-rers2012/Problem18_label08.yml timeout (false(unreach-call)) .918 prog tests 1423 inspect 900 900 1500 9400 .35  0      true prog tests 1 inspect
91.8 98.9 18   17   76 690 0     
eca-rers2012/Problem18_label09.yml timeout (false(unreach-call)) .918 prog tests 1429 inspect 900 900 1500 9300 .38  0      true prog tests 1 inspect
91.8 98.9 18   21   76 690 0     
eca-rers2012/Problem18_label10.yml timeout (false(unreach-call)) .918 prog tests 1418 inspect 900 900 1500 8900 .38  0      true prog tests 1 inspect
91.8 98.9 18   23   77 690 0     
eca-rers2012/Problem18_label11.yml timeout .918 prog tests 1424 inspect 900 900 1500 9600 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   25   77 690 0     
eca-rers2012/Problem18_label12.yml timeout (false(unreach-call)) .918 prog tests 1432 inspect 900 900 1500 9600 .36  0      true prog tests 1 inspect
91.8 98.9 19   19   76 690 0     
eca-rers2012/Problem18_label13.yml timeout .918 prog tests 1426 inspect 900 900 1500 8300 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   24   77 690 0     
eca-rers2012/Problem18_label14.yml timeout .918 prog tests 1425 inspect 900 900 1500 9600 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   18   77 690 0     
eca-rers2012/Problem18_label15.yml timeout .918 prog tests 1425 inspect 900 900 1500 8900 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   22   76 690 0     
eca-rers2012/Problem18_label16.yml timeout .918 prog tests 1424 inspect 900 900 1500 11000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   19   77 690 0     
eca-rers2012/Problem18_label17.yml timeout .918 prog tests 1426 inspect 900 900 1500 9900 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   18   77 690 0     
eca-rers2012/Problem18_label18.yml timeout .918 prog tests 1424 inspect 900 900 1500 11000 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   21   77 690 0     
eca-rers2012/Problem18_label19.yml timeout (false(unreach-call)) .918 prog tests 1436 inspect 900 900 1500 9300 .35  0      true prog tests 1 inspect
91.8 98.9 18   20   77 690 0     
eca-rers2012/Problem18_label20.yml timeout (false(unreach-call)) .918 prog tests 1430 inspect 900 900 1500 11000 .37  0      true prog tests 1 inspect
91.8 98.9 18   18   77 690 0     
eca-rers2012/Problem18_label21.yml timeout .918 prog tests 1424 inspect 900 900 1500 8700 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label22.yml timeout .918 prog tests 1424 inspect 900 900 1500 9600 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label23.yml timeout .918 prog tests 1424 inspect 900 900 1500 9900 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   22   76 690 0     
eca-rers2012/Problem18_label24.yml timeout .918 prog tests 1426 inspect 900 900 1500 10000 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   20   76 690 0     
eca-rers2012/Problem18_label25.yml timeout (false(unreach-call)) .918 prog tests 1430 inspect 900 900 1500 10000 .38  0      true prog tests 1 inspect
91.8 98.9 18   25   77 690 0     
eca-rers2012/Problem18_label26.yml timeout .918 prog tests 1426 inspect 900 900 1500 11000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   22   76 690 0     
eca-rers2012/Problem18_label27.yml timeout (false(unreach-call)) .918 prog tests 1429 inspect 900 900 890 9300 .32  0      true prog tests 1 inspect
91.8 98.9 19   18   76 690 0     
eca-rers2012/Problem18_label28.yml timeout .918 prog tests 1425 inspect 900 900 1500 10000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   23   77 690 0     
eca-rers2012/Problem18_label29.yml timeout .918 prog tests 1426 inspect 900 900 1500 9000 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label30.yml timeout .918 prog tests 1424 inspect 900 900 1500 9500 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   20   76 690 0     
eca-rers2012/Problem18_label31.yml timeout (false(unreach-call)) .918 prog tests 1428 inspect 900 900 1500 11000 .37  0      true prog tests 1 inspect
91.8 98.9 18   19   76 690 0     
eca-rers2012/Problem18_label32.yml timeout (false(unreach-call)) .918 prog tests 1425 inspect 900 900 1500 9900 .37  0      true prog tests 1 inspect
91.8 98.9 18   21   76 690 0     
eca-rers2012/Problem18_label33.yml timeout (false(unreach-call)) .918 prog tests 1425 inspect 900 900 1500 9900 .38  0      true prog tests 1 inspect
91.8 98.9 18   20   77 680 0     
eca-rers2012/Problem18_label34.yml timeout (false(unreach-call)) .918 prog tests 1424 inspect 900 900 1500 10000 .37  0      true prog tests 1 inspect
91.8 98.9 18   18   76 680 0     
eca-rers2012/Problem18_label35.yml timeout (false(unreach-call)) .918 prog tests 1426 inspect 900 900 1500 9600 .36  0      true prog tests 1 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label36.yml timeout (false(unreach-call)) .918 prog tests 1429 inspect 900 900 1500 11000 .38  0      true prog tests 1 inspect
91.8 98.9 18   22   77 690 0     
eca-rers2012/Problem18_label37.yml timeout .918 prog tests 1426 inspect 900 900 1500 10000 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   24   76 690 0     
eca-rers2012/Problem18_label38.yml timeout (false(unreach-call)) .918 prog tests 1420 inspect 900 900 1500 11000 .38  0      true prog tests 1 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label39.yml timeout (false(unreach-call)) .918 prog tests 1422 inspect 900 900 1500 9300 .35  0      true prog tests 1 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label40.yml timeout .918 prog tests 1427 inspect 900 900 1500 9700 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label41.yml timeout .918 prog tests 1426 inspect 900 900 1500 9900 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   23   77 690 0     
eca-rers2012/Problem18_label42.yml timeout .918 prog tests 1425 inspect 900 900 1500 11000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   22   76 690 0     
eca-rers2012/Problem18_label43.yml timeout .918 prog tests 1424 inspect 900 900 1500 8700 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   23   76 690 0     
eca-rers2012/Problem18_label44.yml timeout .918 prog tests 1425 inspect 900 900 1500 9900 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   18   76 690 0     
eca-rers2012/Problem18_label45.yml timeout (false(unreach-call)) .918 prog tests 1425 inspect 900 900 1600 11000 .37  0      true prog tests 1 inspect
91.8 98.9 18   24   76 690 0     
eca-rers2012/Problem18_label46.yml timeout .918 prog tests 1426 inspect 900 900 1500 12000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   24   77 690 0     
eca-rers2012/Problem18_label47.yml timeout .918 prog tests 1425 inspect 900 900 1500 11000 .38  0      unknown prog tests 0 inspect
91.8 98.9 19   19   77 690 0     
eca-rers2012/Problem18_label48.yml timeout .918 prog tests 1425 inspect 900 900 1500 9800 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   24   76 690 0     
eca-rers2012/Problem18_label49.yml timeout (false(unreach-call)) .918 prog tests 1425 inspect 900 900 1500 12000 .36  0      true prog tests 1 inspect
91.8 98.9 18   22   76 690 0     
eca-rers2012/Problem18_label50.yml timeout .918 prog tests 1425 inspect 900 900 1500 11000 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   22   77 690 0     
eca-rers2012/Problem18_label51.yml timeout .918 prog tests 1425 inspect 900 900 1500 8900 .38  0      unknown prog tests 0 inspect
91.8 98.9 18   23   76 690 0     
eca-rers2012/Problem18_label52.yml timeout (false(unreach-call)) .918 prog tests 1430 inspect 900 900 1500 11000 .39  0      true prog tests 1 inspect
91.8 98.9 18   18   77 690 0     
eca-rers2012/Problem18_label53.yml timeout .918 prog tests 1426 inspect 900 900 1500 9600 .36  0      unknown prog tests 0 inspect
91.8 98.9 18   17   77 690 0     
eca-rers2012/Problem18_label54.yml timeout .918 prog tests 1424 inspect 900 900 710 11000 .32  0      unknown prog tests 0 inspect
91.8 98.9 18   17   76 690 0     
eca-rers2012/Problem18_label55.yml timeout (false(unreach-call)) .918 prog tests 1427 inspect 900 900 1500 12000 .36  0      true prog tests 1 inspect
91.8 98.9 18   23   76 690 0     
eca-rers2012/Problem18_label56.yml timeout .918 prog tests 1425 inspect 910 910 1400 11000 .32  0      unknown prog tests 0 inspect
91.8 98.9 18   18   77 680 0     
eca-rers2012/Problem18_label57.yml timeout (false(unreach-call)) .918 prog tests 1424 inspect 900 900 1500 9400 .38  0      true prog tests 1 inspect
91.8 98.9 18   24   77 690 0     
eca-rers2012/Problem18_label58.yml timeout .918 prog tests 1426 inspect 900 900 1500 9000 .37  0      unknown prog tests 0 inspect
91.8 98.9 19   21   77 690 0     
eca-rers2012/Problem18_label59.yml timeout .918 prog tests 1425 inspect 900 900 1500 11000 .37  0      unknown prog tests 0 inspect
91.8 98.9 18   17   77 690 0     
eca-rers2012/Problem19_label00.yml timeout .700 prog tests 1915 inspect 900 900 1100 9900 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   61   160 2900 0     
eca-rers2012/Problem19_label01.yml timeout .700 prog tests 1914 inspect 900 900 1100 8400 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   52   160 3200 0     
eca-rers2012/Problem19_label02.yml timeout .700 prog tests 1913 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 49   58   160 2700 0     
eca-rers2012/Problem19_label03.yml timeout .700 prog tests 1914 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   60   160 3200 0     
eca-rers2012/Problem19_label04.yml timeout .700 prog tests 1916 inspect 900 900 1100 9400 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   47   160 3200 0     
eca-rers2012/Problem19_label05.yml timeout .700 prog tests 1915 inspect 900 900 1200 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   52   160 3200 0     
eca-rers2012/Problem19_label06.yml timeout .700 prog tests 1914 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   59   160 2800 0     
eca-rers2012/Problem19_label07.yml timeout .700 prog tests 1915 inspect 900 900 1200 9700 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   54   160 3000 0     
eca-rers2012/Problem19_label08.yml timeout .700 prog tests 1914 inspect 900 900 1100 9600 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   47   160 2900 0     
eca-rers2012/Problem19_label09.yml timeout .700 prog tests 1915 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   48   160 3200 0     
eca-rers2012/Problem19_label10.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 9100 1.1   0      true prog tests 1 inspect
70.0 58.4 48   51   160 2700 0     
eca-rers2012/Problem19_label11.yml timeout (false(unreach-call)) .700 prog tests 1919 inspect 900 900 1100 10000 1.1   0      true prog tests 1 inspect
70.0 58.4 48   55   160 2900 0     
eca-rers2012/Problem19_label12.yml timeout .700 prog tests 1916 inspect 900 900 1100 9900 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   54   160 3100 0     
eca-rers2012/Problem19_label13.yml timeout .700 prog tests 1916 inspect 900 900 1100 9200 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   61   160 2800 0     
eca-rers2012/Problem19_label14.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 7200 1.1   0      true prog tests 1 inspect
70.0 58.4 48   51   160 3000 0     
eca-rers2012/Problem19_label15.yml timeout .700 prog tests 1916 inspect 900 900 1200 10000 1.0   0      unknown prog tests 0 inspect
70.0 58.4 47   59   160 2900 0     
eca-rers2012/Problem19_label16.yml timeout .700 prog tests 1916 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   47   160 3000 0     
eca-rers2012/Problem19_label17.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 9600 1.1   0      true prog tests 1 inspect
70.0 58.4 48   53   160 2700 0     
eca-rers2012/Problem19_label18.yml timeout (false(unreach-call)) .700 prog tests 1908 inspect 900 900 1100 10000 1.1   0      true prog tests 1 inspect
70.0 58.4 48   61   160 2800 0     
eca-rers2012/Problem19_label19.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 9700 1.1   0      true prog tests 1 inspect
70.0 58.4 48   48   160 3200 0     
eca-rers2012/Problem19_label20.yml timeout .700 prog tests 1916 inspect 900 900 1100 12000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   61   160 2800 0     
eca-rers2012/Problem19_label21.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 9300 1.1   0      true prog tests 1 inspect
70.0 58.4 48   58   160 2800 0     
eca-rers2012/Problem19_label22.yml timeout (false(unreach-call)) .700 prog tests 1914 inspect 900 900 1100 10000 1.1   0      true prog tests 1 inspect
70.0 58.4 48   64   160 2700 0     
eca-rers2012/Problem19_label23.yml timeout .700 prog tests 1918 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   52   160 2700 0     
eca-rers2012/Problem19_label24.yml timeout .700 prog tests 1915 inspect 900 900 1200 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   47   160 3300 0     
eca-rers2012/Problem19_label25.yml timeout .700 prog tests 1914 inspect 900 900 1100 12000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   48   160 3100 0     
eca-rers2012/Problem19_label26.yml timeout (false(unreach-call)) .700 prog tests 1913 inspect 900 900 1100 9100 1.1   0      true prog tests 1 inspect
70.0 58.4 47   48   160 2900 0     
eca-rers2012/Problem19_label27.yml timeout (false(unreach-call)) .700 prog tests 1914 inspect 900 900 1100 9000 1.1   0      true prog tests 1 inspect
70.0 58.4 47   51   160 3100 0     
eca-rers2012/Problem19_label28.yml timeout (false(unreach-call)) .700 prog tests 1910 inspect 900 900 1100 11000 1.1   0      true prog tests 1 inspect
70.0 58.4 47   61   160 2800 0     
eca-rers2012/Problem19_label29.yml timeout (false(unreach-call)) .700 prog tests 1912 inspect 900 900 1100 9800 1.1   0      true prog tests 1 inspect
70.0 58.4 48   48   160 3200 0     
eca-rers2012/Problem19_label30.yml timeout .700 prog tests 1915 inspect 900 900 1100 9600 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   47   160 3100 0     
eca-rers2012/Problem19_label31.yml timeout (false(unreach-call)) .700 prog tests 1914 inspect 900 900 1100 9300 1.1   0      true prog tests 1 inspect
70.0 58.4 49   58   160 3100 0     
eca-rers2012/Problem19_label32.yml timeout (false(unreach-call)) .700 prog tests 1920 inspect 900 900 1100 9800 1.1   0      true prog tests 1 inspect
70.0 58.4 48   62   160 2800 0     
eca-rers2012/Problem19_label33.yml timeout .700 prog tests 1913 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   55   160 3000 0     
eca-rers2012/Problem19_label34.yml timeout .700 prog tests 1917 inspect 900 900 1100 9400 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   53   160 3000 0     
eca-rers2012/Problem19_label35.yml timeout .700 prog tests 1917 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   51   160 3100 0     
eca-rers2012/Problem19_label36.yml timeout .700 prog tests 1915 inspect 900 900 1100 8200 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   52   160 3000 0     
eca-rers2012/Problem19_label37.yml timeout .700 prog tests 1917 inspect 900 900 1200 8900 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   57   160 2900 0     
eca-rers2012/Problem19_label38.yml timeout .700 prog tests 1917 inspect 900 900 1100 9100 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   55   160 2800 0     
eca-rers2012/Problem19_label39.yml timeout .700 prog tests 1915 inspect 900 900 1100 8800 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   60   160 3200 0     
eca-rers2012/Problem19_label40.yml timeout .700 prog tests 1913 inspect 900 900 1100 9400 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   47   160 3100 0     
eca-rers2012/Problem19_label41.yml timeout (false(unreach-call)) .700 prog tests 1915 inspect 900 900 1100 11000 1.0   0      true prog tests 1 inspect
70.0 58.4 47   54   160 3100 0     
eca-rers2012/Problem19_label42.yml timeout (false(unreach-call)) .700 prog tests 1917 inspect 900 900 1100 9900 1.1   0      true prog tests 1 inspect
70.0 58.4 47   55   160 2900 0     
eca-rers2012/Problem19_label43.yml timeout (false(unreach-call)) .700 prog tests 1918 inspect 900 900 1100 9500 1.1   0      true prog tests 1 inspect
70.0 58.4 48   62   160 2900 0     
eca-rers2012/Problem19_label44.yml timeout .700 prog tests 1915 inspect 900 900 1100 9500 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   60   160 2900 0     
eca-rers2012/Problem19_label45.yml timeout .700 prog tests 1913 inspect 900 900 1100 9000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   48   160 3000 0     
eca-rers2012/Problem19_label46.yml timeout .700 prog tests 1914 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   62   160 2800 0     
eca-rers2012/Problem19_label47.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 11000 1.1   0      true prog tests 1 inspect
70.0 58.4 47   46   160 3200 0     
eca-rers2012/Problem19_label48.yml timeout .700 prog tests 1915 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   56   160 3000 0     
eca-rers2012/Problem19_label49.yml timeout .700 prog tests 1917 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   53   160 2800 0     
eca-rers2012/Problem19_label50.yml timeout (false(unreach-call)) .700 prog tests 1909 inspect 900 900 1100 9300 1.1   0      true prog tests 1 inspect
70.0 58.4 48   62   160 2700 0     
eca-rers2012/Problem19_label51.yml timeout (false(unreach-call)) .700 prog tests 1912 inspect 900 900 1100 12000 1.1   0      true prog tests 1 inspect
70.0 58.4 47   62   160 2700 0     
eca-rers2012/Problem19_label52.yml timeout .700 prog tests 1917 inspect 900 900 1100 9400 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   61   160 2800 0     
eca-rers2012/Problem19_label53.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 11000 1.1   0      true prog tests 1 inspect
70.0 58.4 48   61   160 2900 0     
eca-rers2012/Problem19_label54.yml timeout .700 prog tests 1918 inspect 900 900 1100 9000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 48   53   160 3200 0     
eca-rers2012/Problem19_label55.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1200 11000 1.1   0      true prog tests 1 inspect
70.0 58.4 48   49   160 2800 0     
eca-rers2012/Problem19_label56.yml timeout .700 prog tests 1914 inspect 900 900 1100 12000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   52   160 2800 0     
eca-rers2012/Problem19_label57.yml timeout .700 prog tests 1913 inspect 900 900 1100 11000 1.1   0      unknown prog tests 0 inspect
70.0 58.4 47   62   160 2700 0     
eca-rers2012/Problem19_label58.yml timeout (false(unreach-call)) .700 prog tests 1918 inspect 900 900 1100 9700 1.1   0      true prog tests 1 inspect
70.0 58.4 48   52   160 3200 0     
eca-rers2012/Problem19_label59.yml timeout (false(unreach-call)) .700 prog tests 1916 inspect 900 900 1100 9900 1.1   0      true prog tests 1 inspect
70.0 58.4 48   58   160 2800 0     
eca-programs/Problem101_label00.yml timeout .666 prog tests 9580 inspect 900 900 9400 8700 16     .0041 unknown prog tests 0 inspect
66.6 32.0 2100   2100   770 170000 0     
eca-programs/Problem101_label01.yml timeout .663 prog tests 9496 inspect 900 900 9400 7600 11     0      unknown prog tests 0 inspect
66.3 31.7 2000   2000   770 170000 0     
eca-programs/Problem101_label02.yml timeout .662 prog tests 9468 inspect 900 900 9400 5900 11     .0041 unknown prog tests 0 inspect
66.2 31.4 2000   2000   770 170000 0     
eca-programs/Problem101_label03.yml timeout .663 prog tests 9545 inspect 900 900 9400 6800 11     0      unknown prog tests 0 inspect
66.3 31.7 2100   2100   770 170000 0     
eca-programs/Problem101_label04.yml timeout .662 prog tests 9489 inspect 900 900 9400 5300 16     0      unknown prog tests 0 inspect
66.2 31.4 2000   2000   770 180000 0     
eca-programs/Problem101_label05.yml timeout .659 prog tests 9401 inspect 900 900 9400 6200 11     0      unknown prog tests 0 inspect
65.9 31.3 2000   2000   770 170000 0     
eca-programs/Problem101_label06.yml timeout .663 prog tests 9572 inspect 900 900 9400 6800 11     .0041 unknown prog tests 0 inspect
66.3 31.6 2100   2100   770 180000 0     
eca-programs/Problem101_label07.yml timeout .662 prog tests 9505 inspect 900 900 9400 5300 11     0      unknown prog tests 0 inspect
66.2 31.4 2100   2100   770 170000 0     
eca-programs/Problem101_label08.yml timeout .658 prog tests 9435 inspect 900 900 9400 6500 16     0      unknown prog tests 0 inspect
65.8 31.2 2000   2000   770 170000 0     
eca-programs/Problem101_label09.yml timeout .660 prog tests 9518 inspect 900 900 9400 7500 16     0      unknown prog tests 0 inspect
66.0 31.5 2100   2100   770 170000 0     
eca-programs/Problem101_label10.yml timeout .662 prog tests 9517 inspect 900 900 9400 4900 16     0      unknown prog tests 0 inspect
66.2 31.5 2100   2100   770 210000 0     
eca-programs/Problem101_label11.yml timeout .662 prog tests 9540 inspect 900 900 9400 6800 11     0      unknown prog tests 0 inspect
66.2 31.7 2100   2100   770 210000 0     
eca-programs/Problem101_label12.yml timeout .716 prog tests 11558 inspect 700 930 9400 6700 16     0      unknown prog tests 0 inspect
71.6 39.3 2500   2500   780 210000 0     
eca-programs/Problem101_label13.yml timeout .662 prog tests 9547 inspect 900 900 9400 5900 11     .0041 unknown prog tests 0 inspect
66.2 31.7 2000   2100   770 170000 0     
eca-programs/Problem101_label14.yml timeout .663 prog tests 9555 inspect 900 900 9400 5800 14     0      unknown prog tests 0 inspect
66.3 31.8 2100   2100   770 210000 0     
eca-programs/Problem101_label15.yml timeout .662 prog tests 9499 inspect 900 900 9400 5900 16     0      unknown prog tests 0 inspect
66.2 31.5 2000   2000   770 170000 0     
eca-programs/Problem101_label16.yml timeout .660 prog tests 9488 inspect 900 900 9400 5400 11     0      unknown prog tests 0 inspect
66.0 31.4 2000   2000   770 170000 0     
eca-programs/Problem101_label17.yml timeout .659 prog tests 9415 inspect 900 900 9400 5900 16     0      unknown prog tests 0 inspect
65.9 31.2 2000   2100   770 180000 0     
eca-programs/Problem101_label18.yml timeout .66  prog tests 9460 inspect 900 900 9400 4800 16     .0041 unknown prog tests 0 inspect
66.0 31.3 2000   2000   770 180000 0     
eca-programs/Problem101_label19.yml timeout .660 prog tests 9443 inspect 900 900 9400 5400 16     0      unknown prog tests 0 inspect
66.0 31.4 2100   2100   770 170000 0     
eca-programs/Problem101_label20.yml timeout .657 prog tests 9391 inspect 900 900 9400 6500 16     0      unknown prog tests 0 inspect
65.8 31.0 2000   2000   770 170000 0     
eca-programs/Problem101_label21.yml timeout .659 prog tests 9419 inspect 900 900 9400 5900 16     0      unknown prog tests 0 inspect
65.9 31.2 2100   2100   770 170000 0     
eca-programs/Problem101_label22.yml timeout .663 prog tests 9477 inspect 900 900 9400 5800 11     .0041 unknown prog tests 0 inspect
66.3 31.4 2100   2100   770 170000 0     
eca-programs/Problem101_label23.yml timeout .659 prog tests 9433 inspect 900 900 9400 7700 11     .0041 unknown prog tests 0 inspect
65.9 31.1 2000   2000   770 180000 0     
eca-programs/Problem102_label00.yml timeout .632 prog tests 17330 inspect 900 900 9600 7000 22     0      unknown prog tests 0 inspect
63.2 20.6 7200   7200   1600 610000 0     
eca-programs/Problem102_label01.yml timeout .633 prog tests 17296 inspect 900 900 9600 6200 32     0      unknown prog tests 0 inspect
63.3 20.5 7100   7100   1600 640000 0     
eca-programs/Problem102_label02.yml timeout .630 prog tests 17242 inspect 900 900 9600 5900 22     .0082 unknown prog tests 0 inspect
63.0 20.3 7100   7100   1600 640000 0     
eca-programs/Problem102_label03.yml timeout .634 prog tests 17461 inspect 900 900 9600 7200 22     0      unknown prog tests 0 inspect
63.4 20.6 7200   7200   1600 680000 0     
eca-programs/Problem102_label04.yml timeout .632 prog tests 17348 inspect 900 900 9600 5900 22     0      unknown prog tests 0 inspect
63.2 20.5 7200   7200   1600 640000 0     
eca-programs/Problem102_label05.yml timeout .630 prog tests 17175 inspect 900 900 9600 5100 22     .0082 unknown prog tests 0 inspect
63.0 20.3 7200   7200   1600 630000 0     
eca-programs/Problem102_label06.yml timeout .632 prog tests 17364 inspect 900 900 9600 8300 21     .0082 unknown prog tests 0 inspect
63.2 20.6 7200   7200   1600 640000 0     
eca-programs/Problem102_label07.yml timeout .629 prog tests 17245 inspect 900 900 9600 5800 22     .0082 unknown prog tests 0 inspect
62.9 20.4 7200   7200   1600 610000 0     
eca-programs/Problem102_label08.yml timeout .633 prog tests 17393 inspect 900 900 9600 7600 22     .0082 unknown prog tests 0 inspect
63.3 20.6 7100   7100   1600 660000 0     
eca-programs/Problem102_label09.yml timeout .632 prog tests 17373 inspect 900 900 9600 8500 32     0      unknown prog tests 0 inspect
63.2 20.6 7100   7100   1600 610000 0     
eca-programs/Problem102_label10.yml timeout .630 prog tests 17357 inspect 900 900 9600 7200 32     0      unknown prog tests 0 inspect
63.0 20.5 7200   7200   1600 640000 0     
eca-programs/Problem102_label11.yml timeout .631 prog tests 17286 inspect 900 900 9600 5400 22     0      unknown prog tests 0 inspect
63.1 20.4 7200   7200   1600 610000 0     
eca-programs/Problem102_label12.yml timeout .634 prog tests 17436 inspect 900 900 9600 8800 22     0      unknown prog tests 0 inspect
63.4 20.6 7300   7300   1600 620000 0     
eca-programs/Problem102_label13.yml timeout .632 prog tests 17378 inspect 900 900 9600 5400 22     .0041 unknown prog tests 0 inspect
63.2 20.4 7200   7200   1600 640000 0     
eca-programs/Problem102_label14.yml timeout .632 prog tests 17259 inspect 900 900 9600 5200 31     0      unknown prog tests 0 inspect
63.2 20.4 7100   7100   1600 650000 0     
eca-programs/Problem102_label15.yml timeout .632 prog tests 17248 inspect 900 900 9600 6300 22     0      unknown prog tests 0 inspect
63.2 20.4 7100   7100   1600 630000 0     
eca-programs/Problem102_label16.yml timeout .633 prog tests 17366 inspect 900 900 9600 5800 22     0      unknown prog tests 0 inspect
63.3 20.4 7100   7100   1600 680000 0     
eca-programs/Problem102_label17.yml timeout .636 prog tests 17463 inspect 900 900 9600 6900 22     .0082 unknown prog tests 0 inspect
63.6 20.6 7200   7200   1600 620000 0     
eca-programs/Problem102_label18.yml timeout .630 prog tests 17222 inspect 900 900 9600 5900 22     0      unknown prog tests 0 inspect
63.0 20.4 7000   7000   1600 660000 0     
eca-programs/Problem102_label19.yml timeout .632 prog tests 17371 inspect 900 900 9600 5900 21     0      unknown prog tests 0 inspect
63.2 20.5 7400   7400   1600 630000 0     
eca-programs/Problem102_label20.yml timeout .632 prog tests 17329 inspect 900 900 9600 5400 32     0      unknown prog tests 0 inspect
63.2 20.4 7100   7100   1600 660000 0     
eca-programs/Problem102_label21.yml timeout .630 prog tests 17239 inspect 900 900 9600 5400 22     0      unknown prog tests 0 inspect
63.0 20.3 7200   7200   1600 630000 .0041
eca-programs/Problem102_label22.yml timeout .631 prog tests 17360 inspect 900 900 9600 7200 22     0      unknown prog tests 0 inspect
63.1 20.4 7200   7200   1600 630000 0     
eca-programs/Problem102_label23.yml timeout .630 prog tests 17314 inspect 900 900 9600 5700 22     .0041 unknown prog tests 0 inspect
63.0 20.3 7300   7300   1600 620000 0     
eca-programs/Problem102_label24.yml timeout .629 prog tests 17148 inspect 900 900 9600 7200 22     0      unknown prog tests 0 inspect
62.9 20.2 7100   7100   1600 610000 0     
eca-programs/Problem102_label25.yml timeout .632 prog tests 17259 inspect 900 900 9600 5400 22     0      unknown prog tests 0 inspect
63.2 20.4 7200   7200   1600 630000 0     
eca-programs/Problem102_label26.yml timeout .631 prog tests 17218 inspect 900 900 9600 5700 32     0      unknown prog tests 0 inspect
63.1 20.2 7100   7100   1600 630000 0     
eca-programs/Problem102_label27.yml timeout .634 prog tests 17426 inspect 900 900 9600 6300 32     .0041 unknown prog tests 0 inspect
63.4 20.6 7300   7300   1600 640000 0     
eca-programs/Problem102_label28.yml timeout .632 prog tests 17416 inspect 900 900 9600 6800 22     0      unknown prog tests 0 inspect
63.2 20.6 7300   7300   1600 660000 0     
eca-programs/Problem102_label29.yml timeout .630 prog tests 17292 inspect 900 900 9600 5500 32     .0082 unknown prog tests 0 inspect
63.0 20.4 7300   7300   1600 620000 0     
eca-programs/Problem102_label30.yml timeout .635 prog tests 17414 inspect 900 900 9600 7600 22     .0082 unknown prog tests 0 inspect
63.5 20.5 7300   7300   1600 620000 0     
eca-programs/Problem102_label31.yml timeout .633 prog tests 17224 inspect 900 900 9600 6200 22     .0082 unknown prog tests 0 inspect
63.3 20.5 7100   7100   1600 610000 0     
eca-programs/Problem102_label32.yml timeout .631 prog tests 17223 inspect 900 900 9600 5700 22     .0082 unknown prog tests 0 inspect
63.1 20.4 7000   7000   1600 670000 .012 
eca-programs/Problem102_label33.yml timeout .629 prog tests 17096 inspect 900 900 9600 5700 22     0      unknown prog tests 0 inspect
62.9 20.3 7100   7100   1600 620000 0     
eca-programs/Problem102_label34.yml timeout .631 prog tests 17325 inspect 900 900 9600 5200 22     .0082 unknown prog tests 0 inspect
63.1 20.5 7100   7100   1600 630000 0     
eca-programs/Problem102_label35.yml timeout .631 prog tests 17193 inspect 900 900 9600 5200 22     0      unknown prog tests 0 inspect
63.1 20.4 6900   6900   1600 710000 0     
eca-programs/Problem102_label36.yml timeout .630 prog tests 17286 inspect 900 900 9600 5600 22     0      unknown prog tests 0 inspect
63.0 20.4 7100   7100   1600 630000 .0041
eca-programs/Problem102_label37.yml timeout .631 prog tests 17287 inspect 900 900 9600 6700 22     .0082 unknown prog tests 0 inspect
63.1 20.4 7100   7100   1600 670000 0     
eca-programs/Problem102_label38.yml timeout .632 prog tests 17307 inspect 900 900 9600 5400 22     0      unknown prog tests 0 inspect
63.2 20.5 7200   7200   1600 620000 0     
eca-programs/Problem102_label39.yml timeout .629 prog tests 17179 inspect 900 900 9600 5600 21     0      unknown prog tests 0 inspect
62.9 20.2 7100   7100   1600 660000 0     
eca-programs/Problem102_label40.yml timeout .631 prog tests 17252 inspect 900 900 9600 5100 22     .0082 unknown prog tests 0 inspect
63.1 20.4 7200   7200   1600 610000 0     
eca-programs/Problem102_label41.yml timeout .633 prog tests 17290 inspect 900 900 9600 7700 21     .0082 unknown prog tests 0 inspect
63.3 20.5 7100   7100   1600 620000 0     
eca-programs/Problem102_label42.yml timeout .630 prog tests 17282 inspect 900 900 9600 7600 22     0      unknown prog tests 0 inspect
63.0 20.3 7200   7200   1600 640000 0     
eca-programs/Problem102_label43.yml timeout .636 prog tests 17462 inspect 900 900 9600 6800 22     .0041 unknown prog tests 0 inspect
63.6 20.8 7300   7300   1600 670000 0     
eca-programs/Problem102_label44.yml timeout .683 prog tests 19941 inspect 270 930 4700 8200 21     0      unknown prog tests 0 inspect
68.3 25.6 8300   8300   1600 710000 0     
eca-programs/Problem102_label45.yml timeout .631 prog tests 17434 inspect 900 900 9600 6200 32     0      unknown prog tests 0 inspect
63.1 20.5 7100   7100   1600 670000 0     
eca-programs/Problem102_label46.yml timeout .635 prog tests 17347 inspect 900 900 9600 5900 22     0      unknown prog tests 0 inspect
63.5 20.7 7100   7100   1600 640000 0     
eca-programs/Problem102_label47.yml timeout .633 prog tests 17309 inspect 900 900 9600 5700 22     .0082 unknown prog tests 0 inspect
63.3 20.6 7200   7200   1600 640000 0     
eca-programs/Problem102_label48.yml timeout .630 prog tests 17291 inspect 900 900 9600 8300 22     .0082 unknown prog tests 0 inspect
63.0 20.4 7100   7200   1600 630000 0     
eca-programs/Problem102_label49.yml timeout .634 prog tests 17329 inspect 900 900 9600 5600 22     0      unknown prog tests 0 inspect
63.4 20.5 7100   7100   1600 620000 0     
eca-programs/Problem102_label50.yml timeout .629 prog tests 17209 inspect 900 900 9600 5500 32     0      unknown prog tests 0 inspect
62.9 20.2 7100   7100   1600 620000 0     
eca-programs/Problem102_label51.yml timeout .629 prog tests 17216 inspect 900 900 9600 5400 22     .0041 unknown prog tests 0 inspect
62.9 20.3 7200   7300   1600 610000 0     
eca-programs/Problem102_label52.yml timeout .633 prog tests 17271 inspect 900 900 9600 5200 22     .0082 unknown prog tests 0 inspect
63.3 20.6 7200   7200   1600 650000 0     
eca-programs/Problem102_label53.yml timeout .630 prog tests 17349 inspect 900 900 9600 5600 22     .0041 unknown prog tests 0 inspect
63.0 20.3 7100   7100   1600 630000 0     
eca-programs/Problem102_label54.yml timeout .632 prog tests 17373 inspect 900 900 9600 5400 21     .0041 unknown prog tests 0 inspect
63.2 20.6 7200   7200   1600 660000 0     
eca-programs/Problem102_label55.yml timeout .630 prog tests 17328 inspect 900 900 9600 7700 22     0      unknown prog tests 0 inspect
63.0 20.3 7200   7200   1600 640000 0     
eca-programs/Problem102_label56.yml timeout .633 prog tests 17327 inspect 900 900 9600 6300 22     .0082 unknown prog tests 0 inspect
63.3 20.5 7100   7100   1600 620000 0     
eca-programs/Problem102_label57.yml timeout .631 prog tests 17396 inspect 900 900 9600 5600 32     0      unknown prog tests 0 inspect
63.1 20.5 7200   7200   1600 680000 0     
eca-programs/Problem102_label58.yml timeout .632 prog tests 17392 inspect 900 900 9600 5800 22     0      unknown prog tests 0 inspect
63.2 20.6 7300   7300   1600 670000 0     
eca-programs/Problem102_label59.yml timeout .632 prog tests 17419 inspect 900 900 9600 6300 22     0      unknown prog tests 0 inspect
63.2 20.8 7200   7200   1600 630000 0     
eca-programs/Problem103_label32.yml timeout .442 prog tests 18153 inspect 900 900 11000 8200 24     .0082 unknown prog tests 0 inspect
44.2 15.4 8200   8200   1800 800000 0     
eca-programs/Problem103_label35.yml timeout .442 prog tests 18082 inspect 900 900 11000 6700 24     0      unknown prog tests 0 inspect
44.2 15.2 8200   8200   1800 740000 0     
eca-programs/Problem103_label40.yml timeout .443 prog tests 18190 inspect 900 900 11000 6400 24     .0041 unknown prog tests 0 inspect
44.3 15.4 8300   8300   1800 720000 0     
eca-programs/Problem103_label41.yml timeout .443 prog tests 18139 inspect 900 900 11000 7200 24     0      unknown prog tests 0 inspect
44.3 15.4 8200   8200   1800 740000 0     
eca-programs/Problem103_label42.yml timeout .444 prog tests 18118 inspect 900 900 11000 5800 24     0      unknown prog tests 0 inspect
44.4 15.5 8100   8100   1800 730000 0     
eca-programs/Problem103_label43.yml timeout .443 prog tests 18127 inspect 900 900 11000 8100 24     .0082 unknown prog tests 0 inspect
44.3 15.4 8400   8400   1800 730000 0     
eca-programs/Problem103_label44.yml timeout .442 prog tests 18033 inspect 900 900 11000 5600 24     0      unknown prog tests 0 inspect
44.2 15.2 8200   8200   1800 760000 0     
eca-programs/Problem103_label45.yml timeout .442 prog tests 18118 inspect 900 900 11000 8100 24     .0041 unknown prog tests 0 inspect
44.2 15.2 8200   8200   1800 760000 0     
eca-programs/Problem103_label46.yml timeout .443 prog tests 18193 inspect 900 900 11000 4300 24     .0041 unknown prog tests 0 inspect
44.2 15.4 8200   8200   1800 800000 0     
eca-programs/Problem103_label47.yml timeout .443 prog tests 18107 inspect 900 900 11000 7900 24     .0041 unknown prog tests 0 inspect
44.3 15.3 8100   8100   1800 760000 0     
eca-programs/Problem103_label48.yml timeout .445 prog tests 18283 inspect 900 900 11000 8000 24     .0041 unknown prog tests 0 inspect
44.5 15.5 8200   8200   1800 770000 0     
eca-programs/Problem103_label49.yml timeout .443 prog tests 18227 inspect 900 900 11000 5700 24     .0041 unknown prog tests 0 inspect
44.3 15.3 8300   8300   1800 830000 0     
eca-programs/Problem103_label50.yml timeout .444 prog tests 18098 inspect 900 900 11000 6800 24     .0082 unknown prog tests 0 inspect
44.4 15.3 8100   8100   1800 790000 0     
eca-programs/Problem103_label51.yml timeout .441 prog tests 18032 inspect 900 900 11000 5600 24     .0082 unknown prog tests 0 inspect
44.1 15.3 8200   8300   1800 730000 0     
eca-programs/Problem103_label52.yml timeout .444 prog tests 18162 inspect 900 900 11000 8800 35     0      unknown prog tests 0 inspect
44.4 15.5 8200   8200   1800 720000 0     
eca-programs/Problem103_label53.yml timeout .443 prog tests 18101 inspect 900 900 11000 6900 24     .0041 unknown prog tests 0 inspect
44.3 15.3 8200   8200   1800 890000 0     
eca-programs/Problem103_label54.yml timeout .444 prog tests 18246 inspect 900 900 11000 5400 24     0      unknown prog tests 0 inspect
44.4 15.3 8400   8400   1800 730000 0     
eca-programs/Problem103_label55.yml timeout .441 prog tests 18035 inspect 900 900 11000 5700 24     0      unknown prog tests 0 inspect
44.1 15.3 8200   8300   1800 740000 0     
eca-programs/Problem103_label56.yml timeout .443 prog tests 18233 inspect 900 900 11000 6000 24     0      unknown prog tests 0 inspect
44.3 15.3 8200   8200   1800 770000 0     
eca-programs/Problem103_label57.yml timeout .443 prog tests 18211 inspect 900 900 11000 6700 24     0      unknown prog tests 0 inspect
44.3 15.5 8200   8200   1800 770000 0     
eca-programs/Problem103_label58.yml timeout .443 prog tests 18131 inspect 900 900 11000 5700 25     .0082 unknown prog tests 0 inspect
44.3 15.3 8300   8300   1800 730000 .0041
eca-programs/Problem103_label59.yml timeout .441 prog tests 18060 inspect 900 900 11000 6200 24     .0082 unknown prog tests 0 inspect
44.1 15.3 8300   8300   1800 780000 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 721 940000 940000 6400000 8300000 6400 .78 1046 72100 62500 1800000 1800000 470000 160000000 .090
Run set klee.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-klee.test-comp19_prop-coverage-branches.ReachSafety-ECA