Benchmark CPA/CoVeriTest TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30375 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* [apollon049; apollon085; apollon116]
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:05:56 CET 2019-02-06 05:30:26 CET
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options -benchmark -heap 10000M -testcomp19 --verbose --sequence-file cov-seq.txt -r --stop-after-found-violation --test-suite ../../results-verified/coveritest.2019-02-05_2105.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 done 1 prog tests 1 inspect 21   5.8 760 170 .50  0   true prog tests 1 inspect
21.3  12.3  .45  .45  57   1.7  0  
eca-rers2012/Problem03_label13.yml done 1 prog tests 1 inspect 19   5.6 760 170 .45  0   true prog tests 1 inspect
20.2  12.5  .48  .49  57   1.3  0  
eca-rers2012/Problem03_label26.yml done 1 prog tests 1 inspect 16   4.6 610 150 .33  0   true prog tests 1 inspect
16.5  12.1  .47  .47  57   1.4  0  
eca-rers2012/Problem03_label27.yml done 1 prog tests 1 inspect 18   5.1 590 160 .39  0   true prog tests 1 inspect
18.9  12.3  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label28.yml done 1 prog tests 1 inspect 18   5.2 620 160 .41  0   true prog tests 1 inspect
18.3  12.3  .49  .49  57   1.7  0  
eca-rers2012/Problem03_label31.yml done 1 prog tests 1 inspect 20   5.5 700 160 .45  0   true prog tests 1 inspect
20.0  12.1  .45  .46  58   1.7  0  
eca-rers2012/Problem03_label35.yml done 1 prog tests 1 inspect 21   5.9 810 160 .54  0   true prog tests 1 inspect
21.8  12.1  .45  .45  58   1.7  0  
eca-rers2012/Problem03_label37.yml done 1 prog tests 1 inspect 15   4.4 530 130 .29  0   true prog tests 1 inspect
16.0  11.9  .46  .46  57   .71 0  
eca-rers2012/Problem03_label39.yml done 1 prog tests 1 inspect 20   5.8 750 160 .50  0   true prog tests 1 inspect
20.9  12.3  .46  .46  58   1.7  0  
eca-rers2012/Problem03_label43.yml done 1 prog tests 1 inspect 16   4.5 530 150 .29  0   true prog tests 1 inspect
15.6  12.2  .49  .49  57   1.3  0  
eca-rers2012/Problem03_label45.yml done 1 prog tests 1 inspect 20   6.1 880 170 .56  0   true prog tests 1 inspect
22.5  12.1  .50  .50  57   1.3  0  
eca-rers2012/Problem03_label50.yml done 1 prog tests 1 inspect 19   5.4 710 150 .45  0   true prog tests 1 inspect
20.2  12.3  .50  .51  57   1.3  0  
eca-rers2012/Problem03_label52.yml done 1 prog tests 1 inspect 20   6.0 890 180 .55  0   true prog tests 1 inspect
21.4  12.1  .47  .47  57   1.3  0  
eca-rers2012/Problem04_label04.yml done 1 prog tests 1 inspect 140   84   4800 1200 0     0   true prog tests 1 inspect
31.2  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label06.yml done 1 prog tests 1 inspect 130   95   4700 1400 0     0   true prog tests 1 inspect
32.6  18.0  1.2   1.2   110   2.2  0  
eca-rers2012/Problem04_label09.yml done 1 prog tests 1 inspect 99   65   4100 1000 0     0   true prog tests 1 inspect
31.1  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label13.yml done 1 prog tests 1 inspect 110   72   4500 970 0     0   true prog tests 1 inspect
31.1  18.2  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label15.yml done 1 prog tests 1 inspect 100   66   4200 950 0     0   true prog tests 1 inspect
31.7  18.3  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label18.yml done 1 prog tests 1 inspect 230   150   5600 2300 7.4   0   true prog tests 1 inspect
31.5  18.1  1.2   1.2   110   2.2  0  
eca-rers2012/Problem04_label19.yml done 1 prog tests 1 inspect 240   170   6300 2600 9.0   0   true prog tests 1 inspect
32.6  17.9  1.1   1.1   110   4.7  0  
eca-rers2012/Problem04_label26.yml done 1 prog tests 1 inspect 110   76   4500 1100 0     0   true prog tests 1 inspect
31.5  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label31.yml done 1 prog tests 1 inspect 210   140   5800 2000 8.0   0   true prog tests 1 inspect
31.3  17.9  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label32.yml done 1 prog tests 1 inspect 200   130   5500 2000 7.4   0   true prog tests 1 inspect
31.4  18.0  1.3   1.3   110   6.2  0  
eca-rers2012/Problem04_label35.yml done 1 prog tests 1 inspect 230   150   5600 2600 7.0   0   true prog tests 1 inspect
31.5  18.1  1.2   1.2   110   .99 0  
eca-rers2012/Problem04_label38.yml done 1 prog tests 1 inspect 220   140   5700 2200 7.7   0   true prog tests 1 inspect
31.7  18.0  1.1   1.1   110   6.2  0  
eca-rers2012/Problem04_label39.yml done 1 prog tests 1 inspect 120   85   4500 1400 0     0   true prog tests 1 inspect
32.2  17.9  1.1   1.1   110   4.6  0  
eca-rers2012/Problem04_label45.yml done 1 prog tests 1 inspect 120   75   4700 1100 0     0   true prog tests 1 inspect
30.9  18.0  1.1   1.1   110   5.5  0  
eca-rers2012/Problem04_label52.yml done 1 prog tests 1 inspect 120   74   4800 1100 0     0   true prog tests 1 inspect
32.8  18.0  1.2   1.2   110   4.6  0  
eca-rers2012/Problem04_label55.yml done 1 prog tests 1 inspect 110   65   4500 970 0     0   true prog tests 1 inspect
30.6  18.1  1.2   1.2   110   4.7  0  
eca-rers2012/Problem05_label00.yml done 1 prog tests 1 inspect 180   130   5000 2000 0     0   true prog tests 1 inspect
20.2  15.8  2.2   2.2   180   12    0  
eca-rers2012/Problem05_label01.yml done 1 prog tests 1 inspect 140   100   4800 1400 0     0   true prog tests 1 inspect
21.1  15.9  2.1   2.2   180   10    0  
eca-rers2012/Problem05_label11.yml done 1 prog tests 1 inspect 130   85   4700 1100 0     0   true prog tests 1 inspect
20.6  16.0  2.1   2.1   180   8.4  0  
eca-rers2012/Problem05_label13.yml done 1 prog tests 1 inspect 250   160   5600 2400 0     0   true prog tests 1 inspect
20.2  15.9  2.4   2.4   180   11    0  
eca-rers2012/Problem05_label15.yml done 1 prog tests 1 inspect 120   85   4800 1200 0     0   true prog tests 1 inspect
20.9  16.0  2.2   2.2   180   4.6  0  
eca-rers2012/Problem05_label18.yml done 1 prog tests 1 inspect 120   81   4700 1100 0     0   true prog tests 1 inspect
21.6  15.9  2.3   2.3   180   10    0  
eca-rers2012/Problem05_label24.yml done 1 prog tests 1 inspect 130   90   4800 1300 0     0   true prog tests 1 inspect
21.2  16.1  2.2   2.2   180   14    0  
eca-rers2012/Problem05_label26.yml done 1 prog tests 1 inspect 190   140   5000 2000 0     0   true prog tests 1 inspect
21.1  16.0  2.2   2.2   180   5.3  0  
eca-rers2012/Problem05_label30.yml done 1 prog tests 1 inspect 110   78   3900 1200 0     0   true prog tests 1 inspect
20.7  16.1  2.2   2.2   180   10    0  
eca-rers2012/Problem05_label32.yml done 1 prog tests 1 inspect 130   98   4900 1400 0     0   true prog tests 1 inspect
20.4  15.9  2.1   2.1   180   13    0  
eca-rers2012/Problem05_label33.yml done 1 prog tests 1 inspect 200   140   5000 2300 0     0   true prog tests 1 inspect
19.5  15.9  2.2   2.2   180   12    0  
eca-rers2012/Problem05_label36.yml done 1 prog tests 1 inspect 130   90   4500 1200 0     0   true prog tests 1 inspect
19.8  16.0  2.1   2.1   180   9.3  0  
eca-rers2012/Problem05_label37.yml done 1 prog tests 1 inspect 130   93   4800 1300 0     0   true prog tests 1 inspect
22.6  16.0  2.2   2.2   180   9.6  0  
eca-rers2012/Problem05_label38.yml done 1 prog tests 1 inspect 300   220   5900 3600 0     0   true prog tests 1 inspect
20.4  15.9  2.2   2.2   180   10    0  
eca-rers2012/Problem05_label39.yml done 1 prog tests 1 inspect 180   130   5100 1800 0     0   true prog tests 1 inspect
22.5  15.9  2.2   2.2   180   2.3  0  
eca-rers2012/Problem05_label40.yml done 1 prog tests 1 inspect 140   100   4900 1400 0     0   true prog tests 1 inspect
21.5  16.0  2.2   2.2   180   11    0  
eca-rers2012/Problem05_label41.yml done 1 prog tests 1 inspect 260   180   5200 2500 0     0   true prog tests 1 inspect
20.5  16.0  2.2   2.2   180   3.6  0  
eca-rers2012/Problem05_label44.yml done 1 prog tests 1 inspect 240   170   5300 2600 0     0   true prog tests 1 inspect
21.9  16.0  2.2   2.2   180   13    0  
eca-rers2012/Problem05_label47.yml done 1 prog tests 1 inspect 120   88   4200 1300 0     0   true prog tests 1 inspect
21.6  16.1  2.1   2.1   180   14    0  
eca-rers2012/Problem05_label48.yml done 1 prog tests 1 inspect 200   140   5000 2200 0     0   true prog tests 1 inspect
19.3  15.9  2.4   2.4   180   10    0  
eca-rers2012/Problem05_label51.yml done 1 prog tests 1 inspect 130   96   4800 1400 0     0   true prog tests 1 inspect
19.8  15.9  2.0   2.0   180   3.3  0  
eca-rers2012/Problem05_label55.yml done 1 prog tests 1 inspect 150   110   4900 1400 0     0   true prog tests 1 inspect
20.1  15.9  2.2   2.2   180   9.7  0  
eca-rers2012/Problem05_label57.yml done 1 prog tests 1 inspect 130   93   4800 1400 0     0   true prog tests 1 inspect
20.6  15.9  2.1   2.1   180   11    0  
eca-rers2012/Problem05_label58.yml done 1 prog tests 1 inspect 180   130   5000 1800 0     0   true prog tests 1 inspect
19.5  15.9  2.2   2.2   180   13    0  
eca-rers2012/Problem06_label00.yml done 1 prog tests 1 inspect 99   60   3900 960 0     0   true prog tests 1 inspect
16.1  10.7  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label01.yml done 1 prog tests 1 inspect 98   63   3600 930 0     0   true prog tests 1 inspect
18.1  10.7  2.0   2.0   180   9.9  0  
eca-rers2012/Problem06_label02.yml done 1 prog tests 1 inspect 180   130   4700 2000 0     0   true prog tests 1 inspect
16.7  10.8  2.0   2.0   180   2.5  0  
eca-rers2012/Problem06_label04.yml done 1 prog tests 1 inspect 120   87   4000 1000 0     0   true prog tests 1 inspect
16.3  10.8  1.9   1.9   180   8.5  0  
eca-rers2012/Problem06_label05.yml done 1 prog tests 1 inspect 94   60   3500 890 0     0   true prog tests 1 inspect
16.9  10.9  2.0   2.0   180   3.3  0  
eca-rers2012/Problem06_label09.yml done 1 prog tests 1 inspect 110   71   4000 920 0     0   true prog tests 1 inspect
13.5  10.9  2.0   2.0   180   9.2  0  
eca-rers2012/Problem06_label10.yml done 1 prog tests 1 inspect 90   58   3700 880 0     0   true prog tests 1 inspect
14.9  10.9  2.1   2.1   180   9.1  0  
eca-rers2012/Problem06_label11.yml done 1 prog tests 1 inspect 95   63   3800 920 0     0   true prog tests 1 inspect
15.5  10.7  1.9   1.9   180   7.1  0  
eca-rers2012/Problem06_label12.yml done 1 prog tests 1 inspect 90   56   3500 830 0     0   true prog tests 1 inspect
16.1  10.7  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label15.yml done 1 prog tests 1 inspect 95   63   3900 830 0     0   true prog tests 1 inspect
16.7  10.9  2.0   2.0   180   12    0  
eca-rers2012/Problem06_label20.yml done 1 prog tests 1 inspect 120   85   4200 1100 0     0   true prog tests 1 inspect
14.5  10.9  2.0   2.0   180   12    0  
eca-rers2012/Problem06_label21.yml done 1 prog tests 1 inspect 120   86   4200 1100 0     0   true prog tests 1 inspect
18.4  10.7  2.1   2.1   180   8.9  0  
eca-rers2012/Problem06_label24.yml done 1 prog tests 1 inspect 120   86   4500 1100 0     0   true prog tests 1 inspect
16.9  11.0  2.0   2.0   180   9.2  0  
eca-rers2012/Problem06_label27.yml done 1 prog tests 1 inspect 99   64   4000 970 0     0   true prog tests 1 inspect
15.0  10.9  2.0   2.0   180   4.4  0  
eca-rers2012/Problem06_label29.yml done 1 prog tests 1 inspect 110   72   4000 1100 0     0   true prog tests 1 inspect
13.5  11.0  2.0   2.0   180   9.3  0  
eca-rers2012/Problem06_label33.yml done 1 prog tests 1 inspect 110   76   3900 1100 0     0   true prog tests 1 inspect
12.8  10.9  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label36.yml done 1 prog tests 1 inspect 110   74   3900 1100 0     0   true prog tests 1 inspect
14.0  10.7  2.0   2.0   180   6.7  0  
eca-rers2012/Problem06_label37.yml done 1 prog tests 1 inspect 130   86   4100 1300 0     0   true prog tests 1 inspect
14.7  10.8  2.0   2.0   180   8.7  0  
eca-rers2012/Problem06_label38.yml done 1 prog tests 1 inspect 110   76   3900 990 0     0   true prog tests 1 inspect
14.4  10.8  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label44.yml done 1 prog tests 1 inspect 100   69   3800 1100 0     0   true prog tests 1 inspect
17.2  10.7  2.1   2.1   180   3.3  0  
eca-rers2012/Problem06_label47.yml done 1 prog tests 1 inspect 83   50   3400 760 0     0   true prog tests 1 inspect
13.5  11.0  2.1   2.1   180   9.6  0  
eca-rers2012/Problem06_label48.yml done 1 prog tests 1 inspect 100   71   3700 910 0     0   true prog tests 1 inspect
18.2  10.8  2.0   2.0   180   9.3  0  
eca-rers2012/Problem06_label56.yml done 1 prog tests 1 inspect 120   83   4100 1000 0     0   true prog tests 1 inspect
13.1  11.0  2.1   2.1   180   9.2  0  
eca-rers2012/Problem06_label58.yml done 1 prog tests 1 inspect 110   74   3800 1100 0     0   true prog tests 1 inspect
18.2  10.9  2.0   2.0   180   8.5  0  
eca-rers2012/Problem06_label59.yml done 1 prog tests 1 inspect 110   73   4100 1000 0     0   true prog tests 1 inspect
17.0  10.8  2.1   2.1   180   4.0  0  
eca-rers2012/Problem07_label03.yml timeout prog tests 0 inspect 900   660   8300 9700 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-rers2012/Problem07_label05.yml timeout prog tests 0 inspect 900   730   7500 8100 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-rers2012/Problem07_label06.yml timeout prog tests 0 inspect 900   490   12000 7600 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem07_label07.yml timeout prog tests 0 inspect 900   630   8500 8500 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem07_label09.yml timeout prog tests 0 inspect 900   380   12000 6100 0     0   error (0) prog tests 0 inspect
0    0    .056 .057 9.0 0    0  
eca-rers2012/Problem07_label11.yml timeout prog tests 0 inspect 900   350   12000 6300 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem07_label15.yml timeout prog tests 0 inspect 900   490   11000 7800 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem07_label18.yml timeout prog tests 0 inspect 900   540   10000 7500 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem07_label19.yml timeout prog tests 0 inspect 900   580   9300 8000 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-rers2012/Problem07_label20.yml timeout prog tests 0 inspect 900   510   11000 8100 0     0   error (0) prog tests 0 inspect
0    0    .069 .070 8.9 0    0  
eca-rers2012/Problem07_label23.yml timeout prog tests 0 inspect 900   670   8400 7600 0     0   error (0) prog tests 0 inspect
0    0    .061 .063 9.0 0    0  
eca-rers2012/Problem07_label30.yml timeout prog tests 0 inspect 900   680   8400 8800 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem07_label31.yml timeout prog tests 0 inspect 900   360   11000 7100 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 8.8 0    0  
eca-rers2012/Problem07_label35.yml timeout prog tests 0 inspect 900   640   8500 10000 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem07_label36.yml timeout prog tests 0 inspect 900   600   9100 7400 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem07_label37.yml timeout prog tests 0 inspect 900   600   8300 8000 0     0   error (0) prog tests 0 inspect
0    0    .072 .072 9.0 0    0  
eca-rers2012/Problem07_label39.yml timeout prog tests 0 inspect 900   710   7300 7400 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem07_label40.yml timeout prog tests 0 inspect 900   580   11000 8700 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem07_label42.yml timeout prog tests 0 inspect 900   580   11000 8700 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 9.0 0    0  
eca-rers2012/Problem07_label44.yml timeout prog tests 0 inspect 900   630   9200 8200 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem07_label46.yml timeout prog tests 0 inspect 900   510   10000 7300 0     0   error (0) prog tests 0 inspect
0    0    .069 .070 8.9 0    0  
eca-rers2012/Problem07_label47.yml timeout prog tests 0 inspect 900   670   8100 8100 0     0   error (0) prog tests 0 inspect
0    0    .059 .061 8.9 0    0  
eca-rers2012/Problem07_label48.yml timeout prog tests 0 inspect 910   760   7300 8800 0     0   error (0) prog tests 0 inspect
0    0    .065 .067 8.9 0    0  
eca-rers2012/Problem07_label58.yml timeout prog tests 0 inspect 900   650   8600 8500 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem08_label01.yml timeout prog tests 0 inspect 910   270   12000 5700 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem08_label02.yml timeout prog tests 0 inspect 900   220   12000 5300 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem08_label04.yml timeout prog tests 0 inspect 910   220   12000 5000 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem08_label05.yml timeout prog tests 0 inspect 900   220   12000 5300 0     0   error (0) prog tests 0 inspect
0    0    .066 .067 8.9 0    0  
eca-rers2012/Problem08_label06.yml timeout prog tests 0 inspect 910   220   12000 5000 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.1 0    0  
eca-rers2012/Problem08_label07.yml timeout prog tests 0 inspect 910   220   12000 4500 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 8.9 0    0  
eca-rers2012/Problem08_label10.yml timeout prog tests 0 inspect 910   220   12000 5400 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem08_label13.yml timeout prog tests 0 inspect 910   230   12000 5900 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem08_label15.yml timeout prog tests 0 inspect 900   220   12000 5400 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-rers2012/Problem08_label24.yml timeout prog tests 0 inspect 910   190   11000 4700 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem08_label25.yml timeout prog tests 0 inspect 910   190   11000 4700 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 8.9 0    0  
eca-rers2012/Problem08_label26.yml timeout prog tests 0 inspect 910   230   11000 5200 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem08_label28.yml timeout prog tests 0 inspect 910   220   11000 6000 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem08_label29.yml timeout prog tests 0 inspect 910   230   11000 5700 0     0   error (0) prog tests 0 inspect
0    0    .065 .066 8.9 0    0  
eca-rers2012/Problem08_label34.yml timeout prog tests 0 inspect 910   200   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem08_label37.yml timeout prog tests 0 inspect 910   190   11000 5300 0     0   error (0) prog tests 0 inspect
0    0    .064 .065 9.0 0    0  
eca-rers2012/Problem08_label43.yml timeout prog tests 0 inspect 910   220   12000 5400 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-rers2012/Problem08_label46.yml timeout prog tests 0 inspect 910   230   12000 5000 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem08_label48.yml timeout prog tests 0 inspect 910   220   12000 5500 0     0   error (0) prog tests 0 inspect
0    0    .067 .068 8.9 0    0  
eca-rers2012/Problem08_label49.yml timeout prog tests 0 inspect 910   230   12000 5200 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem08_label50.yml timeout prog tests 0 inspect 910   220   12000 5100 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem08_label51.yml timeout prog tests 0 inspect 910   230   12000 4800 0     0   error (0) prog tests 0 inspect
0    0    .068 .069 9.0 0    0  
eca-rers2012/Problem08_label55.yml timeout prog tests 0 inspect 910   220   12000 5800 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 8.9 0    0  
eca-rers2012/Problem08_label59.yml timeout prog tests 0 inspect 910   230   11000 5900 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 8.9 0    0  
eca-rers2012/Problem09_label02.yml timeout prog tests 0 inspect 910   170   11000 5100 0     0   error (0) prog tests 0 inspect
0    0    .071 .072 9.0 0    0  
eca-rers2012/Problem09_label03.yml timeout prog tests 0 inspect 910   170   11000 4700 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem09_label06.yml timeout prog tests 0 inspect 900   160   11000 5100 0     0   error (0) prog tests 0 inspect
0    0    .066 .066 9.0 0    0  
eca-rers2012/Problem09_label08.yml timeout prog tests 0 inspect 930   210   11000 5400 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.9 0    0  
eca-rers2012/Problem09_label10.yml timeout prog tests 0 inspect 910   170   11000 4900 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem09_label11.yml timeout prog tests 0 inspect 910   170   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem09_label15.yml timeout prog tests 0 inspect 900   190   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.1 0    0  
eca-rers2012/Problem09_label19.yml timeout prog tests 0 inspect 900   200   11000 5100 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem09_label20.yml timeout prog tests 0 inspect 900   200   11000 4500 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem09_label32.yml timeout prog tests 0 inspect 910   180   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-rers2012/Problem09_label34.yml timeout prog tests 0 inspect 910   200   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 9.0 0    0  
eca-rers2012/Problem09_label35.yml timeout prog tests 0 inspect 910   210   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.9 0    0  
eca-rers2012/Problem09_label36.yml timeout prog tests 0 inspect 910   170   11000 4300 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem09_label38.yml timeout prog tests 0 inspect 910   170   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .067 .068 8.9 0    0  
eca-rers2012/Problem09_label41.yml timeout prog tests 0 inspect 910   180   11000 5100 0     0   error (0) prog tests 0 inspect
0    0    .064 .065 8.9 0    0  
eca-rers2012/Problem09_label44.yml timeout prog tests 0 inspect 900   200   11000 4600 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem09_label46.yml timeout prog tests 0 inspect 910   180   11000 5200 0     0   error (0) prog tests 0 inspect
0    0    .056 .056 9.0 0    0  
eca-rers2012/Problem09_label47.yml timeout prog tests 0 inspect 910   170   11000 4900 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-rers2012/Problem09_label51.yml timeout prog tests 0 inspect 910   170   11000 4500 0     0   error (0) prog tests 0 inspect
0    0    .059 .061 8.9 0    0  
eca-rers2012/Problem09_label53.yml timeout prog tests 0 inspect 910   170   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem09_label54.yml timeout prog tests 0 inspect 910   180   11000 4700 0     0   error (0) prog tests 0 inspect
0    0    .069 .069 9.0 0    0  
eca-rers2012/Problem09_label56.yml timeout prog tests 0 inspect 910   170   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .071 .072 9.0 0    0  
eca-rers2012/Problem09_label57.yml timeout prog tests 0 inspect 910   170   11000 4400 0     0   error (0) prog tests 0 inspect
0    0    .069 .069 8.8 0    0  
eca-rers2012/Problem09_label59.yml timeout prog tests 0 inspect 910   180   11000 5300 0     0   error (0) prog tests 0 inspect
0    0    .070 .071 8.9 0    0  
eca-rers2012/Problem10_label12.yml done 1 prog tests 1 inspect 13   4.1 630 120 .24  0   true prog tests 1 inspect
23.4  33.6  .23  .23  30   .48 0  
eca-rers2012/Problem10_label15.yml done 1 prog tests 1 inspect 12   3.8 490 110 .23  0   true prog tests 1 inspect
22.7  31.7  .24  .27  30   .48 0  
eca-rers2012/Problem10_label24.yml done 1 prog tests 1 inspect 13   4.3 600 110 .25  0   true prog tests 1 inspect
26.4  34.5  .24  .24  30   .48 0  
eca-rers2012/Problem10_label26.yml done 1 prog tests 1 inspect 13   3.9 550 110 .25  0   true prog tests 1 inspect
24.3  34.7  .23  .24  30   .15 0  
eca-rers2012/Problem10_label28.yml done 1 prog tests 1 inspect 13   3.9 430 110 .23  0   true prog tests 1 inspect
22.8  30.5  .23  .23  30   .48 0  
eca-rers2012/Problem10_label29.yml done 1 prog tests 1 inspect 13   3.7 450 110 .22  0   true prog tests 1 inspect
22.3  33.6  .23  .23  30   .48 0  
eca-rers2012/Problem10_label41.yml done 1 prog tests 1 inspect 12   3.4 530 98 .19  0   true prog tests 1 inspect
20.2  32.9  .34  .34  30   .48 0  
eca-rers2012/Problem10_label42.yml done 1 prog tests 1 inspect 9.4 2.8 330 74 .13  0   true prog tests 1 inspect
14.9  28.0  .24  .25  30   .48 0  
eca-rers2012/Problem10_label46.yml done 1 prog tests 1 inspect 6.8 2.3 300 67 .066 0   true prog tests 1 inspect
7.95 19.6  .23  .23  30   .48 0  
eca-rers2012/Problem10_label47.yml done 1 prog tests 1 inspect 12   3.8 430 100 .21  0   true prog tests 1 inspect
25.3  33.8  .25  .25  30   .48 0  
eca-rers2012/Problem10_label48.yml done 1 prog tests 1 inspect 12   3.8 450 94 .22  0   true prog tests 1 inspect
24.4  34.5  .23  .23  30   .48 0  
eca-rers2012/Problem10_label50.yml done 1 prog tests 1 inspect 14   4.8 560 110 .27  0   true prog tests 1 inspect
25.4  35.4  .24  .24  30   .48 0  
eca-rers2012/Problem10_label55.yml done 1 prog tests 1 inspect 12   3.4 400 99 .19  0   true prog tests 1 inspect
25.6  34.7  .24  .24  30   .48 0  
eca-rers2012/Problem10_label57.yml done 1 prog tests 1 inspect 13   3.7 510 110 .22  0   true prog tests 1 inspect
22.5  31.9  .23  .24  30   .48 0  
eca-rers2012/Problem10_label58.yml done 1 prog tests 1 inspect 13   4.4 580 130 .25  0   true prog tests 1 inspect
26.3  34.0  .23  .23  30   .48 0  
eca-rers2012/Problem11_label00.yml done 1 prog tests 1 inspect 15   4.6 570 120 .31  0   true prog tests 1 inspect
17.6  23.1  .34  .34  44   .81 0  
eca-rers2012/Problem11_label08.yml done 1 prog tests 1 inspect 13   3.5 490 110 .20  0   true prog tests 1 inspect
16.1  19.1  .34  .34  44   .81 0  
eca-rers2012/Problem11_label14.yml done 1 prog tests 1 inspect 13   3.5 520 110 .23  0   true prog tests 1 inspect
16.0  19.6  .34  .34  44   .81 0  
eca-rers2012/Problem11_label15.yml done 1 prog tests 1 inspect 12   3.0 490 92 .17  0   true prog tests 1 inspect
12.9  17.9  .35  .35  44   .81 0  
eca-rers2012/Problem11_label20.yml done 1 prog tests 1 inspect 15   4.6 640 130 .29  0   true prog tests 1 inspect
18.5  22.1  .34  .34  44   .81 0  
eca-rers2012/Problem11_label29.yml done 1 prog tests 1 inspect 14   4.0 540 100 .27  0   true prog tests 1 inspect
14.8  23.9  .35  .35  44   .81 0  
eca-rers2012/Problem11_label31.yml done 1 prog tests 1 inspect 15   4.6 680 130 .29  0   true prog tests 1 inspect
17.3  23.1  .36  .36  44   .81 0  
eca-rers2012/Problem11_label34.yml done 1 prog tests 1 inspect 15   4.4 590 120 .29  0   true prog tests 1 inspect
17.0  23.1  .36  .36  44   .81 0  
eca-rers2012/Problem11_label36.yml done 1 prog tests 1 inspect 11   3.0 490 87 .14  0   true prog tests 1 inspect
10.6  15.8  .40  .40  44   .81 0  
eca-rers2012/Problem11_label39.yml done 1 prog tests 1 inspect 15   4.2 550 120 .27  0   true prog tests 1 inspect
18.4  21.1  .33  .33  44   .81 0  
eca-rers2012/Problem11_label42.yml done 1 prog tests 1 inspect 13   3.7 460 110 .24  0   true prog tests 1 inspect
17.9  22.2  .35  .35  44   .81 0  
eca-rers2012/Problem11_label43.yml done 1 prog tests 1 inspect 12   3.3 390 100 .18  0   true prog tests 1 inspect
12.7  17.6  .34  .34  44   .81 0  
eca-rers2012/Problem11_label49.yml done 1 prog tests 1 inspect 12   3.1 400 96 .18  0   true prog tests 1 inspect
12.7  22.7  .35  .35  44   .81 0  
eca-rers2012/Problem11_label51.yml done 1 prog tests 1 inspect 14   4.0 520 130 .25  0   true prog tests 1 inspect
17.9  24.6  .33  .33  44   .81 0  
eca-rers2012/Problem11_label58.yml done 1 prog tests 1 inspect 12   3.3 500 110 .17  0   true prog tests 1 inspect
13.5  17.1  .35  .35  44   .81 0  
eca-rers2012/Problem12_label00.yml timeout prog tests 0 inspect 900   860   8400 7000 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem12_label03.yml timeout prog tests 0 inspect 900   850   8700 7100 0     0   error (0) prog tests 0 inspect
0    0    .081 .082 9.0 0    0  
eca-rers2012/Problem12_label06.yml timeout prog tests 0 inspect 900   860   8300 5800 0     0   error (0) prog tests 0 inspect
0    0    .063 .063 9.0 0    0  
eca-rers2012/Problem12_label07.yml done 1 prog tests 1 inspect 140   110   5000 1100 .99  0   true prog tests 1 inspect
12.7  13.5  1.0   1.0   100   3.9  0  
eca-rers2012/Problem12_label08.yml done 1 prog tests 1 inspect 200   160   4800 1400 1.9   0   true prog tests 1 inspect
12.1  18.6  1.0   1.0   100   5.3  0  
eca-rers2012/Problem12_label10.yml done 1 prog tests 1 inspect 370   330   7400 3900 2.0   0   true prog tests 1 inspect
11.0  11.3  1.1   1.1   99   .79 0  
eca-rers2012/Problem12_label13.yml timeout prog tests 0 inspect 900   860   8400 6100 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem12_label19.yml timeout prog tests 0 inspect 900   860   8200 6800 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.9 0    0  
eca-rers2012/Problem12_label20.yml done 1 prog tests 1 inspect 870   820   8400 6100 1.0   0   true prog tests 1 inspect
15.9  17.7  1.1   1.1   99   5.3  0  
eca-rers2012/Problem12_label21.yml timeout prog tests 0 inspect 900   850   8700 6900 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-rers2012/Problem12_label25.yml timeout prog tests 0 inspect 900   850   8500 5500 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem12_label28.yml done 1 prog tests 1 inspect 890   810   11000 6500 2.1   0   true prog tests 1 inspect
13.8  16.9  1.1   1.1   99   4.0  0  
eca-rers2012/Problem12_label30.yml done 1 prog tests 1 inspect 140   110   4800 1300 .84  0   true prog tests 1 inspect
12.3  16.5  1.1   1.1   99   3.9  0  
eca-rers2012/Problem12_label34.yml timeout prog tests 0 inspect 900   830   11000 7500 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem12_label35.yml done 1 prog tests 1 inspect 120   85   4200 960 1.4   0   true prog tests 1 inspect
12.0  16.9  1.2   1.2   99   5.3  0  
eca-rers2012/Problem12_label37.yml timeout prog tests 0 inspect 900   860   8400 6500 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem12_label38.yml done 1 prog tests 1 inspect 140   110   6200 1300 .97  0   true prog tests 1 inspect
12.2  16.4  1.1   1.1   100   5.3  0  
eca-rers2012/Problem12_label39.yml timeout prog tests 0 inspect 900   880   4900 5100 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.8 0    0  
eca-rers2012/Problem12_label40.yml done 1 prog tests 1 inspect 19   6.3 950 180 .53  0   true prog tests 1 inspect
5.62 4.74 1.1   1.1   100   4.0  0  
eca-rers2012/Problem12_label42.yml done 1 prog tests 1 inspect 130   99   4800 1300 1.7   0   true prog tests 1 inspect
11.2  14.5  1.1   1.1   99   3.9  0  
eca-rers2012/Problem12_label48.yml done 1 prog tests 1 inspect 120   85   4200 1100 1.6   0   true prog tests 1 inspect
11.2  18.6  1.1   1.1   99   4.5  0  
eca-rers2012/Problem12_label50.yml timeout prog tests 0 inspect 900   850   8700 7500 0     0   error (0) prog tests 0 inspect
0    0    .065 .065 9.0 0    0  
eca-rers2012/Problem12_label51.yml timeout prog tests 0 inspect 900   850   8400 6100 0     0   error (0) prog tests 0 inspect
0    0    .065 .096 9.0 0    0  
eca-rers2012/Problem12_label52.yml timeout prog tests 0 inspect 900   860   8300 5700 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem12_label55.yml timeout prog tests 0 inspect 900   880   5100 8200 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem13_label04.yml done 1 prog tests 1 inspect 200   170   6700 2100 2.6   0   true prog tests 1 inspect
12.1  15.3  1.3   1.3   120   6.3  0  
eca-rers2012/Problem13_label06.yml done 1 prog tests 1 inspect 430   400   6500 2700 2.6   0   true prog tests 1 inspect
15.0  14.5  1.4   1.4   120   4.7  0  
eca-rers2012/Problem13_label07.yml done 1 prog tests 1 inspect 410   350   10000 3300 3.1   0   true prog tests 1 inspect
13.0  16.7  1.3   1.3   120   2.3  0  
eca-rers2012/Problem13_label11.yml timeout prog tests 0 inspect 900   850   11000 6100 0     0   error (0) prog tests 0 inspect
0    0    .068 .068 9.0 0    0  
eca-rers2012/Problem13_label12.yml done 1 prog tests 1 inspect 280   240   9600 2600 1.7   0   true prog tests 1 inspect
14.9  14.2  1.4   1.4   120   4.7  0  
eca-rers2012/Problem13_label16.yml timeout prog tests 0 inspect 900   850   11000 6500 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem13_label19.yml timeout prog tests 0 inspect 900   860   11000 7600 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem13_label21.yml done 1 prog tests 1 inspect 310   250   9900 2700 2.5   0   true prog tests 1 inspect
13.7  16.8  1.3   1.3   120   6.3  0  
eca-rers2012/Problem13_label23.yml timeout prog tests 0 inspect 900   880   7000 6200 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem13_label24.yml done 1 prog tests 1 inspect 460   420   6100 2800 2.4   0   true prog tests 1 inspect
12.1  9.42 1.4   1.4   120   1.4  0  
eca-rers2012/Problem13_label25.yml timeout prog tests 0 inspect 900   870   7900 8200 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem13_label28.yml done 1 prog tests 1 inspect 24   7.0 990 200 .81  0   true prog tests 1 inspect
11.2  13.7  1.3   1.3   120   4.6  0  
eca-rers2012/Problem13_label29.yml done 1 prog tests 1 inspect 740   700   6800 5000 1.2   0   true prog tests 1 inspect
14.6  13.7  1.3   1.3   120   6.3  0  
eca-rers2012/Problem13_label30.yml timeout prog tests 0 inspect 900   840   11000 7200 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-rers2012/Problem13_label32.yml timeout prog tests 0 inspect 900   860   7800 6400 1.2   0   error (0) prog tests 0 inspect
0    0    .061 .062 8.9 0    0  
eca-rers2012/Problem13_label35.yml done 1 prog tests 1 inspect 140   110   6200 1200 2.2   0   true prog tests 1 inspect
11.8  11.7  1.4   1.4   120   2.3  0  
eca-rers2012/Problem13_label36.yml done 1 prog tests 1 inspect 180   150   6800 1800 1.7   0   true prog tests 1 inspect
12.1  9.14 1.3   1.3   120   2.0  0  
eca-rers2012/Problem13_label40.yml done 1 prog tests 1 inspect 26   8.6 1300 250 .90  0   true prog tests 1 inspect
11.8  13.0  1.4   1.4   120   5.0  0  
eca-rers2012/Problem13_label43.yml timeout prog tests 0 inspect 900   860   9500 6300 0     0   error (0) prog tests 0 inspect
0    0    .074 .075 8.9 0    0  
eca-rers2012/Problem13_label44.yml done 1 prog tests 1 inspect 220   190   6100 1900 2.5   0   true prog tests 1 inspect
11.5  16.7  1.3   1.3   120   2.1  0  
eca-rers2012/Problem13_label45.yml done 1 prog tests 1 inspect 23   7.2 990 210 .84  0   true prog tests 1 inspect
11.7  13.3  1.3   1.3   120   6.1  0  
eca-rers2012/Problem13_label48.yml done 1 prog tests 1 inspect 160   120   7000 1400 1.6   0   true prog tests 1 inspect
15.7  16.0  1.3   1.3   120   4.6  0  
eca-rers2012/Problem13_label51.yml timeout prog tests 0 inspect 900   830   11000 6300 0     0   error (0) prog tests 0 inspect
0    0    .063 .065 9.0 0    0  
eca-rers2012/Problem13_label54.yml timeout prog tests 0 inspect 900   860   11000 7000 0     0   error (0) prog tests 0 inspect
0    0    .064 .064 9.0 0    0  
eca-rers2012/Problem13_label58.yml timeout prog tests 0 inspect 900   860   11000 6800 0     0   error (0) prog tests 0 inspect
0    0    .063 .063 9.0 0    0  
eca-rers2012/Problem15_label00.yml done 1 prog tests 1 inspect 16   4.4 520 120 .45  0   true prog tests 1 inspect
16.8  21.2  .53  .53  64   1.3  0  
eca-rers2012/Problem15_label02.yml done 1 prog tests 1 inspect 17   4.8 580 140 .54  0   true prog tests 1 inspect
16.7  20.1  .57  .57  63   1.3  0  
eca-rers2012/Problem15_label03.yml done 1 prog tests 1 inspect 18   5.2 660 140 .53  0   true prog tests 1 inspect
21.5  21.3  .50  .50  63   1.6  0  
eca-rers2012/Problem15_label07.yml done 1 prog tests 1 inspect 21   6.7 900 200 .67  0   true prog tests 1 inspect
20.4  20.6  .51  .51  64   1.3  0  
eca-rers2012/Problem15_label09.yml done 1 prog tests 1 inspect 19   5.7 720 150 .59  0   true prog tests 1 inspect
24.7  21.6  .53  .53  63   1.3  0  
eca-rers2012/Problem15_label14.yml done 1 prog tests 1 inspect 18   5.3 660 160 .53  0   true prog tests 1 inspect
21.3  21.2  .56  .56  64   1.3  0  
eca-rers2012/Problem15_label15.yml done 1 prog tests 1 inspect 17   4.8 690 140 .53  0   true prog tests 1 inspect
16.2  20.3  .53  .53  63   1.3  0  
eca-rers2012/Problem15_label22.yml done 1 prog tests 1 inspect 18   5.3 630 150 .52  0   true prog tests 1 inspect
15.8  20.3  .49  .49  64   1.3  0  
eca-rers2012/Problem15_label23.yml done 1 prog tests 1 inspect 18   6.1 810 170 .61  0   true prog tests 1 inspect
24.7  21.9  .51  .51  64   1.3  0  
eca-rers2012/Problem15_label25.yml done 1 prog tests 1 inspect 21   7.1 1000 200 .64  0   true prog tests 1 inspect
26.3  22.6  .50  .50  63   1.3  0  
eca-rers2012/Problem15_label29.yml done 1 prog tests 1 inspect 18   5.4 700 160 .57  0   true prog tests 1 inspect
18.3  20.4  .52  .52  64   1.6  0  
eca-rers2012/Problem15_label30.yml done 1 prog tests 1 inspect 16   4.8 600 130 .45  0   true prog tests 1 inspect
19.3  21.3  .53  .53  64   1.3  0  
eca-rers2012/Problem15_label33.yml done 1 prog tests 1 inspect 17   5.2 640 150 .51  0   true prog tests 1 inspect
21.0  21.3  .51  .51  63   1.6  0  
eca-rers2012/Problem15_label34.yml done 1 prog tests 1 inspect 19   5.5 670 160 .57  0   true prog tests 1 inspect
20.1  21.2  .52  .52  64   1.6  0  
eca-rers2012/Problem15_label37.yml done 1 prog tests 1 inspect 21   6.7 930 170 .66  0   true prog tests 1 inspect
22.6  20.4  .50  .50  63   1.6  0  
eca-rers2012/Problem15_label38.yml done 1 prog tests 1 inspect 20   6.3 930 180 .63  0   true prog tests 1 inspect
22.5  21.1  .52  .52  64   1.3  0  
eca-rers2012/Problem15_label39.yml done 1 prog tests 1 inspect 20   6.6 940 180 .67  0   true prog tests 1 inspect
19.9  20.7  .48  .48  64   1.3  0  
eca-rers2012/Problem15_label40.yml done 1 prog tests 1 inspect 18   5.0 660 170 .57  0   true prog tests 1 inspect
17.1  20.2  .52  .53  63   1.3  0  
eca-rers2012/Problem15_label41.yml done 1 prog tests 1 inspect 17   5.1 710 150 .48  0   true prog tests 1 inspect
20.5  21.4  .52  .52  64   1.3  0  
eca-rers2012/Problem15_label45.yml done 1 prog tests 1 inspect 18   5.3 690 160 .57  0   true prog tests 1 inspect
18.9  21.2  .56  .56  64   1.3  0  
eca-rers2012/Problem15_label47.yml done 1 prog tests 1 inspect 17   5.1 690 140 .54  0   true prog tests 1 inspect
19.4  21.6  .50  .50  63   1.6  0  
eca-rers2012/Problem15_label48.yml done 1 prog tests 1 inspect 17   4.8 700 150 .52  0   true prog tests 1 inspect
16.3  20.2  .52  .55  64   1.6  0  
eca-rers2012/Problem15_label50.yml done 1 prog tests 1 inspect 18   5.5 770 170 .56  0   true prog tests 1 inspect
20.0  21.3  .50  .50  64   1.6  0  
eca-rers2012/Problem15_label51.yml done 1 prog tests 1 inspect 18   5.2 640 150 .49  0   true prog tests 1 inspect
20.0  21.3  .51  .51  63   1.3  0  
eca-rers2012/Problem16_label00.yml timeout prog tests 0 inspect 900   860   6100 7300 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-rers2012/Problem16_label01.yml timeout prog tests 0 inspect 900   850   8100 6900 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-rers2012/Problem16_label03.yml timeout prog tests 0 inspect 900   860   8000 7400 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem16_label04.yml timeout prog tests 0 inspect 900   860   8000 8500 0     0   error (0) prog tests 0 inspect
0    0    .060 .062 8.9 0    0  
eca-rers2012/Problem16_label05.yml timeout prog tests 0 inspect 900   820   9900 7600 0     0   error (0) prog tests 0 inspect
0    0    .062 .064 8.9 0    0  
eca-rers2012/Problem16_label06.yml timeout prog tests 0 inspect 900   850   10000 7100 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.1 0    0  
eca-rers2012/Problem16_label08.yml timeout prog tests 0 inspect 900   850   9700 6500 0     0   error (0) prog tests 0 inspect
0    0    .066 .068 8.9 0    0  
eca-rers2012/Problem16_label14.yml timeout prog tests 0 inspect 900   860   9400 8000 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-rers2012/Problem16_label15.yml timeout prog tests 0 inspect 900   860   8100 6800 0     0   error (0) prog tests 0 inspect
0    0    .070 .071 9.0 0    0  
eca-rers2012/Problem16_label18.yml timeout prog tests 0 inspect 900   850   12000 7600 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 8.8 0    0  
eca-rers2012/Problem16_label20.yml timeout prog tests 0 inspect 900   860   11000 7000 0     0   error (0) prog tests 0 inspect
0    0    .062 .064 9.0 0    0  
eca-rers2012/Problem16_label22.yml timeout prog tests 0 inspect 900   850   11000 6800 0     0   error (0) prog tests 0 inspect
0    0    .065 .066 9.0 0    0  
eca-rers2012/Problem16_label27.yml timeout prog tests 0 inspect 900   840   8400 7600 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem16_label30.yml timeout prog tests 0 inspect 900   850   11000 7400 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem16_label31.yml timeout prog tests 0 inspect 900   850   8400 7400 0     0   error (0) prog tests 0 inspect
0    0    .066 .067 8.9 0    0  
eca-rers2012/Problem16_label33.yml timeout prog tests 0 inspect 900   860   8400 9100 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem16_label37.yml timeout prog tests 0 inspect 900   850   11000 6800 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem16_label38.yml timeout prog tests 0 inspect 900   840   8800 8000 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 8.9 0    0  
eca-rers2012/Problem16_label41.yml timeout prog tests 0 inspect 900   850   8600 7700 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem16_label43.yml timeout prog tests 0 inspect 900   860   8000 7400 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem16_label44.yml timeout prog tests 0 inspect 900   850   9700 6700 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem16_label46.yml timeout prog tests 0 inspect 900   860   9900 7800 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem16_label51.yml timeout prog tests 0 inspect 900   850   11000 7300 0     0   error (0) prog tests 0 inspect
0    0    .059 .070 8.9 0    0  
eca-rers2012/Problem16_label52.yml timeout prog tests 0 inspect 900   850   10000 7200 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.8 0    0  
eca-rers2012/Problem16_label54.yml timeout prog tests 0 inspect 900   860   8300 6600 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-rers2012/Problem17_label04.yml done 1 prog tests 1 inspect 18   5.0 550 170 .40  0   true prog tests 1 inspect
8.37 9.24 .73  .74  80   2.3  0  
eca-rers2012/Problem17_label07.yml timeout prog tests 0 inspect 900   850   8000 6300 .98  0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem17_label09.yml done 1 prog tests 1 inspect 18   5.5 600 140 .50  0   true prog tests 1 inspect
9.37 10.7  .75  .76  80   3.1  0  
eca-rers2012/Problem17_label13.yml done 1 prog tests 1 inspect 21   7.0 870 180 .65  0   true prog tests 1 inspect
13.4  14.3  .73  .73  81   2.4  0  
eca-rers2012/Problem17_label16.yml done 1 prog tests 1 inspect 20   6.0 760 180 .54  0   true prog tests 1 inspect
12.8  16.3  .73  .74  80   2.3  0  
eca-rers2012/Problem17_label20.yml timeout prog tests 0 inspect 910   870   4600 6800 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 9.0 0    0  
eca-rers2012/Problem17_label23.yml done 1 prog tests 1 inspect 18   5.4 730 140 .49  0   true prog tests 1 inspect
11.3  11.7  .73  .73  81   3.1  0  
eca-rers2012/Problem17_label25.yml done 1 prog tests 1 inspect 23   8.5 990 230 .68  0   true prog tests 1 inspect
14.6  15.8  .76  .78  80   2.3  0  
eca-rers2012/Problem17_label26.yml done 1 prog tests 1 inspect 21   6.4 870 180 .59  0   true prog tests 1 inspect
12.3  14.4  .79  .80  81   2.9  0  
eca-rers2012/Problem17_label30.yml done 1 prog tests 1 inspect 16   5.0 560 130 .39  0   true prog tests 1 inspect
7.49 7.52 .76  .76  80   2.4  0  
eca-rers2012/Problem17_label31.yml timeout prog tests 0 inspect 900   880   4400 4400 .76  0   error (0) prog tests 0 inspect
0    0    .065 .065 9.0 0    0  
eca-rers2012/Problem17_label33.yml done 1 prog tests 1 inspect 22   7.4 1000 180 .63  0   true prog tests 1 inspect
14.9  15.6  .77  .77  80   2.3  0  
eca-rers2012/Problem17_label34.yml done 1 prog tests 1 inspect 18   5.5 710 160 .51  0   true prog tests 1 inspect
12.2  13.4  .74  .76  81   2.4  0  
eca-rers2012/Problem17_label35.yml timeout prog tests 0 inspect 900   880   4700 5900 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-rers2012/Problem17_label37.yml done 1 prog tests 1 inspect 21   7.0 950 170 .62  0   true prog tests 1 inspect
14.2  15.6  .71  .71  81   3.1  0  
eca-rers2012/Problem17_label40.yml done 1 prog tests 1 inspect 21   7.0 950 190 .59  0   true prog tests 1 inspect
13.0  15.7  .77  .77  80   2.3  0  
eca-rers2012/Problem17_label46.yml timeout prog tests 0 inspect 900   880   4700 7900 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem17_label49.yml done 1 prog tests 1 inspect 20   6.5 770 160 .60  0   true prog tests 1 inspect
13.7  15.6  .73  .73  80   2.3  0  
eca-rers2012/Problem17_label50.yml done 1 prog tests 1 inspect 840   810   4900 5600 1.8   0   true prog tests 1 inspect
19.8  18.6  .74  .74  81   3.1  0  
eca-rers2012/Problem17_label52.yml timeout prog tests 0 inspect 900   880   4700 6500 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem17_label53.yml done 1 prog tests 1 inspect 16   4.8 540 130 .39  0   true prog tests 1 inspect
7.56 9.38 .81  .81  80   2.3  0  
eca-rers2012/Problem17_label54.yml done 1 prog tests 1 inspect 20   6.4 880 170 .61  0   true prog tests 1 inspect
13.7  17.3  .76  .77  80   2.3  0  
eca-rers2012/Problem17_label55.yml done 1 prog tests 1 inspect 19   5.8 770 160 .56  0   true prog tests 1 inspect
11.7  14.3  .75  .75  80   2.3  0  
eca-rers2012/Problem17_label57.yml done 1 prog tests 1 inspect 25   8.9 1200 220 .69  0   true prog tests 1 inspect
16.4  17.0  .76  .76  81   2.3  0  
eca-rers2012/Problem18_label00.yml done 1 prog tests 1 inspect 320   270   4500 3000 4.5   0   true prog tests 1 inspect
19.4  17.0  .79  .81  76   .52 0  
eca-rers2012/Problem18_label01.yml done 1 prog tests 1 inspect 300   260   3700 2100 3.1   0   true prog tests 1 inspect
15.3  16.2  .79  .79  75   3.6  0  
eca-rers2012/Problem18_label03.yml done 1 prog tests 1 inspect 280   250   3700 2300 1.8   0   true prog tests 1 inspect
18.3  18.0  .78  .79  76   2.8  0  
eca-rers2012/Problem18_label06.yml done 1 prog tests 1 inspect 270   230   5200 2700 2.0   0   true prog tests 1 inspect
17.5  16.2  .82  .82  75   2.7  0  
eca-rers2012/Problem18_label08.yml done 1 prog tests 1 inspect 130   100   3500 1000 2.3   0   true prog tests 1 inspect
19.3  17.4  .88  .88  76   2.7  0  
eca-rers2012/Problem18_label09.yml done 1 prog tests 1 inspect 240   200   6000 2000 3.8   0   true prog tests 1 inspect
16.8  16.1  .79  .79  76   2.8  0  
eca-rers2012/Problem18_label10.yml done 1 prog tests 1 inspect 550   510   4700 3800 4.2   0   true prog tests 1 inspect
19.0  16.7  .78  .78  76   3.0  0  
eca-rers2012/Problem18_label12.yml done 1 prog tests 1 inspect 150   100   2900 1100 3.0   0   true prog tests 1 inspect
15.4  16.1  .77  .77  75   3.6  0  
eca-rers2012/Problem18_label19.yml done 1 prog tests 1 inspect 160   120   3700 1500 1.8   0   true prog tests 1 inspect
16.5  16.1  .87  .87  76   2.7  0  
eca-rers2012/Problem18_label20.yml timeout prog tests 0 inspect 900   840   9900 7300 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem18_label25.yml timeout prog tests 0 inspect 900   860   7200 7300 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-rers2012/Problem18_label27.yml done 1 prog tests 1 inspect 250   220   3600 1500 3.6   0   true prog tests 1 inspect
15.6  16.0  .81  .81  76   2.8  0  
eca-rers2012/Problem18_label31.yml done 1 prog tests 1 inspect 250   200   7000 2100 4.5   0   true prog tests 1 inspect
15.8  16.0  .79  .79  76   2.8  0  
eca-rers2012/Problem18_label32.yml timeout prog tests 0 inspect 900   870   4300 5400 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 8.9 0    0  
eca-rers2012/Problem18_label33.yml timeout prog tests 0 inspect 900   870   6400 6700 0     0   error (0) prog tests 0 inspect
0    0    .059 .064 8.9 0    0  
eca-rers2012/Problem18_label34.yml done 1 prog tests 1 inspect 550   500   5800 3900 4.5   0   true prog tests 1 inspect
18.0  16.0  .78  .78  76   1.6  0  
eca-rers2012/Problem18_label35.yml done 1 prog tests 1 inspect 480   440   4100 3800 4.3   0   true prog tests 1 inspect
15.0  16.1  .78  .78  76   3.6  0  
eca-rers2012/Problem18_label36.yml done 1 prog tests 1 inspect 300   250   4700 2300 4.5   0   true prog tests 1 inspect
16.5  16.2  .76  .76  75   3.6  0  
eca-rers2012/Problem18_label38.yml done 1 prog tests 1 inspect 140   110   2900 1100 3.2   0   true prog tests 1 inspect
15.9  16.1  .75  .75  75   1.6  0  
eca-rers2012/Problem18_label39.yml done 1 prog tests 1 inspect 170   130   3400 1300 3.0   0   true prog tests 1 inspect
13.3  16.0  .86  .86  76   2.7  0  
eca-rers2012/Problem18_label45.yml done 1 prog tests 1 inspect 250   210   4100 2200 1.9   0   true prog tests 1 inspect
17.0  16.0  .83  .83  75   2.7  0  
eca-rers2012/Problem18_label49.yml timeout prog tests 0 inspect 900   860   6200 7300 2.1   0   error (0) prog tests 0 inspect
0    0    .075 .076 8.9 0    0  
eca-rers2012/Problem18_label52.yml done 1 prog tests 1 inspect 120   91   4600 1100 2.6   0   true prog tests 1 inspect
15.4  16.1  .81  .81  75   1.0  0  
eca-rers2012/Problem18_label55.yml done 1 prog tests 1 inspect 130   93   5100 1200 4.0   0   true prog tests 1 inspect
16.3  16.1  .76  .76  76   2.7  0  
eca-rers2012/Problem18_label57.yml done 1 prog tests 1 inspect 300   250   7000 2200 4.8   0   true prog tests 1 inspect
17.1  16.0  .81  .81  75   2.7  0  
eca-rers2012/Problem19_label10.yml timeout prog tests 0 inspect 900   870   9200 7500 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem19_label11.yml timeout prog tests 0 inspect 900   880   8500 5600 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem19_label14.yml timeout prog tests 0 inspect 900   860   11000 6100 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem19_label17.yml timeout prog tests 0 inspect 900   860   14000 9700 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-rers2012/Problem19_label18.yml timeout prog tests 0 inspect 900   860   9600 7200 0     0   error (0) prog tests 0 inspect
0    0    .056 .057 9.0 0    0  
eca-rers2012/Problem19_label19.yml out of memory prog tests 0 inspect 530   490   15000 5000 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-rers2012/Problem19_label21.yml timeout prog tests 0 inspect 900   880   8500 6600 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem19_label22.yml timeout prog tests 0 inspect 900   880   8400 8000 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem19_label26.yml timeout prog tests 0 inspect 900   880   8200 5900 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-rers2012/Problem19_label27.yml timeout prog tests 0 inspect 900   880   8400 5100 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem19_label28.yml timeout prog tests 0 inspect 900   880   8400 7500 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-rers2012/Problem19_label29.yml out of memory prog tests 0 inspect 530   470   15000 4100 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 9.0 0    0  
eca-rers2012/Problem19_label31.yml timeout prog tests 0 inspect 900   870   9300 6400 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-rers2012/Problem19_label32.yml timeout prog tests 0 inspect 910   860   7900 5800 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem19_label41.yml timeout prog tests 0 inspect 900   840   14000 7900 0     0   error (0) prog tests 0 inspect
0    0    .062 .062 9.0 0    0  
eca-rers2012/Problem19_label42.yml timeout prog tests 0 inspect 900   860   9600 5800 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-rers2012/Problem19_label43.yml timeout prog tests 0 inspect 900   870   9300 5900 0     0   error (0) prog tests 0 inspect
0    0    .057 .058 8.9 0    0  
eca-rers2012/Problem19_label47.yml timeout prog tests 0 inspect 900   880   8400 5000 0     0   error (0) prog tests 0 inspect
0    0    .064 .065 9.0 0    0  
eca-rers2012/Problem19_label50.yml timeout prog tests 0 inspect 900   860   11000 6200 0     0   error (0) prog tests 0 inspect
0    0    .063 .065 8.9 0    0  
eca-rers2012/Problem19_label51.yml timeout prog tests 0 inspect 910   870   9400 6900 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-rers2012/Problem19_label53.yml timeout prog tests 0 inspect 900   870   8400 5500 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem19_label55.yml timeout prog tests 0 inspect 900   860   11000 6800 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-rers2012/Problem19_label58.yml timeout prog tests 0 inspect 900   860   10000 6200 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-rers2012/Problem19_label59.yml timeout prog tests 0 inspect 900   880   8400 6300 0     0   error (0) prog tests 0 inspect
0    0    .058 .061 8.9 0    0  
eca-programs/Problem101_label00.yml timeout prog tests 0 inspect 900   630   8300 7100 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-programs/Problem101_label01.yml timeout prog tests 0 inspect 900   630   8100 7100 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-programs/Problem101_label02.yml timeout prog tests 0 inspect 900   370   12000 6300 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-programs/Problem101_label03.yml timeout prog tests 0 inspect 900   530   10000 7200 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 9.0 0    0  
eca-programs/Problem101_label04.yml timeout prog tests 0 inspect 900   450   10000 6900 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 9.0 0    0  
eca-programs/Problem101_label05.yml timeout prog tests 0 inspect 900   490   9800 7000 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-programs/Problem101_label06.yml timeout prog tests 0 inspect 900   630   8900 7000 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-programs/Problem101_label07.yml timeout prog tests 0 inspect 900   540   11000 8300 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-programs/Problem101_label08.yml timeout prog tests 0 inspect 900   650   8400 8100 0     0   error (0) prog tests 0 inspect
0    0    .060 .062 9.0 0    0  
eca-programs/Problem101_label09.yml timeout prog tests 0 inspect 900   660   8100 8100 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem101_label10.yml timeout prog tests 0 inspect 900   560   11000 8600 0     0   error (0) prog tests 0 inspect
0    0    .060 .062 9.0 0    0  
eca-programs/Problem101_label11.yml timeout prog tests 0 inspect 900   570   10000 7800 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-programs/Problem101_label12.yml timeout prog tests 0 inspect 900   580   8900 8700 0     0   error (0) prog tests 0 inspect
0    0    .059 .069 9.0 0    0  
eca-programs/Problem101_label13.yml timeout prog tests 0 inspect 900   470   11000 6800 0     0   error (0) prog tests 0 inspect
0    0    .058 .060 8.9 0    0  
eca-programs/Problem101_label14.yml timeout prog tests 0 inspect 900   600   11000 7500 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.9 0    0  
eca-programs/Problem101_label15.yml timeout prog tests 0 inspect 900   420   12000 7100 0     0   error (0) prog tests 0 inspect
0    0    .059 .061 8.9 0    0  
eca-programs/Problem101_label16.yml timeout prog tests 0 inspect 910   690   8600 7300 0     0   error (0) prog tests 0 inspect
0    0    .063 .063 9.0 0    0  
eca-programs/Problem101_label17.yml timeout prog tests 0 inspect 900   570   9800 8700 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem101_label18.yml timeout prog tests 0 inspect 900   500   11000 8000 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-programs/Problem101_label19.yml timeout prog tests 0 inspect 900   650   8500 8100 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-programs/Problem101_label20.yml timeout prog tests 0 inspect 900   610   9600 7100 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-programs/Problem101_label21.yml timeout prog tests 0 inspect 900   650   8300 7200 0     0   error (0) prog tests 0 inspect
0    0    .064 .065 8.9 0    0  
eca-programs/Problem101_label22.yml timeout prog tests 0 inspect 900   670   8400 8900 0     0   error (0) prog tests 0 inspect
0    0    .066 .068 9.0 0    0  
eca-programs/Problem101_label23.yml timeout prog tests 0 inspect 900   550   9700 6900 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-programs/Problem102_label01.yml timeout prog tests 0 inspect 910   220   12000 5600 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label02.yml timeout prog tests 0 inspect 910   220   12000 5400 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-programs/Problem102_label04.yml timeout prog tests 0 inspect 910   280   12000 6400 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-programs/Problem102_label05.yml timeout prog tests 0 inspect 900   220   12000 5300 0     0   error (0) prog tests 0 inspect
0    0    .062 .063 8.9 0    0  
eca-programs/Problem102_label06.yml timeout prog tests 0 inspect 910   230   12000 5100 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-programs/Problem102_label07.yml timeout prog tests 0 inspect 900   220   12000 5300 0     0   error (0) prog tests 0 inspect
0    0    .058 .058 9.0 0    0  
eca-programs/Problem102_label10.yml timeout prog tests 0 inspect 910   230   12000 5200 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 8.9 0    0  
eca-programs/Problem102_label13.yml timeout prog tests 0 inspect 910   220   12000 5000 0     0   error (0) prog tests 0 inspect
0    0    .061 .061 9.0 0    0  
eca-programs/Problem102_label15.yml timeout prog tests 0 inspect 910   230   12000 5200 0     0   error (0) prog tests 0 inspect
0    0    .066 .067 8.9 0    0  
eca-programs/Problem102_label24.yml timeout prog tests 0 inspect 900   190   11000 5200 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label25.yml timeout prog tests 0 inspect 910   200   11000 4600 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-programs/Problem102_label26.yml timeout prog tests 0 inspect 910   190   11000 4900 0     0   error (0) prog tests 0 inspect
0    0    .058 .060 8.9 0    0  
eca-programs/Problem102_label28.yml timeout prog tests 0 inspect 910   230   11000 5300 0     0   error (0) prog tests 0 inspect
0    0    .060 .060 9.0 0    0  
eca-programs/Problem102_label29.yml timeout prog tests 0 inspect 910   260   11000 6100 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 8.9 0    0  
eca-programs/Problem102_label34.yml timeout prog tests 0 inspect 910   190   11000 5200 0     0   error (0) prog tests 0 inspect
0    0    .067 .067 9.0 0    0  
eca-programs/Problem102_label37.yml timeout prog tests 0 inspect 900   200   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .063 .064 8.9 0    0  
eca-programs/Problem102_label43.yml timeout prog tests 0 inspect 910   240   12000 5900 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label46.yml timeout prog tests 0 inspect 910   240   12000 6200 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label48.yml timeout prog tests 0 inspect 900   240   12000 5500 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label49.yml timeout prog tests 0 inspect 910   240   12000 6000 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem102_label50.yml timeout prog tests 0 inspect 910   270   12000 5500 0     0   error (0) prog tests 0 inspect
0    0    .073 .073 9.0 0    0  
eca-programs/Problem102_label51.yml timeout prog tests 0 inspect 910   230   12000 5200 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-programs/Problem102_label55.yml timeout prog tests 0 inspect 910   220   12000 5700 0     0   error (0) prog tests 0 inspect
0    0    .062 .064 8.9 0    0  
eca-programs/Problem102_label59.yml timeout prog tests 0 inspect 910   190   11000 4500 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 8.9 0    0  
eca-programs/Problem103_label32.yml timeout prog tests 0 inspect 900   200   11000 5100 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-programs/Problem103_label35.yml timeout prog tests 0 inspect 910   170   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .059 .059 9.0 0    0  
eca-programs/Problem103_label41.yml timeout prog tests 0 inspect 900   200   11000 4600 0     0   error (0) prog tests 0 inspect
0    0    .060 .061 9.0 0    0  
eca-programs/Problem103_label44.yml timeout prog tests 0 inspect 910   180   11000 4900 0     0   error (0) prog tests 0 inspect
0    0    .059 .060 9.0 0    0  
eca-programs/Problem103_label46.yml timeout prog tests 0 inspect 910   170   11000 5000 0     0   error (0) prog tests 0 inspect
0    0    .064 .065 8.9 0    0  
eca-programs/Problem103_label47.yml timeout prog tests 0 inspect 900   160   11000 4600 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 9.0 0    0  
eca-programs/Problem103_label51.yml timeout prog tests 0 inspect 910   170   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .061 .062 9.0 0    0  
eca-programs/Problem103_label53.yml timeout prog tests 0 inspect 900   160   11000 4600 0     0   error (0) prog tests 0 inspect
0    0    .058 .058 9.0 0    0  
eca-programs/Problem103_label54.yml timeout prog tests 0 inspect 900   170   11000 4500 0     0   error (0) prog tests 0 inspect
0    0    .065 .066 9.0 0    0  
eca-programs/Problem103_label56.yml timeout prog tests 0 inspect 900   170   11000 4700 0     0   error (0) prog tests 0 inspect
0    0    .061 .063 8.9 0    0  
eca-programs/Problem103_label57.yml timeout prog tests 0 inspect 910   170   11000 4400 0     0   error (0) prog tests 0 inspect
0    0    .058 .059 8.9 0    0  
eca-programs/Problem103_label59.yml timeout prog tests 0 inspect 910   170   11000 4800 0     0   error (0) prog tests 0 inspect
0    0    .061 .063 8.9 0    0  
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 412 195 220000 130000 2800000 1600000 200 0   412 3570 3340 220 220 22000 780 0  
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA tbf-testsuite-validator-coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA