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-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] cpa-tiger.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-kind.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] esbmc-falsi.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] fairfuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] klee.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] prtest.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] symbiotic.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized] verifuzz.[test-comp19_prop-coverage-error-call.ReachSafety-Arrays; test-comp19_prop-coverage-error-call.ReachSafety-BitVectors; test-comp19_prop-coverage-error-call.ReachSafety-ControlFlow; test-comp19_prop-coverage-error-call.ReachSafety-ECA; test-comp19_prop-coverage-error-call.ReachSafety-Floats; test-comp19_prop-coverage-error-call.ReachSafety-Heap; test-comp19_prop-coverage-error-call.ReachSafety-Loops; test-comp19_prop-coverage-error-call.ReachSafety-Recursive; test-comp19_prop-coverage-error-call.ReachSafety-Sequentialized]
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 cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J) status cov cpu (s) mem (MB) energy (J)
array-examples/standard_copy1_ground-2.yml 900   2200 11000 900   7300 11000 900     11000 11000    940     8200 14000    1 900    59 13000   1 1.9  180 28    900    31 15000   1 6.9  420 100   1 3.4 150 36
array-examples/standard_copy2_ground-1.yml 900   2400 12000 900   7200 11000 900     11000 10000    900     10000 10000    1 900    71 11000   1 2.2  190 35    900    31 13000   1 9.3  530 120   1 3.4 150 39
array-examples/standard_copy3_ground-2.yml 900   2700 12000 900   7700 11000 900     11000 9900    940     3600 10000    1 900    72 11000   1 2.6  190 34    900    31 14000   1 10    580 150   1 3.7 150 36
array-examples/standard_copy4_ground-2.yml 900   2800 11000 900   8100 12000 900     11000 9600    900     11000 9900    1 900    79 13000   1 3.1  200 44    900    31 12000   1 11    640 160   1 3.6 150 44
array-examples/standard_copy5_ground-2.yml 900   2800 10000 900   7700 11000 900     11000 9900    900     11000 9400    1 900    63 13000   1 3.5  200 46    900    30 14000   1 13    700 170   1 3.6 150 39
array-examples/standard_copy6_ground-1.yml 900   2700 11000 900   8200 11000 900     11000 12000    900     10000 9700    1 900    74 11000   1 3.9  200 52    900    31 12000   1 13    770 220   1 3.6 150 39
array-examples/standard_copy7_ground-1.yml 900   2700 13000 900   8500 11000 900     11000 11000    900     11000 12000    1 900    62 11000   1 4.4  210 66    900    31 13000   1 15    850 190   1 3.7 150 39
array-examples/standard_copy8_ground-2.yml 900   3100 12000 900   9100 11000 900     11000 10000    900     11000 12000    1 900    65 9900   1 4.8  210 68    900    31 14000   1 16    930 200   1 3.4 150 35
array-examples/standard_copy9_ground-1.yml 900   3300 11000 900   9500 11000 900     11000 11000    900     11000 9600    1 900    79 11000   1 5.4  210 86    900    31 14000   1 17    1000 210   1 3.8 160 40
array-examples/standard_partition_ground-1.yml 900   2200 11000 900   6700 13000 900     4300 12000    900     3500 12000    1.4  14 17   8.3  15000 99    900    31 14000   45    15000 540   1 3.4 150 38
array-industry-pattern/array_ptr_single_elem_init-2.yml 900   1800 12000 930   4900 12000 900     5000 11000    900     4000 11000    1.4  15 15   900    11000 9400    900    35 13000   1 2.0  190 21   1 3.4 150 37
array-industry-pattern/array_single_elem_init.yml 900   2000 12000 900   6800 11000 900     5000 11000    900     3900 11000    900    69 12000   900    11000 8700    900    35 13000   15    15000 220   900   150 11000
reducercommutativity/rangesum.yml 48   940 460 29   540 340 1 1.1   62 15    1 .29  29 3.1  1 730    57 8800   1 .26 41 2.9  .26 31 3.4 1 1.3  23 21   1 4.0 150 37
reducercommutativity/rangesum05.yml 99   2400 980 79   670 830 1 .89  58 11    1 .11  26 1.4  1 11    15 32   1 .14 21 1.2  1 .28 31 2.9 1 .88 64 10   1 3.5 150 33
reducercommutativity/rangesum10.yml 900   3600 8200 900   2200 10000 1 .90  58 11    1 .13  26 1.3  1 8.4  13 27   1 .14 22 2.7  1 .28 31 3.1 1 .91 63 11   1 3.5 150 40
reducercommutativity/rangesum20.yml 900   4400 9800 900   1800 8100 1 1.4   58 15    1 .63  29 7.0  1 8.6  13 37   1 .18 36 3.1  1 .26 31 3.4 1 1.8  65 21   1 3.5 150 39
reducercommutativity/rangesum40.yml 900   4700 10000 900   2300 8900 1 9.3   59 120    1 8.5   45 98    1 14    12 42   1 .21 41 2.2  1 .26 31 3.2 1 7.3  70 100   1 3.5 150 36
reducercommutativity/rangesum60.yml 900   5200 12000 900   4600 8200 1 180     170 2400    1 180     170 2300    1 14    12 52   1 .23 48 2.7  1 .27 31 3.2 1 50    86 620   1 3.5 150 37
array-tiling/mlceu.yml 900   910 10000 900   610 12000 .13  27 1.8  900     160 12000    28    14 120   .16 21 1.2  .20 31 2.8 900    2200 12000   900   150 12000
array-tiling/skippedu.yml 1 23   780 190 1 3.3 280 30 .17  27 1.9  .14  27 1.6  1 900    34 13000   1 .17 21 1.5  .19 31 2.8 1.0  24 14   1 11   150 140
array-programs/copysome1-2.yml 900   2900 10000 900   8200 9800 900     10000 9100    900     9900 9900    3.1  17 45   1 5.1  350 74    900    31 14000   1 25    1200 220   1 3.6 150 33
array-programs/copysome2-2.yml 900   2900 10000 900   8900 11000 900     10000 9600    900     10000 9200    3.1  15 44   1 7.2  530 110    900    31 14000   1 44    1500 360   1 440   4200 6300
bitvector/byte_add-1.yml 1 33   1100 380 1 14   310 170 1 .11  27 1.3  1 .12  27 1.2  1 44    18 140   1 .17 21 1.5  1 .26 31 3.0 1 1.1  20 13   1 4.1 160 40
bitvector/s3_clnt_1.BV.c.cil-2.yml 1 9.3 320 82 1 8.8 360 82 4.1   89 47    2.3   78 35    1 300    17 900   1 .20 23 2.5  900    31 15000   2.9  22 44   1 130   200 1600
bitvector/s3_clnt_2.BV.c.cil-2.yml 1 35   1000 330 1 18   370 190 4.4   96 54    2.4   82 33    26    13 110   1 .59 36 6.6  900    31 13000   3.3  22 46   1 670   200 7800
bitvector/s3_clnt_3.BV.c.cil-2.yml 1 7.2 350 58 1 6.1 310 56 1.6   57 22    .85  51 11    26    14 120   1 .15 21 3.0  900    31 10000   1.8  20 25   1 40   200 430
bitvector/soft_float_1-3.c.cil.yml 1 23   790 200 1 4.3 280 42 1 .17  27 2.1  1 .18  27 2.1  1 100    21 550   1 .23 22 2.2  1 .26 31 2.9 1 1.8  21 28   1 4.8 170 49
bitvector/soft_float_4-3.c.cil.yml 1 16   600 130 1 3.9 280 34 1 .32  27 3.8  1 .32  27 4.0  1 210    23 500   1 .15 21 1.7  1 .26 31 3.4 1 1.7  21 24   1 4.3 170 42
bitvector/sum02-1.yml 900   5500 9000 900   3200 8700 900     890 11000    900     640 11000    1 740    10 11000   900    2400 11000    1 7.9  31 100   900    400 13000   1 9.6 150 100
bitvector-regression/recHanoi03-1.yml 140   15000 1400 2.8 260 27 1 .63  26 6.1  1 .53  26 5.8  1 690    11 8700   1 .15 21 1.5  .25 31 3.5 900    730 13000   1 8.7 150 88
bitvector-loops/diamond_2-1.yml 1 25   1100 230 1 3.1 280 31 1 .11  26 1.2  1 .092 27 1.7  1 23    18 80   1 .11 21 1.5  1 .29 31 2.9 1 .63 19 7.6 1 3.3 150 37
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml 900   1600 12000 900   630 15000 1 .26  27 3.1  1 .21  27 2.4  1 39    17 170   1 .21 22 1.7  900    31 12000   1 .97 20 13   1 6.2 150 85
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml 1 7.6 330 69 1 9.6 400 79 .51  52 6.2  .52  52 11    900    20 3900   1 .23 25 2.5  900    31 12000   3.7  31 46   860   250 11000
ntdrivers-simplified/floppy_simpl3.cil-1.yml 1 7.2 290 64 1 5.8 320 57 .22  33 2.6  .22  32 2.6  1 450    20 1500   1 .15 21 1.8  900    31 12000   2.2  22 24   1 18   190 210
ntdrivers-simplified/floppy_simpl4.cil-1.yml 1 8.4 320 71 1 7.5 350 68 .33  39 3.7  .34  39 5.5  1 660    20 2000   1 .23 25 2.9  900    31 13000   3.1  26 38   1 100   200 1100
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml 1 6.4 290 57 1 4.9 300 45 .17  30 2.1  .17  30 2.2  1 240    19 920   1 .20 21 1.6  900    30 12000   1.8  20 22   1 20   190 230
ssh-simplified/s3_clnt_1.cil-2.yml 1 7.1 330 68 1 6.9 330 59 2.0   63 49    .92  56 12    26    14 120   1 .16 21 2.4  900    31 12000   1.7  20 22   1 70   200 870
ssh-simplified/s3_clnt_2.cil-1.yml 1 7.2 340 66 1 5.9 310 49 1.8   64 24    .94  56 11    39    13 100   1 .16 21 1.8  900    31 12000   1.7  19 23   1 63   200 610
ssh-simplified/s3_clnt_3.cil-2.yml 1 7.1 290 68 1 7.2 340 64 2.2   75 25    1.1   66 14    38    14 110   1 .19 21 1.9  900    31 13000   1.9  20 25   1 75   210 900
ssh-simplified/s3_clnt_4.cil-2.yml 1 6.9 330 64 1 6.1 310 56 1.9   65 22    .98  58 12    40    14 120   1 .21 21 2.0  900    31 12000   1.8  20 23   1 85   200 1000
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