Benchmark FairFuzz TBF Test-Suite Validator
Tool FairFuzz TC-0.0.2 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-08 09:39:09 CET 2019-02-08 13:22:04 CET
Run set fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/fairfuzz.2019-02-08_0939.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_label09.yml timeout 1 prog tests 277 inspect 900 830 71 4400 1.8  0     true prog tests 1 inspect
31.5  19.0  .50 .50 58 2.5  0  
eca-rers2012/Problem03_label13.yml timeout 1 prog tests 258 inspect 900 830 70 2700 1.7  0     true prog tests 1 inspect
33.6  20.7  .52 .51 58 3.2  0  
eca-rers2012/Problem03_label26.yml done prog tests 7 inspect 12 11 71 56 .80 0     unknown prog tests 0 inspect
8.86 10.8  .46 .48 57 3.2  0  
eca-rers2012/Problem03_label27.yml timeout 1 prog tests 240 inspect 900 830 70 2700 1.7  0     true prog tests 1 inspect
42.0  34.5  .73 .72 58 10    0  
eca-rers2012/Problem03_label28.yml timeout 1 prog tests 246 inspect 900 830 70 2100 1.7  0     true prog tests 1 inspect
42.4  36.0  .85 .89 58 13    0  
eca-rers2012/Problem03_label31.yml timeout 1 prog tests 301 inspect 900 800 70 7500 1.7  0     true prog tests 1 inspect
41.1  34.6  .84 .85 58 14    0  
eca-rers2012/Problem03_label35.yml timeout 1 prog tests 285 inspect 900 830 71 3500 1.7  0     true prog tests 1 inspect
43.0  38.3  1.0  1.1  57 19    0  
eca-rers2012/Problem03_label37.yml done prog tests 7 inspect 21 20 72 75 .80 0     unknown prog tests 0 inspect
8.86 10.8  .52 .52 57 2.9  0  
eca-rers2012/Problem03_label39.yml timeout 1 prog tests 248 inspect 900 830 72 2100 1.7  0     true prog tests 1 inspect
43.7  41.0  1.1  1.1  58 20    0  
eca-rers2012/Problem03_label43.yml timeout 1 prog tests 267 inspect 900 830 71 4400 1.7  0     true prog tests 1 inspect
42.9  36.9  .91 .99 58 14    0  
eca-rers2012/Problem03_label45.yml timeout 1 prog tests 254 inspect 900 830 71 4000 1.7  0     true prog tests 1 inspect
40.9  32.7  .74 .79 58 9.9  0  
eca-rers2012/Problem03_label50.yml done prog tests 7 inspect 18 17 70 60 .80 0     unknown prog tests 0 inspect
8.86 10.8  .48 .48 57 3.2  0  
eca-rers2012/Problem03_label52.yml timeout 1 prog tests 273 inspect 900 830 70 4000 1.7  0     true prog tests 1 inspect
46.9  46.0  1.3  1.2  58 27    0  
eca-rers2012/Problem04_label04.yml timeout prog tests 487 inspect 900 840 130 2600 3.1  0     unknown prog tests 0 inspect
63.1  52.4  9.3  9.1  110 360    0  
eca-rers2012/Problem04_label06.yml timeout prog tests 439 inspect 900 840 130 2800 3.0  0     unknown prog tests 0 inspect
61.6  50.0  8.8  10    110 330    0  
eca-rers2012/Problem04_label09.yml done prog tests 7 inspect 26 25 130 160 2.1  .061 unknown prog tests 0 inspect
10.2  15.9  1.1  1.1  110 8.9  0  
eca-rers2012/Problem04_label13.yml done prog tests 7 inspect 25 24 130 220 2.1  0     unknown prog tests 0 inspect
10.2  15.9  1.1  1.1  110 7.0  0  
eca-rers2012/Problem04_label15.yml timeout prog tests 497 inspect 900 840 130 2400 3.0  0     unknown prog tests 0 inspect
63.1  51.7  9.8  9.8  110 370    0  
eca-rers2012/Problem04_label18.yml timeout prog tests 417 inspect 900 840 130 2700 3.0  0     unknown prog tests 0 inspect
60.6  46.3  8.2  10    110 310    0  
eca-rers2012/Problem04_label19.yml timeout prog tests 438 inspect 900 840 130 2800 3.1  0     unknown prog tests 0 inspect
58.2  45.0  8.7  8.5  110 330    0  
eca-rers2012/Problem04_label26.yml timeout prog tests 532 inspect 900 840 130 2600 2.5  0     unknown prog tests 0 inspect
65.7  55.8  10    11    110 410    0  
eca-rers2012/Problem04_label31.yml done prog tests 7 inspect 32 30 130 190 2.1  0     unknown prog tests 0 inspect
10.2  15.9  1.1  1.1  110 9.0  0  
eca-rers2012/Problem04_label32.yml timeout prog tests 567 inspect 900 830 130 5000 3.1  0     unknown prog tests 0 inspect
64.8  54.4  11    11    110 420    0  
eca-rers2012/Problem04_label35.yml timeout prog tests 505 inspect 900 830 130 5000 2.5  0     unknown prog tests 0 inspect
62.4  50.9  9.7  9.5  110 380    0  
eca-rers2012/Problem04_label38.yml timeout prog tests 464 inspect 900 840 130 2800 3.1  0     unknown prog tests 0 inspect
60.9  49.4  9.2  11    110 360    0  
eca-rers2012/Problem04_label39.yml done prog tests 7 inspect 29 28 130 170 2.1  0     unknown prog tests 0 inspect
10.2  15.9  1.1  1.1  110 10    0  
eca-rers2012/Problem04_label45.yml timeout prog tests 615 inspect 900 840 130 4000 3.1  0     unknown prog tests 0 inspect
66.4  58.7  12    12    110 470    0  
eca-rers2012/Problem04_label52.yml timeout prog tests 528 inspect 900 840 130 2900 2.7  .061 unknown prog tests 0 inspect
61.9  51.6  10    11    110 390    0  
eca-rers2012/Problem04_label55.yml timeout prog tests 546 inspect 900 830 130 4400 3.2  0     unknown prog tests 0 inspect
63.4  54.1  11    12    110 410    0  
eca-rers2012/Problem05_label00.yml timeout prog tests 870 inspect 900 840 200 3000 6.2  0     unknown prog tests 0 inspect
61.6  43.2  30    33    180 1700    0  
eca-rers2012/Problem05_label01.yml done prog tests 7 inspect 29 28 200 220 5.1  0     unknown prog tests 0 inspect
11.2  15.7  2.1  2.2  180 17    0  
eca-rers2012/Problem05_label11.yml timeout prog tests 1080 inspect 900 850 200 3100 5.3  0     unknown prog tests 0 inspect
63.1  45.1  36    43    180 2500    0  
eca-rers2012/Problem05_label13.yml timeout prog tests 1220 inspect 900 840 200 4900 6.0  0     unknown prog tests 0 inspect
65.1  48.2  41    41    180 2500    0  
eca-rers2012/Problem05_label15.yml timeout prog tests 965 inspect 900 840 200 2000 6.3  0     unknown prog tests 0 inspect
62.1  44.4  32    35    180 2000    0  
eca-rers2012/Problem05_label18.yml timeout prog tests 1062 inspect 900 850 200 3300 6.4  0     unknown prog tests 0 inspect
62.0  43.6  35    37    180 2100    0  
eca-rers2012/Problem05_label24.yml done prog tests 7 inspect 30 29 200 240 3.4  0     unknown prog tests 0 inspect
11.2  15.7  2.2  2.2  180 22    0  
eca-rers2012/Problem05_label26.yml timeout prog tests 986 inspect 900 850 200 2500 6.2  0     unknown prog tests 0 inspect
61.6  43.4  34    39    180 2100    0  
eca-rers2012/Problem05_label30.yml timeout prog tests 1026 inspect 900 840 200 4000 6.0  0     unknown prog tests 0 inspect
62.1  42.5  34    40    180 2100    0  
eca-rers2012/Problem05_label32.yml timeout prog tests 896 inspect 900 850 200 3400 5.6  .061 unknown prog tests 0 inspect
61.0  42.0  31    32    180 1800    0  
eca-rers2012/Problem05_label33.yml timeout prog tests 877 inspect 900 850 200 2600 4.7  0     unknown prog tests 0 inspect
61.5  40.7  30    33    180 1700    0  
eca-rers2012/Problem05_label36.yml done prog tests 7 inspect 29 28 200 260 5.1  0     unknown prog tests 0 inspect
11.2  15.7  2.1  2.1  180 24    0  
eca-rers2012/Problem05_label37.yml timeout prog tests 908 inspect 900 850 200 2800 6.1  0     unknown prog tests 0 inspect
62.0  43.9  31    34    180 1800    0  
eca-rers2012/Problem05_label38.yml timeout prog tests 964 inspect 900 840 200 3000 4.7  0     unknown prog tests 0 inspect
61.9  43.1  32    34    180 2300    0  
eca-rers2012/Problem05_label39.yml timeout prog tests 1151 inspect 900 840 200 4100 5.5  0     unknown prog tests 0 inspect
64.1  48.2  39    44    180 2300    0  
eca-rers2012/Problem05_label40.yml timeout prog tests 1006 inspect 900 850 200 2600 6.2  0     unknown prog tests 0 inspect
61.9  43.3  34    34    180 2000    0  
eca-rers2012/Problem05_label41.yml timeout prog tests 977 inspect 900 850 200 3000 5.8  .061 unknown prog tests 0 inspect
62.7  44.2  33    35    180 1800    0  
eca-rers2012/Problem05_label44.yml timeout prog tests 988 inspect 900 850 200 2900 6.0  0     unknown prog tests 0 inspect
61.6  42.5  33    35    180 2300    0  
eca-rers2012/Problem05_label47.yml done prog tests 7 inspect 37 36 200 240 5.1  0     unknown prog tests 0 inspect
11.2  15.7  2.1  2.1  180 26    0  
eca-rers2012/Problem05_label48.yml done prog tests 7 inspect 29 28 200 260 5.1  .061 unknown prog tests 0 inspect
11.2  15.7  2.2  2.2  180 22    0  
eca-rers2012/Problem05_label51.yml done prog tests 7 inspect 37 35 200 270 5.1  0     unknown prog tests 0 inspect
11.2  15.7  2.1  2.1  180 25    0  
eca-rers2012/Problem05_label55.yml done prog tests 7 inspect 35 33 200 240 5.1  0     unknown prog tests 0 inspect
11.2  15.7  2.2  2.2  180 20    0  
eca-rers2012/Problem05_label57.yml timeout prog tests 1030 inspect 900 850 200 4100 6.3  0     unknown prog tests 0 inspect
61.5  41.9  35    38    180 2000    0  
eca-rers2012/Problem05_label58.yml timeout prog tests 723 inspect 900 840 200 2700 6.1  0     unknown prog tests 0 inspect
59.2  38.0  26    28    180 1400    0  
eca-rers2012/Problem06_label00.yml done prog tests 7 inspect 24 23 190 130 4.0  0     unknown prog tests 0 inspect
9.87 8.70 2.0  2.0  180 22    0  
eca-rers2012/Problem06_label01.yml timeout 1 prog tests 771 inspect 900 840 190 2500 5.1  0     true prog tests 1 inspect
53.2  39.0  13    14    180 750    0  
eca-rers2012/Problem06_label02.yml timeout prog tests 759 inspect 900 840 190 2800 5.0  0     unknown prog tests 0 inspect
56.9  48.8  24    25    180 1400    0  
eca-rers2012/Problem06_label04.yml timeout prog tests 783 inspect 900 840 190 2800 5.1  0     unknown prog tests 0 inspect
56.2  48.7  24    24    180 1400    0  
eca-rers2012/Problem06_label05.yml done prog tests 7 inspect 23 22 190 170 4.0  0     unknown prog tests 0 inspect
9.87 8.70 1.9  2.0  180 23    0  
eca-rers2012/Problem06_label09.yml timeout prog tests 750 inspect 900 840 190 2900 5.0  0     unknown prog tests 0 inspect
56.1  47.4  23    23    180 1100    0  
eca-rers2012/Problem06_label10.yml timeout 1 prog tests 938 inspect 900 830 190 3900 5.0  0     true prog tests 1 inspect
52.3  37.0  8.6  9.0  180 360    0  
eca-rers2012/Problem06_label11.yml timeout 1 prog tests 1231 inspect 900 810 190 6900 5.0  0     true prog tests 1 inspect
49.8  31.9  4.8  5.2  180 190    0  
eca-rers2012/Problem06_label12.yml timeout 1 prog tests 835 inspect 900 840 190 2600 3.9  0     true prog tests 1 inspect
54.9  43.6  13    14    180 730    0  
eca-rers2012/Problem06_label15.yml timeout 1 prog tests 950 inspect 900 840 190 4500 5.1  0     true prog tests 1 inspect
48.9  29.5  5.4  5.7  180 240    0  
eca-rers2012/Problem06_label20.yml done prog tests 7 inspect 22 21 190 160 4.0  0     unknown prog tests 0 inspect
9.87 8.70 1.9  1.9  180 23    0  
eca-rers2012/Problem06_label21.yml timeout prog tests 625 inspect 900 840 190 2700 4.5  0     unknown prog tests 0 inspect
53.2  42.4  20    23    180 1200    0  
eca-rers2012/Problem06_label24.yml timeout 1 prog tests 746 inspect 900 840 190 3200 4.5  0     true prog tests 1 inspect
36.2  17.2  2.4  2.4  180 41    0  
eca-rers2012/Problem06_label27.yml timeout 1 prog tests 1082 inspect 900 840 190 5000 4.7  0     true prog tests 1 inspect
34.4  15.7  2.3  2.3  180 27    0  
eca-rers2012/Problem06_label29.yml timeout 1 prog tests 966 inspect 900 830 190 5500 4.7  0     true prog tests 1 inspect
40.4  19.1  2.7  2.8  180 51    0  
eca-rers2012/Problem06_label33.yml timeout 1 prog tests 907 inspect 900 840 190 2700 5.1  0     true prog tests 1 inspect
16.1  11.2  2.0  2.0  180 12    0  
eca-rers2012/Problem06_label36.yml done prog tests 7 inspect 30 29 190 160 4.0  0     unknown prog tests 0 inspect
9.87 8.70 2.0  2.0  180 21    0  
eca-rers2012/Problem06_label37.yml timeout 1 prog tests 720 inspect 900 840 190 3000 5.1  0     true prog tests 1 inspect
54.8  41.8  14    16    180 770    0  
eca-rers2012/Problem06_label38.yml timeout 1 prog tests 1006 inspect 900 840 190 4000 3.9  .061 true prog tests 1 inspect
40.4  19.3  2.8  3.0  180 60    0  
eca-rers2012/Problem06_label44.yml done prog tests 7 inspect 23 21 190 150 4.0  0     unknown prog tests 0 inspect
9.87 8.70 1.9  2.0  180 17    0  
eca-rers2012/Problem06_label47.yml timeout prog tests 1025 inspect 900 830 190 5600 5.1  0     unknown prog tests 0 inspect
58.8  54.6  31    37    180 1600    0  
eca-rers2012/Problem06_label48.yml timeout 1 prog tests 894 inspect 900 840 190 2700 4.6  0     true prog tests 1 inspect
56.0  46.3  18    21    180 970    0  
eca-rers2012/Problem06_label56.yml timeout 1 prog tests 782 inspect 900 840 190 2500 5.1  0     true prog tests 1 inspect
56.6  49.4  24    26    180 1400    0  
eca-rers2012/Problem06_label58.yml timeout 1 prog tests 1057 inspect 900 840 190 4500 5.0  .061 true prog tests 1 inspect
38.7  17.8  2.8  2.9  180 51    0  
eca-rers2012/Problem06_label59.yml done prog tests 7 inspect 30 29 190 140 4.0  0     unknown prog tests 0 inspect
9.87 8.70 2.0  2.0  180 23    0  
eca-rers2012/Problem07_label03.yml timeout prog tests 1153 inspect 900 870 390 7100 29    0     unknown prog tests 0 inspect
60.9  24.7  260    260    770 20000    0  
eca-rers2012/Problem07_label05.yml timeout prog tests 979 inspect 900 870 390 4500 18    0     unknown prog tests 0 inspect
58.2  22.8  220    220    770 19000    0  
eca-rers2012/Problem07_label06.yml timeout prog tests 757 inspect 900 880 390 4200 19    0     unknown prog tests 0 inspect
55.1  19.9  170    170    770 14000    0  
eca-rers2012/Problem07_label07.yml timeout prog tests 904 inspect 900 870 390 4700 27    0     unknown prog tests 0 inspect
57.4  22.4  200    200    770 17000    0  
eca-rers2012/Problem07_label09.yml timeout prog tests 904 inspect 900 870 390 4800 26    0     unknown prog tests 0 inspect
56.3  22.0  210    210    770 17000    0  
eca-rers2012/Problem07_label11.yml timeout prog tests 718 inspect 900 880 390 3200 24    0     unknown prog tests 0 inspect
53.0  19.7  160    160    770 14000    0  
eca-rers2012/Problem07_label15.yml done prog tests 7 inspect 180 180 390 1900 19    0     unknown prog tests 0 inspect
7.85 12.5  16    16    770 200    0  
eca-rers2012/Problem07_label18.yml timeout prog tests 934 inspect 900 880 390 4800 19    0     unknown prog tests 0 inspect
56.9  21.9  210    210    770 18000    0  
eca-rers2012/Problem07_label19.yml timeout prog tests 1243 inspect 900 880 390 11000 18    0     unknown prog tests 0 inspect
60.1  24.6  270    270    770 26000    0  
eca-rers2012/Problem07_label20.yml timeout prog tests 990 inspect 900 870 390 6400 27    .061 unknown prog tests 0 inspect
55.8  22.2  220    220    770 19000    0  
eca-rers2012/Problem07_label23.yml done prog tests 7 inspect 190 190 390 1600 20    0     unknown prog tests 0 inspect
7.85 12.5  15    15    770 160    0  
eca-rers2012/Problem07_label30.yml done prog tests 7 inspect 190 180 390 2000 26    0     unknown prog tests 0 inspect
7.85 12.5  16    16    770 190    0  
eca-rers2012/Problem07_label31.yml timeout prog tests 912 inspect 900 880 390 5000 29    0     unknown prog tests 0 inspect
57.7  22.3  210    210    770 18000    0  
eca-rers2012/Problem07_label35.yml timeout prog tests 1046 inspect 900 870 390 4600 18    0     unknown prog tests 0 inspect
58.9  23.4  230    230    770 20000    0  
eca-rers2012/Problem07_label36.yml timeout prog tests 788 inspect 900 880 390 4800 20    .061 unknown prog tests 0 inspect
55.4  20.5  180    180    770 15000    0  
eca-rers2012/Problem07_label37.yml timeout prog tests 513 inspect 900 880 390 4300 20    0     unknown prog tests 0 inspect
48.0  17.7  120    120    770 9900    0  
eca-rers2012/Problem07_label39.yml timeout prog tests 718 inspect 900 870 390 4300 19    0     unknown prog tests 0 inspect
52.2  19.7  160    170    770 13000    0  
eca-rers2012/Problem07_label40.yml done prog tests 7 inspect 190 190 390 2100 18    0     unknown prog tests 0 inspect
7.85 12.5  16    16    770 130    0  
eca-rers2012/Problem07_label42.yml timeout prog tests 870 inspect 900 880 390 5600 19    0     unknown prog tests 0 inspect
56.5  21.7  200    200    770 16000    0  
eca-rers2012/Problem07_label44.yml done prog tests 7 inspect 190 190 390 2200 19    0     unknown prog tests 0 inspect
7.85 12.5  15    15    770 170    0  
eca-rers2012/Problem07_label46.yml timeout prog tests 705 inspect 900 870 390 4500 28    0     unknown prog tests 0 inspect
54.4  19.9  160    160    770 13000    0  
eca-rers2012/Problem07_label47.yml timeout prog tests 691 inspect 900 870 390 4400 25    0     unknown prog tests 0 inspect
53.0  19.9  160    160    770 14000    0  
eca-rers2012/Problem07_label48.yml done prog tests 7 inspect 190 190 390 2100 18    0     unknown prog tests 0 inspect
7.85 12.5  17    17    770 220    0  
eca-rers2012/Problem07_label58.yml timeout prog tests 994 inspect 900 870 390 4900 29    0     unknown prog tests 0 inspect
58.8  23.2  220    220    770 21000    0  
eca-rers2012/Problem08_label01.yml timeout prog tests 531 inspect 900 890 760 8100 36    0     unknown prog tests 0 inspect
47.9  13.4  240    240    1600 21000    0  
eca-rers2012/Problem08_label02.yml timeout prog tests 474 inspect 900 890 760 5900 36    0     unknown prog tests 0 inspect
46.4  12.8  220    220    1600 17000    0  
eca-rers2012/Problem08_label04.yml timeout prog tests 349 inspect 900 890 760 5400 38    0     unknown prog tests 0 inspect
42.8  12.3  160    160    1600 14000    0  
eca-rers2012/Problem08_label05.yml timeout prog tests 434 inspect 900 890 760 5700 34    .061 unknown prog tests 0 inspect
45.3  12.8  200    200    1600 15000    0  
eca-rers2012/Problem08_label06.yml done prog tests 7 inspect 370 370 760 4100 36    0     unknown prog tests 0 inspect
5.78 8.73 32    32    1600 280    0  
eca-rers2012/Problem08_label07.yml timeout prog tests 620 inspect 900 890 760 5900 35    .061 unknown prog tests 0 inspect
49.8  14.1  280    280    1600 22000    0  
eca-rers2012/Problem08_label10.yml timeout prog tests 403 inspect 900 880 760 6200 38    0     unknown prog tests 0 inspect
43.9  12.7  190    190    1600 16000    0  
eca-rers2012/Problem08_label13.yml timeout prog tests 444 inspect 900 890 760 9100 34    0     unknown prog tests 0 inspect
45.9  12.7  200    200    1600 16000    0  
eca-rers2012/Problem08_label15.yml done prog tests 7 inspect 360 360 760 4100 37    0     unknown prog tests 0 inspect
5.78 8.73 33    33    1600 390    0  
eca-rers2012/Problem08_label24.yml timeout prog tests 460 inspect 900 890 760 6200 36    0     unknown prog tests 0 inspect
45.1  12.8  210    210    1600 18000    0  
eca-rers2012/Problem08_label25.yml timeout prog tests 503 inspect 900 890 760 6000 35    0     unknown prog tests 0 inspect
47.2  13.1  230    230    1600 19000    0  
eca-rers2012/Problem08_label26.yml timeout prog tests 594 inspect 900 890 760 8600 36    0     unknown prog tests 0 inspect
49.7  13.7  270    270    1600 23000    0  
eca-rers2012/Problem08_label28.yml timeout prog tests 379 inspect 900 880 760 6000 38    0     unknown prog tests 0 inspect
42.9  12.5  180    180    1600 13000    0  
eca-rers2012/Problem08_label29.yml timeout prog tests 601 inspect 900 880 760 7500 35    0     unknown prog tests 0 inspect
48.9  13.6  270    270    1600 23000    0  
eca-rers2012/Problem08_label34.yml timeout prog tests 643 inspect 900 890 760 8300 34    0     unknown prog tests 0 inspect
51.2  14.1  290    290    1600 23000    0  
eca-rers2012/Problem08_label37.yml done prog tests 7 inspect 350 350 760 4400 35    .061 unknown prog tests 0 inspect
5.78 8.73 34    34    1600 430    0  
eca-rers2012/Problem08_label43.yml done prog tests 7 inspect 370 370 760 4400 34    0     unknown prog tests 0 inspect
5.78 8.73 31    31    1600 320    0  
eca-rers2012/Problem08_label46.yml timeout prog tests 514 inspect 900 890 760 6400 54    0     unknown prog tests 0 inspect
47.0  13.2  240    240    1600 18000    0  
eca-rers2012/Problem08_label48.yml timeout prog tests 587 inspect 900 880 760 7400 34    0     unknown prog tests 0 inspect
50.2  13.8  260    260    1600 21000    0  
eca-rers2012/Problem08_label49.yml timeout prog tests 458 inspect 900 890 760 6200 36    0     unknown prog tests 0 inspect
45.5  13.1  210    210    1600 17000    0  
eca-rers2012/Problem08_label50.yml timeout prog tests 518 inspect 900 880 760 7700 38    0     unknown prog tests 0 inspect
47.0  13.2  240    240    1600 19000    0  
eca-rers2012/Problem08_label51.yml done prog tests 7 inspect 360 360 760 3900 37    0     unknown prog tests 0 inspect
5.78 8.73 32    32    1600 390    0  
eca-rers2012/Problem08_label55.yml done prog tests 7 inspect 360 360 760 4100 34    0     unknown prog tests 0 inspect
5.78 8.73 32    32    1600 290    0  
eca-rers2012/Problem08_label59.yml timeout prog tests 582 inspect 900 880 760 7300 38    0     unknown prog tests 0 inspect
48.9  13.7  260    260    1600 20000    0  
eca-rers2012/Problem09_label02.yml timeout prog tests 633 inspect 900 880 760 4400 40    0     unknown prog tests 0 inspect
36.2  11.7  320    320    1800 25000    0  
eca-rers2012/Problem09_label03.yml done prog tests 6 inspect 170 160 760 1600 37    0     unknown prog tests 0 inspect
3.89 3.91 37    37    1800 250    0  
eca-rers2012/Problem09_label06.yml timeout prog tests 512 inspect 900 880 760 4000 43    0     unknown prog tests 0 inspect
36.8  11.7  260    260    1800 22000    0  
eca-rers2012/Problem09_label08.yml timeout prog tests 689 inspect 900 880 760 4700 40    0     unknown prog tests 0 inspect
37.6  11.8  340    350    1800 28000    0  
eca-rers2012/Problem09_label10.yml done prog tests 6 inspect 160 160 760 1700 42    0     unknown prog tests 0 inspect
3.89 3.91 39    39    1800 310    0  
eca-rers2012/Problem09_label11.yml timeout prog tests 585 inspect 900 880 760 6000 47    0     unknown prog tests 0 inspect
35.0  11.6  290    290    1800 24000    0  
eca-rers2012/Problem09_label15.yml timeout prog tests 400 inspect 900 880 760 4300 41    0     unknown prog tests 0 inspect
33.8  10.9  210    210    1800 17000    0  
eca-rers2012/Problem09_label19.yml done prog tests 6 inspect 160 160 760 1800 36    0     unknown prog tests 0 inspect
3.89 3.91 37    37    1800 390    0  
eca-rers2012/Problem09_label20.yml done prog tests 6 inspect 160 160 760 1600 40    .061 unknown prog tests 0 inspect
3.89 3.91 36    36    1800 260    0  
eca-rers2012/Problem09_label32.yml done prog tests 6 inspect 150 150 760 1600 34    0     unknown prog tests 0 inspect
3.89 3.91 37    37    1800 260    0  
eca-rers2012/Problem09_label34.yml done prog tests 6 inspect 160 150 760 2000 60    0     unknown prog tests 0 inspect
3.89 3.91 36    36    1800 280    0  
eca-rers2012/Problem09_label35.yml timeout prog tests 387 inspect 900 880 760 4400 43    0     unknown prog tests 0 inspect
30.9  10.4  200    200    1800 17000    0  
eca-rers2012/Problem09_label36.yml timeout prog tests 509 inspect 900 880 760 4500 46    0     unknown prog tests 0 inspect
35.8  11.5  260    260    1800 21000    0  
eca-rers2012/Problem09_label38.yml timeout prog tests 463 inspect 900 880 760 5000 46    0     unknown prog tests 0 inspect
36.0  11.2  240    240    1800 19000    0  
eca-rers2012/Problem09_label41.yml done prog tests 6 inspect 160 160 760 1900 34    0     unknown prog tests 0 inspect
3.89 3.91 36    36    1800 420    0  
eca-rers2012/Problem09_label44.yml timeout prog tests 601 inspect 900 880 760 6300 42    0     unknown prog tests 0 inspect
38.0  11.9  300    300    1800 24000    0  
eca-rers2012/Problem09_label46.yml done prog tests 6 inspect 170 160 760 1500 34    0     unknown prog tests 0 inspect
3.89 3.91 36    36    1800 400    0  
eca-rers2012/Problem09_label47.yml done prog tests 6 inspect 160 160 760 1600 43    0     unknown prog tests 0 inspect
3.89 3.91 36    36    1800 310    0  
eca-rers2012/Problem09_label51.yml timeout prog tests 533 inspect 900 880 760 4200 44    0     unknown prog tests 0 inspect
36.2  11.5  270    270    1800 21000    0  
eca-rers2012/Problem09_label53.yml timeout prog tests 684 inspect 900 880 760 5000 46    0     unknown prog tests 0 inspect
38.4  12.0  340    340    1800 28000    0  
eca-rers2012/Problem09_label54.yml done prog tests 6 inspect 170 160 760 1600 35    0     unknown prog tests 0 inspect
3.89 3.91 37    37    1800 400    0  
eca-rers2012/Problem09_label56.yml timeout prog tests 528 inspect 900 880 760 4900 41    0     unknown prog tests 0 inspect
36.2  11.5  270    270    1800 22000    0  
eca-rers2012/Problem09_label57.yml timeout prog tests 556 inspect 900 880 760 6500 43    0     unknown prog tests 0 inspect
36.9  11.8  280    280    1800 26000    0  
eca-rers2012/Problem09_label59.yml done prog tests 6 inspect 160 160 760 1500 43    0     unknown prog tests 0 inspect
3.89 3.91 36    36    1800 250    0  
eca-rers2012/Problem10_label12.yml done prog tests 6 inspect 21 19 28 89 .46 0     unknown prog tests 0 inspect
19.2  35.4  .25 .25 30 .97 0  
eca-rers2012/Problem10_label15.yml timeout 1 prog tests 367 inspect 900 830 30 4300 1.4  0     true prog tests 1 inspect
72.8  74.6  .63 .65 30 6.6  0  
eca-rers2012/Problem10_label24.yml timeout 1 prog tests 334 inspect 900 830 31 2300 1.4  0     true prog tests 1 inspect
74.5  78.3  .70 .76 30 8.8  0  
eca-rers2012/Problem10_label26.yml timeout 1 prog tests 312 inspect 900 830 28 2800 1.4  0     true prog tests 1 inspect
74.3  76.2  .63 .64 30 6.9  0  
eca-rers2012/Problem10_label28.yml timeout 1 prog tests 337 inspect 900 830 29 2600 1.4  0     true prog tests 1 inspect
73.4  74.4  .66 .64 30 8.3  0  
eca-rers2012/Problem10_label29.yml done prog tests 6 inspect 18 16 28 96 .46 0     unknown prog tests 0 inspect
19.2  35.4  .25 .25 30 .97 0  
eca-rers2012/Problem10_label41.yml timeout 1 prog tests 382 inspect 900 830 30 3600 1.4  0     true prog tests 1 inspect
63.0  54.1  .27 .27 30 1.1  0  
eca-rers2012/Problem10_label42.yml timeout 1 prog tests 338 inspect 900 830 29 3900 1.4  0     true prog tests 1 inspect
72.7  74.6  .54 .53 30 6.0  0  
eca-rers2012/Problem10_label46.yml done prog tests 6 inspect 22 20 28 78 .46 0     unknown prog tests 0 inspect
19.2  35.4  .24 .24 30 .97 0  
eca-rers2012/Problem10_label47.yml false(unreach-call) 1 prog tests 293 inspect 510 470 28 2300 .95 0     true prog tests 1 inspect
77.0  88.8  1.4  1.3  30 23    0  
eca-rers2012/Problem10_label48.yml timeout 1 prog tests 336 inspect 900 830 30 4400 1.4  0     true prog tests 1 inspect
71.6  72.5  .51 .52 30 5.5  0  
eca-rers2012/Problem10_label50.yml timeout 1 prog tests 347 inspect 900 830 29 2600 1.4  0     true prog tests 1 inspect
73.3  74.8  .54 .59 30 5.9  0  
eca-rers2012/Problem10_label55.yml timeout 1 prog tests 325 inspect 900 830 29 2800 1.4  0     true prog tests 1 inspect
55.3  46.6  .26 .26 30 .88 0  
eca-rers2012/Problem10_label57.yml timeout 1 prog tests 373 inspect 900 830 30 3200 1.4  0     true prog tests 1 inspect
70.9  68.3  .43 .42 30 3.9  0  
eca-rers2012/Problem10_label58.yml timeout 1 prog tests 370 inspect 900 820 30 3900 1.5  0     true prog tests 1 inspect
66.4  63.2  .36 .35 30 2.7  0  
eca-rers2012/Problem11_label00.yml done prog tests 7 inspect 21 19 47 110 .59 0     unknown prog tests 0 inspect
15.0  26.1  .35 .34 44 1.8  0  
eca-rers2012/Problem11_label08.yml timeout 1 prog tests 307 inspect 900 830 47 3500 1.5  0     true prog tests 1 inspect
37.7  30.2  .41 .41 44 1.3  0  
eca-rers2012/Problem11_label14.yml timeout 1 prog tests 285 inspect 900 830 46 2700 1.5  0     true prog tests 1 inspect
27.6  26.3  .36 .36 44 1.1  0  
eca-rers2012/Problem11_label15.yml done prog tests 7 inspect 26 24 47 100 .59 0     unknown prog tests 0 inspect
15.0  26.1  .35 .34 44 1.8  0  
eca-rers2012/Problem11_label20.yml timeout 1 prog tests 272 inspect 900 830 47 2500 1.5  0     true prog tests 1 inspect
57.7  47.3  .61 .62 44 7.5  0  
eca-rers2012/Problem11_label29.yml timeout 1 prog tests 260 inspect 900 830 47 2400 1.5  0     true prog tests 1 inspect
54.0  44.4  .58 .57 44 6.9  0  
eca-rers2012/Problem11_label31.yml timeout 1 prog tests 287 inspect 900 830 47 3700 1.5  0     true prog tests 1 inspect
56.9  45.3  .62 .63 44 7.4  0  
eca-rers2012/Problem11_label34.yml timeout 1 prog tests 278 inspect 900 830 47 2700 1.5  0     true prog tests 1 inspect
59.4  53.7  .94 .91 44 16    0  
eca-rers2012/Problem11_label36.yml timeout 1 prog tests 274 inspect 900 830 47 2300 1.5  0     true prog tests 1 inspect
61.3  55.9  1.1  1.1  44 21    0  
eca-rers2012/Problem11_label39.yml timeout 1 prog tests 281 inspect 900 820 47 3900 1.5  0     true prog tests 1 inspect
53.2  41.6  .45 .44 44 3.1  0  
eca-rers2012/Problem11_label42.yml timeout 1 prog tests 304 inspect 900 830 47 4100 1.5  0     true prog tests 1 inspect
48.0  34.8  .44 .44 44 2.9  0  
eca-rers2012/Problem11_label43.yml timeout 1 prog tests 287 inspect 900 830 47 3900 1.5  0     true prog tests 1 inspect
63.0  59.3  2.1  2.0  44 40    0  
eca-rers2012/Problem11_label49.yml timeout 1 prog tests 258 inspect 900 830 47 2400 1.5  0     true prog tests 1 inspect
59.6  54.1  .92 .87 44 16    0  
eca-rers2012/Problem11_label51.yml timeout 1 prog tests 301 inspect 900 820 47 3700 1.5  0     true prog tests 1 inspect
52.0  39.5  .50 .51 44 3.8  0  
eca-rers2012/Problem11_label58.yml timeout 1 prog tests 256 inspect 900 830 47 2300 1.5  0     true prog tests 1 inspect
50.3  37.5  .44 .44 44 3.6  0  
eca-rers2012/Problem12_label00.yml timeout 1 prog tests 974 inspect 900 840 110 3000 2.6  0     true prog tests 1 inspect
86.6  86.1  13    14    100 500    0  
eca-rers2012/Problem12_label03.yml timeout 1 prog tests 1044 inspect 900 840 110 2400 2.8  0     true prog tests 1 inspect
81.3  68.5  5.4  5.3  100 190    0  
eca-rers2012/Problem12_label06.yml timeout 1 prog tests 1083 inspect 900 840 110 3100 2.6  0     true prog tests 1 inspect
66.5  41.1  1.9  1.9  100 39    0  
eca-rers2012/Problem12_label07.yml timeout 1 prog tests 1160 inspect 900 830 110 4000 2.6  0     true prog tests 1 inspect
85.7  81.7  9.0  9.1  100 340    0  
eca-rers2012/Problem12_label08.yml timeout 1 prog tests 851 inspect 900 840 110 2600 2.5  0     true prog tests 1 inspect
47.4  26.2  1.4  1.4  100 17    0  
eca-rers2012/Problem12_label10.yml done prog tests 7 inspect 16 15 110 110 1.5  0     unknown prog tests 0 inspect
9.93 18.5  1.1  1.1  99 7.8  0  
eca-rers2012/Problem12_label13.yml timeout 1 prog tests 878 inspect 900 840 110 2600 2.6  0     true prog tests 1 inspect
83.2  73.9  7.7  7.6  100 280    0  
eca-rers2012/Problem12_label19.yml timeout prog tests 1115 inspect 900 830 110 3900 2.6  0     unknown prog tests 0 inspect
89.2  96.2  18    17    100 720    0  
eca-rers2012/Problem12_label20.yml timeout 1 prog tests 1145 inspect 900 840 110 3100 2.7  0     true prog tests 1 inspect
85.7  80.0  9.3  10    100 360    0  
eca-rers2012/Problem12_label21.yml timeout 1 prog tests 1257 inspect 900 830 110 4700 2.5  0     true prog tests 1 inspect
82.5  71.2  5.2  6.1  100 180    0  
eca-rers2012/Problem12_label25.yml timeout 1 prog tests 1140 inspect 900 830 110 3800 2.7  0     true prog tests 1 inspect
89.0  95.2  16    18    100 640    0  
eca-rers2012/Problem12_label28.yml timeout 1 prog tests 1261 inspect 900 830 110 4000 2.6  0     true prog tests 1 inspect
69.4  44.6  2.2  2.3  100 49    0  
eca-rers2012/Problem12_label30.yml done prog tests 7 inspect 23 22 110 99 1.5  0     unknown prog tests 0 inspect
9.93 18.5  1.0  1.0  99 9.1  0  
eca-rers2012/Problem12_label34.yml done prog tests 7 inspect 22 20 110 95 1.5  0     unknown prog tests 0 inspect
9.93 18.5  1.1  1.1  99 9.1  0  
eca-rers2012/Problem12_label35.yml timeout 1 prog tests 1126 inspect 900 840 110 3000 2.5  0     true prog tests 1 inspect
83.6  74.2  6.8  7.4  100 240    0  
eca-rers2012/Problem12_label37.yml done prog tests 7 inspect 17 15 110 99 1.5  0     unknown prog tests 0 inspect
9.93 18.5  1.0  1.0  99 9.1  0  
eca-rers2012/Problem12_label38.yml timeout 1 prog tests 971 inspect 900 840 110 2800 2.7  0     true prog tests 1 inspect
74.3  51.9  3.2  3.4  100 92    0  
eca-rers2012/Problem12_label39.yml timeout 1 prog tests 1270 inspect 900 800 110 7600 2.6  0     true prog tests 1 inspect
63.4  35.6  1.6  1.7  100 26    0  
eca-rers2012/Problem12_label40.yml timeout 1 prog tests 1108 inspect 900 840 110 2200 2.5  0     true prog tests 1 inspect
82.4  75.1  7.5  9.1  100 280    0  
eca-rers2012/Problem12_label42.yml timeout 1 prog tests 1164 inspect 900 840 110 2900 2.6  0     true prog tests 1 inspect
83.2  72.8  6.6  6.5  100 240    0  
eca-rers2012/Problem12_label48.yml done prog tests 7 inspect 18 17 110 93 1.5  0     unknown prog tests 0 inspect
9.93 18.5  1.0  1.0  99 8.8  0  
eca-rers2012/Problem12_label50.yml timeout 1 prog tests 1054 inspect 900 830 110 4300 2.7  0     true prog tests 1 inspect
84.6  79.5  8.3  8.7  100 300    0  
eca-rers2012/Problem12_label51.yml done prog tests 8 inspect 19 18 110 100 1.5  0     unknown prog tests 0 inspect
10.2  18.6  1.1  1.1  99 8.9  0  
eca-rers2012/Problem12_label52.yml timeout 1 prog tests 1195 inspect 900 830 110 4700 2.6  0     true prog tests 1 inspect
51.1  26.7  1.2  1.2  100 13    0  
eca-rers2012/Problem12_label55.yml timeout 1 prog tests 1070 inspect 900 840 110 2400 2.6  0     true prog tests 1 inspect
58.6  32.5  1.5  1.5  100 22    0  
eca-rers2012/Problem13_label04.yml timeout 1 prog tests 841 inspect 900 840 140 2600 3.0  0     true prog tests 1 inspect
69.7  50.6  5.8  6.4  120 220    0  
eca-rers2012/Problem13_label06.yml done prog tests 6 inspect 16 15 140 100 1.9  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 8.5  0  
eca-rers2012/Problem13_label07.yml done prog tests 6 inspect 18 17 140 120 2.0  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 8.8  0  
eca-rers2012/Problem13_label11.yml timeout 1 prog tests 991 inspect 900 830 140 3500 2.9  0     true prog tests 1 inspect
71.2  54.7  7.9  9.1  120 330    0  
eca-rers2012/Problem13_label12.yml timeout 1 prog tests 770 inspect 900 840 140 2500 3.0  0     true prog tests 1 inspect
58.8  34.3  2.3  2.4  120 53    0  
eca-rers2012/Problem13_label16.yml timeout 1 prog tests 857 inspect 900 840 140 2400 3.1  0     true prog tests 1 inspect
71.6  56.2  9.9  9.8  120 400    0  
eca-rers2012/Problem13_label19.yml timeout 1 prog tests 912 inspect 900 840 140 2800 3.0  0     true prog tests 1 inspect
55.7  29.6  1.8  1.9  120 28    0  
eca-rers2012/Problem13_label21.yml timeout 1 prog tests 883 inspect 900 840 140 3200 2.9  0     true prog tests 1 inspect
54.1  27.6  1.8  2.0  120 28    0  
eca-rers2012/Problem13_label23.yml timeout 1 prog tests 765 inspect 900 840 140 2700 3.0  0     true prog tests 1 inspect
68.0  46.9  5.9  5.9  120 230    0  
eca-rers2012/Problem13_label24.yml done prog tests 6 inspect 21 20 140 110 1.8  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 8.7  0  
eca-rers2012/Problem13_label25.yml done prog tests 6 inspect 19 18 140 110 2.0  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 10    0  
eca-rers2012/Problem13_label28.yml timeout 1 prog tests 811 inspect 900 840 140 2500 2.9  0     true prog tests 1 inspect
69.2  49.9  6.8  8.0  120 260    0  
eca-rers2012/Problem13_label29.yml timeout 1 prog tests 911 inspect 900 840 140 2900 3.0  0     true prog tests 1 inspect
60.5  35.4  2.5  2.5  120 63    0  
eca-rers2012/Problem13_label30.yml timeout 1 prog tests 921 inspect 900 840 140 2900 2.8  0     true prog tests 1 inspect
68.4  47.9  4.8  4.7  120 170    0  
eca-rers2012/Problem13_label32.yml timeout 1 prog tests 976 inspect 900 830 140 4400 3.1  0     true prog tests 1 inspect
66.3  42.9  3.6  3.6  120 110    0  
eca-rers2012/Problem13_label35.yml timeout 1 prog tests 920 inspect 900 840 140 2700 3.0  0     true prog tests 1 inspect
73.5  60.9  17    20    120 780    0  
eca-rers2012/Problem13_label36.yml timeout 1 prog tests 831 inspect 900 840 140 2600 3.1  0     true prog tests 1 inspect
59.4  35.0  2.5  2.7  120 62    0  
eca-rers2012/Problem13_label40.yml timeout 1 prog tests 1104 inspect 900 830 140 3000 2.8  0     true prog tests 1 inspect
52.5  26.2  1.7  1.7  120 23    0  
eca-rers2012/Problem13_label43.yml done prog tests 6 inspect 22 21 140 130 2.0  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 10    0  
eca-rers2012/Problem13_label44.yml timeout 1 prog tests 933 inspect 900 830 140 4000 3.0  0     true prog tests 1 inspect
73.3  60.1  14    14    120 620    0  
eca-rers2012/Problem13_label45.yml timeout 1 prog tests 971 inspect 900 830 140 4800 3.1  0     true prog tests 1 inspect
25.1  17.5  1.3  1.3  120 7.0  0  
eca-rers2012/Problem13_label48.yml timeout 1 prog tests 940 inspect 900 840 140 3700 2.9  0     true prog tests 1 inspect
50.3  25.9  1.7  1.7  120 21    0  
eca-rers2012/Problem13_label51.yml done prog tests 6 inspect 14 14 140 110 2.0  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 8.5  0  
eca-rers2012/Problem13_label54.yml timeout 1 prog tests 974 inspect 900 830 140 3600 3.1  0     true prog tests 1 inspect
63.6  38.7  2.6  2.6  120 73    0  
eca-rers2012/Problem13_label58.yml done prog tests 6 inspect 16 15 140 110 2.0  0     unknown prog tests 0 inspect
10.6  16.8  1.3  1.3  120 10    0  
eca-rers2012/Problem15_label00.yml timeout 1 prog tests 328 inspect 900 830 62 3700 1.6  0     true prog tests 1 inspect
59.2  50.1  1.3  1.3  64 27    0  
eca-rers2012/Problem15_label02.yml timeout 1 prog tests 291 inspect 900 830 62 2100 1.7  0     true prog tests 1 inspect
61.6  51.6  1.6  1.9  64 38    0  
eca-rers2012/Problem15_label03.yml timeout 1 prog tests 325 inspect 900 830 63 4300 1.5  0     true prog tests 1 inspect
56.2  42.7  .96 .95 64 16    0  
eca-rers2012/Problem15_label07.yml done prog tests 10 inspect 35 33 62 110 .71 0     unknown prog tests 0 inspect
14.4  21.6  .52 .52 63 3.8  0  
eca-rers2012/Problem15_label09.yml timeout 1 prog tests 275 inspect 900 830 61 2600 1.7  0     true prog tests 1 inspect
55.5  42.0  .86 .91 64 12    0  
eca-rers2012/Problem15_label14.yml timeout 1 prog tests 341 inspect 900 830 62 4600 1.7  0     true prog tests 1 inspect
56.5  45.2  1.3  1.4  64 24    0  
eca-rers2012/Problem15_label15.yml timeout 1 prog tests 306 inspect 900 830 62 4100 1.6  0     true prog tests 1 inspect
34.0  23.8  .53 .53 64 1.8  0  
eca-rers2012/Problem15_label22.yml timeout 1 prog tests 280 inspect 900 830 62 2400 1.7  .061 true prog tests 1 inspect
59.0  50.7  1.7  1.6  64 41    0  
eca-rers2012/Problem15_label23.yml timeout 1 prog tests 300 inspect 900 830 61 3000 1.7  0     true prog tests 1 inspect
50.1  35.6  .70 .71 64 7.0  0  
eca-rers2012/Problem15_label25.yml timeout 1 prog tests 298 inspect 900 830 62 2800 1.7  0     true prog tests 1 inspect
49.5  36.0  .69 .71 64 7.7  0  
eca-rers2012/Problem15_label29.yml timeout 1 prog tests 319 inspect 900 830 61 3500 1.7  0     true prog tests 1 inspect
63.4  54.0  2.1  2.3  64 50    0  
eca-rers2012/Problem15_label30.yml timeout 1 prog tests 305 inspect 900 820 61 5000 1.6  0     true prog tests 1 inspect
62.4  53.9  1.6  1.8  64 37    0  
eca-rers2012/Problem15_label33.yml timeout 1 prog tests 321 inspect 900 830 62 3900 1.7  0     true prog tests 1 inspect
54.1  39.0  .89 .95 64 13    0  
eca-rers2012/Problem15_label34.yml timeout 1 prog tests 307 inspect 900 830 62 4700 1.7  0     true prog tests 1 inspect
62.9  52.9  1.8  2.1  64 43    0  
eca-rers2012/Problem15_label37.yml done prog tests 7 inspect 26 24 62 91 .71 0     unknown prog tests 0 inspect
12.9  21.3  .51 .59 63 2.8  0  
eca-rers2012/Problem15_label38.yml timeout 1 prog tests 291 inspect 900 830 62 2900 1.7  0     true prog tests 1 inspect
45.6  31.5  .66 .70 64 6.0  0  
eca-rers2012/Problem15_label39.yml timeout 1 prog tests 308 inspect 900 830 62 3100 1.6  0     true prog tests 1 inspect
27.4  21.8  .53 .53 64 1.5  0  
eca-rers2012/Problem15_label40.yml timeout 1 prog tests 318 inspect 900 830 62 4100 1.7  0     true prog tests 1 inspect
64.7  58.6  2.3  2.3  64 60    0  
eca-rers2012/Problem15_label41.yml timeout 1 prog tests 324 inspect 900 830 62 2900 1.7  .061 true prog tests 1 inspect
39.8  26.4  .53 .53 64 2.1  0  
eca-rers2012/Problem15_label45.yml done prog tests 8 inspect 28 26 62 100 .71 0     unknown prog tests 0 inspect
13.2  21.4  .50 .50 64 3.3  0  
eca-rers2012/Problem15_label47.yml timeout 1 prog tests 312 inspect 900 820 62 4700 1.6  0     true prog tests 1 inspect
52.6  38.0  .77 .75 64 11    0  
eca-rers2012/Problem15_label48.yml timeout 1 prog tests 275 inspect 900 830 62 2400 1.6  0     true prog tests 1 inspect
49.7  34.1  .66 .65 64 6.0  0  
eca-rers2012/Problem15_label50.yml timeout 1 prog tests 312 inspect 900 830 62 4500 1.7  0     true prog tests 1 inspect
20.0  21.3  .52 .52 64 1.3  0  
eca-rers2012/Problem15_label51.yml timeout 1 prog tests 296 inspect 900 830 61 3100 1.7  0     true prog tests 1 inspect
65.0  58.7  2.2  2.3  64 59    0  
eca-rers2012/Problem16_label00.yml timeout prog tests 223 inspect 900 830 52 2300 1.7  0     unknown prog tests 0 inspect
66.3  68.2  2.1  2.3  52 52    0  
eca-rers2012/Problem16_label01.yml timeout prog tests 271 inspect 900 830 52 3300 1.7  0     unknown prog tests 0 inspect
68.5  71.5  2.5  2.8  52 63    0  
eca-rers2012/Problem16_label03.yml timeout prog tests 237 inspect 900 830 52 4400 1.6  0     unknown prog tests 0 inspect
64.0  68.7  2.2  2.2  52 55    0  
eca-rers2012/Problem16_label04.yml timeout prog tests 215 inspect 900 830 52 4500 1.7  0     unknown prog tests 0 inspect
62.6  65.0  2.0  2.3  52 50    0  
eca-rers2012/Problem16_label05.yml timeout prog tests 216 inspect 900 830 52 2800 1.6  0     unknown prog tests 0 inspect
63.9  67.7  2.0  2.7  52 50    0  
eca-rers2012/Problem16_label06.yml timeout prog tests 190 inspect 900 830 52 2200 1.6  0     unknown prog tests 0 inspect
60.5  62.3  1.8  2.3  52 45    0  
eca-rers2012/Problem16_label08.yml timeout prog tests 203 inspect 900 830 52 2900 1.6  0     unknown prog tests 0 inspect
62.2  66.2  2.0  2.0  52 48    0  
eca-rers2012/Problem16_label14.yml timeout prog tests 234 inspect 900 820 52 4000 1.5  .061 unknown prog tests 0 inspect
62.4  65.0  2.1  2.0  52 55    0  
eca-rers2012/Problem16_label15.yml done prog tests 8 inspect 27 25 52 81 .70 0     unknown prog tests 0 inspect
11.3  18.8  .45 .45 52 2.9  0  
eca-rers2012/Problem16_label18.yml done prog tests 7 inspect 23 21 52 93 .69 0     unknown prog tests 0 inspect
9.92 18.7  .42 .42 52 2.6  0  
eca-rers2012/Problem16_label20.yml timeout prog tests 271 inspect 900 830 52 3900 1.7  0     unknown prog tests 0 inspect
67.5  69.2  2.5  2.4  52 64    0  
eca-rers2012/Problem16_label22.yml done prog tests 7 inspect 23 22 52 84 .70 0     unknown prog tests 0 inspect
9.92 18.7  .43 .44 52 2.5  0  
eca-rers2012/Problem16_label27.yml timeout prog tests 194 inspect 900 830 52 2700 1.6  0     unknown prog tests 0 inspect
55.6  56.6  1.9  1.8  52 46    0  
eca-rers2012/Problem16_label30.yml timeout prog tests 270 inspect 900 830 52 4000 1.6  0     unknown prog tests 0 inspect
68.0  71.6  2.4  2.9  52 63    0  
eca-rers2012/Problem16_label31.yml timeout prog tests 258 inspect 900 820 52 4700 1.6  0     unknown prog tests 0 inspect
67.0  69.3  2.4  2.3  52 60    0  
eca-rers2012/Problem16_label33.yml done prog tests 7 inspect 24 22 52 85 .70 0     unknown prog tests 0 inspect
9.92 18.7  .44 .47 51 2.6  0  
eca-rers2012/Problem16_label37.yml timeout prog tests 210 inspect 900 830 52 2200 1.6  0     unknown prog tests 0 inspect
59.4  62.7  1.9  2.2  52 49    0  
eca-rers2012/Problem16_label38.yml timeout prog tests 194 inspect 900 830 52 2700 1.7  0     unknown prog tests 0 inspect
60.8  60.3  1.9  1.9  52 45    0  
eca-rers2012/Problem16_label41.yml timeout prog tests 229 inspect 900 820 52 3700 1.6  0     unknown prog tests 0 inspect
60.5  65.9  2.1  2.3  52 53    0  
eca-rers2012/Problem16_label43.yml timeout prog tests 254 inspect 900 830 52 3500 1.7  0     unknown prog tests 0 inspect
69.4  75.6  2.3  2.5  52 60    0  
eca-rers2012/Problem16_label44.yml timeout prog tests 265 inspect 900 820 52 4800 1.6  0     unknown prog tests 0 inspect
67.4  69.1  2.4  2.8  52 62    0  
eca-rers2012/Problem16_label46.yml timeout prog tests 235 inspect 900 830 52 3700 1.7  0     unknown prog tests 0 inspect
63.9  64.1  2.1  2.0  52 55    0  
eca-rers2012/Problem16_label51.yml done prog tests 7 inspect 28 26 52 85 .70 0     unknown prog tests 0 inspect
9.92 18.7  .45 .44 51 2.5  0  
eca-rers2012/Problem16_label52.yml timeout prog tests 182 inspect 900 830 52 2900 1.5  0     unknown prog tests 0 inspect
56.9  59.2  1.8  2.2  52 43    0  
eca-rers2012/Problem16_label54.yml timeout prog tests 196 inspect 900 830 52 2300 1.6  0     unknown prog tests 0 inspect
61.5  63.8  1.8  1.8  52 46    0  
eca-rers2012/Problem17_label04.yml timeout 1 prog tests 427 inspect 900 840 94 2500 2.1  0     true prog tests 1 inspect
57.2  38.5  1.2  1.2  81 20    0  
eca-rers2012/Problem17_label07.yml timeout 1 prog tests 428 inspect 900 830 93 2900 2.0  0     true prog tests 1 inspect
65.8  52.0  2.8  3.1  81 83    0  
eca-rers2012/Problem17_label09.yml timeout 1 prog tests 407 inspect 900 840 94 2600 2.0  0     true prog tests 1 inspect
46.0  28.6  .88 .88 81 7.6  0  
eca-rers2012/Problem17_label13.yml done prog tests 7 inspect 29 27 93 94 1.0  0     unknown prog tests 0 inspect
11.3  20.6  .73 .73 81 5.4  0  
eca-rers2012/Problem17_label16.yml done prog tests 8 inspect 14 13 93 140 1.0  0     unknown prog tests 0 inspect
11.7  20.7  .70 .70 81 5.8  0  
eca-rers2012/Problem17_label20.yml timeout 1 prog tests 389 inspect 900 830 93 2700 2.0  0     true prog tests 1 inspect
41.5  26.9  .89 .91 81 7.8  0  
eca-rers2012/Problem17_label23.yml timeout 1 prog tests 401 inspect 900 840 93 2700 2.0  0     true prog tests 1 inspect
67.6  57.9  3.5  3.4  81 120    0  
eca-rers2012/Problem17_label25.yml timeout 1 prog tests 433 inspect 900 820 93 5000 2.0  0     true prog tests 1 inspect
45.0  28.1  .85 .95 81 6.4  0  
eca-rers2012/Problem17_label26.yml timeout 1 prog tests 382 inspect 900 830 93 2600 1.9  0     true prog tests 1 inspect
44.4  27.2  .85 .88 81 7.5  0  
eca-rers2012/Problem17_label30.yml done prog tests 7 inspect 20 18 94 140 1.0  0     unknown prog tests 0 inspect
11.3  20.6  .79 .78 80 4.6  0  
eca-rers2012/Problem17_label31.yml timeout 1 prog tests 416 inspect 900 840 93 2400 2.1  0     true prog tests 1 inspect
63.9  49.3  2.1  2.4  81 57    0  
eca-rers2012/Problem17_label33.yml timeout 1 prog tests 403 inspect 900 840 92 2400 2.0  0     true prog tests 1 inspect
68.8  60.1  4.3  4.2  81 150    0  
eca-rers2012/Problem17_label34.yml timeout 1 prog tests 386 inspect 900 830 94 3400 2.0  0     true prog tests 1 inspect
39.6  24.2  .88 .89 81 5.0  0  
eca-rers2012/Problem17_label35.yml timeout 1 prog tests 436 inspect 900 830 93 4600 2.0  0     true prog tests 1 inspect
57.0  37.8  1.3  1.2  81 23    0  
eca-rers2012/Problem17_label37.yml timeout prog tests 343 inspect 900 840 93 3200 2.0  0     unknown prog tests 0 inspect
58.2  44.1  4.3  4.2  80 140    0  
eca-rers2012/Problem17_label40.yml timeout 1 prog tests 367 inspect 900 830 93 2600 2.0  0     true prog tests 1 inspect
41.4  25.8  .85 .85 81 6.4  0  
eca-rers2012/Problem17_label46.yml timeout 1 prog tests 437 inspect 900 830 94 2800 2.1  0     true prog tests 1 inspect
60.6  42.3  1.4  1.7  81 31    0  
eca-rers2012/Problem17_label49.yml timeout prog tests 370 inspect 900 840 92 3000 2.0  0     unknown prog tests 0 inspect
65.1  53.5  4.4  4.7  80 150    0  
eca-rers2012/Problem17_label50.yml done prog tests 7 inspect 31 29 93 110 1.0  0     unknown prog tests 0 inspect
11.3  20.6  .73 .73 80 4.8  0  
eca-rers2012/Problem17_label52.yml timeout 1 prog tests 448 inspect 900 830 94 3000 2.0  0     true prog tests 1 inspect
60.3  43.0  1.6  1.7  81 37    0  
eca-rers2012/Problem17_label53.yml timeout 1 prog tests 383 inspect 900 830 93 2700 1.9  0     true prog tests 1 inspect
57.5  37.1  1.1  1.1  81 17    0  
eca-rers2012/Problem17_label54.yml timeout 1 prog tests 426 inspect 900 840 93 2100 2.0  0     true prog tests 1 inspect
36.8  22.8  .75 .75 81 3.1  0  
eca-rers2012/Problem17_label55.yml done prog tests 9 inspect 23 21 93 98 1.0  0     unknown prog tests 0 inspect
17.9  20.8  .75 .75 81 6.2  0  
eca-rers2012/Problem17_label57.yml timeout prog tests 340 inspect 900 840 93 2900 2.0  0     unknown prog tests 0 inspect
58.7  44.3  4.6  4.5  81 140    0  
eca-rers2012/Problem18_label00.yml done prog tests 7 inspect 18 16 77 97 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .79 .80 76 6.1  0  
eca-rers2012/Problem18_label01.yml done prog tests 8 inspect 30 28 77 120 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .80 .80 76 6.0  0  
eca-rers2012/Problem18_label03.yml done prog tests 7 inspect 20 18 77 120 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .79 .80 76 6.5  0  
eca-rers2012/Problem18_label06.yml timeout prog tests 444 inspect 900 840 77 2600 2.1  0     unknown prog tests 0 inspect
81.8  69.6  6.1  6.9  76 220    0  
eca-rers2012/Problem18_label08.yml done prog tests 8 inspect 14 12 77 120 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .86 .85 76 6.0  0  
eca-rers2012/Problem18_label09.yml done prog tests 8 inspect 20 18 77 120 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .77 .79 76 6.8  0  
eca-rers2012/Problem18_label10.yml timeout 1 prog tests 542 inspect 900 840 77 2600 2.2  0     true prog tests 1 inspect
70.7  48.8  3.0  3.4  76 90    0  
eca-rers2012/Problem18_label12.yml timeout prog tests 512 inspect 900 840 77 3000 2.1  0     unknown prog tests 0 inspect
84.6  76.5  6.9  6.7  76 250    0  
eca-rers2012/Problem18_label19.yml done prog tests 8 inspect 26 24 76 82 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .76 .77 76 6.3  0  
eca-rers2012/Problem18_label20.yml done prog tests 7 inspect 27 25 76 94 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .77 .78 75 3.9  0  
eca-rers2012/Problem18_label25.yml timeout 1 prog tests 735 inspect 900 830 77 5000 2.2  0     true prog tests 1 inspect
50.0  27.1  1.0  1.0  76 7.9  0  
eca-rers2012/Problem18_label27.yml done prog tests 8 inspect 25 23 77 110 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .79 .79 75 6.3  0  
eca-rers2012/Problem18_label31.yml done prog tests 7 inspect 18 17 77 110 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .77 .81 76 6.3  0  
eca-rers2012/Problem18_label32.yml done prog tests 8 inspect 19 17 77 100 1.1  .061 unknown prog tests 0 inspect
12.6  19.8  .74 .74 75 6.0  0  
eca-rers2012/Problem18_label33.yml timeout 1 prog tests 597 inspect 900 830 77 3400 2.2  0     true prog tests 1 inspect
76.3  58.5  4.2  5.1  76 140    0  
eca-rers2012/Problem18_label34.yml done prog tests 7 inspect 17 16 77 110 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .76 .75 76 6.5  0  
eca-rers2012/Problem18_label35.yml timeout 1 prog tests 467 inspect 900 840 77 2600 2.1  .061 true prog tests 1 inspect
74.7  54.5  3.2  3.5  76 100    0  
eca-rers2012/Problem18_label36.yml timeout 1 prog tests 586 inspect 900 830 77 4900 2.2  0     true prog tests 1 inspect
58.4  34.2  1.3  1.3  76 22    0  
eca-rers2012/Problem18_label38.yml done prog tests 7 inspect 26 24 77 62 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .78 .81 76 5.5  0  
eca-rers2012/Problem18_label39.yml timeout 1 prog tests 484 inspect 900 840 77 2300 2.1  0     true prog tests 1 inspect
75.2  57.2  3.7  3.8  76 120    0  
eca-rers2012/Problem18_label45.yml done prog tests 8 inspect 18 17 77 110 1.1  0     unknown prog tests 0 inspect
12.6  19.8  .78 .77 75 6.1  0  
eca-rers2012/Problem18_label49.yml timeout 1 prog tests 665 inspect 900 830 77 4400 2.1  0     true prog tests 1 inspect
87.7  85.8  8.8  11    76 320    0  
eca-rers2012/Problem18_label52.yml done prog tests 7 inspect 22 20 77 93 1.1  0     unknown prog tests 0 inspect
12.1  19.7  .77 .77 76 5.5  0  
eca-rers2012/Problem18_label55.yml timeout 1 prog tests 625 inspect 900 830 77 4100 2.2  0     true prog tests 1 inspect
51.0  28.7  1.0  1.0  76 14    0  
eca-rers2012/Problem18_label57.yml timeout 1 prog tests 674 inspect 900 840 77 2400 2.1  .061 true prog tests 1 inspect
83.5  75.3  6.8  9.0  76 240    0  
eca-rers2012/Problem19_label10.yml timeout prog tests 462 inspect 900 840 160 4000 4.4  .061 unknown prog tests 0 inspect
58.3  36.0  15    15    160 580    0  
eca-rers2012/Problem19_label11.yml done prog tests 7 inspect 25 24 170 91 3.4  0     unknown prog tests 0 inspect
11.0  17.2  1.9  1.9  160 19    0  
eca-rers2012/Problem19_label14.yml timeout prog tests 256 inspect 900 840 170 2600 4.4  0     unknown prog tests 0 inspect
52.9  29.9  8.1  8.0  160 360    0  
eca-rers2012/Problem19_label17.yml timeout prog tests 479 inspect 900 840 170 3000 3.9  0     unknown prog tests 0 inspect
59.8  38.9  13    15    160 740    0  
eca-rers2012/Problem19_label18.yml timeout prog tests 344 inspect 900 840 170 4100 4.3  0     unknown prog tests 0 inspect
54.2  31.2  9.8  11    160 590    0  
eca-rers2012/Problem19_label19.yml timeout prog tests 350 inspect 900 840 170 2400 4.4  0     unknown prog tests 0 inspect
55.5  32.3  9.6  10    160 500    0  
eca-rers2012/Problem19_label21.yml timeout prog tests 441 inspect 900 830 170 5000 4.4  0     unknown prog tests 0 inspect
59.7  39.1  12    13    160 720    0  
eca-rers2012/Problem19_label22.yml timeout prog tests 226 inspect 900 840 170 2600 4.4  0     unknown prog tests 0 inspect
50.6  28.3  6.9  7.8  160 360    0  
eca-rers2012/Problem19_label26.yml timeout prog tests 395 inspect 900 840 170 2900 3.9  0     unknown prog tests 0 inspect
57.9  34.7  11    11    160 630    0  
eca-rers2012/Problem19_label27.yml done prog tests 11 inspect 42 39 170 170 2.5  0     unknown prog tests 0 inspect
13.1  17.3  1.9  1.9  160 27    0  
eca-rers2012/Problem19_label28.yml timeout prog tests 371 inspect 900 840 170 3000 4.4  0     unknown prog tests 0 inspect
57.5  35.9  10    12    160 580    0  
eca-rers2012/Problem19_label29.yml timeout prog tests 367 inspect 900 840 170 2900 4.3  0     unknown prog tests 0 inspect
57.5  36.6  10    11    160 480    0  
eca-rers2012/Problem19_label31.yml done prog tests 11 inspect 31 29 170 200 3.4  0     unknown prog tests 0 inspect
12.2  17.3  2.1  2.1  160 21    0  
eca-rers2012/Problem19_label32.yml done prog tests 26 inspect 110 100 170 350 3.4  0     unknown prog tests 0 inspect
18.6  18.0  2.3  2.3  160 45    0  
eca-rers2012/Problem19_label41.yml done prog tests 12 inspect 60 56 170 280 3.4  0     unknown prog tests 0 inspect
12.2  17.4  1.9  2.0  160 27    0  
eca-rers2012/Problem19_label42.yml timeout prog tests 333 inspect 900 830 160 4100 4.4  0     unknown prog tests 0 inspect
56.5  34.8  9.3  10    160 560    0  
eca-rers2012/Problem19_label43.yml timeout prog tests 472 inspect 900 840 170 2900 4.4  0     unknown prog tests 0 inspect
58.7  37.5  13    13    160 590    0  
eca-rers2012/Problem19_label47.yml timeout prog tests 304 inspect 900 840 170 2300 4.3  0     unknown prog tests 0 inspect
55.5  32.6  8.9  11    160 480    0  
eca-rers2012/Problem19_label50.yml done prog tests 7 inspect 18 17 170 130 3.4  0     unknown prog tests 0 inspect
11.0  17.2  1.9  1.9  160 15    0  
eca-rers2012/Problem19_label51.yml timeout 1 prog tests 314 inspect 900 840 170 2600 4.4  0     true prog tests 1 inspect
44.8  23.9  3.9  4.1  160 160    0  
eca-rers2012/Problem19_label53.yml timeout prog tests 273 inspect 900 840 170 2900 4.3  0     unknown prog tests 0 inspect
54.0  30.5  7.9  7.9  160 410    0  
eca-rers2012/Problem19_label55.yml done prog tests 7 inspect 29 28 170 130 3.4  0     unknown prog tests 0 inspect
11.0  17.2  2.2  2.2  160 14    0  
eca-rers2012/Problem19_label58.yml timeout prog tests 328 inspect 900 840 170 2200 4.4  0     unknown prog tests 0 inspect
56.3  34.0  9.3  11    160 480    0  
eca-rers2012/Problem19_label59.yml timeout prog tests 265 inspect 900 840 170 2600 4.4  0     unknown prog tests 0 inspect
54.8  31.7  7.8  7.7  160 320    0  
eca-programs/Problem101_label00.yml timeout prog tests 925 inspect 900 880 390 6200 18    0     unknown prog tests 0 inspect
56.7  20.9  210    210    770 20000    0  
eca-programs/Problem101_label01.yml timeout prog tests 735 inspect 900 880 390 4200 28    0     unknown prog tests 0 inspect
54.5  18.8  170    170    770 15000    0  
eca-programs/Problem101_label02.yml timeout prog tests 801 inspect 900 870 390 4400 29    0     unknown prog tests 0 inspect
53.1  19.3  180    180    770 16000    0  
eca-programs/Problem101_label03.yml done prog tests 8 inspect 200 200 390 2400 19    0     unknown prog tests 0 inspect
8.83 14.0  17    17    770 130    0  
eca-programs/Problem101_label04.yml timeout prog tests 715 inspect 900 870 390 4500 19    0     unknown prog tests 0 inspect
53.2  19.4  160    160    770 12000    0  
eca-programs/Problem101_label05.yml timeout prog tests 1084 inspect 900 880 390 6200 18    0     unknown prog tests 0 inspect
59.9  23.1  240    240    770 20000    0  
eca-programs/Problem101_label06.yml timeout prog tests 988 inspect 900 880 390 5300 21    0     unknown prog tests 0 inspect
59.8  22.1  230    230    770 17000    0  
eca-programs/Problem101_label07.yml done prog tests 8 inspect 180 180 390 2000 26    0     unknown prog tests 0 inspect
8.83 14.0  16    16    770 150    0  
eca-programs/Problem101_label08.yml timeout prog tests 823 inspect 900 880 390 4100 26    0     unknown prog tests 0 inspect
57.7  21.3  190    190    770 15000    0  
eca-programs/Problem101_label09.yml timeout prog tests 795 inspect 900 870 390 3200 18    0     unknown prog tests 0 inspect
53.0  19.4  180    180    770 15000    0  
eca-programs/Problem101_label10.yml timeout prog tests 984 inspect 900 870 390 5100 19    0     unknown prog tests 0 inspect
58.4  21.6  220    220    770 19000    0  
eca-programs/Problem101_label11.yml timeout prog tests 680 inspect 900 880 390 4100 18    0     unknown prog tests 0 inspect
52.5  19.2  160    160    770 13000    0  
eca-programs/Problem101_label12.yml timeout prog tests 970 inspect 900 880 390 4600 20    0     unknown prog tests 0 inspect
57.7  21.6  220    220    770 20000    0  
eca-programs/Problem101_label13.yml timeout prog tests 929 inspect 900 870 390 6700 18    0     unknown prog tests 0 inspect
58.5  21.7  210    210    770 18000    0  
eca-programs/Problem101_label14.yml timeout prog tests 889 inspect 900 880 390 4500 19    0     unknown prog tests 0 inspect
55.7  21.1  200    200    770 16000    0  
eca-programs/Problem101_label15.yml timeout prog tests 969 inspect 900 870 390 5000 18    0     unknown prog tests 0 inspect
57.2  21.1  220    220    770 19000    0  
eca-programs/Problem101_label16.yml timeout prog tests 806 inspect 900 870 390 4700 27    0     unknown prog tests 0 inspect
53.8  19.3  190    190    770 15000    0  
eca-programs/Problem101_label17.yml timeout prog tests 824 inspect 900 880 390 4500 19    0     unknown prog tests 0 inspect
56.0  20.7  180    180    770 18000    0  
eca-programs/Problem101_label18.yml timeout prog tests 973 inspect 900 870 390 6000 18    0     unknown prog tests 0 inspect
58.7  22.3  220    220    770 18000    0  
eca-programs/Problem101_label19.yml timeout prog tests 996 inspect 900 880 390 4100 21    0     unknown prog tests 0 inspect
58.6  22.2  230    230    770 21000    0  
eca-programs/Problem101_label20.yml timeout prog tests 791 inspect 900 880 390 4400 26    0     unknown prog tests 0 inspect
56.4  20.8  180    180    770 15000    0  
eca-programs/Problem101_label21.yml timeout prog tests 944 inspect 900 880 390 4700 19    0     unknown prog tests 0 inspect
58.0  21.3  220    220    770 17000    0  
eca-programs/Problem101_label22.yml timeout prog tests 816 inspect 900 880 390 6200 18    0     unknown prog tests 0 inspect
55.6  20.0  190    190    770 15000    0  
eca-programs/Problem101_label23.yml timeout prog tests 887 inspect 900 870 390 4300 19    0     unknown prog tests 0 inspect
56.7  21.1  200    200    770 17000    0  
eca-programs/Problem102_label01.yml timeout prog tests 554 inspect 900 890 760 6400 36    .061 unknown prog tests 0 inspect
48.9  13.4  260    260    1600 21000    0  
eca-programs/Problem102_label02.yml timeout prog tests 600 inspect 900 880 760 6500 39    0     unknown prog tests 0 inspect
49.6  13.4  270    270    1600 22000    0  
eca-programs/Problem102_label04.yml timeout prog tests 574 inspect 900 880 760 7800 35    0     unknown prog tests 0 inspect
48.0  13.2  260    260    1600 21000    0  
eca-programs/Problem102_label05.yml done prog tests 8 inspect 360 360 760 5300 37    0     unknown prog tests 0 inspect
7.19 10.9  32    32    1600 320    0  
eca-programs/Problem102_label06.yml done prog tests 8 inspect 360 360 760 4300 34    0     unknown prog tests 0 inspect
7.19 10.9  32    32    1600 290    0  
eca-programs/Problem102_label07.yml timeout prog tests 467 inspect 900 890 760 6800 35    0     unknown prog tests 0 inspect
46.5  12.7  220    220    1600 16000    0  
eca-programs/Problem102_label10.yml done prog tests 8 inspect 370 360 760 4100 37    .061 unknown prog tests 0 inspect
7.19 10.9  32    32    1600 300    0  
eca-programs/Problem102_label13.yml timeout prog tests 503 inspect 900 890 760 6800 36    0     unknown prog tests 0 inspect
46.5  13.0  230    230    1600 18000    0  
eca-programs/Problem102_label15.yml timeout prog tests 475 inspect 900 890 760 6800 36    0     unknown prog tests 0 inspect
47.1  12.7  220    220    1600 18000    0  
eca-programs/Problem102_label24.yml timeout prog tests 513 inspect 900 890 760 6600 35    0     unknown prog tests 0 inspect
47.5  13.0  230    230    1600 18000    0  
eca-programs/Problem102_label25.yml timeout prog tests 567 inspect 900 890 760 9100 35    0     unknown prog tests 0 inspect
49.6  13.5  250    250    1600 24000    0  
eca-programs/Problem102_label26.yml timeout prog tests 524 inspect 900 880 760 5900 35    0     unknown prog tests 0 inspect
47.1  13.0  240    240    1600 19000    0  
eca-programs/Problem102_label28.yml timeout prog tests 527 inspect 900 890 760 6600 35    .061 unknown prog tests 0 inspect
48.5  13.1  240    240    1600 19000    0  
eca-programs/Problem102_label29.yml done prog tests 8 inspect 360 360 760 4700 34    0     unknown prog tests 0 inspect
7.19 10.9  32    32    1600 440    0  
eca-programs/Problem102_label34.yml done prog tests 8 inspect 370 370 760 4200 35    0     unknown prog tests 0 inspect
7.19 10.9  33    33    1600 410    0  
eca-programs/Problem102_label37.yml timeout prog tests 551 inspect 900 880 760 8300 51    0     unknown prog tests 0 inspect
48.1  13.3  250    250    1600 20000    0  
eca-programs/Problem102_label43.yml done prog tests 8 inspect 360 360 760 4000 37    0     unknown prog tests 0 inspect
7.19 10.9  32    33    1600 370    0  
eca-programs/Problem102_label46.yml timeout prog tests 527 inspect 900 890 760 6700 36    0     unknown prog tests 0 inspect
46.5  12.5  240    240    1600 22000    0  
eca-programs/Problem102_label48.yml timeout prog tests 408 inspect 900 880 760 6300 35    0     unknown prog tests 0 inspect
44.1  12.3  190    190    1600 16000    0  
eca-programs/Problem102_label49.yml timeout prog tests 515 inspect 900 890 760 6100 35    0     unknown prog tests 0 inspect
47.1  13.0  230    240    1600 19000    0  
eca-programs/Problem102_label50.yml timeout prog tests 498 inspect 900 890 760 7900 38    0     unknown prog tests 0 inspect
46.5  12.7  230    230    1600 18000    0  
eca-programs/Problem102_label51.yml timeout prog tests 446 inspect 900 890 760 5900 36    0     unknown prog tests 0 inspect
44.8  12.7  200    200    1600 18000    0  
eca-programs/Problem102_label55.yml timeout prog tests 558 inspect 900 890 760 6600 39    0     unknown prog tests 0 inspect
49.2  13.3  250    250    1600 21000    0  
eca-programs/Problem102_label59.yml done prog tests 8 inspect 370 370 760 4200 38    0     unknown prog tests 0 inspect
7.19 10.9  32    32    1600 480    0  
eca-programs/Problem103_label32.yml done prog tests 7 inspect 160 160 760 1600 41    0     unknown prog tests 0 inspect
8.70 9.24 37    37    1800 380    0  
eca-programs/Problem103_label35.yml timeout prog tests 714 inspect 900 880 760 4600 43    0     unknown prog tests 0 inspect
39.4  12.6  350    350    1800 29000    0  
eca-programs/Problem103_label41.yml timeout prog tests 543 inspect 900 880 760 4600 46    .061 unknown prog tests 0 inspect
36.4  11.5  270    270    1800 22000    0  
eca-programs/Problem103_label44.yml done prog tests 7 inspect 160 150 760 2200 43    0     unknown prog tests 0 inspect
8.70 9.24 36    36    1800 460    0  
eca-programs/Problem103_label46.yml timeout prog tests 544 inspect 900 880 760 4500 46    0     unknown prog tests 0 inspect
35.5  11.0  270    270    1800 22000    0  
eca-programs/Problem103_label47.yml done prog tests 7 inspect 160 160 760 2000 35    0     unknown prog tests 0 inspect
8.70 9.24 40    40    1800 440    0  
eca-programs/Problem103_label51.yml timeout prog tests 563 inspect 900 880 760 4300 41    0     unknown prog tests 0 inspect
36.0  11.6  280    280    1800 24000    0  
eca-programs/Problem103_label53.yml timeout prog tests 541 inspect 900 880 760 5700 58    0     unknown prog tests 0 inspect
35.9  11.3  270    270    1800 23000    0  
eca-programs/Problem103_label54.yml timeout prog tests 516 inspect 900 880 760 4400 37    0     unknown prog tests 0 inspect
33.3  10.7  260    260    1800 21000    0  
eca-programs/Problem103_label56.yml done prog tests 7 inspect 170 170 760 1800 36    0     unknown prog tests 0 inspect
8.70 9.24 37    37    1800 270    0  
eca-programs/Problem103_label57.yml timeout prog tests 509 inspect 900 880 760 4200 39    0     unknown prog tests 0 inspect
35.9  11.1  260    260    1800 21000    0  
eca-programs/Problem103_label59.yml done prog tests 7 inspect 170 170 760 1800 34    0     unknown prog tests 0 inspect
8.70 9.24 36    36    1800 360    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 412 132 280000 270000 110000 1300000 5000    1.5 412 18000 13000 24000 25000 200000 1900000 0  
Run set fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA