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-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] cpa-tiger.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] esbmc-kind.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] esbmc-falsi.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] fairfuzz.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] klee.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] prtest.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] symbiotic.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.ReachSafety-Sequentialized] verifuzz.[test-comp19_prop-coverage-branches.ReachSafety-Arrays; test-comp19_prop-coverage-branches.ReachSafety-BitVectors; test-comp19_prop-coverage-branches.ReachSafety-ControlFlow; test-comp19_prop-coverage-branches.ReachSafety-ECA; test-comp19_prop-coverage-branches.ReachSafety-Floats; test-comp19_prop-coverage-branches.ReachSafety-Heap; test-comp19_prop-coverage-branches.ReachSafety-Loops; test-comp19_prop-coverage-branches.ReachSafety-Recursive; test-comp19_prop-coverage-branches.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/sanfoundry_10_ground.yml .0556 900   1400 13000 .0556 900   5000 13000 .0  .025 5.7 .17  .0  .041 5.7 .085 .944  900    53 11000   .944   900    10000 9800    .0556  900    31 13000   .833   850    2900 10000   .944  900   150 12000
array-examples/sanfoundry_24-1.yml .917  24   1300 310 .917  6.3 470 60 .0  .023 5.7 .097 .0  .024 5.6 .12  .75   900    98 13000   .917   900    5900 10000    .917   900    30 13000   .917   890    10000 10000   .917  900   150 12000
array-examples/standard_copy1_ground-1.yml .125  900   2600 11000 .0    900   5900 11000 .0  .024 5.7 .13  .0  .028 5.8 .19  .875  900    28 10000   .875   2.0  110 26    .125   900    31 12000   .875   3.8  380 48   .875  900   150 12000
array-examples/standard_copy1_ground-2.yml .125  900   2700 12000 .0    900   7300 12000 .0  .026 5.7 .17  .0  .040 5.7 .14  1.0    900    70 11000   .75    900    240 8600    .125   900    31 13000   .75    840    420 7400   .875  900   150 12000
array-examples/standard_copy2_ground-1.yml .1    900   3000 10000 .0    900   7400 10000 .0  .042 5.7 .17  .0  .026 5.7 .15  1.0    900    60 14000   .8     900    250 9700    .1     900    31 12000   .8     840    530 7100   .9    900   150 11000
array-examples/standard_copy2_ground-2.yml .1    900   2500 12000 .0    900   7300 11000 .0  .021 5.6 .082 .0  .025 5.7 .10  .9    900    23 9900   .9     2.5  110 32    .1     900    31 13000   .9     4.4  440 54   .9    900   150 12000
array-examples/standard_copy3_ground-1.yml .0833 900   3100 12000 .0833 900   8100 11000 .0  .028 5.7 .17  .0  .027 5.7 .12  .917  900    23 14000   .917   2.9  110 38    .0833  900    31 14000   .917   5.0  500 63   .917  900   150 12000
array-examples/standard_copy3_ground-2.yml .0833 900   3100 13000 .0833 900   7900 11000 .0  .025 5.7 .081 .0  .048 5.7 .099 1.0    900    76 12000   .833   900    250 9500    .0833  900    31 13000   .833   840    580 7300   .917  900   150 11000
array-examples/standard_copy4_ground-1.yml .0714 900   3700 11000 .0    900   7000 11000 .0  .025 5.7 .13  .0  .020 5.6 .24  .929  900    23 12000   .929   3.3  120 46    .0714  900    31 13000   .929   5.6  560 77   .929  900   150 11000
array-examples/standard_copy4_ground-2.yml .0714 900   3300 12000 .0    900   8600 11000 .0  .023 5.7 .17  .0  .052 5.5 .13  1.0    900    69 11000   .857   900    250 9400    .0714  900    30 14000   .857   840    640 8100   .929  900   150 11000
array-examples/standard_copy5_ground-1.yml .0625 900   3400 13000 .0    900   8200 14000 .0  .045 5.7 .12  .0  .024 5.7 .12  .938  900    26 12000   .938   3.8  120 50    .0625  900    31 12000   .938   6.0  620 77   .938  900   150 14000
array-examples/standard_copy5_ground-2.yml .0625 900   3200 12000 .0625 900   7000 12000 .0  .024 5.7 .11  .0  .044 5.7 .10  1.0    900    65 11000   .875   900    260 11000    .0625  900    31 14000   .875   840    700 7500   .938  900   150 11000
array-examples/standard_copy6_ground-1.yml .0556 900   3600 12000 .0556 900   7000 12000 .0  .023 5.7 .15  .0  .050 5.6 .10  1.0    900    68 11000   .889   900    260 7900    .0556  900    31 12000   .889   840    760 7700   .944  900   160 11000
array-examples/standard_copy6_ground-2.yml .0556 900   4200 12000 .0    900   8600 10000 .0  .026 5.7 .14  .0  .026 5.6 .11  .944  900    23 10000   .944   4.2  120 51    .0556  900    31 15000   .944   6.5  680 100   .944  900   150 9600
array-examples/standard_copy7_ground-1.yml .05   900   3600 11000 .05   900   8900 11000 .0  .018 5.7 .22  .0  .024 5.6 .12  1.0    900    83 11000   .9     900    270 9300    .05    900    31 13000   .9     840    820 8300   .95   900   150 12000
array-examples/standard_copy7_ground-2.yml .05   900   4000 13000 .0    900   7500 13000 .0  .024 5.7 .12  .0  .024 5.6 .13  .95   900    24 13000   .95    4.7  130 60    .05    900    31 13000   .95    7.3  740 100   .95   900   150 14000
array-examples/standard_copy8_ground-1.yml .0455 900   4600 13000 .0    900   7900 11000 .0  .025 5.7 .062 .0  .028 5.6 .19  .955  900    26 12000   .955   5.1  130 76    .0455  900    31 13000   .955   7.9  800 130   .955  900   150 10000
array-examples/standard_copy8_ground-2.yml .0455 900   4700 10000 .0455 900   9500 11000 .0  .024 5.7 .13  .0  .030 5.7 .091 1.0    900    63 14000   .909   900    270 11000    .0455  900    31 14000   .909   840    880 7200   .955  900   150 12000
array-examples/standard_copy9_ground-1.yml .0417 900   5700 11000 .0    900   11000 13000 .0  .024 5.7 .10  .0  .023 5.6 .11  1.0    900    57 9900   .917   900    270 9200    .0417  900    31 13000   .917   840    940 8300   .958  900   160 12000
array-examples/standard_copy9_ground-2.yml .0417 900   4600 11000 .0    900   11000 11000 .0  .022 5.6 .12  .0  .025 5.8 .16  .958  900    29 12000   .958   5.6  140 94    .0417  900    30 12000   .958   8.5  850 110   .958  900   150 11000
array-examples/standard_copyInitSum_ground.yml .9    900   2000 9800 .9    900   5800 11000 .0  .030 5.6 .17  .0  .032 5.7 .15  .9    49    11 290   .9     2.0  56 30    .9     900    31 12000   .9     2.5  310 30   .9    900   150 9800
array-examples/standard_find_ground-1.yml .1    900   2400 12000 .0    900   6600 11000 .0  .048 5.7 .072 .0  .025 5.7 .12  .9    900    70 11000   .9     900    1600 11000    .1     900    30 13000   .8     860    3600 10000   .9    900   150 14000
array-examples/standard_partition_ground-1.yml .214  900   3700 11000 .0714 900   6200 11000 .0  .018 5.7 .037 .0  .031 5.6 .14  .0    1.4  10 15   .143   8.3  15000 110    .214   900    31 14000   .0     45    15000 510   .929  900   160 12000
array-examples/standard_sentinel-2.yml .1    900   4000 13000 .0    900   9600 10000 .0  .025 5.7 .13  .0  .050 5.6 .091 .8    710    29 10000   .8     .93 170 12    .1     900    31 15000   .3     2.9  320 46   .8    900   4400 12000
array-examples/standard_sentinel.i.v+cfa-reducer.yml .1    900   2400 13000 .0    900   6800 13000 .0  .021 5.7 .16  .0  .032 5.7 .13  .8    720    28 8600   .8     .95 170 11    .1     900    31 13000   .5     3.4  350 38   .8    900   3000 11000
array-examples/standard_strcpy_ground-1.yml .1    900   2700 12000 .0    900   7200 13000 .0  .037 5.7 .099 .0  .024 5.7 .030 .8    900    63 12000   .8     900    5400 12000    .1     900    31 13000   .8     860    5300 10000   .8    900   160 12000
array-examples/standard_strcpy_original-2.yml .0833 900   2200 11000 .0    900   6000 11000 .0  .023 5.7 .11  .0  .024 5.7 .077 .75   900    63 12000   .75    900    2000 12000    .0833  900    31 13000   .75    870    5800 10000   .75   900   150 13000
array-examples/standard_two_index_01.yml .125  900   8500 9600 .0    900   4900 11000 .0  .023 5.6 .15  .0  .027 5.7 .088 .875  420    15 6100   .875   .32 27 3.8  .875   900    31 13000   .875   .64 51 7.4 .875  900   150 14000
array-examples/standard_two_index_02.yml .125  900   2800 11000 .0    900   5800 12000 .0  .024 5.7 .14  .0  .029 5.7 .18  .875  900    24 11000   .875   1.5  110 21    .125   900    30 12000   .875   3.1  300 35   .875  900   150 12000
array-examples/standard_two_index_03.yml .125  900   8300 8400 .0    900   5200 11000 .0  .026 5.7 .11  .0  .025 5.7 .061 .875  410    14 5200   .875   .24 28 3.2  .875   900    31 12000   .875   .55 40 6.8 .875  900   150 13000
array-examples/standard_two_index_04.yml .125  900   2500 11000 .0    900   6100 11000 .0  .025 5.7 .11  .0  .035 5.6 .13  .875  900    24 11000   .875   1.2  110 20    .125   900    31 13000   .875   2.6  260 33   .875  900   150 9700
array-examples/standard_two_index_05.yml .125  900   3000 9500 .0    900   5900 11000 .0  .022 5.7 .14  .0  .027 5.7 .096 .875  900    23 12000   .875   1.1  110 16    .125   900    31 12000   .875   2.6  260 33   .875  900   150 14000
array-examples/standard_two_index_06.yml .125  900   5900 8900 .0    900   5200 12000 .0  .030 5.7 .19  .0  .019 5.7 .15  .875  420    15 5300   .875   .22 27 2.4  .875   900    31 15000   .875   .51 38 7.2 .875  900   150 13000
array-examples/standard_two_index_07.yml .125  900   2900 13000 .0    900   5800 11000 .0  .019 5.7 .11  .0  .021 5.7 .069 .875  900    25 11000   .875   1.1  110 14    .125   900    31 12000   .875   2.5  250 28   .875  900   150 14000
array-examples/standard_two_index_08.yml .125  900   2400 12000 .0    900   6000 13000 .0  .027 5.6 .11  .0  .026 5.7 .11  .875  900    25 11000   .875   1.0  110 15    .125   900    31 14000   .875   2.5  240 29   .875  900   150 12000
array-examples/standard_two_index_09.yml .125  900   3000 11000 .0    900   6100 12000 .0  .027 5.7 .12  .0  .040 5.7 .082 .875  900    26 11000   .875   1.0  110 13    .125   900    31 13000   .875   2.4  240 32   .875  900   150 12000
array-industry-pattern/array_monotonic.yml .3    900   3000 11000 .0    900   7000 12000 .0  .025 5.7 .29  .0  .026 5.7 .11  .9    860    35 13000   .3     900    14000 7000    .2     900    30 15000   .0     14    15000 180   .9    900   150 12000
array-industry-pattern/array_mul_init.yml .214  900   2000 13000 .0    900   5700 13000 .0  .028 5.7 .19  .0  .025 5.7 .096 .857  900    160 11000   .286   8.3  15000 99    .0     900    31 12000   .0     10    15000 130   .857  900   1600 12000
array-industry-pattern/array_of_struct_break.yml .0    900   4300 5900 .0    900   3800 6000 .0  .020 5.7 .16  .0  .040 5.7 .068 .9    34    12 110   .9     2.4  21 42    .9     900    31 11000   .9     1.4  170 22   .9    900   150 14000
array-industry-pattern/array_of_struct_ptr_mul_init.yml .0    900   6400 12000 .0    900   5700 10000 .0  .032 5.7 .099 .0  .023 5.7 .079 .857  900    83 12000   .357   9.5  15000 120    .0     900    32 12000   .0     13    15000 180   .857  900   510 12000
array-industry-pattern/array_of_struct_single_elem_init.yml .0    900   8000 11000 .0    900   7300 9200 .0  .026 5.7 .076 .0  .026 5.7 .087 .917  900    67 13000   .25    900    11000 6700    .25    900    34 13000   .0     28    15000 160   .917  900   150 13000
array-industry-pattern/array_ptr_single_elem_init-2.yml .5    900   3500 14000 .214  900   5500 11000 .0  .047 5.7 .097 .0  .031 5.7 .079 .0    1.3  12 16   .5     900    11000 6600    .5     900    35 13000   .714   1.7  180 21   .857  900   150 13000
array-industry-pattern/array_shadowinit.yml .875  900   2800 9600 .875  3.5 280 29 .0  .023 5.6 .091 .0  .029 5.7 .11  .875  42    22 150   .875   .13 21 1.6  .125   .28 30 3.0 .875   840    1200 14000   .875  900   160 11000
array-industry-pattern/array_single_elem_init.yml .5    900   3500 12000 .214  900   5400 11000 .0  .021 5.7 .095 .0  .023 5.7 .14  .929  900    69 13000   .5     900    11000 7000    .5     900    35 13000   .0     15    15000 200   .929  900   160 12000
reducercommutativity/avg.yml .8    200   6900 2200 .7    170   6900 1900 .0  .023 5.6 .15  .0  .023 5.7 .16  .8    20    20 43   .8     .14 21 1.5  .1     .28 30 3.0 .8     840    990 8800   .8    900   150 12000
reducercommutativity/avg05-1.yml .8    900   3200 8000 .8    900   2300 8900 .0  .022 5.7 .12  .0  .023 5.7 .083 .8    30    18 90   .8     .12 21 1.3  .8     900    31 14000   .8     .35 18 4.4 .8    900   150 11000
reducercommutativity/avg10-2.yml .8    900   2900 9100 .8    620   740 8300 .0  .024 5.7 .13  .0  .027 5.8 .18  .8    33    17 84   .8     .13 21 1.2  .8     900    31 14000   .8     .36 18 4.1 .8    900   150 10000
reducercommutativity/avg20-2.yml .8    900   4100 12000 .8    680   1800 6200 .0  .022 5.7 .14  .0  .023 5.7 .13  .8    35    14 110   .8     .14 21 .91 .8     900    31 12000   .8     .37 19 4.2 .8    900   150 11000
reducercommutativity/avg40-2.yml .8    900   7500 11000 .8    320   15000 4000 .0  .027 5.6 .092 .0  .024 5.7 .11  .8    40    13 110   .8     .13 21 1.3  .8     900    31 13000   .8     .37 19 4.9 .8    900   160 11000
reducercommutativity/avg60-1.yml .8    900   9700 7500 .8    330   15000 4300 .0  .027 5.7 .11  .0  .027 5.7 .14  .8    45    13 130   .8     .12 21 1.5  .8     900    31 14000   .8     .35 19 4.8 .8    900   150 11000
reducercommutativity/max.yml .8    900   1000 10000 .7    900   400 12000 .0  .044 5.5 .098 .0  .024 5.7 .098 .8    22    19 62   .8     .16 21 1.5  .1     .25 31 3.3 .8     840    950 11000   .8    900   150 11000
reducercommutativity/max05-1.yml .8    900   2600 7900 .8    59   1900 610 .0  .022 5.7 .15  .0  .020 5.7 .20  .8    30    16 78   .8     .56 22 7.4  .8     900    31 14000   .8     4.8  27 66   .8    900   150 14000
reducercommutativity/max10-1.yml .8    900   2900 6000 .8    900   1400 7400 .0  .035 5.7 .14  .0  .023 5.7 .13  .8    22    15 110   .8     50    110 770    .8     900    31 14000   .8     220    51 3000   .8    900   150 13000
reducercommutativity/max20-1.yml .8    900   1100 5100 .8    900   1200 6400 .0  .023 5.7 .21  .0  .023 5.7 .096 .8    35    14 120   .8     900    1700 8200    .8     900    31 13000   .0     900    120 13000   .8    900   150 12000
reducercommutativity/max40-1.yml .8    900   1400 5500 .8    900   4100 6900 .0  .023 5.5 .11  .0  .025 5.7 .10  .8    37    13 110   .8     900    1700 7900    .8     900    31 13000   .0     900    150 12000   .8    900   150 13000
reducercommutativity/max60-2.yml .8    900   5100 7200 .8    830   15000 11000 .0  .022 5.7 .098 .0  .045 5.7 .071 .8    44    12 140   .8     900    1800 9000    .8     900    31 13000   .0     900    230 11000   .8    900   150 11000
reducercommutativity/rangesum.yml .875  900   4700 10000 .875  57   520 620 .0  .025 5.8 .13  .0  .023 5.7 .085 .938  730    60 11000   .875   .22 40 3.9  .0625  .25 31 3.3 .938   840    200 9600   .938  900   210 13000
reducercommutativity/rangesum05.yml .786  900   2100 8500 .786  210   710 2100 .0  .030 5.6 .083 .0  .029 5.7 .11  .857  10    16 30   .857   .13 21 1.5  .0     .25 31 3.3 .857   .66 64 8.9 .857  890   150 12000
reducercommutativity/rangesum10.yml .786  900   3000 7500 .786  930   1900 9300 .0  .024 5.6 .096 .0  .037 5.7 .062 .857  11    15 33   .857   .14 22 1.2  .0     .25 31 4.0 .857   .66 62 10   .857  890   150 12000
reducercommutativity/rangesum20.yml .786  900   4500 7300 .786  730   1000 7800 .0  .026 5.6 .12  .0  .021 5.6 .074 .857  13    15 46   .857   .20 36 2.3  .0     .26 31 2.9 .857   1.5  65 18   .857  870   150 13000
reducercommutativity/rangesum40.yml .786  900   5200 9700 .786  850   2300 11000 .0  .023 5.6 .12  .0  .024 5.6 .096 .857  14    12 46   .857   .20 41 2.6  .0     .24 31 3.8 .857   6.9  71 88   .857  890   150 11000
reducercommutativity/rangesum60.yml .786  900   5300 9900 .786  900   3600 12000 .0  .021 5.6 .11  .0  .040 5.7 .12  .857  12    12 73   .857   .25 48 2.6  .0     .26 31 2.9 .857   50    86 580   .857  890   150 12000
reducercommutativity/sep.yml .75   900   4600 14000 .75   470   620 6500 .0  .030 5.7 .15  .0  .024 5.6 .14  .833  31    20 110   .833   .15 21 1.4  .0833  .25 30 3.1 .75    840    950 12000   .833  900   150 13000
reducercommutativity/sep05-1.yml .833  900   5400 8400 .833  23   540 260 .0  .025 5.7 .11  .0  .026 5.7 .077 .75   31    15 95   .833   .14 21 1.4  .833   900    31 12000   .75    .38 18 4.9 .833  900   150 11000
reducercommutativity/sep10-2.yml .833  900   5700 5600 .833  130   990 1300 .0  .026 5.7 .13  .0  .050 5.6 .14  .75   28    15 90   .833   .58 26 7.5  .833   900    31 13000   .75    .37 18 5.0 .833  900   150 14000
reducercommutativity/sep20-1.yml .833  900   5700 7400 .833  310   15000 3400 .0  .021 5.7 .16  .0  .023 5.7 .12  .75   25    13 110   .833   900    6400 6100    .833   900    31 13000   .75    .37 18 4.6 .833  900   150 14000
reducercommutativity/sep40-1.yml .833  900   5800 10000 .833  900   4000 11000 .0  .023 5.8 .063 .0  .040 5.5 .082 .75   42    14 120   .833   900    11000 10000    .833   900    31 15000   .75    .37 19 4.4 .833  900   150 12000
reducercommutativity/sep60-2.yml .833  900   2700 13000 .833  900   4400 12000 .0  .043 5.7 .092 .0  .029 5.7 .069 .75   38    12 140   .833   900    11000 13000    .833   900    31 13000   .75    .41 19 4.3 .833  900   150 11000
reducercommutativity/sum.yml .8    900   2400 10000 .7    900   750 11000 .0  .026 5.7 .13  .0  .040 5.5 .11  .8    27    20 120   .8     .15 20 1.4  .1     .25 31 2.9 .8     840    960 11000   .8    900   150 11000
reducercommutativity/sum05-2.yml .8    900   2400 11000 .8    900   3100 12000 .0  .027 5.7 .20  .0  .020 5.7 .13  .8    31    16 100   .8     .13 21 2.4  .8     900    31 14000   .8     .38 19 6.3 .8    900   150 11000
reducercommutativity/sum10-1.yml .8    900   4000 11000 .8    900   3400 7500 .0  .022 5.7 .068 .0  .039 5.7 .080 .8    30    16 96   .8     .13 20 1.3  .8     900    31 13000   .8     .35 18 3.9 .8    900   150 13000
reducercommutativity/sum20-2.yml .8    900   4900 8000 .8    900   3000 6800 .0  .024 5.7 .092 .0  .024 5.7 .15  .8    25    14 130   .8     .13 21 1.1  .8     900    31 13000   .8     .37 19 4.9 .8    900   150 11000
reducercommutativity/sum40-2.yml .8    900   10000 13000 .8    900   3200 5100 .0  .021 5.6 .19  .0  .023 5.6 .081 .8    39    13 110   .8     .12 21 1.2  .8     900    31 14000   .8     .35 18 4.5 .8    900   150 12000
reducercommutativity/sum60-2.yml .8    900   11000 11000 .8    900   6600 7100 .0  .021 5.7 .064 .0  .028 5.7 .18  .8    33    12 140   .8     .12 21 1.2  .8     900    31 14000   .8     .36 19 5.1 .8    900   150 11000
array-tiling/mbpr2.yml .8    900   5200 12000 .8    3.9 280 35 .0  .026 5.7 .16  .0  .049 6.0 .090 .8    33    21 160   .75    .14 21 1.1  .05    .25 30 3.1 .8     840    92 11000   .8    900   150 12000
array-tiling/mbpr3.yml .792  900   4400 10000 .792  7.2 300 75 .0  .027 5.7 .078 .0  .035 5.7 .069 .792  42    22 190   .125   .15 21 1.2  .0417  .26 31 2.9 .792   840    89 10000   .792  900   150 12000
array-tiling/mbpr4.yml .786  900   5200 9200 .786  6.3 300 55 .0  .030 5.7 .19  .0  .024 5.7 .10  .786  25    21 120   .75    .15 21 1.7  .0357  .25 31 3.5 .786   840    90 13000   .786  900   150 11000
array-tiling/mbpr5.yml .781  900   5200 13000 .781  10   310 110 .0  .024 5.9 .016 .0  .025 5.7 .13  .781  67    24 380   .0938  .16 21 1.2  .0313  .26 31 3.0 .781   840    90 9900   .781  900   160 11000
array-tiling/mlceu.yml .833  900   5100 11000 .667  900   610 13000 .0  .023 5.7 .17  .0  .023 5.7 .12  .75   29    13 130   .833   .16 21 1.2  .0     .20 31 2.3 .75    850    2100 11000   .75   900   150 12000
array-tiling/nr2.yml .889  900   5400 9900 .889  4.2 290 42 .0  .023 5.7 .10  .0  .023 5.7 .11  .889  49    21 320   .833   .15 21 1.4  .0556  .26 30 4.6 .889   840    92 13000   .889  900   150 12000
array-tiling/nr3.yml .889  900   3100 10000 .889  6.5 290 80 .0  .029 5.7 .17  .0  .037 5.6 .082 .889  63    23 230   .167   .14 21 1.4  .0556  .26 30 5.0 .889   840    89 11000   .889  900   150 12000
array-tiling/nr4.yml .889  900   4600 10000 .889  5.2 280 52 .0  .023 5.7 .18  .0  .027 5.7 .070 .889  34    20 160   .833   .14 21 1.3  .0556  .24 30 3.2 .889   840    92 11000   .889  900   150 11000
array-tiling/nr5.yml .889  900   3500 12000 .889  8.0 300 82 .0  .019 5.7 .12  .0  .031 5.7 .18  .889  38    26 180   .167   .15 21 1.3  .0556  .25 31 2.8 .889   840    83 12000   .889  900   150 13000
array-tiling/pnr2.yml .938  900   2700 13000 .938  3.8 280 37 .0  .024 5.7 .13  .0  .038 5.7 .11  .875  900    45 12000   .875   900    11000 9100    .0     .21 30 2.3 .75    840    92 10000   .875  900   160 11000
array-tiling/pnr3.yml .944  900   3100 12000 .944  5.3 290 62 .0  .024 5.7 .084 .0  .023 5.7 .15  .889  900    38 10000   .278   .12 21 1.3  .0     .23 31 2.3 .722   840    88 11000   .889  900   150 11000
array-tiling/pnr4.yml .95   900   5100 13000 .95   4.5 290 44 .0  .023 5.7 .11  .0  .035 5.7 .090 .9    900    29 12000   .9     900    11000 7800    .0     .21 31 2.5 .7     840    89 11000   .9    880   150 12000
array-tiling/pnr5.yml .955  900   2800 9200 .955  6.2 300 66 .0  .022 5.7 .14  .0  .046 5.6 .15  .909  900    46 9900   .227   .13 21 1.3  .0     .19 30 2.7 .682   840    85 12000   .909  880   150 11000
array-tiling/poly1.yml .9    900   5100 8500 .8    900   570 13000 .0  .028 5.7 .14  .0  .024 5.7 .074 .8    20    17 69   .9     .14 21 1.3  .0     .19 31 2.8 .8     850    2100 12000   .8    900   150 10000
array-tiling/poly2.yml .917  900   4500 7900 .917  4.7 320 48 .0  .027 5.7 .12  .0  .023 5.7 .13  .833  16    16 50   .917   .13 21 1.0  .0     .23 31 2.2 .833   840    1100 12000   .833  900   150 14000
array-tiling/pr2.yml .667  900   2200 10000 .667  4.0 280 38 .0  .028 5.8 .16  .0  .047 5.7 .075 .667  63    22 420   .611   .16 21 1.1  .0556  .25 31 2.9 .667   840    1600 10000   .667  900   150 12000
array-tiling/pr3.yml .65   900   4200 11000 .65   4.8 280 53 .0  .022 5.7 .14  .0  .022 5.7 .11  .65   22    22 160   .15    .12 21 2.7  .05    .24 31 2.9 .65    840    1400 9400   .65   900   150 11000
array-tiling/pr4.yml .636  900   3400 13000 .636  4.4 290 44 .0  .028 5.7 .13  .0  .036 5.7 .13  .636  11    23 120   .591   .13 21 1.4  .0455  .24 30 2.7 .636   840    1700 8000   .636  900   150 10000
array-tiling/pr5.yml .625  900   980 13000 .625  6.7 300 76 .0  .030 5.6 .10  .0  .028 5.6 .15  .625  15    19 84   .125   .13 21 1.4  .0417  .26 31 2.9 .625   840    1400 9700   .625  900   150 11000
array-tiling/revcpyswp2.yml .938  24   810 220 .938  5.2 300 47 .0  .048 5.7 .077 .0  .024 5.7 .15  .875  680    27 8700   .938   .16 21 1.5  .0     .21 31 2.2 .875   840    820 13000   .938  890   150 13000
array-tiling/rew.yml .917  900   4700 10000 .917  3.5 270 36 .0  .022 5.7 .12  .0  .044 5.7 .087 .833  58    15 200   .917   .13 21 2.5  .0     .21 31 2.5 .833   850    2100 12000   .833  900   150 13000
array-tiling/rewnif.yml .917  900   5600 12000 .917  3.8 270 51 .0  .024 5.7 .13  .0  .045 5.7 .097 .833  55    17 180   .917   .13 21 1.2  .0     .20 31 2.6 .833   850    2100 11000   .833  900   150 12000
array-tiling/rewnifrev.yml .917  100   15000 1100 .0    79   15000 1000 .0  .023 5.6 .13  .0  .023 5.7 .095 .833  24    15 140   .917   .45 21 5.8  .0     .21 31 2.3 .833   840    110 13000   .833  900   150 12000
array-tiling/rewnifrev2.yml .9    98   15000 1300 .9    3.3 270 32 .0  .025 5.6 .13  .0  .023 5.7 .074 .8    14    17 70   .9     .45 21 5.1  .0     .21 30 2.8 .8     850    110 12000   .8    900   150 11000
array-tiling/rewrev.yml .917  97   15000 1300 .0    81   15000 950 .0  .047 5.7 .085 .0  .027 5.6 .10  .833  49    15 140   .917   .42 21 5.2  .0     .21 30 2.7 .833   850    120 12000   .833  900   150 11000
array-tiling/skipped.yml .944  900   5100 12000 .944  4.7 280 44 .0  .027 5.8 .11  .0  .029 5.7 .074 .889  900    38 11000   .889   900    11000 8500    .0     .20 31 2.6 .833   880    9900 10000   .944  900   150 13000
array-tiling/skippedu.yml 1.0    25   960 200 1.0    4.4 280 43 .0  .024 5.8 .16  .0  .029 5.7 .18  .944  900    35 12000   .944   900    11000 12000    .0     .21 31 2.5 .833   880    9600 12000   1.0    900   150 14000
array-tiling/tcpy.yml .929  900   5000 13000 .929  4.8 290 46 .0  .029 5.8 .15  .0  .034 5.7 .16  .857  700    26 11000   .857   .30 21 3.6  .0     .21 31 2.2 .857   840    190 9000   .929  900   150 12000
array-programs/copysome1-1.yml .0833 900   3400 12000 .0    930   3400 13000 .0  .046 5.6 .096 .0  .027 5.7 .12  .0    3.1  19 44   .917   5.6  360 76    .0833  900    30 13000   .917   16    850 170   .917  900   150 12000
array-programs/copysome1-2.yml .0833 900   3900 10000 .0    900   6900 11000 .0  .028 5.8 .10  .0  .052 5.5 .18  .0    3.1  17 37   1.0     5.8  400 89    .0833  900    30 13000   1.0     19    940 160   1.0    900   150 12000
array-programs/copysome2-1.yml .0714 900   4100 11000 .0    900   7200 13000 .0  .024 5.7 .19  .0  .024 5.7 .092 .0    3.1  18 42   .929   7.7  530 140    .0714  900    31 13000   .929   35    1300 230   .929  900   4200 14000
array-programs/copysome2-2.yml .0714 900   4200 11000 .0    900   7300 13000 .0  .039 5.7 .27  .0  .020 5.7 .056 .0    3.1  19 35   1.0     7.8  610 100    .0714  900    31 11000   1.0     39    1500 250   .929  900   4200 11000
array-crafted/bAnd1.yml .8    900   3600 10000 .8    900   3200 11000 .0  .027 5.7 .13  .0  .030 5.6 .18  .8    44    12 170   .8     .16 21 1.3  .8     900    31 12000   .8     .37 20 4.7 .8    900   150 12000
array-crafted/bAnd2.yml .1    900   5600 13000 .0    900   6300 12000 .0  .024 5.7 .074 .0  .026 5.6 .13  .8    170    11 1100   .8     .51 25 6.2  .8     900    30 12000   .8     .56 39 8.9 .8    900   150 12000
array-crafted/bAnd3.yml .1    900   9100 9000 .0    900   6400 11000 .0  .022 5.7 .11  .0  .022 5.7 .054 .8    420    15 5600   .8     38    84 460    .8     900    31 12000   .8     17    940 220   .8    900   150 13000
array-crafted/bAnd4.yml .1    900   2400 12000 .0    900   6500 10000 .0  .036 5.7 .095 .0  .023 5.7 .088 .8    900    24 12000   .8     900    150 8900    .1     900    31 14000   .0     3.7  310 45   .8    900   150 11000
array-crafted/bAnd5.yml .833  900   1900 11000 .833  900   910 13000 .0  .025 5.6 .18  .0  .028 5.7 .073 .833  710    46 9100   .833   .15 21 1.8  .0833  .26 31 3.3 .833   840    430 10000   .833  900   160 15000
array-crafted/bor1.yml .8    900   3800 12000 .8    900   3300 8300 .0  .028 5.7 .17  .0  .023 5.7 .16  .8    45    12 160   .8     .15 21 1.2  .8     900    31 13000   .8     .36 19 5.1 .8    900   150 12000
array-crafted/bor2.yml .1    900   6000 11000 .0    900   6300 9800 .0  .023 5.7 .043 .0  .022 5.7 .13  .8    170    10 1000   .8     .52 25 6.7  .8     900    31 12000   .8     .49 39 6.1 .8    900   150 13000
array-crafted/bor3.yml .1    900   9000 9200 .0    900   6400 12000 .0  .031 5.7 .10  .0  .037 5.7 .090 .8    420    15 6100   .8     39    84 570    .8     900    31 12000   .8     7.7  1300 100   .8    900   150 12000
array-crafted/bor4.yml .1    900   2500 10000 .0    900   6500 13000 .0  .025 5.6 .14  .0  .029 5.7 .12  .8    900    25 12000   .8     900    150 11000    .1     900    31 13000   .0     3.7  310 56   .8    900   150 12000
array-crafted/bor5.yml .833  900   5100 10000 .833  5.0 300 47 .0  .021 5.7 .11  .0  .021 5.7 .13  .833  740    44 11000   .833   .15 21 1.4  .0833  .25 31 2.9 .833   840    400 9500   .833  900   150 12000
array-crafted/mapavg1.yml .8    900   3800 11000 .8    330   15000 4200 .0  .024 5.7 .12  .0  .023 5.7 .15  .8    41    12 190   .8     .14 21 1.2  .8     900    31 14000   .8     .37 19 4.5 .8    900   150 11000
array-crafted/mapavg2.yml .1    900   5800 12000 .0    900   5100 13000 .0  .029 5.7 .17  .0  .037 5.7 .092 .8    170    11 1200   .8     .45 25 6.8  .8     900    31 13000   .8     .86 38 12   .8    900   150 13000
array-crafted/mapavg3.yml .1    900   5900 9200 .0    900   5200 11000 .0  .025 5.7 .085 .0  .027 5.6 .12  .8    410    15 5000   .8     27    84 390    .8     900    31 13000   .8     56    1300 770   .8    900   150 12000
array-crafted/mapavg4.yml .1    900   2500 11000 .0    900   5300 13000 .0  .028 5.7 .18  .0  .023 5.7 .11  .8    900    25 13000   .0     79    160 580    .1     900    31 14000   .8     840    470 7700   .8    900   150 12000
array-crafted/mapavg5.yml .833  900   5100 9100 .75   470   500 5000 .0  .051 5.7 .14  .0  .048 5.5 .11  .833  720    42 8700   .833   .15 21 1.7  .0833  .26 31 3.3 .0     900    71 12000   .0    3.6 150 42
array-crafted/mapsum1.yml .8    900   3100 10000 .8    900   3900 9700 .0  .022 5.7 .076 .0  .029 5.7 .12  .8    50    11 180   .8     .13 21 1.4  .8     900    31 13000   .8     .37 19 5.0 .8    900   150 11000
array-crafted/mapsum2.yml .1    900   5900 12000 .0    900   6300 11000 .0  .027 5.7 .16  .0  .039 5.6 .086 .8    170    11 1100   .8     .45 25 6.6  .8     900    31 14000   .8     .85 39 12   .8    900   150 11000
array-crafted/mapsum3.yml .1    900   8400 7300 .0    930   37 11000 .0  .025 5.7 .098 .0  .024 5.7 .063 .8    420    14 5900   .8     27    84 470    .8     900    31 13000   .8     56    1300 810   .8    900   150 13000
array-crafted/mapsum4.yml .1    900   2600 8900 .0    900   6500 13000 .0  .029 5.7 .12  .0  .027 5.7 .040 .8    900    24 12000   .0     79    160 720    .1     900    31 14000   .8     840    470 7800   .8    900   150 12000
array-crafted/mapsum5.yml .833  900   5300 11000 .833  240   770 2800 .0  .028 5.7 .12  .0  .021 5.7 .14  .833  710    50 8600   .833   900    570 11000    .0833  .24 31 3.1 .0     900    140 12000   .833  900   150 11000
array-crafted/xor1.yml .8    900   3800 12000 .8    900   3000 7500 .0  .025 5.7 .068 .0  .025 5.7 .095 .8    41    11 200   .8     1.3  33 17    .8     900    31 13000   .8     .37 19 5.1 .8    900   150 10000
array-crafted/xor2.yml .1    900   5800 11000 .0    900   6300 12000 .0  .024 5.7 .12  .0  .024 5.7 .15  .8    170    10 1200   .8     470    310 4000    .8     900    31 12000   .8     .50 39 6.7 .8    900   150 12000
array-crafted/xor3.yml .1    900   6700 8400 .0    900   6400 12000 .0  .023 5.7 .094 .0  .050 5.5 .092 .8    410    15 6100   .0     39    95 600    .8     900    31 12000   .8     9.1  1300 120   .8    900   150 13000
array-crafted/xor4.yml .1    900   2500 12000 .0    900   6500 12000 .0  .022 5.6 .15  .0  .027 5.7 .087 .8    900    28 13000   .8     900    150 8500    .1     900    30 15000   .0     3.8  310 50   .8    900   150 13000
array-crafted/xor5.yml .833  900   5500 12000 .833  5.2 290 52 .0  .027 5.7 .14  .0  .022 5.7 .13  .833  690    40 9800   .833   .33 25 3.8  .0833  .25 31 2.9 .833   860    130 11000   .0    3.7 150 37
array-crafted/zero_sum1.yml .9    900   2000 6100 .8    900   950 7700 .0  .024 5.7 .10  .0  .029 5.7 .19  .9    300    22 4500   .9     .17 21 1.4  .0     900    31 13000   .9     840    1700 13000   .9    900   150 12000
array-crafted/zero_sum2.yml .929  29   930 250 .929  7.2 360 86 .0  .023 5.6 .13  .0  .027 5.7 .11  .929  210    20 2400   .929   .16 21 1.4  .0     900    31 14000   .929   840    1600 12000   .929  900   150 11000
array-crafted/zero_sum3.yml .944  33   1100 330 .944  12   400 140 .0  .022 5.7 .25  .0  .026 5.7 .13  .944  320    25 3800   .944   .19 21 1.5  .0     900    31 13000   .944   840    1400 9700   .944  900   150 15000
array-crafted/zero_sum4.yml .955  37   1200 360 .955  15   460 160 .0  .030 5.7 .11  .0  .029 5.7 .18  .955  240    22 3100   .955   .17 21 1.8  .0     900    31 11000   .955   840    1300 13000   .955  900   150 11000
array-crafted/zero_sum5.yml .962  42   1200 400 .962  22   550 270 .0  .044 5.7 .10  .0  .024 5.7 .067 .962  280    24 3500   .962   .18 21 2.0  .0     900    30 13000   .962   840    1100 13000   .962  900   150 12000
array-crafted/zero_sum_const1.yml .917  900   950 14000 .75   900   610 13000 .0  .021 5.7 .080 .0  .025 5.7 .11  .833  36    17 89   .917   .13 21 1.3  .0     .20 31 2.4 .833   850    1100 12000   .833  900   150 11000
array-crafted/zero_sum_const2.yml .938  28   870 320 .938  8.8 320 110 .0  .025 5.7 .083 .0  .023 5.6 .21  .875  30    18 78   .938   .13 21 1.8  .0     .23 31 2.8 .875   850    1000 11000   .938  900   150 12000
array-crafted/zero_sum_const3.yml .95   29   680 280 .95   9.7 330 120 .0  .043 5.6 .096 .0  .022 5.6 .14  .9    19    17 130   .95    .13 21 1.5  .0     .21 31 2.6 .9     850    990 10000   .9    900   150 11000
array-crafted/zero_sum_const4.yml .958  31   910 360 .958  15   360 180 .0  .025 5.7 .11  .0  .040 5.8 .065 .917  19    15 64   .958   .13 21 1.8  .0     .20 31 2.2 .917   850    980 12000   .917  900   150 12000
array-crafted/zero_sum_const5.yml .964  35   890 380 .964  18   400 190 .0  .043 5.6 .090 .0  .022 5.5 .094 .929  18    15 66   .964   .14 21 1.4  .0     .21 31 2.8 .929   850    1000 10000   .964  900   150 11000
array-crafted/zero_sum_const_m2.yml .938  900   1500 9900 .812  900   1500 9800 .0  .031 5.7 .076 .0  .027 5.6 .19  .875  35    17 93   .938   .13 21 1.4  .0     .20 31 2.6 .875   850    1000 13000   .938  900   150 13000
array-crafted/zero_sum_const_m3.yml .95   48   1200 640 .95   28   710 400 .0  .045 5.7 .087 .0  .026 5.7 .14  .9    36    16 110   .95    .16 21 1.5  .0     .21 31 2.4 .9     850    990 11000   .9    900   150 12000
array-crafted/zero_sum_const_m4.yml .958  900   3300 9800 .958  300   1400 4000 .0  .028 5.7 .18  .0  .036 5.5 .074 .917  27    16 140   .958   .14 21 2.0  .0     .20 30 2.4 .917   850    1000 13000   .958  900   150 13000
array-crafted/zero_sum_const_m5.yml .964  900   1500 12000 .964  900   970 12000 .0  .023 5.6 .12  .0  .029 5.6 .19  .929  18    16 80   .964   .15 21 1.4  .0     .24 31 2.2 .929   850    1000 12000   .929  900   160 12000
array-crafted/zero_sum_m2.yml .929  900   4900 9700 .857  730   4200 8600 .0  .022 5.9 .054 .0  .025 5.7 .10  .929  310    20 3900   .929   .16 22 1.4  .0     900    31 12000   .929   840    1500 11000   .929  900   150 12000
array-crafted/zero_sum_m3.yml .944  910   1800 9300 .889  900   1100 7800 .0  .025 5.8 .091 .0  .034 5.7 .13  .944  250    22 3500   .944   .15 21 1.7  .0     900    31 11000   .944   840    1500 12000   .944  900   150 10000
array-crafted/zero_sum_m4.yml .955  900   2200 11000 .909  900   2000 9900 .0  .029 5.6 .18  .0  .051 5.5 .092 .955  320    21 3900   .955   .17 21 1.5  .0     900    31 13000   .955   840    1600 11000   .955  900   150 12000
array-crafted/zero_sum_m5.yml .962  900   10000 12000 .962  900   9500 9100 .0  .020 5.7 .12  .0  .025 5.7 .12  .962  260    23 3500   .962   .18 21 2.1  .0     900    30 14000   .962   840    1600 13000   .962  900   150 12000
array-multidimensional/add-2-n-u.yml .0    900   6500 11000 .0    900   6100 12000 .0  .026 5.7 .087 .0  .026 5.7 .10  .0    .17 11 1.8 .0     56    3400 860    .0     .23 31 2.8 .0     96    9100 1100   .0    15   15000 200
array-multidimensional/add-3-n-u.yml .0    900   6400 11000 .0    900   6200 13000 .0  .027 5.7 .15  .0  .021 5.6 .13  .0    .17 10 1.9 .0     5.5  15000 60    .0     .25 30 2.9 .0     150    15000 2100   .0    900   1600 14000
array-multidimensional/copy-2-u.yml .143  900   6100 11000 .143  900   6700 11000 .0  .028 5.7 .12  .0  .031 5.7 .078 .0    3.1  18 44   .929   25    890 320    .214   900    30 13000   .929   38    3800 540   .929  900   300 12000
array-multidimensional/copy-3-n-u.yml .0    900   6400 11000 .0    900   6700 13000 .0  .052 5.7 .10  .0  .027 5.7 .072 .0    .16 11 1.6 .0     1.9  2200 21    .0     .26 31 2.8 .0     160    15000 1900   .0    900   1600 12000
array-multidimensional/copy-partial-2-n-u.yml .0    900   6200 12000 .0    900   6700 12000 .0  .037 5.6 .11  .0  .023 5.7 .12  .0    .15 10 1.6 .0     19    1300 230    .0     .23 30 2.8 .0     40    4000 470   .0    900   1600 14000
array-multidimensional/copy-partial-3-u.yml .0    900   6300 11000 .0    900   6100 11000 .0  .021 5.7 .17  .0  .022 5.7 .14  .0    .18 10 1.4 .0     .12 22 1.5  .0     .26 30 3.6 .0     180    15000 2800   .0    900   1600 10000
array-multidimensional/diff-2-n-u.yml .0    900   6200 11000 .0    900   6100 11000 .0  .021 5.7 .10  .0  .021 5.7 .095 .0    .17 11 1.8 .0     79    5000 1100    .0     .26 31 3.0 .0     160    13000 2200   .0    900   1600 13000
array-multidimensional/diff-3-n-u.yml .0    900   6600 11000 .0    900   6100 11000 .0  .021 5.7 .15  .0  .024 5.8 .076 .0    .18 10 1.9 .0     5.6  15000 55    .0     .26 31 3.4 .0     160    15000 2300   .0    900   1600 11000
array-multidimensional/init-2-n-u.yml .9    900   6500 11000 .9    900   5700 12000 .0  .024 5.7 .072 .0  .022 5.7 .12  .9    95    13 1200   .9     19    73 330    .9     900    30 13000   .9     18    2400 250   .9    900   150 12000
array-multidimensional/init-3-u.yml .0    900   6500 11000 .0    900   6600 10000 .0  .023 5.6 .088 .0  .052 5.6 .14  .0    .16 11 1.7 .0     .14 21 1.3  .0     .25 31 2.8 .0     250    15000 3900   .0    900   1600 11000
array-multidimensional/init-4-n-u.yml .0    900   6700 11000 .0    900   6500 11000 .0  .023 5.7 .25  .0  .022 5.7 .13  .0    .16 10 2.1 .0     900    5600 14000    .0     .25 31 3.0 .0     290    15000 3800   .0    900   1600 12000
array-multidimensional/init-non-constant-2-n-u.yml .9    900   4700 10000 .9    5.4 290 49 .0  .027 5.7 .19  .0  .022 5.7 .12  .9    900    10 13000   .9     900    11000 13000    .6     900    31 11000   .9     850    4300 11000   .9    900   150 12000
array-multidimensional/init-non-constant-3-u.yml .0    900   6500 12000 .0    900   6600 11000 .0  .031 5.8 .16  .0  .023 5.7 .097 .0    .16 11 2.0 .0     .11 22 1.6  .0     .25 31 3.7 .0     140    15000 2200   .0    900   1600 12000
array-multidimensional/max-2-u.yml .0    900   6200 12000 .0    900   6200 11000 .0  .023 5.7 .13  .0  .024 5.7 .11  .0    .18 10 1.8 .0     900    3200 8300    .0     .25 31 3.0 .0     35    3300 460   .0    900   1600 11000
array-multidimensional/max-3-n-u.yml .0    900   6300 12000 .0    900   6100 12000 .0  .052 5.6 .18  .0  .024 5.7 .13  .0    .16 11 1.8 .0     5.6  15000 68    .0     .24 30 3.5 .0     170    15000 2200   .0    900   1600 11000
array-multidimensional/min-2-u.yml .0    900   6300 11000 .0    900   6200 11000 .0  .047 5.6 .10  .0  .023 5.7 .074 .0    .15 11 2.2 .0     900    3000 8600    .0     .25 31 2.8 .0     36    3300 510   .0    900   1600 12000
array-multidimensional/min-3-n-u.yml .0    900   6300 11000 .0    900   6100 12000 .0  .025 5.7 .13  .0  .025 5.7 .087 .0    .17 11 2.1 .0     5.5  15000 72    .0     .24 31 3.2 .0     170    15000 2100   .0    900   1600 11000
array-multidimensional/rev-2-n-u.yml .0    900   6200 11000 .0    900   6000 11000 .0  .024 5.6 .13  .0  .034 5.7 .12  .0    .16 10 1.8 .0     43    1300 610    .0     .28 31 2.8 .0     57    5700 740   .0    900   1600 11000
array-multidimensional/rev-3-u.yml .0    900   3100 11000 .0    900   6700 11000 .0  .026 5.7 .11  .0  .023 5.7 .079 .0    .19 11 1.9 .0     .14 21 1.2  .0     .24 31 3.0 .0     170    15000 2100   .0    900   1600 12000
array-multidimensional/transpose-u.yml .143  900   6500 11000 .0    900   6600 12000 .0  .030 5.5 .099 .0  .023 5.7 .078 .0    3.1  18 43   .929   25    880 340    .214   900    30 12000   .929   39    3900 430   .929  900   300 11000
bitvector/byte_add-1.yml .983  34   810 330 .967  900   10000 11000 .0  .028 5.9 .22  .0  .022 5.7 .12  .983  42    17 110   .983   .75 23 11    .7     .26 31 3.3 .85    1.7  20 21   .983  880   160 13000
bitvector/byte_add_1-1.yml .733  900   4200 12000 .733  900   8300 9800 .0  .024 5.7 .13  .0  .042 5.7 .11  .717  21    17 95   .733   .26 21 2.1  .733   900    30 11000   .733   .71 20 8.8 .733  890   160 13000
bitvector/byte_add_2-2.yml .75   900   3700 11000 .717  900   8700 11000 .0  .024 5.7 .060 .0  .025 5.7 .094 .75   51    19 120   .75    .23 21 2.4  .75    900    31 14000   .75    .72 20 10   .75   890   160 13000
bitvector/gcd_1.yml .833  29   1400 300 .833  9.0 290 94 .0  .041 5.6 .076 .0  .028 5.6 .16  .75   18    16 48   .833   .14 21 1.7  .833   900    31 11000   .75    .72 24 10   .75   900   150 12000
bitvector/gcd_2.yml .9    26   1600 340 .9    8.8 290 110 .0  .046 5.7 .099 .0  .025 5.7 .14  .9    27    18 100   .9     3.1  26 38    .9     900    31 13000   .7     29    45 380   .9    900   150 13000
bitvector/gcd_3.yml .9    130   1500 1600 .9    93   300 1100 .0  .024 5.7 .090 .0  .025 5.7 .12  .9    26    17 110   .9     3.7  27 45    .9     900    31 11000   .7     35    44 420   .9    900   150 11000
bitvector/interleave_bits.yml .75   26   2300 290 .75   10   460 92 .0  .022 5.7 .11  .0  .037 5.6 .061 .75   20    15 98   .75    .13 21 1.3  .0     900    31 14000   .75    .37 19 5.0 .75   900   150 11000
bitvector/modulus-2.yml .9    900   590 13000 .9    900   420 13000 .0  .025 5.7 .073 .0  .024 5.7 .096 .9    900    11 13000   .9     320    84 4200    .0     900    31 11000   .8     870    210 11000   .9    900   150 9800
bitvector/num_conversion_2.yml .833  36   1100 310 .833  14   440 140 .0  .050 5.6 .085 .0  .027 5.7 .21  .667  20    16 91   .833   .39 21 6.2  .0     900    31 13000   .667   .34 19 4.2 .833  900   150 11000
bitvector/parity.yml .875  180   2500 1900 .875  120   660 1600 .0  .018 5.7 .029 .0  .022 5.7 .14  .875  9.1  10 19   .875   1.2  23 16    .875   900    31 13000   .75    26    27 350   .875  900   150 12000
bitvector/s3_clnt_1.BV.c.cil-1.yml .790  220   2300 2400 .599  900   660 14000 .0  .022 5.7 .13  .0  .017 5.7 .17  .753  270    17 890   .790   1.7  31 24    .426   900    31 14000   .698   1.8  21 24   .790  900   200 11000
bitvector/s3_clnt_1.BV.c.cil-2.yml .926  58   1200 600 .938  59   710 700 .0  .023 5.7 .090 .0  .026 5.7 .17  .790  550    19 2500   .938   900    540 10000    .426   900    31 13000   .722   840    490 12000   .907  890   200 11000
bitvector/s3_clnt_2.BV.c.cil-1.yml .775  120   2000 1500 .619  900   500 11000 .0  .050 5.7 .084 .0  .023 5.7 .11  .025  37    13 100   .775   1.7  31 26    .0188  900    30 15000   .688   1.7  20 28   .775  900   200 12000
bitvector/s3_clnt_2.BV.c.cil-2.yml .938  55   1200 610 .938  33   690 340 .0  .024 5.7 .12  .0  .022 5.8 .11  .025  26    14 120   .938   900    450 10000    .0188  900    31 11000   .762   840    120 8800   .938  890   200 11000
bitvector/s3_clnt_3.BV.c.cil-1.yml .778  270   3600 3200 .611  900   860 13000 .0  .032 5.7 .17  .0  .023 5.6 .12  .0309 40    14 130   .778   1.7  31 26    .0247  900    31 14000   .691   1.7  21 27   .778  900   200 9700
bitvector/s3_clnt_3.BV.c.cil-2.yml .636  140   2200 1900 .549  930   510 12000 .0  .031 5.7 .13  .0  .026 5.6 .22  .0309 37    14 98   .636   .33 23 4.7  .0370  900    31 12000   .568   1.1  20 13   .636  890   200 12000
bitvector/s3_srvr_1.BV.c.cil.yml .782  180   2400 2100 .782  330   640 4200 .0  .023 5.7 .17  .0  .027 5.6 .19  .771  900    21 3000   .787   900    580 9900    .383   900    31 12000   .718   840    970 10000   .787  900   210 11000
bitvector/s3_srvr_1_alt.BV.c.cil.yml .0    900   2100 9700 .0    900   600 9500 .0  .030 5.6 .13  .0  .048 5.8 .059 .0    3.2  11 43   .0     900    570 10000    .0     900    31 15000   .0     840    330 9200   .0    900   210 11000
bitvector/s3_srvr_3.BV.c.cil.yml .822  120   1600 1300 .822  520   650 7200 .0  .029 5.7 .094 .0  .024 5.6 .12  .805  590    19 1800   .828   900    310 9500    .391   900    31 13000   .724   840    130 9800   .822  900   210 9800
bitvector/s3_srvr_3_alt.BV.c.cil.yml .822  110   1700 1300 .644  900   840 9600 .0  .025 5.6 .12  .0  .035 5.7 .10  .810  860    20 2800   .828   900    320 9800    .391   900    31 13000   .736   840    130 10000   .828  900   210 8800
bitvector/soft_float_1-2.c.cil.yml .689  30   890 250 .689  19   440 220 .0  .030 5.7 .16  .0  .053 5.6 .11  .662  900    14 13000   .689   370    260 5000    .689   900    31 11000   .608   840    120 14000   .689  900   170 11000
bitvector/soft_float_1-3.c.cil.yml .703  29   750 230 .703  16   450 170 .0  .025 5.7 .13  .0  .026 5.7 .21  .689  170    22 500   .703   370    260 5700    .0     .25 31 3.1 .622   840    130 11000   .703  890   160 13000
bitvector/soft_float_2.c.cil.yml .688  160   2800 1800 .688  160   890 1900 .0  .025 5.7 .089 .0  .033 5.7 .19  .625  61    20 480   .688   93    110 1100    .688   900    31 14000   .458   3.6  25 51   .688  900   160 12000
bitvector/soft_float_3.c.cil.yml .708  200   2800 2100 .542  900   1100 6800 .0  .026 5.7 .059 .0  .023 5.6 .13  .667  230    21 900   .708   230    210 2600    .604   900    31 13000   .562   10    31 150   .708  900   160 12000
bitvector/soft_float_4-2.c.cil.yml .595  310   3000 3800 .571  690   800 8000 .0  .023 5.7 .091 .0  .023 5.8 .15  .571  900    15 13000   .595   360    260 4000    .595   900    31 12000   .595   850    43 13000   .595  900   170 11000
bitvector/soft_float_4-3.c.cil.yml .619  340   4200 3900 .595  580   490 7900 .0  .019 5.7 .17  .0  .025 5.8 .13  .595  120    23 520   .619   360    260 4600    .0     .28 30 2.7 .619   850    49 12000   .619  890   160 12000
bitvector/soft_float_5.c.cil.yml .688  160   3700 1800 .688  160   880 1800 .0  .025 5.7 .082 .0  .025 5.7 .053 .625  250    22 770   .688   89    110 1200    .688   900    31 14000   .479   3.5  25 54   .688  900   160 9700
bitvector/sum02-1.yml .5    900   6500 9600 .5    470   1500 5400 .0  .022 5.7 .11  .0  .030 5.7 .15  .875  700    10 9100   .5     900    2400 11000    .0     7.9  31 96   .5     840    350 10000   .875  900   150 11000
bitvector/sum02-2.yml .5    900   7400 12000 .5    900   3800 9900 .0  .030 5.6 .084 .0  .027 5.7 .089 .5    880    10 10000   .5     900    2400 12000    .5     900    31 12000   .5     840    360 12000   .5    900   150 12000
bitvector-regression/recHanoi03-1.yml .75   140   15000 1400 .125  2.9 260 24 .0  .031 5.5 .16  .0  .029 5.7 .19  .875  680    10 8600   .875   900    4100 13000    .125   .25 30 2.9 .875   840    730 12000   .875  900   150 13000
bitvector-loops/diamond_2-1.yml 1.0    26   970 210 1.0    4.9 300 42 .0  .029 5.7 .22  .0  .022 5.7 .097 1.0    19    16 85   1.0     .12 21 1.2  .0     .24 31 3.4 1.0     .40 18 5.0 1.0    880   150 13000
bitvector-loops/verisec_sendmail_tTflag_arr_one_loop.yml .875  900   1600 14000 .75   930   540 14000 .0  .020 5.7 .22  .0  .028 5.7 .076 1.0    58    16 210   .875   .19 22 1.7  .875   900    31 12000   .875   .77 20 11   1.0    880   150 11000
ntdrivers-simplified/cdaudio_simpl1.cil-1.yml .738  52   1300 510 .738  29   510 310 .0  .024 5.7 .11  .0  .051 5.7 .12  .0324 19    16 62   .738   .35 26 5.2  .0294  900    31 12000   .688   2.4  25 31   .691  880   240 10000
ntdrivers-simplified/cdaudio_simpl1.cil-2.yml .737  48   1200 410 .737  29   510 290 .0  .021 5.7 .097 .0  .026 5.7 .094 .530  900    21 3200   .737   .35 26 5.4  .0296  900    31 13000   .686   2.4  24 31   .349  880   240 11000
ntdrivers-simplified/diskperf_simpl1.cil.yml .660  38   1400 330 .660  20   430 230 .0  .029 5.7 .13  .0  .031 5.6 .12  .593  900    19 2000   .679   900    520 15000    .154   900    31 13000   .630   1.5  22 19   .586  880   180 10000
ntdrivers-simplified/floppy_simpl3.cil-1.yml .784  35   1100 310 .784  17   480 160 .0  .025 5.7 .11  .0  .022 5.8 .12  .765  490    19 1600   .784   .30 23 3.6  .0247  900    31 12000   .716   1.4  21 19   .784  880   180 11000
ntdrivers-simplified/floppy_simpl3.cil-2.yml .784  37   1100 320 .784  17   390 200 .0  .026 5.6 .11  .0  .021 5.7 .087 .765  360    19 1500   .784   .30 23 3.5  .0247  900    30 13000   .716   1.4  21 19   .784  890   180 12000
ntdrivers-simplified/floppy_simpl4.cil-1.yml .839  45   1200 410 .839  23   480 250 .0  .025 5.7 .12  .0  .023 5.6 .092 .806  860    20 2600   .847   .47 28 6.4  .0289  900    31 13000   .740   2.1  23 27   .847  880   200 8700
ntdrivers-simplified/floppy_simpl4.cil-2.yml .839  41   1100 420 .839  21   520 200 .0  .023 5.7 .35  .0  .040 5.8 .13  .802  740    20 4200   .847   .44 28 7.1  .0289  900    31 16000   .744   2.1  23 29   .843  880   200 12000
ntdrivers-simplified/kbfiltr_simpl1.cil.yml .467  24   890 190 .467  7.4 310 64 .0  .024 5.7 .046 .0  .036 5.7 .14  .05   27    16 80   .742   .15 21 1.9  .0417  900    31 12000   .55    .70 19 9.7 .733  880   170 10000
ntdrivers-simplified/kbfiltr_simpl2.cil-1.yml .553  34   1100 290 .553  12   490 100 .0  .025 5.8 .11  .0  .022 5.7 .14  .595  220    18 770   .784   .22 23 2.1  .0421  900    30 14000   .563   1.1  20 15   .784  890   180 11000
ntdrivers-simplified/kbfiltr_simpl2.cil-2.yml .557  34   1100 300 .557  11   370 110 .0  .025 5.7 .068 .0  .026 5.7 .13  .609  290    18 890   .787   .22 23 2.4  .0417  900    31 12000   .568   1.1  20 13   .781  890   190 12000
ssh-simplified/s3_clnt_1.cil-1.yml .784  70   1000 1100 .784  220   530 3000 .0  .029 5.7 .22  .0  .025 5.8 .066 .0309 35    13 120   .790   1.7  31 21    .0247  900    31 13000   .704   1.7  20 22   .790  890   200 10000
ssh-simplified/s3_clnt_1.cil-2.yml .784  65   1100 760 .784  160   490 1900 .0  .030 5.7 .14  .0  .041 5.7 .11  .0309 26    14 130   .790   .92 25 12    .0247  900    31 14000   .710   1.7  20 22   .790  890   200 11000
ssh-simplified/s3_clnt_2.cil-1.yml .784  65   1100 690 .784  170   530 2300 .0  .029 5.7 .16  .0  .050 5.7 .15  .0309 26    13 130   .778   .93 26 11    .0247  900    31 13000   .710   1.6  20 21   .796  890   200 12000
ssh-simplified/s3_clnt_2.cil-2.yml .778  58   1200 660 .778  170   530 2200 .0  .029 5.7 .16  .0  .024 5.7 .15  .0309 36    14 130   .772   1.6  31 21    .0247  900    31 13000   .704   1.7  20 25   .790  890   200 9700
ssh-simplified/s3_clnt_3.cil-1.yml .55   57   1100 610 .556  75   720 1000 .0  .022 5.6 .13  .0  .033 5.7 .14  .025  32    18 110   .356   .14 21 1.5  .0188  900    31 12000   .025   .56 16 7.1 .119  890   200 12000
ssh-simplified/s3_clnt_3.cil-2.yml .833  80   1100 950 .833  130   890 1600 .0  .029 5.6 .17  .0  .017 5.7 .25  .0309 42    15 130   .840   3.4  42 49    .0370  900    31 13000   .759   2.1  21 30   .840  890   200 13000
ssh-simplified/s3_clnt_3.cil-3.yml .778  66   1100 720 .778  210   570 3100 .0  .027 5.6 .079 .0  .047 5.7 .080 .0309 26    12 100   .772   1.7  31 23    .0247  900    31 13000   .704   1.7  20 25   .790  890   200 13000
ssh-simplified/s3_clnt_4.cil-1.yml .778  61   1100 610 .778  120   590 1600 .0  .027 5.7 .20  .0  .021 5.6 .13  .0309 39    14 98   .772   1.7  31 28    .0247  900    31 11000   .704   1.6  20 20   .790  890   200 12000
ssh-simplified/s3_clnt_4.cil-2.yml .833  81   1200 920 .833  140   530 2000 .0  .023 5.7 .090 .0  .027 5.7 .085 .0309 40    14 140   .840   3.3  40 41    .0247  900    31 16000   .759   2.0  20 29   .840  890   200 12000
eca-rers2012/Problem03_label00.yml .460  120   2200 1300 .481  900   2300 11000 .0  .021 5.7 .020 .0  .022 5.7 .099 .0886 17    69 68   .498   900    10000 6100    .0718  900    52 12000   .0     290    15000 1800   .480  890   280 11000
eca-rers2012/Problem03_label01.yml .461  110   2900 1200 .481  900   2300 10000 .0  .024 5.7 .13  .0  .029 5.7 .075 .491  900    69 2100   .498   900    10000 5400    .0718  900    52 11000   .0     290    15000 2200   .473  890   280 9600
eca-rers2012/Problem03_label02.yml .461  110   2200 1300 .481  900   2300 10000 .0  .024 5.7 .072 .0  .028 5.7 .22  .494  900    67 2800   .498   900    10000 6100    .0718  900    52 12000   .0     280    15000 2700   .477  890   280 11000
eca-rers2012/Problem03_label03.yml .461  110   3000 1200 .481  900   2200 10000 .0  .023 5.6 .098 .0  .029 5.6 .21  .0886 17    69 69   .498   900    10000 5600    .0718  900    52 14000   .0     280    15000 2700   .482  890   290 12000
eca-rers2012/Problem03_label04.yml .461  110   2000 1200 .481  900   2300 11000 .0  .023 5.7 .10  .0  .022 5.7 .13  .495  900    69 3400   .498   900    10000 6200    .0718  900    52 15000   .0     290    15000 2100   .477  890   280 11000
eca-rers2012/Problem03_label05.yml .461  110   2800 1400 .481  900   2300 10000 .0  .022 5.8 .087 .0  .024 5.8 .14  .497  900    70 4400   .498   900    10000 6500    .0718  900    52 16000   .0     290    15000 2500   .479  890   290 10000
eca-rers2012/Problem03_label06.yml .461  110   2800 1300 .481  900   2300 11000 .0  .022 5.7 .12  .0  .032 5.7 .16  .496  900    69 3500   .498   900    10000 5700    .0718  900    52 13000   .0     290    15000 2000   .471  890   280 12000
eca-rers2012/Problem03_label07.yml .461  110   2000 1400 .481  900   2200 11000 .0  .030 5.9 .17  .0  .023 5.6 .16  .496  900    69 3600   .498   900    10000 5100    .0718  900    52 13000   .0     290    15000 2100   .469  890   280 10000
eca-rers2012/Problem03_label08.yml .461  110   2900 1300 .481  900   2200 11000 .0  .022 5.7 .13  .0  .021 5.6 .16  .498  680    70 3300   .498   900    10000 5600    .0718  900    52 12000   .0     290    15000 2200   .480  890   260 12000
eca-rers2012/Problem03_label09.yml .461  110   2100 1100 .481  900   2200 9800 .0  .057 5.7 .095 .0  .031 5.7 .15  .495  900    71 4100   .498   900    10000 7900    .0718  900    52 14000   .0     290    15000 2000   .476  890   280 11000
eca-rers2012/Problem03_label10.yml .461  110   2400 1200 .481  900   2200 12000 .0  .026 5.7 .070 .0  .024 5.7 .27  .497  900    70 2400   .498   900    10000 5800    .0718  900    52 15000   .0     280    15000 2400   .478  890   290 12000
eca-rers2012/Problem03_label11.yml .461  110   2900 1300 .481  900   2300 10000 .0  .032 5.7 .15  .0  .025 5.7 .10  .0886 14    69 81   .498   900    10000 5500    .0718  900    52 12000   .0     290    15000 1800   .483  890   280 12000
eca-rers2012/Problem03_label12.yml .461  110   2800 1300 .481  900   2200 10000 .0  .042 5.7 .098 .0  .028 5.7 .19  .495  900    70 4400   .498   900    10000 5900    .0718  900    52 13000   .0     280    15000 2200   .476  890   280 11000
eca-rers2012/Problem03_label13.yml .461  100   2300 1300 .481  900   2300 12000 .0  .024 5.7 .15  .0  .024 5.7 .064 .496  900    70 1700   .498   900    10000 5900    .0718  900    52 11000   .0     280    15000 2800   .474  890   290 11000
eca-rers2012/Problem03_label14.yml .461  100   2300 1200 .478  900   2200 11000 .0  .025 5.7 .096 .0  .023 5.7 .15  .497  900    70 2500   .498   900    10000 5700    .0718  900    52 14000   .0     290    15000 1900   .473  890   260 13000
eca-rers2012/Problem03_label15.yml .461  110   3100 1400 .481  900   2300 11000 .0  .028 5.7 .21  .0  .021 5.7 .073 .496  900    69 2900   .498   930    9400 6400    .0718  900    52 13000   .0     290    15000 2400   .475  880   280 10000
eca-rers2012/Problem03_label16.yml .461  110   2900 1200 .481  900   2300 9900 .0  .025 5.7 .099 .0  .028 5.7 .083 .496  900    69 2400   .498   900    10000 6900    .0718  900    52 13000   .0     290    15000 2500   .475  890   290 11000
eca-rers2012/Problem03_label17.yml .461  110   2700 1300 .481  900   2300 12000 .0  .025 5.7 .079 .0  .027 5.7 .14  .498  900    69 2400   .498   900    10000 5500    .0718  900    52 12000   .0     270    15000 2700   .473  890   270 12000
eca-rers2012/Problem03_label18.yml .461  110   2200 1200 .481  900   2300 10000 .0  .024 5.7 .11  .0  .030 5.6 .13  .495  900    68 3800   .498   900    10000 5800    .0718  900    52 12000   .0     290    15000 2200   .477  890   290 13000
eca-rers2012/Problem03_label19.yml .461  100   2300 1200 .481  900   2200 12000 .0  .018 5.6 .16  .0  .026 5.7 .12  .0886 13    69 66   .498   900    10000 6200    .0718  900    52 12000   .0     290    15000 2400   .472  890   280 9600
eca-rers2012/Problem03_label20.yml .461  110   2600 1200 .481  900   2200 9800 .0  .023 5.7 .12  .0  .026 5.6 .12  .496  900    69 2800   .498   900    10000 6200    .0718  900    52 13000   .0     290    15000 1900   .478  890   290 10000
eca-rers2012/Problem03_label21.yml .461  100   2200 1000 .481  900   2200 11000 .0  .027 5.7 .20  .0  .045 5.9 .098 .496  900    68 2600   .498   900    10000 6400    .0718  900    52 15000   .0     290    15000 2500   .475  890   270 10000
eca-rers2012/Problem03_label22.yml .461  110   2600 1200 .481  900   2200 11000 .0  .022 5.7 .10  .0  .021 5.7 .11  .0886 21    69 69   .498   900    10000 7800    .0718  900    52 12000   .0     290    15000 2200   .477  890   290 13000
eca-rers2012/Problem03_label23.yml .461  110   2800 1200 .481  900   2300 9200 .0  .025 5.7 .083 .0  .035 5.5 .12  .495  900    70 3900   .498   900    10000 6100    .0718  900    52 12000   .0     290    15000 2000   .475  890   280 13000
eca-rers2012/Problem03_label24.yml .461  110   2600 1200 .481  900   2200 10000 .0  .049 5.7 .096 .0  .024 5.7 .086 .496  900    70 2900   .498   900    10000 6300    .0718  900    52 12000   .0     290    15000 2400   .482  890   290 11000
eca-rers2012/Problem03_label25.yml .461  110   2800 1200 .481  900   2200 12000 .0  .028 5.7 .21  .0  .022 5.7 .14  .0886 15    69 86   .498   900    10000 5200    .0718  900    52 12000   .0     280    15000 3100   .475  890   290 11000
eca-rers2012/Problem03_label26.yml .460  110   2000 1500 .481  900   2200 10000 .0  .025 5.7 .10  .0  .040 5.7 .11  .496  900    71 4900   .498   900    10000 8000    .0718  900    52 14000   .0     290    15000 2000   .479  890   280 11000
eca-rers2012/Problem03_label27.yml .461  110   2900 1100 .481  900   2200 10000 .0  .025 5.6 .15  .0  .027 5.7 .17  .0886 20    70 68   .498   900    10000 5800    .0718  900    52 14000   .0     280    15000 2800   .471  890   290 11000
eca-rers2012/Problem03_label28.yml .461  110   2100 1200 .481  900   2300 12000 .0  .028 5.7 .20  .0  .025 5.6 .12  .498  900    70 3600   .498   900    10000 5800    .0718  900    52 12000   .0     290    15000 2200   .479  890   280 11000
eca-rers2012/Problem03_label29.yml .461  110   2900 1200 .481  900   2300 11000 .0  .028 5.7 .093 .0  .024 5.7 .14  .496  900    70 2900   .498   900    10000 6000    .0718  900    52 13000   .0     290    15000 2100   .474  880   290 10000
eca-rers2012/Problem03_label30.yml .461  110   2900 1400 .481  900   2300 11000 .0  .023 5.6 .13  .0  .026 5.7 .059 .482  900    69 2500   .498   900    10000 7800    .0718  900    52 13000   .0     290    15000 2300   .476  890   280 11000
eca-rers2012/Problem03_label31.yml .461  110   2800 1200 .481  900   2200 12000 .0  .033 5.7 .15  .0  .050 5.6 .090 .498  900    70 3900   .498   900    10000 6800    .0718  900    52 14000   .0     280    15000 2100   .470  890   270 10000
eca-rers2012/Problem03_label32.yml .461  110   2900 1400 .481  900   2200 10000 .0  .027 5.7 .12  .0  .024 5.7 .15  .494  900    70 2300   .498   900    10000 6400    .0718  900    52 12000   .0     280    15000 2500   .472  890   280 11000
eca-rers2012/Problem03_label33.yml .461  110   2200 1300 .481  900   2300 10000 .0  .050 5.7 .11  .0  .026 5.7 .18  .495  900    70 2200   .498   900    10000 5700    .0718  900    52 12000   .0     280    15000 2800   .479  890   280 9600
eca-rers2012/Problem03_label34.yml .461  110   2300 1400 .481  900   2200 10000 .0  .036 5.7 .12  .0  .027 5.7 .16  .0886 19    68 53   .498   900    10000 6000    .0718  900    52 14000   .0     290    15000 2200   .477  890   280 12000
eca-rers2012/Problem03_label35.yml .461  110   2100 1200 .485  900   2300 12000 .0  .023 5.6 .13  .0  .044 5.7 .10  .496  900    70 4900   .498   900    10000 6100    .0718  900    52 12000   .0     280    15000 2100   .480  890   300 13000
eca-rers2012/Problem03_label36.yml .461  110   2200 1500 .481  930   2200 12000 .0  .026 5.7 .072 .0  .020 5.5 .14  .0886 17    68 70   .498   900    10000 5500    .0718  900    52 14000   .0     290    15000 2500   .473  890   290 11000
eca-rers2012/Problem03_label37.yml .461  110   2100 1200 .481  900   2300 10000 .0  .024 5.7 .11  .0  .023 5.7 .12  .495  900    71 3500   .498   900    10000 6300    .0718  900    52 12000   .0     290    15000 2400   .475  890   280 11000
eca-rers2012/Problem03_label38.yml .461  110   2300 1200 .481  900   2300 10000 .0  .050 5.6 .16  .0  .026 5.7 .13  .495  900    67 2700   .498   900    10000 5700    .0718  900    52 15000   .0     290    15000 2000   .476  890   280 13000
eca-rers2012/Problem03_label39.yml .461  110   2700 1300 .481  900   2300 10000 .0  .028 5.7 .13  .0  .029 5.7 .10  .496  900    71 3400   .498   900    10000 5500    .0718  900    52 13000   .0     290    15000 2000   .479  890   280 12000
eca-rers2012/Problem03_label40.yml .461  110   2900 1200 .481  900   2200 12000 .0  .022 5.7 .12  .0  .032 5.6 .16  .496  900    70 3100   .498   930    6300 6000    .0718  900    52 12000   .0     290    15000 2600   .475  890   270 13000
eca-rers2012/Problem03_label41.yml .461  110   2200 1200 .481  900   2200 11000 .0  .025 5.7 .12  .0  .021 5.8 .17  .496  900    69 2100   .498   900    10000 6100    .0718  900    52 12000   .0     280    15000 2300   .479  890   290 14000
eca-rers2012/Problem03_label42.yml .461  110   2800 1400 .481  900   2400 12000 .0  .023 5.8 .15  .0  .024 5.7 .10  .495  900    69 3400   .498   900    10000 5500    .0718  900    52 13000   .0     290    15000 2300   .479  890   270 12000
eca-rers2012/Problem03_label43.yml .461  110   2200 1200 .481  900   2300 11000 .0  .022 5.7 .12  .0  .038 5.7 .098 .497  900    71 2800   .498   900    10000 5700    .0718  900    52 13000   .0     280    15000 2300   .484  890   290 11000
eca-rers2012/Problem03_label44.yml .461  110   2100 1200 .479  900   2200 11000 .0  .023 5.7 .095 .0  .048 5.7 .095 .495  900    70 2700   .498   900    10000 6300    .0718  900    52 15000   .0     290    15000 2500   .480  890   280 11000
eca-rers2012/Problem03_label45.yml .461  110   2900 1200 .475  900   2100 10000 .0  .046 5.7 .13  .0  .036 5.7 .13  .494  900    71 2800   .498   900    10000 6100    .0718  900    52 12000   .0     290    15000 2400   .473  890   290 11000
eca-rers2012/Problem03_label46.yml .461  110   2700 1300 .481  900   2200 12000 .0  .025 5.7 .060 .0  .039 5.7 .082 .496  900    69 4500   .498   900    10000 5500    .0718  900    52 13000   .0     290    15000 2200   .47   890   270 14000
eca-rers2012/Problem03_label47.yml .461  110   2700 1400 .481  900   2200 10000 .0  .029 5.7 .12  .0  .044 5.6 .088 .0886 13    68 67   .498   900    10000 6100    .0718  900    52 13000   .0     280    15000 2500   .469  890   270 11000
eca-rers2012/Problem03_label48.yml .461  110   2900 1200 .481  900   2300 12000 .0  .051 5.7 .15  .0  .022 5.7 .11  .495  900    69 2900   .498   900    10000 6100    .0718  900    52 13000   .0     290    15000 2300   .472  890   280 13000
eca-rers2012/Problem03_label49.yml .461  110   3000 1400 .481  900   2200 12000 .0  .048 5.6 .10  .0  .018 5.7 .13  .0886 18    69 69   .498   900    10000 5500    .0718  900    52 13000   .0     290    15000 2300   .480  890   280 10000
eca-rers2012/Problem03_label50.yml .461  110   2200 1300 .481  900   2300 9900 .0  .026 5.8 .096 .0  .053 5.7 .11  .497  900    70 3100   .498   900    10000 5300    .0718  900    52 14000   .0     290    15000 2100   .470  890   280 10000
eca-rers2012/Problem03_label51.yml .461  110   2800 1300 .475  900   2100 10000 .0  .029 5.7 .11  .0  .026 5.8 .14  .495  900    69 3800   .498   900    10000 6000    .0718  900    52 12000   .0     290    15000 2100   .480  890   290 14000
eca-rers2012/Problem03_label52.yml .461  110   3000 1400 .481  900   2200 11000 .0  .024 5.7 .089 .0  .022 5.7 .10  .496  900    70 2400   .498   900    10000 5600    .0718  900    52 12000   .0     290    15000 2200   .474  890   280 13000
eca-rers2012/Problem03_label53.yml .461  110   2700 1300 .481  900   2200 11000 .0  .033 5.7 .16  .0  .029 5.6 .19  .496  900    69 3500   .498   900    10000 5400    .0718  900    52 12000   .0     280    15000 2100   .475  890   300 14000
eca-rers2012/Problem03_label54.yml .461  120   3100 1300 .481  900   2200 13000 .0  .047 5.8 .095 .0  .042 5.7 .12  .496  900    69 2100   .498   900    10000 5400    .0718  900    52 12000   .0     290    15000 2600   .475  890   280 12000
eca-rers2012/Problem03_label55.yml .461  120   3000 1500 .481  900   2300 10000 .0  .042 5.7 .094 .0  .029 5.7 .18  .494  900    71 2400   .498   900    10000 6300    .0718  900    52 13000   .0     280    15000 2100   .476  890   280 8700
eca-rers2012/Problem03_label56.yml .461  110   2900 1400 .481  900   2200 10000 .0  .023 5.7 .089 .0  .023 5.7 .14  .0886 18    70 59   .498   900    10000 6900    .0718  900    52 13000   .0     270    15000 3000   .480  890   280 11000
eca-rers2012/Problem03_label57.yml .461  100   2200 1300 .481  900   2300 9800 .0  .033 5.9 .13  .0  .035 5.7 .15  .496  530    70 3300   .498   900    10000 8400    .0718  900    52 14000   .0     280    15000 2400   .468  890   260 13000
eca-rers2012/Problem03_label58.yml .461  110   2300 1500 .481  900   2300 11000 .0  .038 5.5 .089 .0  .023 5.8 .087 .0886 12    70 62   .498   900    10000 5700    .0718  900    52 13000   .0     280    15000 2200   .480  890   300 11000
eca-rers2012/Problem03_label59.yml .461  110   3000 1500 .481  930   2100 11000 .0  .032 5.7 .12  .0  .023 5.7 .12  .495  900    70 2400   .498   900    10000 5800    .0718  900    52 14000   .0     290    15000 2100   .480  890   270 13000
eca-rers2012/Problem04_label00.yml .513  900   6600 11000 .216  900   1600 12000 .0  .044 5.7 .077 .0  .022 5.7 .19  .623  900    130 4700   .817   900    8400 5400    .0987  900    66 14000   .0     900    2300 11000   .806  890   340 11000
eca-rers2012/Problem04_label01.yml .51   900   6700 12000 .216  900   1600 9900 .0  .024 5.7 .074 .0  .022 5.6 .14  .645  900    130 2800   .817   900    8400 6100    .0987  900    65 13000   .0     900    2300 12000   .802  890   350 13000
eca-rers2012/Problem04_label02.yml .517  900   6500 10000 .216  900   1600 11000 .0  .022 5.7 .080 .0  .022 5.7 .12  .646  900    130 2600   .817   900    8400 6000    .0987  900    65 14000   .0     900    2300 13000   .804  890   360 11000
eca-rers2012/Problem04_label03.yml .512  900   6900 9700 .216  900   1700 10000 .0  .021 5.7 .16  .0  .023 5.7 .092 .618  900    130 7600   .818   930    1900 6100    .0987  900    65 14000   .0     900    2300 14000   .804  890   350 10000
eca-rers2012/Problem04_label04.yml .499  900   7200 12000 .216  930   1000 10000 .0  .031 5.6 .19  .0  .023 5.6 .11  .595  900    130 4100   .818   900    8500 6400    .0987  900    65 14000   .0     900    2300 12000   .802  890   360 11000
eca-rers2012/Problem04_label05.yml .518  900   6600 13000 .216  900   1600 9700 .0  .025 5.7 .14  .0  .023 5.7 .085