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