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