Benchmark CPA/CoVeriTest CPA/Tiger-MGP ESBMC-bkind ESBMC-falsif FairFuzz KLEE PRtest Symbiotic VeriFuzz
Tool CPAchecker 1.8-svn 30375 CPAchecker 1.8-svn 30541M ESBMC version 6.0.0 64-bit x86_64 linux FairFuzz TC-0.0.2 KLEE 2.0.0-pre-test-comp tbf v0.3.0-testcomp19 symbiotic 6.0.3-dev-fd3f777b VeriFuzz 1.0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-45-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2019-02-05 21:05:56 CET 2019-02-05 21:13:54 CET 2019-02-05 21:13:25 CET 2019-02-05 21:11:17 CET 2019-02-08 09:39:09 CET 2019-02-05 21:09:47 CET 2019-02-06 06:02:44 CET 2019-02-06 07:07:32 CET 2019-02-06 07:17:17 CET
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-ECA esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-ECA esbmc-falsi.test-comp19_prop-coverage-error-call.ReachSafety-ECA fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA klee.test-comp19_prop-coverage-error-call.ReachSafety-ECA prtest.test-comp19_prop-coverage-error-call.ReachSafety-ECA symbiotic.test-comp19_prop-coverage-error-call.ReachSafety-ECA verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA
Options -benchmark -heap 10000M -testcomp19 -benchmark -heap 10000M -tigertestcomp19 -s kinduction -s falsi --stats -i random --write-xml --svcomp-nondets --test-comp --verifier klee-testcomp --testcomp
../sv-benchmarks/c/ status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J)
eca-rers2012/Problem03_label09.yml done 1 21   760 170 unknown 1 20 630 180 false(unreach-call) 1 7.6  250 78   false(unreach-call) 1 4.2  220 49   timeout 1 900 71 4400 false(unreach-call) 1 1.0  45 12   timeout 900 52 12000 done 1 30   190 450 done 1 9.5 280 110
eca-rers2012/Problem03_label13.yml done 1 19   760 170 unknown 1 18 690 150 false(unreach-call) 1 4.1  190 61   false(unreach-call) 1 2.0  160 22   timeout 1 900 70 2700 false(unreach-call) 1 .52 34 6.1 timeout 900 52 14000 done 1 29   100 410 done 1 10   280 120
eca-rers2012/Problem03_label26.yml done 1 16   610 150 unknown 1 19 660 180 false(unreach-call) 1 4.1  190 46   false(unreach-call) 1 2.0  160 23   done 12 71 56 false(unreach-call) 1 .79 39 8.5 timeout 900 52 14000 done 1 29   85 420 done 1 8.2 290 78
eca-rers2012/Problem03_label27.yml done 1 18   590 160 unknown 1 19 660 170 false(unreach-call) 1 4.2  190 43   false(unreach-call) 1 2.1  160 22   timeout 1 900 70 2700 false(unreach-call) 1 .91 42 11   timeout 900 52 14000 done 1 29   120 420 done 1 8.2 280 92
eca-rers2012/Problem03_label28.yml done 1 18   620 160 unknown 1 19 690 170 false(unreach-call) 1 4.2  190 44   false(unreach-call) 1 2.1  160 27   timeout 1 900 70 2100 false(unreach-call) 1 .84 40 11   timeout 900 52 13000 done 1 30   170 390 done 1 8.1 280 87
eca-rers2012/Problem03_label31.yml done 1 20   700 160 unknown 1 20 560 200 false(unreach-call) 1 4.2  190 49   false(unreach-call) 1 2.1  160 21   timeout 1 900 70 7500 false(unreach-call) 1 .63 36 7.9 timeout 900 52 12000 done 1 30   160 380 done 1 8.3 270 85
eca-rers2012/Problem03_label35.yml done 1 21   810 160 unknown 1 20 750 190 false(unreach-call) 1 7.5  250 79   false(unreach-call) 1 4.2  220 49   timeout 1 900 71 3500 false(unreach-call) 1 1.1  45 14   timeout 900 52 15000 done 1 31   290 380 done 1 10   290 100
eca-rers2012/Problem03_label37.yml done 1 15   530 130 unknown 1 17 650 190 false(unreach-call) 1 4.1  190 51   false(unreach-call) 1 2.0  160 24   done 21 72 75 false(unreach-call) 1 1.2  49 16   timeout 900 52 15000 done 1 28   84 300 done 1 8.1 280 73
eca-rers2012/Problem03_label39.yml done 1 20   750 160 unknown 1 19 740 190 false(unreach-call) 1 7.6  250 73   false(unreach-call) 1 4.2  220 53   timeout 1 900 72 2100 false(unreach-call) 1 1.0  45 12   timeout 900 52 13000 done 1 31   250 400 done 1 8.4 280 78
eca-rers2012/Problem03_label43.yml done 1 16   530 150 unknown 1 19 640 180 false(unreach-call) 1 4.2  190 47   false(unreach-call) 1 2.0  160 22   timeout 1 900 71 4400 false(unreach-call) 1 1.5  59 17   timeout 900 52 14000 done 1 29   84 380 done 1 8.4 290 80
eca-rers2012/Problem03_label45.yml done 1 20   880 170 unknown 1 22 660 220 false(unreach-call) 1 7.8  250 110   false(unreach-call) 1 4.5  220 54   timeout 1 900 71 4000 false(unreach-call) 1 1.1  48 17   timeout 900 52 13000 done 1 30   230 400 done 1 12   280 120
eca-rers2012/Problem03_label50.yml done 1 19   710 150 unknown 1 19 560 180 false(unreach-call) 1 4.2  190 50   false(unreach-call) 1 2.0  160 25   done 18 70 60 false(unreach-call) 1 .72 38 8.5 timeout 900 52 13000 done 1 30   150 420 done 1 9.5 290 100
eca-rers2012/Problem03_label52.yml done 1 20   890 180 unknown 1 20 600 180 false(unreach-call) 1 7.7  250 100   false(unreach-call) 1 4.3  220 52   timeout 1 900 70 4000 false(unreach-call) 1 1.2  50 18   timeout 900 52 13000 done 1 31   290 390 done 1 8.6 280 110
eca-rers2012/Problem04_label04.yml done 1 140   4800 1200 unknown 1 93 3400 1000 false(unreach-call) 1 270    1700 2700   false(unreach-call) 1 160    1400 1900   timeout 900 130 2600 false(unreach-call) 1 240    2900 1900   timeout 900 65 13000 done 1 410   9300 3500 done 1 93   340 1100
eca-rers2012/Problem04_label06.yml done 1 130   4700 1400 unknown 1 120 3400 1000 false(unreach-call) 1 280    1800 3400   false(unreach-call) 1 170    1400 2100   timeout 900 130 2800 false(unreach-call) 1 300    3500 2200   timeout 900 65 12000 done 1 480   11000 3300 done 1 91   340 1300
eca-rers2012/Problem04_label09.yml done 1 99   4100 1000 unknown 1 85 3100 890 false(unreach-call) 1 190    1400 1900   false(unreach-call) 1 120    1200 1200   done 26 130 160 false(unreach-call) 1 280    3300 1800   timeout 900 65 14000 done 1 250   5600 2800 done 1 93   340 1400
eca-rers2012/Problem04_label13.yml done 1 110   4500 970 unknown 1 84 2900 830 false(unreach-call) 1 200    1500 2300   false(unreach-call) 1 130    1200 1500   done 25 130 220 false(unreach-call) 1 220    2700 1600   timeout 900 65 14000 done 1 320   7000 2600 done 1 85   360 1200
eca-rers2012/Problem04_label15.yml done 1 100   4200 950 unknown 1 87 3400 870 false(unreach-call) 1 190    1500 2500   false(unreach-call) 1 120    1200 1200   timeout 900 130 2400 false(unreach-call) 1 69    1100 640   timeout 900 65 13000 done 1 280   6400 3600 done 1 88   330 1000
eca-rers2012/Problem04_label18.yml done 1 230   5600 2300 unknown 1 140 3700 1500 false(unreach-call) 1 190    1400 2200   false(unreach-call) 1 120    960 1500   timeout 900 130 2700 false(unreach-call) 1 220    2700 1800   timeout 900 65 14000 done 1 330   7400 3700 done 1 82   340 1100
eca-rers2012/Problem04_label19.yml done 1 240   6300 2600 unknown 1 170 4500 1600 false(unreach-call) 1 280    1700 3200   false(unreach-call) 1 180    1400 2100   timeout 900 130 2800 false(unreach-call) 1 200    2500 1700   timeout 900 66 14000 done 1 860   15000 5600 done 1 86   340 1100
eca-rers2012/Problem04_label26.yml done 1 110   4500 1100 unknown 1 95 3000 1000 false(unreach-call) 1 260    1700 3600   false(unreach-call) 1 170    1400 2200   timeout 900 130 2600 false(unreach-call) 1 250    3000 2400   timeout 900 65 12000 done 1 340   7500 3300 done 1 84   340 1000
eca-rers2012/Problem04_label31.yml done 1 210   5800 2000 unknown 1 140 3800 1400 false(unreach-call) 1 260    1800 3100   false(unreach-call) 1 160    1400 1900   done 32 130 190 false(unreach-call) 1 270    3200 2700   timeout 900 65 14000 done 1 440   9800 3400 done 1 87   350 1200
eca-rers2012/Problem04_label32.yml done 1 200   5500 2000 unknown 1 130 3100 1300 false(unreach-call) 1 190    1400 2000   false(unreach-call) 1 120    1200 1700   timeout 900 130 5000 false(unreach-call) 1 280    3200 2000   timeout 900 65 12000 done 1 290   6400 3400 done 1 90   340 1300
eca-rers2012/Problem04_label35.yml done 1 230   5600 2600 unknown 1 140 3500 1700 false(unreach-call) 1 200    1500 2200   false(unreach-call) 1 120    1200 1500   timeout 900 130 5000 false(unreach-call) 1 230    2800 1600   timeout 900 65 15000 done 1 270   5700 2500 done 1 79   350 1000
eca-rers2012/Problem04_label38.yml done 1 220   5700 2200 unknown 1 130 3500 1600 false(unreach-call) 1 280    1800 3600   false(unreach-call) 1 180    1400 2100   timeout 900 130 2800 false(unreach-call) 1 240    2900 1800   timeout 900 65 12000 done 1 360   8100 3300 done 1 95   350 1000
eca-rers2012/Problem04_label39.yml done 1 120   4500 1400 unknown 1 100 3100 1100 false(unreach-call) 1 280    1800 3100   false(unreach-call) 1 180    1400 1800   done 29 130 170 false(unreach-call) 1 330    3700 2500   timeout 900 66 12000 done 1 420   9700 3200 done 1 93   350 1100
eca-rers2012/Problem04_label45.yml done 1 120   4700 1100 unknown 1 94 3100 990 false(unreach-call) 1 260    1700 2900   false(unreach-call) 1 160    1400 1800   timeout 900 130 4000 false(unreach-call) 1 270    3100 2000   timeout 900 65 12000 done 1 300   6900 3800 done 1 93   340 1100
eca-rers2012/Problem04_label52.yml done 1 120   4800 1100 unknown 1 89 3200 970 false(unreach-call) 1 270    1700 3100   false(unreach-call) 1 180    1400 2100   timeout 900 130 2900 false(unreach-call) 1 330    3700 2000   timeout 900 65 14000 done 1 450   10000 3700 done 1 96   340 1200
eca-rers2012/Problem04_label55.yml done 1 110   4500 970 unknown 1 81 3000 800 false(unreach-call) 1 200    1500 2100   false(unreach-call) 1 120    1200 1600   timeout 900 130 4400 false(unreach-call) 1 190    2500 1600   timeout 900 65 12000 done 1 390   8600 2800 done 1 86   350 1100
eca-rers2012/Problem05_label00.yml done 1 180   5000 2000 unknown 1 120 3400 1300 false(unreach-call) 1 120    1400 1700   false(unreach-call) 1 74    1300 790   timeout 900 200 3000 false(unreach-call) 1 66    1100 560   timeout 900 88 14000 timeout (verification) 900   15000 6300 done 1 49   480 690
eca-rers2012/Problem05_label01.yml done 1 140   4800 1400 unknown 1 120 2900 1200 false(unreach-call) 1 120    1400 1400   false(unreach-call) 1 71    1200 810   done 29 200 220 false(unreach-call) 1 120    1800 860   timeout 900 88 14000 timeout (verification) 900   15000 6500 done 1 59   480 840
eca-rers2012/Problem05_label11.yml done 1 130   4700 1100 unknown 1 100 2800 1100 false(unreach-call) 1 120    1400 1500   false(unreach-call) 1 74    1200 1000   timeout 900 200 3100 timeout 900    8900 7700   timeout 900 88 13000 done 1 630   14000 4800 done 1 31   490 390
eca-rers2012/Problem05_label13.yml done 1 250   5600 2400 unknown 1 130 3300 1600 false(unreach-call) 1 130    1400 1300   false(unreach-call) 1 84    1200 960   timeout 900 200 4900 false(unreach-call) 1 420    4700 2500   timeout 900 88 12000 timeout (verification) 900   15000 7100 done 1 52   490 610
eca-rers2012/Problem05_label15.yml done 1 120   4800 1200 unknown 1 100 3000 930 false(unreach-call) 1 120    1400 1500   false(unreach-call) 1 71    1200 850   timeout 900 200 2000 timeout 900    8800 6300   timeout 900 88 12000 done 1 730   15000 6400 done 1 75   480 910
eca-rers2012/Problem05_label18.yml done 1 120   4700 1100 unknown 1 100 3000 1200 false(unreach-call) 1 120    1400 1600   false(unreach-call) 1 77    1300 920   timeout 900 200 3300 false(unreach-call) 1 56    990 530   timeout 900 88 14000 timeout (verification) 900   15000 5900 done 1 72   480 950
eca-rers2012/Problem05_label24.yml done 1 130   4800 1300 unknown 1 110 3100 1200 false(unreach-call) 1 130    1400 1500   false(unreach-call) 1 81    1200 870   done 30 200 240 false(unreach-call) 1 25    550 340   timeout 900 88 12000 timeout (verification) 900   15000 6300 done 1 28   480 340
eca-rers2012/Problem05_label26.yml done 1 190   5000 2000 unknown 1 140 3300 1500 false(unreach-call) 1 120    1400 1700   false(unreach-call) 1 75    1300 800   timeout 900 200 2500 timeout 900    8700 5600   timeout 900 88 12000 done 1 890   15000 8200 done 1 67   490 860
eca-rers2012/Problem05_label30.yml done 1 110   3900 1200 unknown 1 98 3100 1100 false(unreach-call) 1 120    1400 1200   false(unreach-call) 1 74    1200 1000   timeout 900 200 4000 false(unreach-call) 1 130    1900 1100   timeout 900 88 12000 out of memory (killed (signal 9, verification)) 900   15000 6800 done 1 37   490 450
eca-rers2012/Problem05_label32.yml done 1 130   4900 1400 unknown 1 120 3300 1200 false(unreach-call) 1 120    1400 1700   false(unreach-call) 1 78    1200 1000   timeout 900 200 3400 false(unreach-call) 1 280    3500 2400   timeout 900 88 13000 timeout (verification) 900   15000 6400 done 1 69   480 830
eca-rers2012/Problem05_label33.yml done 1 200   5000 2300 unknown 1 140 3300 1300 false(unreach-call) 1 120    1400 1600   false(unreach-call) 1 75    1200 980   timeout 900 200 2600 timeout 900    8800 5500   timeout 900 88 13000 timeout (verification) 900   15000 5900 done 1 64   490 830
eca-rers2012/Problem05_label36.yml done 1 130   4500 1200 unknown 1 110 3000 1100 false(unreach-call) 1 110    1400 1100   false(unreach-call) 1 65    1200 760   done 29 200 260 false(unreach-call) 1 71    1300 810   timeout 900 89 13000 timeout (verification) 900   15000 4800 done 1 59   480 640
eca-rers2012/Problem05_label37.yml done 1 130   4800 1300 unknown 1 110 3300 980 false(unreach-call) 1 120    1400 1600   false(unreach-call) 1 73    1300 810   timeout 900 200 2800 false(unreach-call) 1 230    2900 1600   timeout 900 89 13000 out of memory (killed (signal 9, verification)) 900   15000 6400 done 1 55   480 640
eca-rers2012/Problem05_label38.yml done 1 300   5900 3600 unknown 1 210 3500 2600 false(unreach-call) 1 140    1400 1700   false(unreach-call) 1 91    1200 1200   timeout 900 200 3000 false(unreach-call) 1 150    2100 1300   timeout 900 88 12000 out of memory (killed (signal 9, verification)) 880   15000 7000 done 1 38   500 450
eca-rers2012/Problem05_label39.yml done 1 180   5100 1800 unknown 1 130 3200 1500 false(unreach-call) 1 130    1400 1400   false(unreach-call) 1 81    1200 950   timeout 900 200 4100 false(unreach-call) 1 110    1700 800   timeout 900 88 14000 timeout (verification) 900   15000 6300 done 1 48   490 620
eca-rers2012/Problem05_label40.yml done 1 140   4900 1400 unknown 1 130 3400 1300 false(unreach-call) 1 120    1400 1700   false(unreach-call) 1 74    1200 890   timeout 900 200 2600 false(unreach-call) 1 37    770 430   timeout 900 89 15000 out of memory (killed (signal 9, verification)) 900   15000 6300 done 1 57   490 680
eca-rers2012/Problem05_label41.yml done 1 260   5200 2500 unknown 1 160 3500 1600 false(unreach-call) 1 120    1400 1500   false(unreach-call) 1 78    1300 920   timeout 900 200 3000 false(unreach-call) 1 32    620 280   timeout 900 88 13000 timeout (verification) 900   15000 6300 done 1 57   490 630
eca-rers2012/Problem05_label44.yml done 1 240   5300 2600 unknown 1 150 3500 1500 false(unreach-call) 1 110    1400 1400   false(unreach-call) 1 70    1200 760   timeout 900 200 2900 false(unreach-call) 1 110    1600 800   timeout 900 88 12000 out of memory (killed (signal 9, verification)) 890   15000 6700 done 1 59   490 750
eca-rers2012/Problem05_label47.yml done 1 120   4200 1300 unknown 1 110 3100 1000 false(unreach-call) 1 120    1400 1400   false(unreach-call) 1 79    1200 930   done 37 200 240 false(unreach-call) 1 150    2100 1100   timeout 900 88 12000 timeout (verification) 900   15000 5900 done 1 59   480 800
eca-rers2012/Problem05_label48.yml done 1 200   5000 2200 unknown 1 130 3600 1400 false(unreach-call) 1 130    1400 1300   false(unreach-call) 1 83    1200 900   done 29 200 260 false(unreach-call) 1 820    8100 5200   timeout 900 88 14000 out of memory (killed (signal 9, verification)) 880   15000 8700 done 1 74   490 880
eca-rers2012/Problem05_label51.yml done 1 130   4800 1400 unknown 1 110 3800 1300 false(unreach-call) 1 120    1400 1500   false(unreach-call) 1 73    1300 780   done 37 200 270 false(unreach-call) 1 660    6900 5000   timeout 900 88 12000 timeout (verification-finished) 900   15000 6900 done 1 79   490 970
eca-rers2012/Problem05_label55.yml done 1 150   4900 1400 unknown 1 120 3300 1500 false(unreach-call) 1 110    1400 1200   false(unreach-call) 1 63    1200 760   done 35 200 240 false(unreach-call) 1 280    3400 1800   timeout 900 88 11000 timeout (verification) 900   15000 5900 done 1 38   480 460
eca-rers2012/Problem05_label57.yml done 1 130   4800 1400 unknown 1 110 3500 1200 false(unreach-call) 1 120    1400 1700   false(unreach-call) 1 77    1300 1000   timeout 900 200 4100 false(unreach-call) 1 220    2900 2200   timeout 900 88 13000 out of memory (killed (signal 9, verification)) 890   15000 7500 done 1 39   480 520
eca-rers2012/Problem05_label58.yml done 1 180   5000 1800 unknown 1 130 2900 1400 false(unreach-call) 1 120    1400 1300   false(unreach-call) 1 71    1200 690   timeout 900 200 2700 false(unreach-call) 1 250    3200 1800   timeout 900 88 13000 timeout (verification) 900   15000 6800 done 1 43   490 510
eca-rers2012/Problem06_label00.yml done 1 99   3900 960 unknown 1 71 2400 710 false(unreach-call) 1 83    1500 870   false(unreach-call) 1 53    1300 660   done 24 190 130 false(unreach-call) 1 62    1300 540   timeout 900 89 12000 done 1 190   2400 2600 done 1 21   450 250
eca-rers2012/Problem06_label01.yml done 1 98   3600 930 unknown 1 77 2500 730 false(unreach-call) 1 70    1500 770   false(unreach-call) 1 40    1400 460   timeout 1 900 190 2500 timeout 900    9500 6000   timeout 900 89 11000 done 1 320   7100 3500 done 1 21   470 240
eca-rers2012/Problem06_label02.yml done 1 180   4700 2000 unknown 1 130 2700 1300 false(unreach-call) 1 66    1500 670   false(unreach-call) 1 35    1300 480   timeout 900 190 2800 false(unreach-call) 1 190    3000 1700   timeout 900 89 11000 done 1 270   5600 2800 done 1 21   460 240
eca-rers2012/Problem06_label04.yml done 1 120   4000 1000 unknown 1 110 2600 1100 false(unreach-call) 1 63    1500 810   false(unreach-call) 1 34    1300 430   timeout 900 190 2800 false(unreach-call) 1 96    1800 790   timeout 900 89 13000 done 1 160   780 1900 done 1 21   460 260
eca-rers2012/Problem06_label05.yml done 1 94   3500 890 unknown 1 72 2200 810 false(unreach-call) 1 66    1500 670   false(unreach-call) 1 36    1300 430   done 23 190 170 false(unreach-call) 1 31    740 290   timeout 900 89 12000 done 1 250   5100 3400 done 1 21   460 230
eca-rers2012/Problem06_label09.yml done 1 110   4000 920 unknown 1 88 2300 900 false(unreach-call) 1 78    1500 830   false(unreach-call) 1 48    1400 520   timeout 900 190 2900 false(unreach-call) 1 530    7000 4500   timeout 900 89 13000 out of memory (killed (signal 9, verification)) 610   15000 4500 done 1 27   470 310
eca-rers2012/Problem06_label10.yml done 1 90   3700 880 unknown 1 73 2200 770 false(unreach-call) 1 75    1500 890   false(unreach-call) 1 43    1300 500   timeout 1 900 190 3900 false(unreach-call) 1 77    1500 630   timeout 900 89 13000 done 1 290   6400 3800 done 1 18   470 190
eca-rers2012/Problem06_label11.yml done 1 95   3800 920 unknown 1 77 2400 780 false(unreach-call) 1 78    1500 830   false(unreach-call) 1 47    1300 600   timeout 1 900 190 6900 false(unreach-call) 1 29    690 290   timeout 900 89 13000 done 1 330   7700 3800 done 1 25   470 290
eca-rers2012/Problem06_label12.yml done 1 90   3500 830 unknown 1 71 2500 700 false(unreach-call) 1 68    1500 690   false(unreach-call) 1 38    1400 470   timeout 1 900 190 2600 false(unreach-call) 1 480    6500 3600   timeout 900 89 13000 done 1 310   7000 3200 done 1 22   470 240
eca-rers2012/Problem06_label15.yml done 1 95   3900 830 unknown 1 79 2500 740 false(unreach-call) 1 67    1500 740   false(unreach-call) 1 37    1300 360   timeout 1 900 190 4500 false(unreach-call) 1 440    6000 3000   timeout 900 89 14000 done 1 200   2700 2400 done 1 21   470 290
eca-rers2012/Problem06_label20.yml done 1 120   4200 1100 unknown 1 100 2900 880 false(unreach-call) 1 70    1500 850   false(unreach-call) 1 39    1300 440   done 22 190 160 false(unreach-call) 1 94    1800 1000   timeout 900 89 12000 done 1 160   960 2400 done 1 20   470 230
eca-rers2012/Problem06_label21.yml done 1 120   4200 1100 unknown 1 100 3000 1200 false(unreach-call) 1 67    1500 870   false(unreach-call) 1 38    1300 390   timeout 900 190 2700 false(unreach-call) 1 190    3100 1300   timeout 900 89 12000 out of memory (killed (signal 9, verification)) 600   15000 5400 done 1 21   450 220
eca-rers2012/Problem06_label24.yml done 1 120   4500 1100 unknown 1 98 3000 1200 false(unreach-call) 1 94    1500 1100   false(unreach-call) 1 62    1300 770   timeout 1 900 190 3200 false(unreach-call) 1 89    1700 690   timeout 900 89 13000 out of memory (killed (signal 9, verification)) 610   15000 3400 done 1 21   460 220
eca-rers2012/Problem06_label27.yml done 1 99   4000 970 unknown 1 82 2500 790 false(unreach-call) 1 65    1500 670   false(unreach-call) 1 35    1300 340   timeout 1 900 190 5000 false(unreach-call) 1 280    4100 1700   timeout 900 89 15000 done 1 170   1500 2600 done 1 21   460 230
eca-rers2012/Problem06_label29.yml done 1 110   4000 1100 unknown 1 86 2500 710 false(unreach-call) 1 68    1500 620   false(unreach-call) 1 38    1300 440   timeout 1 900 190 5500 false(unreach-call) 1 780    9400 5300   timeout 900 89 14000 out of memory (killed (signal 9, verification)) 600   15000 4600 done 1 26   460 350
eca-rers2012/Problem06_label33.yml done 1 110   3900 1100 unknown 1 92 2200 1000 false(unreach-call) 1 74    1500 830   false(unreach-call) 1 44    1300 440   timeout 1 900 190 2700 false(unreach-call) 1 45    1000 410   timeout 900 89 13000 done 1 530   14000 5400 done 1 22   450 260
eca-rers2012/Problem06_label36.yml done 1 110   3900 1100 unknown 1 93 2300 950 false(unreach-call) 1 72    1500 860   false(unreach-call) 1 41    1300 500   done 30 190 160 false(unreach-call) 1 32    730 250   timeout 900 89 12000 done 1 210   3300 2400 done 1 22   470 230
eca-rers2012/Problem06_label37.yml done 1 130   4100 1300 unknown 1 97 2700 990 false(unreach-call) 1 70    1500 860   false(unreach-call) 1 40    1400 530   timeout 1 900 190 3000 false(unreach-call) 1 250    4000 2000   timeout 900 89 12000 done 1 260   5200 3200 done 1 21   460 280
eca-rers2012/Problem06_label38.yml done 1 110   3900 990 unknown 1 90 2700 920 false(unreach-call) 1 70    1500 790   false(unreach-call) 1 39    1300 420   timeout 1 900 190 4000 false(unreach-call) 1 50    1100 380   timeout 900 89 13000 done 1 190   2500 2600 done 1 27   450 300
eca-rers2012/Problem06_label44.yml done 1 100   3800 1100 unknown 1 89 2300 900 false(unreach-call) 1 73    1500 880   false(unreach-call) 1 43    1300 450   done 23 190 150 timeout 900    9500 6000   timeout 900 89 14000 done 1 580   15000 5400 done 1 21   450 230
eca-rers2012/Problem06_label47.yml done 1 83   3400 760 unknown 1 63 2200 600 false(unreach-call) 1 65    1500 670   false(unreach-call) 1 34    1300 340   timeout 900 190 5600 false(unreach-call) 1 110    2000 800   timeout 900 89 13000 done 1 220   3700 2600 done 1 21   460 260
eca-rers2012/Problem06_label48.yml done 1 100   3700 910 unknown 1 86 2700 940 false(unreach-call) 1 69    1500 850   false(unreach-call) 1 38    1300 430   timeout 1 900 190 2700 false(unreach-call) 1 160    2700 1300   timeout 900 89 12000 done 1 180   2200 2100 done 1 22   460 230
eca-rers2012/Problem06_label56.yml done 1 120   4100 1000 unknown 1 97 2500 950 false(unreach-call) 1 69    1500 740   false(unreach-call) 1 40    1300 410   timeout 1 900 190 2500 false(unreach-call) 1 640    8000 3800   timeout 900 89 12000 done 1 360   8700 3500 done 1 22   470 260
eca-rers2012/Problem06_label58.yml done 1 110   3800 1100 unknown 1 89 2600 940 false(unreach-call) 1 69    1500 750   false(unreach-call) 1 38    1300 400   timeout 1 900 190 4500 timeout 900    9500 5900   timeout 900 89 13000 done 1 400   11000 3600 done 1 21   470 210
eca-rers2012/Problem06_label59.yml done 1 110   4100 1000 unknown 1 89 2500 980 false(unreach-call) 1 79    1500 870   false(unreach-call) 1 49    1400 590   done 30 190 140 false(unreach-call) 1 120    2100 1200   timeout 900 89 15000 done 1 150   450 2500 done 1 21   470 230
eca-rers2012/Problem07_label03.yml timeout 900   8300 9700 timeout 900 6600 9200 timeout 900    6300 8700   timeout 900    7800 11000   timeout 900 390 7100 timeout 900    9300 5800   timeout 900 410 12000 error(returned 1, slicing) 430   320 6100 done 1 270   2600 3300
eca-rers2012/Problem07_label05.yml timeout 900   7500 8100 timeout 900 6500 10000 timeout 900    6300 8700   timeout 900    7400 7800   timeout 900 390 4500 timeout 900    9300 6000   timeout 900 410 15000 error(returned 1, slicing) 430   320 4900 done 1 290   2600 4300
eca-rers2012/Problem07_label06.yml timeout 900   12000 7600 timeout 900 9000 8400 timeout 900    6300 11000   timeout 900    7400 8200   timeout 900 390 4200 timeout 900    9300 5300   timeout 900 410 14000 error(returned 1, slicing) 430   320 5300 done 1 250   2600 3400
eca-rers2012/Problem07_label07.yml timeout 900   8500 8500 timeout 900 6400 9900 timeout 900    6300 8800   timeout 900    7400 8300   timeout 900 390 4700 timeout 900    9300 6400   timeout 900 410 13000 error(returned 1, slicing) 420   320 6900 done 1 280   2600 3700
eca-rers2012/Problem07_label09.yml timeout 900   12000 6100 timeout 900 7300 9500 timeout 900    6300 8700   timeout 900    7400 9700   timeout 900 390 4800 timeout 900    9300 6000   timeout 900 410 12000 error(returned 1, slicing) 420   320 6000 done 1 260   2500 3600
eca-rers2012/Problem07_label11.yml timeout 900   12000 6300 timeout 900 7300 7300 timeout 900    6300 8000   timeout 900    7400 11000   timeout 900 390 3200 timeout 900    9300 5800   timeout 900 410 12000 error(returned 1, slicing) 430   320 5100 done 1 400   2600 4600
eca-rers2012/Problem07_label15.yml timeout 900   11000 7800 timeout 900 7100 9400 timeout 900    6300 9200   timeout 900    7700 9600   done 180 390 1900 timeout 900    9300 5800   timeout 900 410 15000 error(returned 1, slicing) 420   320 5600 done 1 350   2600 3900
eca-rers2012/Problem07_label18.yml timeout 900   10000 7500 timeout 900 9300 7400 timeout 900    6300 9300   timeout 900    7800 8100   timeout 900 390 4800 timeout 900    9300 5600   timeout 900 410 12000 error(returned 1, slicing) 430   320 6300 done 1 280   2600 3500
eca-rers2012/Problem07_label19.yml timeout 900   9300 8000 timeout 900 6500 8100 timeout 900    6300 8000   timeout 900    7400 8000   timeout 900 390 11000 timeout 900    9300 5800   timeout 900 410 12000 error(returned 1, slicing) 420   320 5400 done 1 290   2600 3300
eca-rers2012/Problem07_label20.yml timeout 900   11000 8100 timeout 900 6600 7500 timeout 900    6300 12000   timeout 930    35 11000   timeout 900 390 6400 timeout 900    9300 6600   timeout 900 410 13000 error(returned 1, slicing) 420   320 6300 done 1 220   2600 2600
eca-rers2012/Problem07_label23.yml timeout 900   8400 7600 timeout 900 6400 9300 timeout 900    6300 8600   timeout 900    7800 8600   done 190 390 1600 timeout 900    9300 5900   timeout 900 410 14000 error(returned 1, slicing) 430   320 6700 done 1 540   2600 7200
eca-rers2012/Problem07_label30.yml timeout 900   8400 8800 timeout 900 6700 11000 timeout 900    6300 9200   timeout 900    7400 11000   done 190 390 2000 timeout 900    9300 5600   timeout 900 410 14000 error(returned 1, slicing) 430   320 6300 done 1 580   2600 6900
eca-rers2012/Problem07_label31.yml timeout 900   11000 7100 timeout 900 7600 7300 timeout 900    6300 9900   timeout 900    7400 8300   timeout 900 390 5000 timeout 900    9300 5500   timeout 900 420 12000 error(returned 1, slicing) 430   320 5800 done 1 590   2500 6800
eca-rers2012/Problem07_label35.yml timeout 900   8500 10000 timeout 900 7300 8900 timeout 900    6300 12000   timeout 900    7400 8600   timeout 900 390 4600 timeout 910    6500 5500   timeout 900 410 13000 error(returned 1, slicing) 420   320 5800 done 1 280   2500 3900
eca-rers2012/Problem07_label36.yml timeout 900   9100 7400 timeout 900 7400 7500 timeout 900    6300 8900   timeout 900    7800 8200   timeout 900 390 4800 timeout 900    9300 6600   timeout 900 410 12000 error(returned 1, slicing) 430   320 4400 done 1 240   2600 3000
eca-rers2012/Problem07_label37.yml timeout 900   8300 8000 timeout 900 7300 9500 timeout 900    6300 8300   timeout 900    7400 9800   timeout 900 390 4300 timeout 900    9300 6800   timeout 900 410 12000 error(returned 1, slicing) 420   320 5600 done 1 220   2600 2700
eca-rers2012/Problem07_label39.yml timeout 900   7300 7400 timeout 900 6500 8300 timeout 930    5100 9400   timeout 900    7400 7400   timeout 900 390 4300 timeout 900    9300 5700   timeout 900 410 12000 error(returned 1, slicing) 420   320 5200 done 1 230   2500 3400
eca-rers2012/Problem07_label40.yml timeout 900   11000 8700 timeout 900 8900 8000 timeout 930    3900 9500   timeout 900    7700 9300   done 190 390 2100 timeout 900    9300 5600   timeout 900 410 12000 error(returned 1, slicing) 430   320 5700 done 1 390   2500 5400
eca-rers2012/Problem07_label42.yml timeout 900   11000 8700 timeout 900 6600 6500 timeout 900    6300 9900   timeout 900    7700 9200   timeout 900 390 5600 timeout 900    9300 6900   timeout 900 420 13000 error(returned 1, slicing) 430   320 5500 done 1 210   2600 3000
eca-rers2012/Problem07_label44.yml timeout 900   9200 8200 timeout 900 6600 11000 timeout 900    6300 11000   timeout 900    7400 9000   done 190 390 2200 timeout 900    9300 5700   timeout 900 410 14000 error(returned 1, slicing) 430   320 5700 done 1 220   2600 2900
eca-rers2012/Problem07_label46.yml timeout 900   10000 7300 timeout 900 6600 7400 timeout 900    6300 11000   timeout 930    7400 9000   timeout 900 390 4500 timeout 900    9300 7800   timeout 900 410 15000 error(returned 1, slicing) 430   320 6500 done 1 290   2600 3600
eca-rers2012/Problem07_label47.yml timeout 900   8100 8100 timeout 900 6500 8900 timeout 900    6300 9200   timeout 900    7400 8500   timeout 900 390 4400 timeout 900    9300 6100   timeout 900 410 13000 error(returned 1, slicing) 430   320 5600 done 1 200   2600 2500
eca-rers2012/Problem07_label48.yml timeout 910   7300 8800 timeout 900 6500 8400 timeout 900    6300 11000   timeout 900    7400 8300   done 190 390 2100 timeout 900    9300 6200   timeout 900 410 13000 error(returned 1, slicing) 430   320 5500 done 1 300   2600 3600
eca-rers2012/Problem07_label58.yml timeout 900   8600 8500 timeout 900 6600 8800 timeout 900    6300 8900   timeout 900    7400 7400   timeout 900 390 4900 timeout 900    9300 6300   timeout 900 410 14000 error(returned 1, slicing) 430   320 5500 done 1 240   2600 3000
eca-rers2012/Problem08_label01.yml timeout 910   12000 5700 timeout 900 12000 6900 out of memory 490    15000 5900   out of memory 450    15000 4600   timeout 900 760 8100 timeout 900    9500 6200   timeout 900 780 14000 timeout (before-instr) 900   610 13000 done 1 650   2500 8100
eca-rers2012/Problem08_label02.yml timeout 900   12000 5300 timeout 900 12000 5900 out of memory 500    15000 5000   out of memory 450    15000 5600   timeout 900 760 5900 timeout 900    9500 6400   timeout 900 780 12000 timeout (before-instr) 900   610 11000 done 1 420   2500 5100
eca-rers2012/Problem08_label04.yml timeout 910   12000 5000 timeout 900 12000 7700 out of memory 510    15000 5600   out of memory 460    15000 4600   timeout 900 760 5400 timeout 900    9500 7700   timeout 900 780 12000 timeout (before-instr) 900   610 13000 done 1 500   2500 6600
eca-rers2012/Problem08_label05.yml timeout 900   12000 5300 timeout 900 11000 7900 out of memory 500    15000 5100   out of memory 450    15000 4900   timeout 900 760 5700 timeout 920    8600 6200   timeout 900 780 12000 timeout (before-instr) 900   610 13000 done 1 500   2500 6100
eca-rers2012/Problem08_label06.yml timeout 910   12000 5000 timeout 900 12000 6600 out of memory 500    15000 4600   out of memory 450    15000 5000   done 370 760 4100 timeout 900    9500 5500   timeout 900 780 11000 timeout (before-instr) 900   610 12000 done 1 410   2500 6000
eca-rers2012/Problem08_label07.yml timeout 910   12000 4500 timeout 900 12000 6600 out of memory 500    15000 5200   out of memory 450    15000 5500   timeout 900 760 5900 timeout 900    9500 7100   timeout 900 790 15000 timeout (before-instr) 900   610 12000 done 1 540   2500 8100
eca-rers2012/Problem08_label10.yml timeout 910   12000 5400 timeout 900 12000 5800 out of memory 500    15000 4900   out of memory 450    15000 4300   timeout 900 760 6200 timeout 900    9500 5200   timeout 900 780 12000 timeout (before-instr) 900   610 11000 done 1 630   2500 7500
eca-rers2012/Problem08_label13.yml timeout 910   12000 5900 timeout 900 12000 7000 out of memory 500    15000 4500   out of memory 450    15000 4900   timeout 900 760 9100 timeout 900    9500 5600   timeout 900 780 13000 timeout (before-instr) 900   610 13000 done 1 490   2500 6400
eca-rers2012/Problem08_label15.yml timeout 900   12000 5400 timeout 900 12000 5800 out of memory 500    15000 4900   out of memory 450    15000 4900   done 360 760 4100 timeout 900    9500 6400   timeout 900 780 14000 timeout (before-instr) 900   610 12000 done 1 430   2500 6600
eca-rers2012/Problem08_label24.yml timeout 910   11000 4700 timeout 900 13000 6400 out of memory 500    15000 4900   out of memory 450    15000 4800   timeout 900 760 6200 timeout 900    9500 7500   timeout 900 780 12000 timeout (before-instr) 900   610 11000 done 1 510   2500 6100
eca-rers2012/Problem08_label25.yml timeout 910   11000 4700 timeout 900 12000 6700 out of memory 500    15000 4800   out of memory 450    15000 4800   timeout 900 760 6000 timeout 920    9500 6800   timeout 900 780 14000 timeout (before-instr) 900   610 13000 done 1 490   2500 6000
eca-rers2012/Problem08_label26.yml timeout 910   11000 5200 timeout 900 13000 5800 out of memory 500    15000 5800   out of memory 450    15000 4500   timeout 900 760 8600 timeout 900    9500 5500   timeout 900 790 15000 timeout (before-instr) 900   610 12000 done 1 530   2500 7200
eca-rers2012/Problem08_label28.yml timeout 910   11000 6000 timeout 900 13000 5500 out of memory 500    15000 5100   out of memory 450    15000 4800   timeout 900 760 6000 timeout 900    9500 5400   timeout 900 780 12000 timeout (before-instr) 900   610 13000 done 1 440   2500 5200
eca-rers2012/Problem08_label29.yml timeout 910   11000 5700 timeout 900 13000 6400 out of memory 500    15000 6200   out of memory 450    15000 5400   timeout 900 760 7500 timeout 900    9500 6000   timeout 900 790 12000 timeout (before-instr) 900   610 12000 done 1 420   2500 5100
eca-rers2012/Problem08_label34.yml timeout 910   11000 4800 timeout 900 13000 6500 timeout 930    12000 10000   out of memory 460    15000 4800   timeout 900 760 8300 timeout 900    9500 8400   timeout 900 780 13000 timeout (before-instr) 900   610 11000 done 1 450   2500 5400
eca-rers2012/Problem08_label37.yml timeout 910   11000 5300 timeout 900 12000 6000 out of memory 490    15000 6300   out of memory 460    15000 5400   done 350 760 4400 timeout 900    9500 5400   timeout 900 780 12000 timeout (before-instr) 900   610 12000 done 1 450   2500 6100
eca-rers2012/Problem08_label43.yml timeout 910   12000 5400 timeout 900 12000 7600 out of memory 490    15000 6700   out of memory 450    15000 4900   done 370 760 4400 timeout 900    9500 5400   timeout 900 780 15000 timeout (before-instr) 900   610 12000 done 1 410   2500 4700
eca-rers2012/Problem08_label46.yml timeout 910   12000 5000 timeout 900 12000 7000 out of memory 490    15000 5000   out of memory 470    15000 5300   timeout 900 760 6400 timeout 900    9500 6400   timeout 900 780 13000 timeout (before-instr) 900   610 13000 done 1 510   2500 5400
eca-rers2012/Problem08_label48.yml timeout 910   12000 5500 timeout 910 12000 7200 out of memory 500    15000 4500   out of memory 450    15000 4800   timeout 900 760 7400 timeout 900    9500 7100   timeout 900 780 14000 timeout (before-instr) 900   610 12000 done 1 460   2500 5300
eca-rers2012/Problem08_label49.yml timeout 910   12000 5200 timeout 900 12000 6600 out of memory 500    15000 5900   out of memory 460    15000 5000   timeout 900 760 6200 false(unreach-call) 1 310    4600 2300   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 510   2500 6300
eca-rers2012/Problem08_label50.yml timeout 910   12000 5100 timeout 900 12000 6800 out of memory 500    15000 4900   out of memory 460    15000 4900   timeout 900 760 7700 timeout 900    9500 5800   timeout 900 780 12000 timeout (before-instr) 900   610 13000 done 1 440   2500 4900
eca-rers2012/Problem08_label51.yml timeout 910   12000 4800 timeout 900 12000 6400 out of memory 490    15000 6600   out of memory 450    15000 5300   done 360 760 3900 timeout 900    9500 5300   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 410   2500 5300
eca-rers2012/Problem08_label55.yml timeout 910   12000 5800 timeout 900 12000 6900 out of memory 500    15000 6000   out of memory 460    15000 4800   done 360 760 4100 timeout 900    9500 6800   timeout 900 780 16000 timeout (before-instr) 900   610 11000 done 1 420   2500 5000
eca-rers2012/Problem08_label59.yml timeout 910   11000 5900 timeout 900 13000 6500 out of memory 500    15000 4700   out of memory 450    15000 5000   timeout 900 760 7300 timeout 900    9500 6100   timeout 900 780 14000 timeout (before-instr) 900   610 10000 done 1 520   2500 6400
eca-rers2012/Problem09_label02.yml timeout 910   11000 5100 timeout 900 11000 4500 out of memory 790    15000 7300   out of memory 540    15000 5600   timeout 900 760 4400 timeout 900    9400 6500   timeout 900 900 13000 timeout (before-instr) 900   650 13000 timeout 900   2800 12000
eca-rers2012/Problem09_label03.yml timeout 910   11000 4700 timeout 910 11000 4800 out of memory 820    15000 8400   out of memory 550    15000 6200   done 170 760 1600 timeout 900    9400 5700   timeout 900 900 15000 timeout (before-instr) 900   650 12000 timeout 900   2800 10000
eca-rers2012/Problem09_label06.yml timeout 900   11000 5100 timeout 910 11000 4900 out of memory 840    15000 12000   out of memory 540    15000 6500   timeout 900 760 4000 timeout 900    9200 5900   timeout 900 900 14000 timeout (before-instr) 900   650 12000 timeout 900   2800 12000
eca-rers2012/Problem09_label08.yml timeout 930   11000 5400 timeout 910 11000 4700 out of memory 810    15000 8400   out of memory 540    15000 5600   timeout 900 760 4700 timeout 900    9400 6600   timeout 900 900 12000 timeout (before-instr) 900   650 10000 timeout 900   2800 13000
eca-rers2012/Problem09_label10.yml timeout 910   11000 4900 timeout 910 11000 5200 out of memory 800    15000 8200   out of memory 550    15000 6700   done 160 760 1700 timeout 900    9400 6000   timeout 900 900 11000 timeout (before-instr) 900   650 12000 timeout 900   2800 11000
eca-rers2012/Problem09_label11.yml timeout 910   11000 4800 timeout 900 11000 4300 out of memory 800    15000 9200   out of memory 530    15000 5900   timeout 900 760 6000 timeout 900    9300 6800   timeout 900 900 14000 timeout (before-instr) 900   650 13000 timeout 900   2800 11000
eca-rers2012/Problem09_label15.yml timeout 900   11000 5000 timeout 910 11000 5300 out of memory 810    15000 8200   out of memory 550    15000 5800   timeout 900 760 4300 timeout 900    9600 5900   timeout 900 900 13000 timeout (before-instr) 900   650 12000 timeout 900   2800 10000
eca-rers2012/Problem09_label19.yml timeout 900   11000 5100 timeout 910 11000 4900 out of memory 800    15000 7600   out of memory 530    15000 5400   done 160 760 1800 timeout 900    9800 5800   timeout 900 900 12000 timeout (before-instr) 900   650 11000 timeout 900   2800 11000
eca-rers2012/Problem09_label20.yml timeout 900   11000 4500 timeout 910 11000 4700 out of memory 790    15000 8200   out of memory 530    15000 6800   done 160 760 1600 timeout 900    9700 6200   timeout 900 900 14000 timeout (before-instr) 900   650 13000 timeout 900   2800 11000
eca-rers2012/Problem09_label32.yml timeout 910   11000 4800 timeout 900 11000 4500 out of memory 800    15000 7800   out of memory 540    15000 6800   done 150 760 1600 timeout 900    9500 5600   timeout 900 900 13000 timeout (before-instr) 900   650 9400 timeout 900   2800 11000
eca-rers2012/Problem09_label34.yml timeout 910   11000 4800 timeout 910 11000 5000 out of memory 810    15000 9400   out of memory 550    15000 5800   done 160 760 2000 timeout 900    9400 6400   timeout 900 900 14000 timeout (before-instr) 900   650 14000 timeout 900   2800 9900
eca-rers2012/Problem09_label35.yml timeout 910   11000 5000 timeout 900 11000 4400 out of memory 800    15000 7300   out of memory 530    15000 5700   timeout 900 760 4400 timeout 900    9600 6200   timeout 900 900 14000 timeout (before-instr) 900   650 11000 error 900   2800 9400
eca-rers2012/Problem09_label36.yml timeout 910   11000 4300 timeout 900 11000 5100 out of memory 810    15000 7000   out of memory 540    15000 5500   timeout 900 760 4500 timeout 900    9900 7000   timeout 900 900 11000 timeout (before-instr) 900   650 11000 timeout 900   2800 11000
eca-rers2012/Problem09_label38.yml timeout 910   11000 5000 timeout 910 11000 4800 out of memory 800    15000 8000   out of memory 550    15000 5300   timeout 900 760 5000 timeout 900    9800 5900   timeout 900 900 15000 timeout (before-instr) 900   650 12000 error 900   2800 11000
eca-rers2012/Problem09_label41.yml timeout 910   11000 5100 timeout 910 11000 4300 out of memory 790    15000 11000   out of memory 550    15000 5800   done 160 760 1900 timeout 900    9400 7000   timeout 900 900 14000 timeout (before-instr) 900   650 12000 timeout 900   2800 9800
eca-rers2012/Problem09_label44.yml timeout 900   11000 4600 timeout 910 11000 4800 out of memory 800    15000 8200   out of memory 540    15000 6400   timeout 900 760 6300 timeout 900    9700 6000   timeout 900 900 15000 timeout (before-instr) 900   650 13000 timeout 900   2800 11000
eca-rers2012/Problem09_label46.yml timeout 910   11000 5200 timeout 910 11000 4900 out of memory 800    15000 8700   out of memory 540    15000 7200   done 170 760 1500 timeout 900    9500 5900   timeout 900 900 13000 timeout (before-instr) 900   650 14000 timeout 900   2800 11000
eca-rers2012/Problem09_label47.yml timeout 910   11000 4900 timeout 910 11000 4600 out of memory 790    15000 9500   out of memory 540    15000 6100   done 160 760 1600 timeout 900    9500 5500   timeout 900 900 12000 timeout (before-instr) 900   650 12000 error 900   2800 12000
eca-rers2012/Problem09_label51.yml timeout 910   11000 4500 timeout 910 11000 4900 out of memory 800    15000 8500   out of memory 540    15000 5300   timeout 900 760 4200 timeout 900    9600 8100   timeout 900 900 13000 timeout (before-instr) 900   650 13000 timeout 900   2800 11000
eca-rers2012/Problem09_label53.yml timeout 910   11000 5000 timeout 910 11000 5200 out of memory 810    15000 7600   out of memory 540    15000 5500   timeout 900 760 5000 timeout 900    9600 6700   timeout 900 900 13000 timeout (before-instr) 900   650 12000 timeout 900   2800 9800
eca-rers2012/Problem09_label54.yml timeout 910   11000 4700 timeout 910 11000 5600 out of memory 790    15000 9000   out of memory 530    15000 6900   done 170 760 1600 timeout 900    9700 5900   timeout 900 900 12000 timeout (before-instr) 900   650 12000 error 900   2800 10000
eca-rers2012/Problem09_label56.yml timeout 910   11000 4800 timeout 900 11000 4800 out of memory 810    15000 8300   out of memory 540    15000 6500   timeout 900 760 4900 timeout 900    9500 6300   timeout 900 900 15000 timeout (before-instr) 900   650 11000 timeout 900   2800 12000
eca-rers2012/Problem09_label57.yml timeout 910   11000 4400 timeout 900 11000 4500 out of memory 800    15000 8300   out of memory 540    15000 5400   timeout 900 760 6500 timeout 900    9500 5600   timeout 900 900 14000 timeout (before-instr) 900   650 12000 error 900   2800 11000
eca-rers2012/Problem09_label59.yml timeout 910   11000 5300 timeout 910 11000 4700 out of memory 800    15000 9500   out of memory 530    15000 6800   done 160 760 1500 timeout 900    9600 6300   timeout 900 900 13000 timeout (before-instr) 900   650 12000 timeout 900   2800 12000
eca-rers2012/Problem10_label12.yml done 1 13   630 120 unknown 1 58 1000 500 false(unreach-call) 1 18    190 220   false(unreach-call) 1 8.0  190 97   done 21 28 89 false(unreach-call) 1 .23 22 2.2 timeout 900 37 13000 done 1 5.4 27 74 done 1 5.8 200 60
eca-rers2012/Problem10_label15.yml done 1 12   490 110 unknown 1 51 1100 410 false(unreach-call) 1 22    190 260   false(unreach-call) 1 8.1  190 100   timeout 1 900 30 4300 false(unreach-call) 1 .20 22 1.8 timeout 900 36 12000 done 1 5.6 34 71 done 1 5.9 190 59
eca-rers2012/Problem10_label24.yml done 1 13   600 110 unknown 1 56 1100 490 false(unreach-call) 1 18    190 240   false(unreach-call) 1 8.0  190 97   timeout 1 900 31 2300 false(unreach-call) 1 .40 28 5.1 timeout 900 36 14000 done 1 5.5 33 78 done 1 5.6 190 54
eca-rers2012/Problem10_label26.yml done 1 13   550 110 unknown 1 59 970 480 false(unreach-call) 1 18    190 210   false(unreach-call) 1 8.0  190 99   timeout 1 900 28 2800 false(unreach-call) 1 .22 24 2.9 timeout 900 36 13000 done 1 5.8 42 88 done 1 5.7 190 64
eca-rers2012/Problem10_label28.yml done 1 13   430 110 unknown 1 94 990 790 false(unreach-call) 1 22    190 320   false(unreach-call) 1 8.1  190 100   timeout 1 900 29 2600 false(unreach-call) 1 .25 24 2.9 timeout 900 37 13000 done 1 5.6 33 74 done 1 5.7 190 61
eca-rers2012/Problem10_label29.yml done 1 13   450 110 unknown 1 57 1100 470 false(unreach-call) 1 18    190 200   false(unreach-call) 1 8.2  190 100   done 18 28 96 false(unreach-call) 1 .24 23 2.7 timeout 900 36 14000 done 1 5.4 28 69 done 1 6.0 190 61
eca-rers2012/Problem10_label41.yml done 1 12   530 98 unknown 1 30 770 280 false(unreach-call) 1 1.4  52 19   false(unreach-call) 1 1.4  52 17   timeout 1 900 30 3600 false(unreach-call) 1 .21 22 2.1 timeout 900 36 13000 done 1 5.3 24 65 done 1 5.6 190 56
eca-rers2012/Problem10_label42.yml done 1 9.4 330 74 unknown 1 46 750 370 false(unreach-call) 1 1.4  52 18   false(unreach-call) 1 1.4  52 19   timeout 1 900 29 3900 false(unreach-call) 1 .23 23 2.8 timeout 900 36 12000 done 1 5.2 22 74 done 1 5.9 180 60
eca-rers2012/Problem10_label46.yml done 1 6.8 300 67 unknown 1 11 560 110 false(unreach-call) 1 1.9  54 24   false(unreach-call) 1 1.9  54 27   done 22 28 78 false(unreach-call) 1 .17 22 3.0 timeout 900 36 12000 done 1 5.0 21 72 done 1 5.2 190 54
eca-rers2012/Problem10_label47.yml done 1 12   430 100 unknown 1 26 750 230 false(unreach-call) 1 1.6  52 22   false(unreach-call) 1 1.6  52 20   false(unreach-call) 1 510 28 2300 false(unreach-call) 1 .29 25 4.3 timeout 900 37 12000 done 1 5.4 29 67 done 1 5.7 190 55
eca-rers2012/Problem10_label48.yml done 1 12   450 94 unknown 1 70 970 620 false(unreach-call) 1 32    190 400   false(unreach-call) 1 9.6  190 120   timeout 1 900 30 4400 false(unreach-call) 1 .31 26 4.0 timeout 900 36 14000 done 1 5.5 30 70 done 1 5.7 190 62
eca-rers2012/Problem10_label50.yml done 1 14   560 110 unknown 1 57 980 520 false(unreach-call) 1 20    190 300   false(unreach-call) 1 9.6  190 120   timeout 1 900 29 2600 false(unreach-call) 1 .26 24 5.1 timeout 900 36 14000 done 1 5.6 35 66 done 1 5.7 190 65
eca-rers2012/Problem10_label55.yml done 1 12   400 99 unknown 1 27 790 250 false(unreach-call) 1 .38 48 4.6 false(unreach-call) 1 .38 50 5.3 timeout 1 900 29 2800 false(unreach-call) 1 .24 24 3.0 timeout 900 36 13000 done 1 5.4 28 75 done 1 5.6 200 66
eca-rers2012/Problem10_label57.yml done 1 13   510 110 unknown 1 62 990 500 false(unreach-call) 1 18    190 210   false(unreach-call) 1 8.2  190 99   timeout 1 900 30 3200 false(unreach-call) 1 .38 28 4.8 timeout 900 36 12000 done 1 5.4 29 69 done 1 6.0 190 67
eca-rers2012/Problem10_label58.yml done 1 13   580 130 unknown 1 92 1100 750 false(unreach-call) 1 18    190 220   false(unreach-call) 1 8.1  190 100   timeout 1 900 30 3900 false(unreach-call) 1 .33 27 4.9 timeout 900 36 16000 done 1 5.6 33 77 done 1 5.7 190 53
eca-rers2012/Problem11_label00.yml done 1 15   570 120 unknown 1 380 2000 4100 false(unreach-call) 1 39    370 420   false(unreach-call) 1 29    360 330   done 21 47 110 false(unreach-call) 1 .31 27 3.9 timeout 900 42 14000 done 1 12   54 150 done 1 7.0 230 83
eca-rers2012/Problem11_label08.yml done 1 13   490 110 unknown 1 130 1500 1000 false(unreach-call) 1 1.4  67 16   false(unreach-call) 1 1.4  67 17   timeout 1 900 47 3500 false(unreach-call) 1 .29 27 3.3 timeout 900 42 13000 done 1 11   31 170 done 1 6.8 240 79
eca-rers2012/Problem11_label14.yml done 1 13   520 110 unknown 1 120 1600 900 false(unreach-call) 1 .96 65 13   false(unreach-call) 1 .94 65 15   timeout 1 900 46 2700 false(unreach-call) 1 .23 24 2.7 timeout 900 43 14000 done 1 11   26 180 done 1 6.8 240 65
eca-rers2012/Problem11_label15.yml done 1 12   490 92 unknown 1 120 1600 890 false(unreach-call) 1 1.1  63 12   false(unreach-call) 1 1.1  63 16   done 26 47 100 false(unreach-call) 1 .23 25 3.6 timeout 900 42 14000 done 1 11   28 140 done 1 6.7 240 68
eca-rers2012/Problem11_label20.yml done 1 15   640 130 unknown 1 690 2200 4900 false(unreach-call) 1 37    370 550   false(unreach-call) 1 28    370 310   timeout 1 900 47 2500 false(unreach-call) 1 1.3  60 17   timeout 900 42 12000 done 1 12   48 180 done 1 7.0 220 69
eca-rers2012/Problem11_label29.yml done 1 14   540 100 unknown 1 110 1600 860 false(unreach-call) 1 1.5  68 18   false(unreach-call) 1 1.5  68 20   timeout 1 900 47 2400 false(unreach-call) 1 .27 25 3.4 timeout 900 42 14000 done 1 11   38 150 done 1 6.9 230 69
eca-rers2012/Problem11_label31.yml done 1 15   680 130 unknown 1 680 2000 4800 false(unreach-call) 1 39    370 450   false(unreach-call) 1 29    360 420   timeout 1 900 47 3700 false(unreach-call) 1 .30 27 3.3 timeout 900 42 13000 done 1 11   44 140 done 1 6.8 240 78
eca-rers2012/Problem11_label34.yml done 1 15   590 120 unknown 1 740 2100 6000 false(unreach-call) 1 73    370 910   false(unreach-call) 1 30    360 350   timeout 1 900 47 2700 false(unreach-call) 1 .27 25 3.1 timeout 900 43 15000 done 1 11   43 160 done 1 6.8 230 77
eca-rers2012/Problem11_label36.yml done 1 11   490 87 unknown 1 100 1600 850 false(unreach-call) 1 1.4  69 21   false(unreach-call) 1 1.4  69 17   timeout 1 900 47 2300 false(unreach-call) 1 .31 27 2.9 timeout 900 43 12000 done 1 11   26 160 done 1 6.8 230 64
eca-rers2012/Problem11_label39.yml done 1 15   550 120 unknown 1 740 2200 5300 false(unreach-call) 1 55    370 710   false(unreach-call) 1 12    350 160   timeout 1 900 47 3900 false(unreach-call) 1 .26 26 3.1 timeout 900 42 12000 done 1 12   93 160 done 1 7.1 240 67
eca-rers2012/Problem11_label42.yml done 1 13   460 110 unknown 1 110 1500 830 false(unreach-call) 1 1.4  68 19   false(unreach-call) 1 1.4  68 17   timeout 1 900 47 4100 false(unreach-call) 1 .22 24 2.6 timeout 900 42 13000 done 1 11   29 140 done 1 7.1 240 81
eca-rers2012/Problem11_label43.yml done 1 12   390 100 unknown 1 110 1600 820 false(unreach-call) 1 1.3  65 15   false(unreach-call) 1 1.3  65 14   timeout 1 900 47 3900 false(unreach-call) 1 .41 30 6.2 timeout 900 42 12000 done 1 11   25 170 done 1 6.9 230 78
eca-rers2012/Problem11_label49.yml done 1 12   400 96 unknown 1 110 1500 1000 false(unreach-call) 1 1.4  65 24   false(unreach-call) 1 1.5  65 19   timeout 1 900 47 2400 false(unreach-call) 1 .22 25 2.4 timeout 900 42 16000 done 1 11   26 160 done 1 6.9 230 70
eca-rers2012/Problem11_label51.yml done 1 14   520 130 unknown 1 110 1600 830 false(unreach-call) 1 .99 63 12   false(unreach-call) 1 .95 63 10   timeout 1 900 47 3700 false(unreach-call) 1 .32 28 4.1 timeout 900 43 12000 done 1 11   32 150 done 1 6.9 230 64
eca-rers2012/Problem11_label58.yml done 1 12   500 110 unknown 1 110 1600 940 false(unreach-call) 1 1.2  64 15   false(unreach-call) 1 1.2  64 15   timeout 1 900 47 2300 false(unreach-call) 1 .21 24 2.9 timeout 900 42 13000 done 1 11   31 130 done 1 6.7 230 67
eca-rers2012/Problem12_label00.yml timeout 900   8400 7000 timeout 900 4700 6100 false(unreach-call) 1 65    1200 690   false(unreach-call) 1 30    850 330   timeout 1 900 110 3000 false(unreach-call) 1 7.1  180 87   timeout 900 60 12000 done 1 45   70 570 done 1 13   320 140
eca-rers2012/Problem12_label03.yml timeout 900   8700 7100 timeout 930 4700 6500 false(unreach-call) 1 57    1200 640   false(unreach-call) 1 15    820 160   timeout 1 900 110 2400 false(unreach-call) 1 2.2  87 30   timeout 900 60 14000 done 1 90   2400 1000 done 1 12   310 130
eca-rers2012/Problem12_label06.yml timeout 900   8300 5800 timeout 900 4500 7100 false(unreach-call) 1 48    1200 510   false(unreach-call) 1 26    850 310   timeout 1 900 110 3100 false(unreach-call) 1 .81 46 11   timeout 900 60 14000 done 1 46   120 560 done 1 12   320 130
eca-rers2012/Problem12_label07.yml done 1 140   5000 1100 timeout 900 4700 8500 false(unreach-call) 1 54    1200 650   false(unreach-call) 1 16    820 170   timeout 1 900 110 4000 false(unreach-call) 1 3.3  110 41   timeout 900 60 14000 done 1 48   200 630 done 1 13   320 150
eca-rers2012/Problem12_label08.yml done 1 200   4800 1400 timeout 900 4700 7900 false(unreach-call) 1 120    1200 1400   false(unreach-call) 1 18    810 190   timeout 1 900 110 2600 false(unreach-call) 1 1.1  57 15   timeout 900 60 12000 done 1 46   100 690 done 1 13   330 140
eca-rers2012/Problem12_label10.yml done 1 370   7400 3900 timeout 900 4500 8800 false(unreach-call) 1 47    1200 540   false(unreach-call) 1 23    870 250   done 16 110 110 false(unreach-call) 1 12    260 140   timeout 900 60 15000 done 1 52   470 750 done 1 14   320 150
eca-rers2012/Problem12_label13.yml timeout 900   8400 6100 timeout 900 4600 5800 false(unreach-call) 1 51    1200 520   false(unreach-call) 1 22    860 260   timeout 1 900 110 2600 false(unreach-call) 1 2.4  90 34   timeout 900 60 14000 done 1 55   720 670 done 1 12   320 120
eca-rers2012/Problem12_label19.yml timeout 900   8200 6800 timeout 900 4600 5900 false(unreach-call) 1 49    1200 530   false(unreach-call) 1 24    840 270   timeout 900 110 3900 false(unreach-call) 1 1.8  79 27   timeout 900 60 13000 done 1 45   70 630 done 1 12   320 140
eca-rers2012/Problem12_label20.yml done 1 870   8400 6100 timeout 900 6700 8300 false(unreach-call) 1 70    1200 880   false(unreach-call) 1 29    840 290   timeout 1 900 110 3100 false(unreach-call) 1 69    600 840   timeout 900 60 14000 done 1 390   14000 3700 done 1 13   320 140
eca-rers2012/Problem12_label21.yml timeout 900   8700 6900 timeout 900 4700 6900 false(unreach-call) 1 44    1200 410   false(unreach-call) 1 22    840 230   timeout 1 900 110 4700 false(unreach-call) 1 .88 49 10   timeout 900 60 12000 done 1 46   89 590 done 1 12   320 110
eca-rers2012/Problem12_label25.yml timeout 900   8500 5500 timeout 900 4700 7200 false(unreach-call) 1 39    1200 440   false(unreach-call) 1 13    820 160   timeout 1 900 110 3800 false(unreach-call) 1 3.9  120 48   timeout 900 60 13000 done 1 83   2100 960 done 1 15   320 150
eca-rers2012/Problem12_label28.yml done 1 890   11000 6500 timeout 900 6700 6200 false(unreach-call) 1 63    1200 700   false(unreach-call) 1 23    850 310   timeout 1 900 110 4000 false(unreach-call) 1 .74 45 10   timeout 900 61 13000 done 1 48   260 620 done 1 12   320 150
eca-rers2012/Problem12_label30.yml done 1 140   4800 1300 timeout 900 6500 6300 false(unreach-call) 1 79    1200 900   false(unreach-call) 1 13    810 150   done 23 110 99 false(unreach-call) 1 2.7  97 36   timeout 900 60 13000 done 1 48   200 700 done 1 12   320 120
eca-rers2012/Problem12_label34.yml timeout 900   11000 7500 timeout 900 6600 7700 false(unreach-call) 1 75    1200 880   false(unreach-call) 1 28    830 300   done 22 110 95 false(unreach-call) 1 2.8  100 37   timeout 900 60 14000 done 1 46   75 660 done 1 12   330 130
eca-rers2012/Problem12_label35.yml done 1 120   4200 960 timeout 900 4700 6400 false(unreach-call) 1 38    1200 390   false(unreach-call) 1 14    820 150   timeout 1 900 110 3000 false(unreach-call) 1 4.6  130 54   timeout 900 60 13000 done 1 56   740 750 done 1 13   320 140
eca-rers2012/Problem12_label37.yml timeout 900   8400 6500 timeout 900 4700 6000 false(unreach-call) 1 63    1200 680   false(unreach-call) 1 21    850 250   done 17 110 99 false(unreach-call) 1 3.3  110 49   timeout 900 60 15000 done 1 54   610 690 done 1 12   320 120
eca-rers2012/Problem12_label38.yml done 1 140   6200 1300 timeout 900 4700 6200 false(unreach-call) 1 74    1200 830   false(unreach-call) 1 14    820 180   timeout 1 900 110 2800 false(unreach-call) 1 1.8  78 28   timeout 900 60 13000 done 1 53   580 790 done 1 12   310 130
eca-rers2012/Problem12_label39.yml timeout 900   4900 5100 timeout 900 3100 6000 false(unreach-call) 1 54    1200 620   false(unreach-call) 1 33    850 410   timeout 1 900 110 7600 false(unreach-call) 1 1.3  64 17   timeout 900 60 14000 done 1 47   130 640 done 1 12   330 100
eca-rers2012/Problem12_label40.yml done 1 19   950 180 timeout 900 4700 5800 false(unreach-call) 1 46    1200 530   false(unreach-call) 1 23    840 260   timeout 1 900 110 2200 false(unreach-call) 1 1.3  63 15   timeout 900 60 12000 done 1 46   70 600 done 1 12   330 130
eca-rers2012/Problem12_label42.yml done 1 130   4800 1300 timeout 900 6700 6300 false(unreach-call) 1 39    1200 410   false(unreach-call) 1 14    810 160   timeout 1 900 110 2900 false(unreach-call) 1 1.5  69 18   timeout 900 60 15000 done 1 52   500 760 done 1 12   320 130
eca-rers2012/Problem12_label48.yml done 1 120   4200 1100 timeout 900 4700 6700 false(unreach-call) 1 43    1200 480   false(unreach-call) 1 21    840 220   done 18 110 93 false(unreach-call) 1 .68 45 9.6 timeout 900 60 13000 done 1 46   70 560 done 1 12   330 130
eca-rers2012/Problem12_label50.yml timeout 900   8700 7500 timeout 900 4700 6800 false(unreach-call) 1 40    1200 470   false(unreach-call) 1 13    810 140   timeout 1 900 110 4300 false(unreach-call) 1 1.1  55 14   timeout 900 60 11000 done 1 50   380 730 done 1 13   320 120
eca-rers2012/Problem12_label51.yml timeout 900   8400 6100 timeout 900 4700 6100 false(unreach-call) 1 60    1200 640   false(unreach-call) 1 27    850 320   done 19 110 100 false(unreach-call) 1 11    240 120   timeout 900 60 12000 done 1 47   140 690 done 1 12   320 110
eca-rers2012/Problem12_label52.yml timeout 900   8300 5700 timeout 900 4700 5200 false(unreach-call) 1 40    1200 410   false(unreach-call) 1 13    810 170   timeout 1 900 110 4700 false(unreach-call) 1 1.8  78 25   timeout 900 60 14000 done 1 58   870 690 done 1 12   330 120
eca-rers2012/Problem12_label55.yml timeout 900   5100 8200 timeout 900 3200 5900 false(unreach-call) 1 51    1200 540   false(unreach-call) 1 23    850 250   timeout 1 900 110 2400 false(unreach-call) 1 19    350 210   timeout 900 60 13000 done 1 47   170 690 done 1 12   320 140
eca-rers2012/Problem13_label04.yml done 1 200   6700 2100 timeout 900 7100 5800 false(unreach-call) 1 100    1800 1200   false(unreach-call) 1 67    1800 930   timeout 1 900 140 2600 false(unreach-call) 1 4.7  160 58   timeout 900 65 13000 done 1 64   190 830 done 1 15   420 170
eca-rers2012/Problem13_label06.yml done 1 430   6500 2700 timeout 900 7000 6100 false(unreach-call) 1 100    1800 1400   false(unreach-call) 1 27    1700 290   done 16 140 100 false(unreach-call) 1 1.6  76 19   timeout 900 65 13000 done 1 69   630 960 done 1 15   430 180
eca-rers2012/Problem13_label07.yml done 1 410   10000 3300 timeout 900 7200 6200 false(unreach-call) 1 630    1900 6700   false(unreach-call) 1 28    1700 310   done 18 140 120 false(unreach-call) 1 .78 47 8.8 timeout 900 65 15000 done 1 62   92 830 done 1 17   430 190
eca-rers2012/Problem13_label11.yml timeout 900   11000 6100 timeout 900 7200 6800 false(unreach-call) 1 120    1800 1300   false(unreach-call) 1 33    1700 350   timeout 1 900 140 3500 false(unreach-call) 1 4.7  160 58   timeout 900 66 13000 done 1 72   870 860 done 1 17   420 170
eca-rers2012/Problem13_label12.yml done 1 280   9600 2600 timeout 900 7200 7100 false(unreach-call) 1 88    1800 990   false(unreach-call) 1 29    1700 310   timeout 1 900 140 2500 false(unreach-call) 1 2.7  110 38   timeout 900 65 13000 done 1 65   310 800 done 1 15   420 180
eca-rers2012/Problem13_label16.yml timeout 900   11000 6500 timeout 900 7200 7500 false(unreach-call) 1 110    1800 1200   false(unreach-call) 1 29    1700 300   timeout 1 900 140 2400 false(unreach-call) 1 2.0  88 24   timeout 900 66 12000 done 1 64   240 920 done 1 15   430 170
eca-rers2012/Problem13_label19.yml timeout 900   11000 7600 timeout 900 7200 8200 false(unreach-call) 1 110    1800 1300   false(unreach-call) 1 32    1700 340   timeout 1 900 140 2800 false(unreach-call) 1 3.6  130 43   timeout 900 65 15000 done 1 66   450 900 done 1 15   430 150
eca-rers2012/Problem13_label21.yml done 1 310   9900 2700 timeout 900 7200 6300 false(unreach-call) 1 400    2100 5600   false(unreach-call) 1 32    1700 340   timeout 1 900 140 3200 false(unreach-call) 1 1.3  66 19   timeout 900 65 12000 done 1 63   130 880 done 1 17   420 170
eca-rers2012/Problem13_label23.yml timeout 900   7000 6200 timeout 900 5100 5700 false(unreach-call) 1 440    2000 4800   false(unreach-call) 1 54    1800 550   timeout 1 900 140 2700 false(unreach-call) 1 1.4  71 18   timeout 900 65 12000 done 1 65   330 680 done 1 16   430 180
eca-rers2012/Problem13_label24.yml done 1 460   6100 2800 timeout 900 5200 5200 false(unreach-call) 1 210    2000 2400   false(unreach-call) 1 27    1700 330   done 21 140 110 false(unreach-call) 1 1.2  62 15   timeout 900 65 12000 done 1 62   110 940 done 1 15   430 160
eca-rers2012/Problem13_label25.yml timeout 900   7900 8200 timeout 900 5200 6300 false(unreach-call) 1 100    1800 1100   false(unreach-call) 1 31    1700 410   done 19 140 110 false(unreach-call) 1 5.1  170 61   timeout 900 65 12000 done 1 62   100 870 done 1 15   420 150
eca-rers2012/Problem13_label28.yml done 1 24   990 200 timeout 900 7200 6100 false(unreach-call) 1 99    1800 1100   false(unreach-call) 1 39    1700 410   timeout 1 900 140 2500 false(unreach-call) 1 1.3  65 16   timeout 900 66 12000 done 1 62   92 770 done 1 15   430 170
eca-rers2012/Problem13_label29.yml done 1 740   6800 5000 timeout 900 7000 7200 false(unreach-call) 1 65    1800 700   false(unreach-call) 1 32    1700 310   timeout 1 900 140 2900 false(unreach-call) 1 25    530 210   timeout 900 65 13000 done 1 65   390 830 done 1 15   420 170
eca-rers2012/Problem13_label30.yml timeout 900   11000 7200 timeout 900 7100 6800 false(unreach-call) 1 470    2000 5000   false(unreach-call) 1 32    1700 420   timeout 1 900 140 2900 false(unreach-call) 1 1.4  67 18   timeout 900 65 14000 done 1 63   210 750 done 1 15   430 170
eca-rers2012/Problem13_label32.yml timeout 900   7800 6400 timeout 900 5300 6600 false(unreach-call) 1 77    1800 970   false(unreach-call) 1 46    1800 560   timeout 1 900 140 4400 false(unreach-call) 1 3.5  130 35   timeout 900 65 13000 done 1 65   310 930 done 1 15   420 170
eca-rers2012/Problem13_label35.yml done 1 140   6200 1200 timeout 930 7200 5300 false(unreach-call) 1 140    1800 1500   false(unreach-call) 1 63    1800 720   timeout 1 900 140 2700 false(unreach-call) 1 17    410 160   timeout 900 65 14000 done 1 91   1900 1100 done 1 16   420 170
eca-rers2012/Problem13_label36.yml done 1 180   6800 1800 timeout 900 7100 7100 false(unreach-call) 1 110    1800 1400   false(unreach-call) 1 37    1700 400   timeout 1 900 140 2600 false(unreach-call) 1 3.7  140 47   timeout 900 65 13000 done 1 63   160 760 done 1 15   430 170
eca-rers2012/Problem13_label40.yml done 1 26   1300 250 timeout 900 7100 6000 false(unreach-call) 1 110    1800 1200   false(unreach-call) 1 33    1700 350   timeout 1 900 140 3000 false(unreach-call) 1 1.2  62 16   timeout 900 65 13000 done 1 62   97 930 done 1 14   420 150
eca-rers2012/Problem13_label43.yml timeout 900   9500 6300 timeout 900 7100 7400 false(unreach-call) 1 110    1800 1200   false(unreach-call) 1 28    1700 290   done 22 140 130 false(unreach-call) 1 1.9  83 27   timeout 900 65 12000 done 1 63   160 930 done 1 15   410 160
eca-rers2012/Problem13_label44.yml done 1 220   6100 1900 timeout 900 7100 6000 false(unreach-call) 1 190    1900 2500   false(unreach-call) 1 38    1700 390   timeout 1 900 140 4000 false(unreach-call) 1 1.2  62 15   timeout 900 65 12000 done 1 62   92 840 done 1 16   430 190
eca-rers2012/Problem13_label45.yml done 1 23   990 210 timeout 900 7100 5900 false(unreach-call) 1 140    1800 1700   false(unreach-call) 1 56    1800 660   timeout 1 900 140 4800 false(unreach-call) 1 .77 46 9.4 timeout 900 65 13000 done 1 62   110 840 done 1 16   420 180
eca-rers2012/Problem13_label48.yml done 1 160   7000 1400 timeout 900 7100 6900 false(unreach-call) 1 120    1800 1200   false(unreach-call) 1 39    1700 360   timeout 1 900 140 3700 false(unreach-call) 1 1.8  81 24   timeout 900 65 13000 done 1 66   460 890 done 1 15   420 180
eca-rers2012/Problem13_label51.yml timeout 900   11000 6300 timeout 900 7100 7200 false(unreach-call) 1 120    1800 1200   false(unreach-call) 1 32    1700 350   done 14 140 110 false(unreach-call) 1 14    350 140   timeout 900 65 14000 done 1 77   1200 1200 done 1 15   420 160
eca-rers2012/Problem13_label54.yml timeout 900   11000 7000 timeout 900 7100 7400 false(unreach-call) 1 86    1800 850   false(unreach-call) 1 56    1800 530   timeout 1 900 140 3600 false(unreach-call) 1 9.1  260 88   timeout 900 65 14000 done 1 75   1100 890 done 1 15   420 150
eca-rers2012/Problem13_label58.yml timeout 900   11000 6800 timeout 900 7100 6600 false(unreach-call) 1 460    2600 5300   false(unreach-call) 1 50    1800 530   done 16 140 110 false(unreach-call) 1 1.3  65 15   timeout 900 65 12000 done 1 64   240 870 done 1 15   420 180
eca-rers2012/Problem15_label00.yml done 1 16   520 120 timeout 930 4500 7200 false(unreach-call) 1 170    980 1900   false(unreach-call) 1 21    690 220   timeout 1 900 62 3700 false(unreach-call) 1 .32 28 4.0 timeout 900 50 16000 done 1 18   34 270 done 1 7.9 270 91
eca-rers2012/Problem15_label02.yml done 1 17   580 140 timeout 930 4700 9500 false(unreach-call) 1 230    1000 2500   false(unreach-call) 1 13    680 140   timeout 1 900 62 2100 false(unreach-call) 1 .35 29 4.2 timeout 900 50 12000 done 1 18   34 240 done 1 9.7 260 100
eca-rers2012/Problem15_label03.yml done 1 18   660 140 timeout 900 6100 6400 false(unreach-call) 1 130    920 1500   false(unreach-call) 1 13    680 150   timeout 1 900 63 4300 false(unreach-call) 1 .35 29 4.7 timeout 900 50 12000 done 1 18   34 220 done 1 8.4 280 100
eca-rers2012/Problem15_label07.yml done 1 21   900 200 timeout 900 4600 5200 false(unreach-call) 1 67    920 730   false(unreach-call) 1 11    680 120   done 35 62 110 false(unreach-call) 1 .48 30 6.4 timeout 900 50 15000 done 1 18   43 280 done 1 9.4 270 120
eca-rers2012/Problem15_label09.yml done 1 19   720 150 timeout 900 4500 6500 false(unreach-call) 1 150    920 1500   false(unreach-call) 1 12    730 130   timeout 1 900 61 2600 false(unreach-call) 1 .33 28 6.2 timeout 900 50 12000 done 1 18   40 270 done 1 7.6 270 79
eca-rers2012/Problem15_label14.yml done 1 18   660 160 timeout 900 6100 7200 false(unreach-call) 1 96    960 1100   false(unreach-call) 1 11    730 130   timeout 1 900 62 4600 false(unreach-call) 1 .62 32 6.9 timeout 900 50 12000 done 1 18   34 240 done 1 8.2 280 85
eca-rers2012/Problem15_label15.yml done 1 17   690 140 timeout 900 6100 6100 false(unreach-call) 1 250    960 2600   false(unreach-call) 1 10    680 110   timeout 1 900 62 4100 false(unreach-call) 1 .41 29 4.9 timeout 900 50 15000 done 1 18   33 260 done 1 9.3 280 110
eca-rers2012/Problem15_label22.yml done 1 18   630 150 timeout 900 4700 7300 false(unreach-call) 1 400    1000 4500   false(unreach-call) 1 22    770 240   timeout 1 900 62 2400 false(unreach-call) 1 .35 29 4.4 timeout 900 50 14000 done 1 18   34 230 done 1 8.4 270 86
eca-rers2012/Problem15_label23.yml done 1 18   810 170 timeout 900 6100 7000 false(unreach-call) 1 130    950 1400   false(unreach-call) 1 14    680 150   timeout 1 900 61 3000 false(unreach-call) 1 .70 34 8.9 timeout 900 50 13000 done 1 18   35 220 done 1 7.6 270 77
eca-rers2012/Problem15_label25.yml done 1 21   1000 200 timeout 900 4500 6500 false(unreach-call) 1 71    990 760   false(unreach-call) 1 12    680 170   timeout 1 900 62 2800 false(unreach-call) 1 .50 30 5.2 timeout 900 50 13000 done 1 18   38 250 done 1 8.1 290 74
eca-rers2012/Problem15_label29.yml done 1 18   700 160 timeout 900 4600 7400 false(unreach-call) 1 160    980 1700   false(unreach-call) 1 11    680 120   timeout 1 900 61 3500 false(unreach-call) 1 .37 29 5.8 timeout 900 50 13000 done 1 18   35 250 done 1 8.8 290 99
eca-rers2012/Problem15_label30.yml done 1 16   600 130 timeout 900 4500 6600 false(unreach-call) 1 190    970 2300   false(unreach-call) 1 10    680 120   timeout 1 900 61 5000 false(unreach-call) 1 .42 29 5.9 timeout 900 50 13000 done 1 18   34 270 done 1 8.9 280 88
eca-rers2012/Problem15_label33.yml done 1 17   640 150 timeout 900 6100 9400 false(unreach-call) 1 110    1000 1600   false(unreach-call) 1 11    730 130   timeout 1 900 62 3900 false(unreach-call) 1 .37 29 5.1 timeout 900 50 10000 done 1 18   34 250 done 1 7.8 280 82
eca-rers2012/Problem15_label34.yml done 1 19   670 160 timeout 900 5900 6700 false(unreach-call) 1 24    810 260   false(unreach-call) 1 11    680 130   timeout 1 900 62 4700 false(unreach-call) 1 .44 30 6.4 timeout 900 50 13000 done 1 18   42 240 done 1 7.7 270 75
eca-rers2012/Problem15_label37.yml done 1 21   930 170 timeout 900 3300 7300 false(unreach-call) 1 150    980 1700   false(unreach-call) 1 11    680 130   done 26 62 91 false(unreach-call) 1 .47 30 5.3 timeout 900 50 16000 done 1 18   34 230 done 1 8.5 280 98
eca-rers2012/Problem15_label38.yml done 1 20   930 180 timeout 900 6000 6400 false(unreach-call) 1 26    810 280   false(unreach-call) 1 11    680 160   timeout 1 900 62 2900 false(unreach-call) 1 .35 29 5.1 timeout 900 50 14000 done 1 19   47 260 done 1 7.6 280 72
eca-rers2012/Problem15_label39.yml done 1 20   940 180 timeout 900 4500 7400 false(unreach-call) 1 220    1000 2300   false(unreach-call) 1 13    730 150   timeout 1 900 62 3100 false(unreach-call) 1 .51 31 6.5 timeout 900 50 12000 done 1 18   39 230 done 1 7.6 270 84
eca-rers2012/Problem15_label40.yml done 1 18   660 170 timeout 900 3300 7700 false(unreach-call) 1 43    830 610   false(unreach-call) 1 21    700 260   timeout 1 900 62 4100 false(unreach-call) 1 .35 29 4.1 timeout 900 50 13000 done 1 18   34 220 done 1 9.0 270 100
eca-rers2012/Problem15_label41.yml done 1 17   710 150 timeout 900 4500 6500 false(unreach-call) 1 160    970 1900   false(unreach-call) 1 18    730 240   timeout 1 900 62 2900 false(unreach-call) 1 .34 28 4.7 timeout 900 50 14000 done 1 18   34 270 done 1 8.0 270 82
eca-rers2012/Problem15_label45.yml done 1 18   690 160 timeout 900 4600 7100 false(unreach-call) 1 200    1000 2100   false(unreach-call) 1 12    680 140   done 28 62 100 false(unreach-call) 1 .49 31 5.4 timeout 900 50 12000 done 1 18   41 230 done 1 7.9 280 86
eca-rers2012/Problem15_label47.yml done 1 17   690 140 timeout 900 4500 8900 false(unreach-call) 1 200    1000 2200   false(unreach-call) 1 19    710 220   timeout 1 900 62 4700 false(unreach-call) 1 .37 29 4.3 timeout 900 50 13000 done 1 18   38 240 done 1 8.5 270 84
eca-rers2012/Problem15_label48.yml done 1 17   700 150 timeout 900 6000 6500 false(unreach-call) 1 130    970 1500   false(unreach-call) 1 21    750 210   timeout 1 900 62 2400 false(unreach-call) 1 .35 29 4.1 timeout 900 50 14000 done 1 18   34 260 done 1 8.7 280 89
eca-rers2012/Problem15_label50.yml done 1 18   770 170 timeout 900 3300 6400 false(unreach-call) 1 190    950 2000   false(unreach-call) 1 12    680 140   timeout 1 900 62 4500 false(unreach-call) 1 .70 34 9.6 timeout 900 50 13000 done 1 18   35 290 done 1 7.9 270 79
eca-rers2012/Problem15_label51.yml done 1 18   640 150 timeout 900 4500 8400 false(unreach-call) 1 150    1000 2200   false(unreach-call) 1 11    680 120   timeout 1 900 61 3100 false(unreach-call) 1 .51 31 6.0 timeout 900 50 12000 done 1 18   34 270 done 1 7.7 270 94
eca-rers2012/Problem16_label00.yml timeout 900   6100 7300 timeout 900 2500 7800 timeout 900    1300 12000   timeout 900    1300 10000   timeout 900 52 2300 false(unreach-call) 1 1.4  43 16   timeout 900 46 15000 done 1 17   77 230 done 1 28   270 310
eca-rers2012/Problem16_label01.yml timeout 900   8100 6900 timeout 900 3600 6900 timeout 900    1200 13000   timeout 900    1300 13000   timeout 900 52 3300 false(unreach-call) 1 1.4  44 17   timeout 900 46 14000 done 1 17   69 230 done 1 27   260 310
eca-rers2012/Problem16_label03.yml timeout 900   8000 7400 timeout 900 6600 7200 timeout 900    2100 9300   timeout 900    2000 11000   timeout 900 52 4400 false(unreach-call) 1 1.7  50 20   timeout 900 46 13000 done 1 17   95 220 done 1 31   260 340
eca-rers2012/Problem16_label04.yml timeout 900   8000 8500 timeout 900 4800 7100 false(unreach-call) 1 350    1600 4500   false(unreach-call) 1 280    1600 3200   timeout 900 52 4500 false(unreach-call) 1 1.1  37 14   timeout 900 46 14000 done 1 17   65 220 done 1 26   270 350
eca-rers2012/Problem16_label05.yml timeout 900   9900 7600 timeout 900 5600 6900 false(unreach-call) 1 250    1600 2700   false(unreach-call) 1 170    1600 1900   timeout 900 52 2800 false(unreach-call) 1 2.5  62 35   timeout 900 46 12000 done 1 18   120 240 done 1 28   270 380
eca-rers2012/Problem16_label06.yml timeout 900   10000 7100 timeout 900 5700 7600 false(unreach-call) 1 770    1900 8200   false(unreach-call) 1 610    1900 6900   timeout 900 52 2200 false(unreach-call) 1 1.7  49 17   timeout 900 46 13000 done 1 17   90 230 done 1 35   270 400
eca-rers2012/Problem16_label08.yml timeout 900   9700 6500 timeout 900 6100 7100 false(unreach-call) 1 570    1900 7300   false(unreach-call) 1 490    1900 6300   timeout 900 52 2900 false(unreach-call) 1 2.1  55 31   timeout 900 46 14000 done 1 18   110 240 done 1 29   270 360
eca-rers2012/Problem16_label14.yml timeout 900   9400 8000 timeout 900 6000 10000 false(unreach-call) 1 650    2100 7600   false(unreach-call) 1 570    2200 6500   timeout 900 52 4000 false(unreach-call) 1 1.9  53 25   timeout 900 46 12000 done 1 17   97 270 done 1 28   270 310
eca-rers2012/Problem16_label15.yml timeout 900   8100 6800 timeout 900 6400 7200 false(unreach-call) 1 410    1800 4900   false(unreach-call) 1 330    1800 4300   done 27 52 81 false(unreach-call) 1 1.3  41 17   timeout 900 46 13000 done 1 17   67 210 done 1 31   280 450
eca-rers2012/Problem16_label18.yml timeout 900   12000 7600 timeout 900 7100 7000 timeout 900    2100 11000   timeout 900    2000 10000   done 23 52 93 false(unreach-call) 1 2.4  60 27   timeout 900 46 12000 done 1 18   110 220 done 1 31   270 420
eca-rers2012/Problem16_label20.yml timeout 900   11000 7000 timeout 900 6400 6400 false(unreach-call) 1 510    1800 5400   false(unreach-call) 1 430    1800 5100   timeout 900 52 3900 false(unreach-call) 1 1.3  41 14   timeout 900 46 13000 done 1 17   68 220 done 1 29   270 320
eca-rers2012/Problem16_label22.yml timeout 900   11000 6800 timeout 900 6400 6900 false(unreach-call) 1 870    1900 9900   false(unreach-call) 1 730    1800 10000   done 23 52 84 false(unreach-call) 1 1.5  46 20   timeout 900 46 15000 done 1 17   86 240 done 1 28   270 330
eca-rers2012/Problem16_label27.yml timeout 900   8400 7600 timeout 900 5400 7300 false(unreach-call) 1 560    1900 6000   false(unreach-call) 1 470    1900 5200   timeout 900 52 2700 false(unreach-call) 1 1.5  45 18   timeout 900 46 14000 done 1 17   81 220 done 1 29   270 330
eca-rers2012/Problem16_label30.yml timeout 900   11000 7400 timeout 900 6300 7500 false(unreach-call) 1 600    1900 7400   false(unreach-call) 1 440    1700 4700   timeout 900 52 4000 false(unreach-call) 1 1.6  48 25   timeout 900 46 12000 done 1 17   86 220 done 1 29   270 310
eca-rers2012/Problem16_label31.yml timeout 900   8400 7400 timeout 900 6900 7200 timeout 900    2100 11000   timeout 900    2000 9800   timeout 900 52 4700 false(unreach-call) 1 2.0  55 29   timeout 900 46 16000 done 1 18   110 230 done 1 26   260 270
eca-rers2012/Problem16_label33.yml timeout 900   8400 9100 timeout 900 5400 6600 false(unreach-call) 1 620    2200 6800   false(unreach-call) 1 520    2100 6400   done 24 52 85 false(unreach-call) 1 1.3  40 16   timeout 900 46 12000 done 1 16   64 220 done 1 28   270 310
eca-rers2012/Problem16_label37.yml timeout 900   11000 6800 timeout 900 6500 8000 false(unreach-call) 1 200    1700 2300   false(unreach-call) 1 120    1600 1300   timeout 900 52 2200 false(unreach-call) 1 1.3  41 16   timeout 900 46 12000 done 1 17   71 230 done 1 28   270 270
eca-rers2012/Problem16_label38.yml timeout 900   8800 8000 timeout 900 6300 7700 false(unreach-call) 1 740    2000 9300   false(unreach-call) 1 640    1700 7000   timeout 900 52 2700 false(unreach-call) 1 1.7  49 21   timeout 900 46 12000 done 1 17   88 230 done 1 30   270 450
eca-rers2012/Problem16_label41.yml timeout 900   8600 7700 timeout 900 6300 7600 false(unreach-call) 1 340    1700 3900   false(unreach-call) 1 270    1600 2900   timeout 900 52 3700 false(unreach-call) 1 1.3  41 21   timeout 900 46 13000 done 1 17   67 220 done 1 27   280 290
eca-rers2012/Problem16_label43.yml timeout 900   8000 7400 timeout 900 6600 6600 timeout 900    2000 9600   timeout 900    1900 11000   timeout 900 52 3500 false(unreach-call) 1 1.5  44 16   timeout 900 46 14000 done 1 17   80 230 done 1 26   270 310
eca-rers2012/Problem16_label44.yml timeout 900   9700 6700 timeout 900 5600 8000 false(unreach-call) 1 300    1700 3800   false(unreach-call) 1 250    1600 2100   timeout 900 52 4800 false(unreach-call) 1 1.2  39 16   timeout 900 46 13000 done 1 16   61 200 done 1 27   270 320
eca-rers2012/Problem16_label46.yml timeout 900   9900 7800 timeout 900 5800 7600 timeout 900    1800 11000   timeout 900    1700 11000   timeout 900 52 3700 false(unreach-call) 1 2.3  58 29   timeout 900 46 13000 done 1 17   100 230 done 1 30   270 360
eca-rers2012/Problem16_label51.yml timeout 900   11000 7300 timeout 900 6400 9100 false(unreach-call) 1 670    1700 7300   false(unreach-call) 1 540    1600 6100   done 28 52 85 false(unreach-call) 1 1.6  48 20   timeout 900 46 12000 done 1 17   80 250 done 1 33   270 440
eca-rers2012/Problem16_label52.yml timeout 900   10000 7200 timeout 900 5600 7000 false(unreach-call) 1 430    1600 4800   false(unreach-call) 1 380    1500 4600   timeout 900 52 2900 false(unreach-call) 1 1.2  39 11   timeout 900 46 14000 done 1 16   63 190 done 1 28   270 390
eca-rers2012/Problem16_label54.yml timeout 900   8300 6600 timeout 900 5700 8200 false(unreach-call) 1 770    1800 8700   false(unreach-call) 1 640    1800 7900   timeout 900 52 2300 false(unreach-call) 1 1.3  42 19   timeout 900 46 14000 done 1 17   66 210 done 1 26   270 350
eca-rers2012/Problem17_label04.yml done 1 18   550 170 timeout 900 5000 6800 false(unreach-call) 1 270    1400 3100   false(unreach-call) 1 39    1400 450   timeout 1 900 94 2500 false(unreach-call) 1 .48 37 5.8 timeout 900 54 12000 done 1 29   50 470 done 1 11   310 110
eca-rers2012/Problem17_label07.yml timeout 900   8000 6300 timeout 900 4900 6000 false(unreach-call) 1 190    1400 2200   false(unreach-call) 1 29    1400 340   timeout 1 900 93 2900 false(unreach-call) 1 1.1  48 14   timeout 900 54 15000 done 1 32   250 410 done 1 9.8 310 91
eca-rers2012/Problem17_label09.yml done 1 18   600 140 timeout 900 3400 5900 false(unreach-call) 1 410    1400 5400   false(unreach-call) 1 29    1400 360   timeout 1 900 94 2600 false(unreach-call) 1 .63 38 7.5 timeout 900 54 14000 done 1 29   50 400 done 1 9.6 300 94
eca-rers2012/Problem17_label13.yml done 1 21   870 180 timeout 900 3500 5900 false(unreach-call) 1 430    1500 5300   false(unreach-call) 1 47    1500 480   done 29 93 94 false(unreach-call) 1 .89 42 12   timeout 900 54 14000 done 1 29   50 360 done 1 9.7 300 100
eca-rers2012/Problem17_label16.yml done 1 20   760 180 timeout 900 5100 6600 false(unreach-call) 1 260    1400 2900   false(unreach-call) 1 28    1400 300   done 14 93 140 false(unreach-call) 1 .53 36 6.4 timeout 900 54 12000 done 1 29   69 370 done 1 9.6 320 100
eca-rers2012/Problem17_label20.yml timeout 910   4600 6800 timeout 900 5000 7300 false(unreach-call) 1 290    1400 3400   false(unreach-call) 1 28    1400 300   timeout 1 900 93 2700 false(unreach-call) 1 2.3  71 27   timeout 900 54 12000 done 1 31   190 430 done 1 10   320 100
eca-rers2012/Problem17_label23.yml done 1 18   730 140 timeout 900 3400 6000 false(unreach-call) 1 70    1400 800   false(unreach-call) 1 33    1400 390   timeout 1 900 93 2700 false(unreach-call) 1 .83 42 11   timeout 900 54 14000 done 1 29   50 400 done 1 13   310 140
eca-rers2012/Problem17_label25.yml done 1 23   990 230 timeout 930 3400 6900 false(unreach-call) 1 290    1500 3100   false(unreach-call) 1 65    1500 660   timeout 1 900 93 5000 false(unreach-call) 1 .65 39 7.6 timeout 900 54 13000 done 1 29   58 370 done 1 9.6 310 97
eca-rers2012/Problem17_label26.yml done 1 21   870 180 timeout 900 4900 6800 false(unreach-call) 1 56    1400 560   false(unreach-call) 1 28    1400 290   timeout 1 900 93 2600 false(unreach-call) 1 .64 37 10   timeout 900 54 11000 done 1 29   49 470 done 1 9.5 310 110
eca-rers2012/Problem17_label30.yml done 1 16   560 130 timeout 900 5000 9300 false(unreach-call) 1 260    1400 2800   false(unreach-call) 1 46    1400 580   done 20 94 140 false(unreach-call) 1 .51 35 5.9 timeout 900 54 13000 done 1 29   50 400 done 1 9.5 320 100
eca-rers2012/Problem17_label31.yml timeout 900   4400 4400 timeout 900 3400 6900 false(unreach-call) 1 98    1400 1200   false(unreach-call) 1 47    1400 510   timeout 1 900 93 2400 false(unreach-call) 1 .39 32 5.7 timeout 900 54 13000 done 1 29   49 390 done 1 9.9 310 99
eca-rers2012/Problem17_label33.yml done 1 22   1000 180 timeout 900 5000 6600 false(unreach-call) 1 160    1400 1800   false(unreach-call) 1 28    1400 290   timeout 1 900 92 2400 false(unreach-call) 1 .50 35 6.4 timeout 900 54 14000 done 1 30   120 450 done 1 10   310 120
eca-rers2012/Problem17_label34.yml done 1 18   710 160 timeout 900 5000 6800 false(unreach-call) 1 230    1600 2500   false(unreach-call) 1 47    1500 580   timeout 1 900 94 3400 false(unreach-call) 1 .59 37 7.0 timeout 900 54 12000 done 1 29   64 450 done 1 9.7 310 98
eca-rers2012/Problem17_label35.yml timeout 900   4700 5900 timeout 900 3300 5700 false(unreach-call) 1 380    1500 4000   false(unreach-call) 1 48    1500 620   timeout 1 900 93 4600 false(unreach-call) 1 .66 39 8.2 timeout 900 54 11000 done 1 29   74 390 done 1 10   320 100
eca-rers2012/Problem17_label37.yml done 1 21   950 170 timeout 900 5000 6300 false(unreach-call) 1 530    1500 6200   false(unreach-call) 1 23    1400 240   timeout 900 93 3200 false(unreach-call) 1 1.2  50 15   timeout 900 54 12000 done 1 30   110 350 done 1 9.8 320 100
eca-rers2012/Problem17_label40.yml done 1 21   950 190 timeout 900 5000 6300 false(unreach-call) 1 93    1500 960   false(unreach-call) 1 66    1500 960   timeout 1 900 93 2600 false(unreach-call) 1 .46 34 5.9 timeout 900 54 12000 done 1 29   50 420 done 1 9.7 310 91
eca-rers2012/Problem17_label46.yml timeout 900   4700 7900 timeout 900 3400 5500 false(unreach-call) 1 310    1500 4400   false(unreach-call) 1 39    1500 430   timeout 1 900 94 2800 false(unreach-call) 1 .58 36 8.6 timeout 900 54 12000 done 1 29   53 400 done 1 9.9 310 100
eca-rers2012/Problem17_label49.yml done 1 20   770 160 timeout 900 4900 6200 false(unreach-call) 1 480    1500 5400   false(unreach-call) 1 36    1400 380   timeout 900 92 3000 false(unreach-call) 1 .66 39 8.5 timeout 900 54 13000 done 1 30   92 370 done 1 9.8 300 100
eca-rers2012/Problem17_label50.yml done 1 840   4900 5600 timeout 900 5200 5800 false(unreach-call) 1 290    1500 2800   false(unreach-call) 1 49    1500 570   done 31 93 110 false(unreach-call) 1 .48 34 6.1 timeout 900 54 12000 done 1 29   67 440 done 1 10   320 110
eca-rers2012/Problem17_label52.yml timeout 900   4700 6500 timeout 900 3400 5300 false(unreach-call) 1 240    1500 2600   false(unreach-call) 1 35    1400 370   timeout 1 900 94 3000 false(unreach-call) 1 .76 40 11   timeout 900 54 13000 done 1 30   100 400 done 1 9.8 310 96
eca-rers2012/Problem17_label53.yml done 1 16   540 130 timeout 900 4900 5600 false(unreach-call) 1 69    1400 820   false(unreach-call) 1 28    1400 320   timeout 1 900 93 2700 false(unreach-call) 1 .49 35 6.8 timeout 900 54 13000 done 1 29   50 350 done 1 9.7 310 110
eca-rers2012/Problem17_label54.yml done 1 20   880 170 timeout 900 5200 5800 false(unreach-call) 1 260    1400 2800   false(unreach-call) 1 33    1400 360   timeout 1 900 93 2100 false(unreach-call) 1 .93 43 12   timeout 900 54 13000 done 1 29   57 460 done 1 9.7 310 100
eca-rers2012/Problem17_label55.yml done 1 19   770 160 timeout 900 3500 6000 false(unreach-call) 1 320    1500 3700   false(unreach-call) 1 44    1500 540   done 23 93 98 false(unreach-call) 1 .65 39 8.1 timeout 900 54 13000 done 1 29   50 430 done 1 9.6 310 100
eca-rers2012/Problem17_label57.yml done 1 25   1200 220 timeout 900 4900 8400 false(unreach-call) 1 320    1700 4000   false(unreach-call) 1 30    1400 300   timeout 900 93 2900 false(unreach-call) 1 1.2  49 17   timeout 900 54 14000 done 1 30   90 450 done 1 9.7 300 110
eca-rers2012/Problem18_label00.yml done 1 320   4500 3000 timeout 900 5900 6300 false(unreach-call) 1 87    1500 1000   false(unreach-call) 1 45    1400 570   done 18 77 97 false(unreach-call) 1 .81 41 11   timeout 900 51 12000 done 1 35   170 500 done 1 17   310 190
eca-rers2012/Problem18_label01.yml done 1 300   3700 2100 timeout 900 5700 6200 false(unreach-call) 1 97    1500 1300   false(unreach-call) 1 68    1400 750   done 30 77 120 false(unreach-call) 1 2.1  61 27   timeout 900 51 13000 done 1 33   67 430 done 1 28   310 310
eca-rers2012/Problem18_label03.yml done 1 280   3700 2300 timeout 900 4500 5800 false(unreach-call) 1 98    1500 980   false(unreach-call) 1 69    1400 700   done 20 77 120 false(unreach-call) 1 7.1  130 73   timeout 900 51 12000 done 1 34   100 430 done 1 21   320 230
eca-rers2012/Problem18_label06.yml done 1 270   5200 2700 timeout 900 4700 5900 false(unreach-call) 1 160    1500 1700   false(unreach-call) 1 130    1400 1500   timeout 900 77 2600 false(unreach-call) 1 4.1  95 50   timeout 900 51 13000 done 1 34   120 480 done 1 18   310 190
eca-rers2012/Problem18_label08.yml done 1 130   3500 1000 timeout 900 3600 5100 false(unreach-call) 1 85    1500 1100   false(unreach-call) 1 45    1400 550   done 14 77 120 false(unreach-call) 1 2.4  67 28   timeout 900 51 11000 done 1 34   78 420 done 1 17   320 190
eca-rers2012/Problem18_label09.yml done 1 240   6000 2000 timeout 900 5900 6400 false(unreach-call) 1 810    1600 8300   false(unreach-call) 1 630    1600 8700   done 20 77 120 false(unreach-call) 1 .71 39 9.2 timeout 900 51 12000 done 1 37   240 470 done 1 23   300 300
eca-rers2012/Problem18_label10.yml done 1 550   4700 3800 timeout 900 4700 5600 false(unreach-call) 1 74    1500 910   false(unreach-call) 1 47    1400 530   timeout 1 900 77 2600 false(unreach-call) 1 .92 42 12   timeout 900 52 13000 done 1 35   160 430 done 1 23   310 290
eca-rers2012/Problem18_label12.yml done 1 150   2900 1100 timeout 900 2100 7800 false(unreach-call) 1 120    1500 1300   false(unreach-call) 1 73    1400 780   timeout 900 77 3000 false(unreach-call) 1 .64 37 7.3 timeout 900 51 14000 done 1 33   76 490 done 1 28   310 320
eca-rers2012/Problem18_label19.yml done 1 160   3700 1500 timeout 900 4500 6100 false(unreach-call) 1 76    1500 890   false(unreach-call) 1 46    1400 490   done 26 76 82 false(unreach-call) 1 .93 42 14   timeout 900 51 15000 done 1 35   150 470 done 1 19   310 230
eca-rers2012/Problem18_label20.yml timeout 900   9900 7300 timeout 900 6100 7200 false(unreach-call) 1 95    1500 1000   false(unreach-call) 1 68    1400 670   done 27 76 94 false(unreach-call) 1 4.7  100 57   timeout 900 51 11000 done 1 41   440 540 done 1 28   310 340
eca-rers2012/Problem18_label25.yml timeout 900   7200 7300 timeout 900 3400 6600 false(unreach-call) 1 75    1500 770   false(unreach-call) 1 47    1400 490   timeout 1 900 77 5000 false(unreach-call) 1 .86 41 11   timeout 900 51 12000 done 1 35   170 530 done 1 12   310 140
eca-rers2012/Problem18_label27.yml done 1 250   3600 1500 timeout 900 4500 7200 false(unreach-call) 1 74    1500 830   false(unreach-call) 1 45    1400 470   done 25 77 110 false(unreach-call) 1 2.1  62 29   timeout 900 51 13000 done 1 33   68 430 done 1 25   320 300
eca-rers2012/Problem18_label31.yml done 1 250   7000 2100 timeout 900 4800 6600 false(unreach-call) 1 97    1500 1100   false(unreach-call) 1 66    1400 730   done 18 77 110 false(unreach-call) 1 4.6  100 57   timeout 900 51 14000 done 1 43   540 640 done 1 28   310 300
eca-rers2012/Problem18_label32.yml timeout 900   4300 5400 timeout 900 1900 5600 false(unreach-call) 1 77    1500 850   false(unreach-call) 1 47    1400 520   done 19 77 100 false(unreach-call) 1 9.3  160 120   timeout 900 51 14000 done 1 34   97 440 done 1 22   340 260
eca-rers2012/Problem18_label33.yml timeout 900   6400 6700 timeout 900 3400 6100 false(unreach-call) 1 78    1500 860   false(unreach-call) 1 37    1400 380   timeout 1 900 77 3400 false(unreach-call) 1 19    250 240   timeout 900 52 14000 done 1 35   130 430 done 1 26   320 370
eca-rers2012/Problem18_label34.yml done 1 550   5800 3900 timeout 900 3500 5900 false(unreach-call) 1 180    1500 2100   false(unreach-call) 1 150    1500 1800   done 17 77 110 false(unreach-call) 1 5.5  110 65   timeout 900 51 13000 done 1 34   110 540 done 1 19   310 200
eca-rers2012/Problem18_label35.yml done 1 480   4100 3800 timeout 900 3600 6900 false(unreach-call) 1 88    1500 990   false(unreach-call) 1 59    1400 630   timeout 1 900 77 2600 false(unreach-call) 1 7.6  140 91   timeout 900 51 13000 done 1 40   400 470 done 1 23   310 260
eca-rers2012/Problem18_label36.yml done 1 300   4700 2300 timeout 900 4700 7400 false(unreach-call) 1 92    1500 960   false(unreach-call) 1 53    1400 600   timeout 1 900 77 4900 false(unreach-call) 1 4.7  100 60   timeout 900 51 13000 done 1 34   120 510 done 1 21   310 220
eca-rers2012/Problem18_label38.yml done 1 140   2900 1100 timeout 900 4700 5700 false(unreach-call) 1 210    1500 2500   false(unreach-call) 1 49    1400 520   done 26 77 62 false(unreach-call) 1 .61 37 7.6 timeout 900 52 12000 done 1 34   86 460 done 1 13   310 120
eca-rers2012/Problem18_label39.yml done 1 170   3400 1300 timeout 900 5700 6300 false(unreach-call) 1 110    1500 1200   false(unreach-call) 1 77    1400 810   timeout 1 900 77 2300 false(unreach-call) 1 2.6  71 34   timeout 900 51 14000 done 1 35   170 460 done 1 16   310 190
eca-rers2012/Problem18_label45.yml done 1 250   4100 2200 timeout 900 4500 5800 false(unreach-call) 1 78    1500 880   false(unreach-call) 1 47    1400 660   done 18 77 110 false(unreach-call) 1 19    250 270   timeout 900 51 14000 done 1 35   190 530 done 1 15   310 150
eca-rers2012/Problem18_label49.yml timeout 900   6200 7300 timeout 900 3400 5900 false(unreach-call) 1 160    1500 1900   false(unreach-call) 1 130    1500 1800   timeout 1 900 77 4400 false(unreach-call) 1 3.8  90 52   timeout 900 52 14000 done 1 34   130 490 done 1 18   310 230
eca-rers2012/Problem18_label52.yml done 1 120   4600 1100 timeout 900 3700 8200 false(unreach-call) 1 110    1500 1300   false(unreach-call) 1 76    1400 880   done 22 77 93 false(unreach-call) 1 .66 37 8.6 timeout 900 51 12000 done 1 33   75 430 done 1 20   310 270
eca-rers2012/Problem18_label55.yml done 1 130   5100 1200 timeout 900 6800 7000 false(unreach-call) 1 75    1500 920   false(unreach-call) 1 39    1400 410   timeout 1 900 77 4100 false(unreach-call) 1 4.3  98 49   timeout 900 51 14000 done 1 35   130 450 done 1 34   310 410
eca-rers2012/Problem18_label57.yml done 1 300   7000 2200 timeout 900 4700 6700 false(unreach-call) 1 220    1500 2300   false(unreach-call) 1 180    1500 2000   timeout 1 900 77 2400 false(unreach-call) 1 .65 38 9.2 timeout 900 52 12000 done 1 37   270 510 done 1 14   310 160
eca-rers2012/Problem19_label10.yml timeout 900   9200 7500 timeout 900 6800 7900 timeout 930    4200 11000   timeout 900    6800 9200   timeout 900 160 4000 false(unreach-call) 1 55    350 620   timeout 900 79 14000 done 1 110   910 1300 done 1 47   460 530
eca-rers2012/Problem19_label11.yml timeout 900   8500 5600 timeout 900 6800 6700 timeout 900    6900 9000   false(unreach-call) 1 670    6800 7900   done 25 170 91 false(unreach-call) 1 8.1  120 90   timeout 900 79 12000 done 1 90   230 1200 done 1 43   470 500
eca-rers2012/Problem19_label14.yml timeout 900   11000 6100 timeout 900 6900 5900 timeout 900    6900 11000   timeout 900    6800 9700   timeout 900 170 2600 false(unreach-call) 1 58    350 730   timeout 900 79 13000 done 1 99   590 1500 done 1 62   470 740
eca-rers2012/Problem19_label17.yml timeout 900   14000 9700 timeout 900 10000 8000 timeout 900    6900 9700   timeout 900    6800 8300   timeout 900 170 3000 false(unreach-call) 1 34    270 390   timeout 900 79 15000 done 1 99   610 1500 done 1 45   460 530
eca-rers2012/Problem19_label18.yml timeout 900   9600 7200 timeout 900 10000 6600 timeout 900    6900 11000   timeout 900    6800 10000   timeout 900 170 4100 false(unreach-call) 1 12    150 130   timeout 900 79 12000 done 1 95   460 1300 done 1 31   460 390
eca-rers2012/Problem19_label19.yml out of memory 530   15000 5000 out of memory 540 15000 4400 timeout 900    6900 9500   false(unreach-call) 1 690    6800 7300   timeout 900 170 2400 false(unreach-call) 1 19    200 190   timeout 900 79 13000 done 1 94   420 1200 done 1 42   460 490
eca-rers2012/Problem19_label21.yml timeout 900   8500 6600 timeout 900 6800 8000 timeout 900    6900 11000   timeout 900    6800 9000   timeout 900 170 5000 false(unreach-call) 1 59    360 640   timeout 900 79 13000 done 1 100   810 1300 done 1 60   460 770
eca-rers2012/Problem19_label22.yml timeout 900   8400 8000 timeout 930 6800 5700 timeout 900    6900 9900   timeout 900    6800 9100   timeout 900 170 2600 false(unreach-call) 1 9.2  130 120   timeout 900 79 14000 done 1 97   520 1300 done 1 30   460 350
eca-rers2012/Problem19_label26.yml timeout 900   8200 5900 timeout 900 6800 5500 timeout 900    6700 9700   timeout 900    6800 9600   timeout 900 170 2900 false(unreach-call) 1 5.9  110 71   timeout 900 79 12000 done 1 88   180 1300 done 1 40   460 490
eca-rers2012/Problem19_label27.yml timeout 900   8400 5100 timeout 900 6800 5800 timeout 900    6800 9200   timeout 930    6700 10000   done 42 170 170 false(unreach-call) 1 29    240 380   timeout 900 79 12000 done 1 93   380 1300 done 1 62   460 810
eca-rers2012/Problem19_label28.yml timeout 900   8400 7500 timeout 900 6800 7200 timeout 900    6900 9300   false(unreach-call) 1 710    6800 7200   timeout 900 170 3000 false(unreach-call) 1 3.9  91 54   timeout 900 79 14000 done 1 90   250 1200 done 1 65   450 730
eca-rers2012/Problem19_label29.yml out of memory 530   15000 4100 out of memory 500 15000 4200 timeout 900    6900 12000   timeout 900    6800 8600   timeout 900 170 2900 false(unreach-call) 1 4.1  91 52   timeout 900 79 15000 done 1 92   340 1400 done 1 53   460 630
eca-rers2012/Problem19_label31.yml timeout 900   9300 6400 timeout 900 6800 6000 false(unreach-call) 1 900    6900 11000   false(unreach-call) 1 630    6800 6200   done 31 170 200 false(unreach-call) 1 27    230 300   timeout 900 79 13000 done 1 94   410 1400 done 1 24   470 250
eca-rers2012/Problem19_label32.yml timeout 910   7900 5800 timeout 900 6800 5900 timeout 900    6900 12000   timeout 900    6800 9700   done 110 170 350 false(unreach-call) 1 25    230 290   timeout 900 79 14000 done 1 97   510 1500 done 1 47   460 550
eca-rers2012/Problem19_label41.yml timeout 900   14000 7900 timeout 900 10000 6300 timeout 900    6900 11000   timeout 900    6800 9200   done 60 170 280 false(unreach-call) 1 18    190 210   timeout 900 79 12000 done 1 100   730 1500 done 1 43   480 590
eca-rers2012/Problem19_label42.yml timeout 900   9600 5800 timeout 900 6800 5900 timeout 930    4200 11000   timeout 900    6800 10000   timeout 900 160 4100 false(unreach-call) 1 47    320 600   timeout 900 79 13000 done 1 110   990 1300 done 1 51   460 660
eca-rers2012/Problem19_label43.yml timeout 900   9300 5900 timeout 900 6800 8000 timeout 900    6900 11000   timeout 900    6800 9300   timeout 900 170 2900 false(unreach-call) 1 17    190 190   timeout 900 79 16000 done 1 96   490 1400 done 1 18   460 220
eca-rers2012/Problem19_label47.yml timeout 900   8400 5000 timeout 900 6800 5800 timeout 900    6800 9100   timeout 900    6700 8300   timeout 900 170 2300 false(unreach-call) 1 17    180 150   timeout 900 79 14000 done 1 97   510 1300 done 1 61   460 800
eca-rers2012/Problem19_label50.yml timeout 900   11000 6200 timeout 900 7000 7100 false(unreach-call) 1 540    6800 5000   false(unreach-call) 1 350    6700 3500   done 18 170 130 false(unreach-call) 1 7.9  120 110   timeout 900 79 14000 done 1 98   570 1300 done 1 54   460 650
eca-rers2012/Problem19_label51.yml timeout 910   9400 6900 timeout 900 6800 7600 timeout 900    3900 9800   timeout 900    6800 10000   timeout 1 900 170 2600 false(unreach-call) 1 8.4  130 100   timeout 900 79 15000 done 1 90   240 1200 done 1 62   470 690
eca-rers2012/Problem19_label53.yml timeout 900   8400 5500 timeout 900 6800 7300 timeout 900    6900 10000   timeout 900    6800 8900   timeout 900 170 2900 false(unreach-call) 1 41    300 530   timeout 900 79 14000 done 1 100   750 1300 done 1 56   460 630
eca-rers2012/Problem19_label55.yml timeout 900   11000 6800 timeout 900 6900 5800 timeout 900    6900 8900   timeout 900    6800 11000   done 29 170 130 false(unreach-call) 1 48    330 520   timeout 900 79 15000 done 1 110   920 1500 done 1 26   460 270
eca-rers2012/Problem19_label58.yml timeout 900   10000 6200 timeout 900 10000 5900 timeout 900    6900 8900   timeout 900    6800 8400   timeout 900 170 2200 false(unreach-call) 1 48    330 520   timeout 900 79 13000 done 1 97   560 1300 done 1 72   470 770
eca-rers2012/Problem19_label59.yml timeout 900   8400 6300 timeout 900 6800 7400 timeout 900    6900 11000   timeout 900    6800 12000   timeout 900 170 2600 false(unreach-call) 1 6.0  110 74   timeout 900 79 12000 done 1 88   170 1200 done 1 44   460 520
eca-programs/Problem101_label00.yml timeout 900   8300 7100 timeout 900 6700 9900 timeout 900    6300 9800   timeout 900    7400 11000   timeout 900 390 6200 timeout 900    9400 6300   timeout 900 410 13000 error(returned 1, slicing) 430   320 6200 done 1 330   2500 3700
eca-programs/Problem101_label01.yml timeout 900   8100 7100 timeout 900 6700 7000 timeout 900    6300 10000   timeout 900    7400 8300   timeout 900 390 4200 timeout 900    9400 6200   timeout 900 410 13000 error(returned 1, slicing) 430   320 5900 done 1 260   2600 3500
eca-programs/Problem101_label02.yml timeout 900   12000 6300 timeout 900 6500 10000 timeout 900    6300 11000   timeout 900    7700 8900   timeout 900 390 4400 timeout 900    9400 6800   timeout 900 410 13000 error(returned 1, slicing) 420   320 5400 done 1 280   2600 2900
eca-programs/Problem101_label03.yml timeout 900   10000 7200 timeout 900 6800 6800 timeout 900    6300 8400   timeout 900    7800 8700   done 200 390 2400 timeout 900    9400 6600   timeout 900 410 13000 error(returned 1, slicing) 430   320 5500 done 1 250   2600 3300
eca-programs/Problem101_label04.yml timeout 900   10000 6900 timeout 900 7200 6900 timeout 900    6300 10000   timeout 900    7700 8700   timeout 900 390 4500 timeout 900    9400 5800   timeout 900 410 14000 error(returned 1, slicing) 430   320 6100 done 1 250   2500 2800
eca-programs/Problem101_label05.yml timeout 900   9800 7000 timeout 900 7200 10000 timeout 900    6300 8000   timeout 900    7400 11000   timeout 900 390 6200 timeout 900    9400 6100   timeout 900 410 12000 error(returned 1, slicing) 430   320 5100 done 1 570   2600 7300
eca-programs/Problem101_label06.yml timeout 900   8900 7000 timeout 900 6700 7900 timeout 900    6300 9600   timeout 900    7400 10000   timeout 900 390 5300 timeout 900    9400 5800   timeout 900 410 12000 error(returned 1, slicing) 430   320 5400 done 1 400   2600 4500
eca-programs/Problem101_label07.yml timeout 900   11000 8300 timeout 900 8000 8800 timeout 900    6300 10000   timeout 900    7400 8200   done 180 390 2000 timeout 900    9400 6400   timeout 900 420 12000 error(returned 1, slicing) 430   320 5300 done 1 200   2600 2700
eca-programs/Problem101_label08.yml timeout 900   8400 8100 timeout 930 6800 11000 timeout 900    6300 11000   timeout 900    7400 8300   timeout 900 390 4100 timeout 900    9400 5000   timeout 900 410 13000 error(returned 1, slicing) 430   320 5200 done 1 410   2600 4800
eca-programs/Problem101_label09.yml timeout 900   8100 8100 timeout 900 6700 7400 timeout 900    6300 11000   timeout 900    7800 9600   timeout 900 390 3200 timeout 900    9400 5600   timeout 900 410 13000 error(returned 1, slicing) 420   320 5700 done 1 230   2500 3000
eca-programs/Problem101_label10.yml timeout 900   11000 8600 timeout 900 6800 9500 timeout 930    5200 8700   timeout 900    7400 8500   timeout 900 390 5100 timeout 900    9400 5700   timeout 900 410 12000 error(returned 1, slicing) 430   320 6700 done 1 360   2600 4000
eca-programs/Problem101_label11.yml timeout 900   10000 7800 timeout 900 6700 8200 timeout 900    6300 9100   timeout 900    7400 7900   timeout 900 390 4100 timeout 900    9400 6800   timeout 900 410 15000 error(returned 1, slicing) 430   320 6000 done 1 320   2600 4000
eca-programs/Problem101_label12.yml timeout 900   8900 8700 timeout 900 6500 8900 timeout 900    6300 11000   timeout 900    7800 12000   timeout 900 390 4600 timeout 900    9400 8600   timeout 900 410 13000 error(returned 1, slicing) 430   320 5200 done 1 250   2600 3100
eca-programs/Problem101_label13.yml timeout 900   11000 6800 timeout 900 7200 7500 timeout 900    6300 9400   timeout 900    7800 10000   timeout 900 390 6700 timeout 900    9400 5000   timeout 900 410 12000 error(returned 1, slicing) 430   320 5200 done 1 230   2600 2700
eca-programs/Problem101_label14.yml timeout 900   11000 7500 timeout 900 7300 8000 timeout 900    6300 8600   timeout 900    7400 9600   timeout 900 390 4500 timeout 900    9400 5700   timeout 900 410 14000 error(returned 1, slicing) 430   320 5700 done 1 400   2600 5300
eca-programs/Problem101_label15.yml timeout 900   12000 7100 timeout 900 7900 8800 timeout 900    6300 9500   timeout 900    7800 8800   timeout 900 390 5000 timeout 900    9300 6600   timeout 900 410 14000 error(returned 1, slicing) 430   320 6200 done 1 240   2500 3100
eca-programs/Problem101_label16.yml timeout 910   8600 7300 timeout 900 6600 7500 timeout 900    6300 9200   timeout 900    7800 9400   timeout 900 390 4700 timeout 900    9300 6100   timeout 900 410 14000 error(returned 1, slicing) 430   320 5900 done 1 370   2500 4800
eca-programs/Problem101_label17.yml timeout 900   9800 8700 timeout 900 6700 9400 timeout 900    6300 10000   timeout 900    7400 9000   timeout 900 390 4500 timeout 900    9400 6000   timeout 900 410 14000 error(returned 1, slicing) 430   320 4900 done 1 280   2500 2900
eca-programs/Problem101_label18.yml timeout 900   11000 8000 timeout 900 8900 9600 timeout 900    6300 8500   false(unreach-call) 840    6000 8100   timeout 900 390 6000 timeout 900    9400 6100   timeout 900 410 12000 error(returned 1, slicing) 430   320 5300 done 1 290   2600 3700
eca-programs/Problem101_label19.yml timeout 900   8500 8100 timeout 900 6700 7800 timeout 900    6300 8800   timeout 900    7400 8600   timeout 900 390 4100 timeout 900    9300 5800   timeout 900 420 13000 error(returned 1, slicing) 430   320 5700 done 1 230   2600 3200
eca-programs/Problem101_label20.yml timeout 900   9600 7100 timeout 900 7200 8100 timeout 900    6300 11000   timeout 900    7800 9700   timeout 900 390 4400 timeout 900    9400 5700   timeout 900 410 13000 error(returned 1, slicing) 420   320 5500 done 1 250   2600 2900
eca-programs/Problem101_label21.yml timeout 900   8300 7200 timeout 900 6800 7200 timeout 900    6300 7500   timeout 900    7400 8600   timeout 900 390 4700 timeout 900    9400 6400   timeout 900 420 15000 error(returned 1, slicing) 430   320 5400 done 1 320   2600 3800
eca-programs/Problem101_label22.yml timeout 900   8400 8900 timeout 900 6600 9400 timeout 900    6300 8900   timeout 900    7700 10000   timeout 900 390 6200 timeout 900    9400 5000   timeout 900 410 13000 error(returned 1, slicing) 420   320 5500 done 1 300   2500 4100
eca-programs/Problem101_label23.yml timeout 900   9700 6900 timeout 900 6700 8600 timeout 900    6300 9200   timeout 900    7800 8600   timeout 900 390 4300 timeout 900    9400 5800   timeout 900 410 13000 error(returned 1, slicing) 430   320 5700 done 1 260   2600 3200
eca-programs/Problem102_label01.yml timeout 910   12000 5600 timeout 900 12000 6400 out of memory 510    15000 5000   out of memory 460    15000 5000   timeout 900 760 6400 timeout 900    9500 8300   timeout 900 780 14000 timeout (before-instr) 900   610 11000 done 1 470   2500 5300
eca-programs/Problem102_label02.yml timeout 910   12000 5400 timeout 910 12000 7000 out of memory 500    15000 5900   out of memory 470    15000 4900   timeout 900 760 6500 timeout 900    9500 5200   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 780   2500 11000
eca-programs/Problem102_label04.yml timeout 910   12000 6400 timeout 900 12000 6300 out of memory 510    15000 4900   out of memory 460    15000 5400   timeout 900 760 7800 timeout 900    9500 5300   timeout 900 790 12000 timeout (before-instr) 900   610 12000 done 1 510   2500 6500
eca-programs/Problem102_label05.yml timeout 900   12000 5300 timeout 900 11000 6200 out of memory 510    15000 5900   out of memory 460    15000 5000   done 360 760 5300 timeout 900    9500 6100   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 510   2500 6800
eca-programs/Problem102_label06.yml timeout 910   12000 5100 timeout 900 12000 6400 out of memory 510    15000 5000   out of memory 470    15000 4800   done 360 760 4300 timeout 900    9500 5800   timeout 900 780 15000 timeout (before-instr) 900   610 11000 done 1 480   2500 6800
eca-programs/Problem102_label07.yml timeout 900   12000 5300 timeout 900 12000 7100 out of memory 500    15000 5700   out of memory 460    15000 5100   timeout 900 760 6800 timeout 900    9500 5200   timeout 900 780 14000 timeout (before-instr) 900   610 11000 done 1 440   2500 5100
eca-programs/Problem102_label10.yml timeout 910   12000 5200 timeout 900 12000 5300 out of memory 500    15000 5800   out of memory 450    15000 5900   done 370 760 4100 timeout 900    9500 5700   timeout 900 780 13000 timeout (before-instr) 900   610 9400 done 1 410   2500 4800
eca-programs/Problem102_label13.yml timeout 910   12000 5000 timeout 900 12000 7300 out of memory 500    15000 5500   out of memory 460    15000 5500   timeout 900 760 6800 timeout 900    9500 6500   timeout 900 780 11000 timeout (before-instr) 900   610 11000 done 1 440   2500 5200
eca-programs/Problem102_label15.yml timeout 910   12000 5200 timeout 900 12000 7400 out of memory 500    15000 5300   out of memory 470    15000 5000   timeout 900 760 6800 timeout 900    9500 5900   timeout 900 780 12000 timeout (before-instr) 900   610 14000 done 1 430   2500 5100
eca-programs/Problem102_label24.yml timeout 900   11000 5200 timeout 900 13000 5800 out of memory 500    15000 5900   out of memory 470    15000 5200   timeout 900 760 6600 timeout 900    9500 6700   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 680   2500 8900
eca-programs/Problem102_label25.yml timeout 910   11000 4600 timeout 900 13000 6900 out of memory 510    15000 5400   out of memory 460    15000 4700   timeout 900 760 9100 timeout 900    9500 5700   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 410   2500 4700
eca-programs/Problem102_label26.yml timeout 910   11000 4900 timeout 910 13000 6600 out of memory 510    15000 5800   out of memory 460    15000 4900   timeout 900 760 5900 timeout 900    9500 5900   timeout 900 780 12000 timeout (before-instr) 900   610 13000 done 1 470   2500 6200
eca-programs/Problem102_label28.yml timeout 910   11000 5300 timeout 900 12000 6800 out of memory 510    15000 5200   out of memory 460    15000 5300   timeout 900 760 6600 timeout 900    9500 5700   timeout 900 780 14000 timeout (before-instr) 900   610 13000 done 1 420   2500 5300
eca-programs/Problem102_label29.yml timeout 910   11000 6100 timeout 900 13000 6500 out of memory 500    15000 4900   out of memory 460    15000 4700   done 360 760 4700 timeout 900    9500 5200   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 450   2500 6100
eca-programs/Problem102_label34.yml timeout 910   11000 5200 timeout 900 13000 6200 out of memory 510    15000 5000   out of memory 460    15000 5600   done 370 760 4200 timeout 900    9500 5700   timeout 900 780 14000 timeout (before-instr) 900   610 14000 done 1 470   2500 6200
eca-programs/Problem102_label37.yml timeout 900   11000 5000 timeout 900 12000 7500 out of memory 500    15000 5000   out of memory 460    15000 4500   timeout 900 760 8300 timeout 900    9500 5900   timeout 900 780 12000 timeout (before-instr) 900   610 12000 done 1 530   2500 6500
eca-programs/Problem102_label43.yml timeout 910   12000 5900 timeout 900 11000 6300 out of memory 500    15000 4900   timeout 930    13000 10000   done 360 760 4000 timeout 900    9500 8700   timeout 900 780 13000 timeout (before-instr) 900   610 12000 done 1 460   2500 5600
eca-programs/Problem102_label46.yml timeout 910   12000 6200 timeout 910 12000 6500 out of memory 510    15000 5400   out of memory 450    15000 5300   timeout 900 760 6700 timeout 900    9500 6300   timeout 900 790 15000 timeout (before-instr) 900   610 10000 done 1 490   2500 5900
eca-programs/Problem102_label48.yml timeout 900   12000 5500 timeout 910 12000 7200 out of memory 500    15000 4600   out of memory 450    15000 5600   timeout 900 760 6300 timeout 900    9500 5400   timeout 900 790 13000 timeout (before-instr) 900   610 13000 done 1 440   2500 6200
eca-programs/Problem102_label49.yml timeout 910   12000 6000 timeout 900 12000 6400 out of memory 500    15000 5400   out of memory 450    15000 4200   timeout 900 760 6100 timeout 900    9500 5600   timeout 900 780 14000 timeout (before-instr) 900   610 13000 done 1 430   2500 5400
eca-programs/Problem102_label50.yml timeout 910   12000 5500 timeout 900 11000 7200 out of memory 500    15000 5000   out of memory 450    15000 5500   timeout 900 760 7900 timeout 900    9500 5700   timeout 900 780 13000 timeout (before-instr) 900   610 11000 done 1 410   2500 5200
eca-programs/Problem102_label51.yml timeout 910   12000 5200 timeout 900 11000 6400 out of memory 510    15000 5200   out of memory 450    15000 5600   timeout 900 760 5900 timeout 900    9500 5900   timeout 900 780 14000 timeout (before-instr) 900   610 13000 done 1 450   2500 4700
eca-programs/Problem102_label55.yml timeout 910   12000 5700 timeout 900 12000 6300 out of memory 500    15000 6600   out of memory 460    15000 5600   timeout 900 760 6600 timeout 900    9500 5900   timeout 900 780 14000 timeout (before-instr) 900   610 14000 done 1 440   2500 5300
eca-programs/Problem102_label59.yml timeout 910   11000 4500 timeout 900 13000 6400 out of memory 500    15000 5000   out of memory 460    15000 4800   done 370 760 4200 timeout 900    9500 7100   timeout 900 780 12000 timeout (before-instr) 900   610 11000 done 1 420   2500 4900
eca-programs/Problem103_label32.yml timeout 900   11000 5100 exception 840 11000 4700 out of memory 790    15000 10000   out of memory 530    15000 6500   done 160 760 1600 timeout 900    10000 5500   timeout 900 900 12000 timeout (before-instr) 900   650 12000 timeout 900   2800 11000
eca-programs/Problem103_label35.yml timeout 910   11000 4800 timeout 910 11000 5200 out of memory 810    15000 7100   out of memory 540    15000 5600   timeout 900 760 4600 timeout 900    10000 5500   timeout 900 900 15000 timeout (before-instr) 900   650 13000 timeout 900   2800 9300
eca-programs/Problem103_label41.yml timeout 900   11000 4600 timeout 900 11000 5400 out of memory 800    15000 8500   out of memory 540    15000 7200   timeout 900 760 4600 timeout 900    10000 5900   timeout 900 900 15000 timeout (before-instr) 900   650 12000 timeout 900   2800 11000
eca-programs/Problem103_label44.yml timeout 910   11000 4900 timeout 910 11000 5300 out of memory 820    15000 8100   out of memory 560    15000 5900   done 160 760 2200 timeout 900    10000 6500   timeout 900 900 15000 timeout (before-instr) 900   650 12000 timeout 900   2800 10000
eca-programs/Problem103_label46.yml timeout 910   11000 5000 timeout 900 11000 4600 out of memory 810    15000 7600   out of memory 540    15000 5100   timeout 900 760 4500 timeout 900    10000 6000   timeout 900 900 13000 timeout (before-instr) 900   650 13000 error 900   2800 10000
eca-programs/Problem103_label47.yml timeout 900   11000 4600 timeout 910 11000 5000 out of memory 810    15000 8600   out of memory 530    15000 5400   done 160 760 2000 timeout 900    10000 5300   timeout 900 900 14000 timeout (before-instr) 900   650 14000 timeout 900   2800 9300
eca-programs/Problem103_label51.yml timeout 910   11000 4800 timeout 910 11000 5300 out of memory 810    15000 7600   out of memory 530    15000 6600   timeout 900 760 4300 timeout 900    10000 5300   timeout 900 900 14000 timeout (before-instr) 900   650 12000 timeout 900   2800 11000
eca-programs/Problem103_label53.yml timeout 900   11000 4600 timeout 910 11000 4600 out of memory 800    15000 8800   out of memory 540    15000 6700   timeout 900 760 5700 timeout 900    10000 8500   timeout 900 900 12000 timeout (before-instr) 900   650 12000 timeout 900   2800 11000
eca-programs/Problem103_label54.yml timeout 900   11000 4500 timeout 910 11000 4700 out of memory 790    15000 8600   out of memory 540    15000 6200   timeout 900 760 4400 timeout 900    10000 8100   timeout 900 900 12000 timeout (before-instr) 900   650 11000 error 900   2800 10000
eca-programs/Problem103_label56.yml timeout 900   11000 4700 timeout 910 11000 4700 out of memory 820    15000 7700   out of memory 530    15000 6500   done 170 760 1800 timeout 900    10000 5600   timeout 900 900 13000 timeout (before-instr) 900   650 11000 timeout 900   2800 11000
eca-programs/Problem103_label57.yml timeout 910   11000 4400 timeout 900 11000 4900 out of memory 790    15000 8800   out of memory 550    15000 6000   timeout 900 760 4200 timeout 900    10000 8200   timeout 900 900 13000 timeout (before-instr) 900   650 11000 timeout 900   2800 11000
eca-programs/Problem103_label59.yml timeout 910   11000 4800 timeout 900 11000 4400 out of memory 810    15000 10000   out of memory 560    15000 5900   done 170 760 1800 timeout 900    10000 5100   timeout 900 900 15000 timeout (before-instr) 900   650 11000 timeout 900   2800 11000
../sv-benchmarks/c/ status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J)
total 412 195 220000 2800000 1600000 412 108 290000 2500000 2200000 412 251 160000 2000000 1800000 412 254 130000 2100000 1400000 412 132 280000 110000 1300000 412 274 140000 1500000 960000 412 370000 110000 5400000 412 255 140000 790000 1700000 412 376 77000 440000 950000
Run set coveritest.test-comp19_prop-coverage-error-call.ReachSafety-ECA cpa-tiger.test-comp19_prop-coverage-error-call.ReachSafety-ECA esbmc-kind.test-comp19_prop-coverage-error-call.ReachSafety-ECA esbmc-falsi.test-comp19_prop-coverage-error-call.ReachSafety-ECA fairfuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA klee.test-comp19_prop-coverage-error-call.ReachSafety-ECA prtest.test-comp19_prop-coverage-error-call.ReachSafety-ECA symbiotic.test-comp19_prop-coverage-error-call.ReachSafety-ECA verifuzz.test-comp19_prop-coverage-error-call.ReachSafety-ECA