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-ECA cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA esbmc-kind.test-comp19_prop-coverage-branches.ReachSafety-ECA esbmc-falsi.test-comp19_prop-coverage-branches.ReachSafety-ECA fairfuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA klee.test-comp19_prop-coverage-branches.ReachSafety-ECA prtest.test-comp19_prop-coverage-branches.ReachSafety-ECA symbiotic.test-comp19_prop-coverage-branches.ReachSafety-ECA verifuzz.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options -benchmark -heap 10000M -testcomp19 -benchmark -heap 10000M -tigertestcomp19 -s kinduction -s falsi --stats -i random --write-xml --svcomp-nondets --test-comp --verifier klee-testcomp --testcomp
../sv-benchmarks/c/ status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J) status score cpu (s) mem (MB) energy (J)
eca-rers2012/Problem03_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 .102  26   130 190 .817 900 8400 5600 .0987 900 65 13000 .0  900 2300 11000 .805 890 360 10000
eca-rers2012/Problem04_label06.yml .507  900 6600 10000 .216  900 1600 11000 .0  .021 5.7 .14  .0  .021 5.7 .17  .623  900   130 2700 .818 900 8300 5700 .0987 900 65 12000 .0  900 2300 12000 .803 890 360 12000
eca-rers2012/Problem04_label07.yml .516  900 6900 11000 .216  900 1600 10000 .0  .025 5.7 .081 .0  .047 5.6 .10  .634  900   130 2600 .817 900 8400 6000 .0987 900 65 14000 .0  900 2300 14000 .806 890 340 14000
eca-rers2012/Problem04_label08.yml .507  900 6900 12000 .216  900 1700 9700 .0  .023 5.6 .10  .0  .048 5.6 .084 .666  900   130 4000 .818 930 2900 5600 .0987 900 65 14000 .0  900 2300 14000 .805 890 360 12000
eca-rers2012/Problem04_label09.yml .511  900 6700 12000 .216  900 1600 12000 .0  .025 5.7 .12  .0  .026 5.6 .15  .632  900   130 2900 .817 900 8300 6400 .0987 900 66 13000 .0  900 2300 12000 .804 890 360 11000
eca-rers2012/Problem04_label10.yml .506  900 6800 11000 .216  900 1600 10000 .0  .029 5.6 .066 .0  .025 5.7 .083 .620  900   130 3500 .817 900 8600 7000 .0987 900 65 14000 .0  900 2300 15000 .802 890 350 12000
eca-rers2012/Problem04_label13.yml .504  900 6800 11000 .216  900 1600 11000 .0  .023 5.7 .095 .0  .022 5.7 .12  .589  900   130 2700 .817 900 8600 8000 .0987 900 65 13000 .0  900 2300 12000 .805 890 350 9800
eca-rers2012/Problem04_label15.yml .502  900 6700 11000 .216  900 1600 9700 .0  .043 5.5 .19  .0  .024 5.7 .11  .102  26   130 200 .818 900 8600 8000 .0987 900 65 13000 .0  900 2300 12000 .805 890 350 11000
eca-rers2012/Problem04_label16.yml .506  900 8000 9900 .216  900 1600 9300 .0  .021 5.6 .073 .0  .025 5.7 .083 .618  900   130 2900 .817 900 8600 7900 .0987 900 65 13000 .0  900 2300 13000 .804 890 350 11000
eca-rers2012/Problem04_label18.yml .506  900 6900 12000 .216  900 1600 11000 .0  .027 5.6 .061 .0  .025 5.7 .14  .589  900   130 3100 .817 900 8300 5100 .0987 900 65 12000 .0  900 2300 15000 .805 890 350 13000
eca-rers2012/Problem04_label19.yml .505  900 6900 11000 .216  900 1600 12000 .0  .047 5.6 .093 .0  .023 5.6 .14  .599  900   130 2800 .818 900 8400 5300 .0987 900 65 14000 .0  900 2300 12000 .805 890 340 13000
eca-rers2012/Problem04_label21.yml .506  900 6300 11000 .216  900 1600 10000 .0  .022 5.7 .10  .0  .025 5.8 .12  .102  27   130 190 .817 900 8400 6300 .0987 900 65 10000 .0  900 2300 13000 .804 890 340 12000
eca-rers2012/Problem04_label22.yml .493  900 8500 10000 .216  900 1600 9600 .0  .021 5.7 .15  .0  .023 5.7 .14  .634  900   130 3200 .817 900 8400 6100 .0987 900 65 15000 .0  900 2300 13000 .804 890 340 12000
eca-rers2012/Problem04_label25.yml .503  900 6900 11000 .216  900 1800 9800 .0  .020 5.7 .13  .0  .023 5.8 .16  .604  900   130 3100 .818 900 8400 6100 .0987 900 65 13000 .0  900 2300 13000 .803 890 360 13000
eca-rers2012/Problem04_label26.yml .512  900 6300 12000 .216  900 1700 11000 .0  .024 5.7 .10  .0  .024 5.6 .068 .635  900   130 3800 .817 900 8400 6600 .0987 900 65 12000 .0  900 2300 15000 .807 890 370 11000
eca-rers2012/Problem04_label28.yml .512  900 7300 12000 .216  900 1600 11000 .0  .028 5.9 .15  .0  .025 5.8 .065 .585  900   130 3300 .817 900 8400 5800 .0987 900 65 13000 .0  900 2300 12000 .803 890 340 11000
eca-rers2012/Problem04_label30.yml .506  900 6600 12000 .216  900 1600 11000 .0  .024 5.6 .085 .0  .024 5.8 .075 .687  900   130 4000 .817 900 8600 7000 .0987 900 65 13000 .0  900 2300 13000 .803 890 330 11000
eca-rers2012/Problem04_label31.yml .498  900 7300 9500 .216  900 1600 11000 .0  .023 5.7 .035 .0  .035 5.7 .095 .628  900   130 2800 .817 900 8400 5200 .0987 900 65 12000 .0  900 2300 13000 .804 890 350 10000
eca-rers2012/Problem04_label32.yml .512  900 6700 11000 .216  900 1700 11000 .0  .050 5.7 .091 .0  .023 5.7 .089 .102  22   130 180 .817 900 8500 7100 .0987 900 66 14000 .0  900 2300 13000 .803 890 350 11000
eca-rers2012/Problem04_label33.yml .510  900 6900 9900 .216  900 1600 11000 .0  .026 5.7 .16  .0  .036 5.7 .098 .613  900   130 2300 .817 900 8400 6500 .0987 900 65 14000 .0  900 2300 12000 .804 890 350 11000
eca-rers2012/Problem04_label34.yml .515  900 6700 11000 .216  900 1600 10000 .0  .028 5.7 .12  .0  .027 5.7 .082 .609  900   130 2700 .817 900 8500 5900 .0987 900 65 13000 .0  900 2300 14000 .804 890 360 10000
eca-rers2012/Problem04_label35.yml .51   900 6600 12000 .216  900 1800 10000 .0  .049 5.7 .067 .0  .022 5.8 .098 .673  900   130 3800 .817 900 8300 5500 .0987 900 65 11000 .0  900 2300 11000 .802 890 350 9500
eca-rers2012/Problem04_label38.yml .507  900 7600 9500 .216  900 1600 10000 .0  .050 5.7 .15  .0  .021 5.7 .14  .573  900   130 2700 .817 900 8400 6600 .0987 900 65 14000 .0  900 2300 14000 .806 890 350 11000
eca-rers2012/Problem04_label39.yml .498  900 7900 11000 .216  900 1700 13000 .0  .029 5.7 .15  .0  .051 5.5 .14  .627  900   130 3900 .818 900 8400 6400 .0987 900 65 13000 .0  900 2300 14000 .805 890 340 11000
eca-rers2012/Problem04_label41.yml .503  900 7100 11000 .216  900 1600 9400 .0  .022 5.7 .13  .0  .030 5.9 .18  .102  27   130 200 .817 900 8300 5600 .0987 900 65 12000 .0  900 2300 11000 .806 890 360 11000
eca-rers2012/Problem04_label45.yml .498  900 6000 11000 .216  900 1600 12000 .0  .023 5.7 .14  .0  .050 5.7 .091 .627  900   130 2500 .818 900 8600 8000 .0987 900 65 14000 .0  900 2300 11000 .804 890 350 12000
eca-rers2012/Problem04_label47.yml .507  900 6900 10000 .216  900 1600 10000 .0  .024 5.7 .20  .0  .028 5.6 .22  .588  900   130 2500 .817 900 8400 6500 .0987 900 65 13000 .0  900 2300 14000 .805 890 350 11000
eca-rers2012/Problem04_label48.yml .501  900 7000 13000 .216  900 1700 12000 .0  .022 5.6 .088 .0  .025 5.8 .12  .536  900   130 2500 .817 900 8400 6300 .0987 900 65 14000 .0  900 2300 12000 .803 890 350 14000
eca-rers2012/Problem04_label50.yml .506  900 6800 11000 .216  900 1800 12000 .0  .026 5.7 .10  .0  .025 5.7 .11  .102  30   130 190 .818 900 8600 8600 .0987 900 65 11000 .0  900 2300 12000 .806 890 360 12000
eca-rers2012/Problem04_label51.yml .501  900 7700 11000 .216  900 1600 11000 .0  .019 5.7 .048 .0  .025 5.7 .082 .575  900   130 2600 .817 900 8400 5700 .0987 900 65 15000 .0  900 2300 15000 .802 890 350 12000
eca-rers2012/Problem04_label52.yml .512  900 6500 11000 .216  900 1700 11000 .0  .024 5.7 .059 .0  .029 5.7 .21  .102  21   130 160 .818 930 2000 6800 .0987 900 65 12000 .0  900 2300 13000 .804 890 350 13000
eca-rers2012/Problem04_label53.yml .512  900 6600 10000 .216  900 1600 12000 .0  .028 5.7 .19  .0  .024 5.7 .15  .102  30   130 190 .817 900 8400 6200 .0987 900 65 13000 .0  900 2300 13000 .804 890 350 11000
eca-rers2012/Problem04_label54.yml .506  900 7000 11000 .216  900 1700 11000 .0  .022 5.8 .13  .0  .025 5.7 .13  .646  900   130 3300 .818 900 8400 6600 .0987 900 65 13000 .0  900 2300 12000 .806 890 350 11000
eca-rers2012/Problem04_label55.yml .515  900 7700 11000 .216  900 1600 11000 .0  .029 5.6 .13  .0  .036 5.5 .15  .102  25   130 200 .818 900 8400 6100 .0987 900 65 15000 .0  900 2300 12000 .806 890 350 10000
eca-rers2012/Problem04_label56.yml .511  900 7000 11000 .216  900 1600 12000 .0  .036 5.7 .10  .0  .022 5.7 .13  .578  900   130 2700 .818 900 8600 8600 .0987 900 65 13000 .0  900 2300 17000 .806 890 350 10000
eca-rers2012/Problem04_label59.yml .514  900 6500 11000 .215  900 1700 9900 .0  .021 5.7 .092 .0  .021 5.7 .13  .639  900   130 3600 .818 900 8300 6500 .0987 900 65 14000 .0  900 2300 15000 .802 890 340 9700
eca-rers2012/Problem05_label00.yml .266  900 7600 11000 .112  900 1800 11000 .0  .023 5.7 .097 .0  .021 5.6 .13  .626  900   200 3800 .683 900 8700 5700 .0934 900 88 15000 .0  900 4200 11000 .681 900 480 11000
eca-rers2012/Problem05_label01.yml .277  900 5800 13000 .112  900 1900 12000 .0  .030 5.7 .18  .0  .037 5.5 .076 .615  900   200 3500 .684 900 8900 5700 .0934 900 89 14000 .0  900 4300 11000 .681 900 490 12000
eca-rers2012/Problem05_label02.yml .271  900 7500 12000 .112  900 1600 12000 .0  .025 5.7 .11  .0  .035 5.5 .15  .619  900   200 3300 .684 900 8900 5100 .0934 900 88 14000 .0  900 4200 15000 .680 900 480 11000
eca-rers2012/Problem05_label03.yml .281  900 6500 11000 .112  900 1900 11000 .0  .042 5.6 .11  .0  .024 5.7 .11  .618  900   200 3000 .684 900 9000 5300 .0934 900 88 12000 .0  900 4200 14000 .680 890 480 11000
eca-rers2012/Problem05_label04.yml .265  900 7200 11000 .112  900 1800 10000 .0  .052 5.7 .17  .0  .045 5.7 .093 .112  29   200 210 .684 900 8800 5600 .0934 900 89 13000 .0  900 4300 13000 .681 890 480 11000
eca-rers2012/Problem05_label05.yml .266  900 9000 9900 .112  900 1900 9700 .0  .030 5.5 .12  .0  .034 5.7 .080 .607  900   200 2900 .684 900 8800 6000 .0934 900 88 12000 .0  900 4300 11000 .681 900 480 13000
eca-rers2012/Problem05_label06.yml .274  900 5800 11000 .112  900 1800 13000 .0  .023 5.7 .14  .0  .022 5.7 .13  .625  900   200 3700 .684 900 9000 7600 .0934 900 88 13000 .0  900 4300 14000 .680 900 490 13000
eca-rers2012/Problem05_label07.yml .275  900 6600 11000 .112  900 1800 10000 .0  .025 5.7 .10  .0  .022 5.7 .11  .629  900   200 2900 .684 900 9000 6900 .0934 900 88 12000 .0  900 4200 11000 .678 900 490 13000
eca-rers2012/Problem05_label08.yml .269  900 6200 11000 .112  900 1600 10000 .0  .021 5.7 .037 .0  .025 5.7 .083 .112  33   200 260 .684 900 8900 5700 .0934 900 88 12000 .0  900 4200 12000 .679 900 480 13000
eca-rers2012/Problem05_label09.yml .273  900 7500 11000 .112  900 1600 10000 .0  .049 5.8 .083 .0  .027 5.6 .050 .623  900   200 2800 .683 900 8900 7000 .0934 900 89 12000 .0  900 4300 11000 .679 900 480 13000
eca-rers2012/Problem05_label10.yml .279  900 6000 11000 .112  900 1800 9300 .0  .021 5.6 .098 .0  .022 5.7 .11  .599  900   200 2600 .683 900 8800 5400 .0934 900 88 12000 .0  900 4200 14000 .680 900 480 10000
eca-rers2012/Problem05_label11.yml .278  900 7000 9900 .112  930 1800 13000 .0  .026 5.7 .15  .0  .025 5.6 .12  .625  900   200 2700 .684 900 8800 5900 .0934 900 88 12000 .0  900 4200 12000 .680 900 490 12000
eca-rers2012/Problem05_label12.yml .277  900 6000 14000 .112  900 1900 12000 .0  .047 5.6 .11  .0  .028 5.7 .13  .615  900   200 2700 .683 900 8900 6100 .0934 900 89 14000 .0  900 4200 12000 .679 900 480 14000
eca-rers2012/Problem05_label13.yml .271  900 6200 10000 .112  900 1800 11000 .0  .035 5.6 .20  .0  .039 5.7 .077 .112  26   200 250 .684 900 9000 8700 .0934 900 88 14000 .0  900 4300 12000 .680 900 480 11000
eca-rers2012/Problem05_label14.yml .278  900 6200 12000 .112  900 1700 11000 .0  .028 5.6 .20  .0  .024 5.7 .15  .621  900   200 3400 .683 900 8700 7200 .0934 900 88 12000 .0  900 4200 12000 .679 900 480 11000
eca-rers2012/Problem05_label15.yml .279  900 5600 11000 .112  900 1600 11000 .0  .027 5.7 .11  .0  .028 5.7 .17  .618  900   200 4800 .683 900 8800 5800 .0934 900 88 13000 .0  900 4000 13000 .682 900 480 11000
eca-rers2012/Problem05_label16.yml .274  900 7700 10000 .112  900 1600 9300 .0  .023 5.8 .091 .0  .024 5.7 .16  .615  900   200 4600 .684 900 9000 6300 .0934 900 88 15000 .0  900 4200 12000 .680 900 510 10000
eca-rers2012/Problem05_label17.yml .275  900 6300 10000 .112  900 1700 10000 .0  .027 5.7 .11  .0  .022 5.7 .14  .648  900   200 4100 .683 900 8800 5700 .0934 900 88 13000 .0  900 4200 14000 .681 890 480 11000
eca-rers2012/Problem05_label18.yml .260  900 7500 10000 .112  900 1700 11000 .0  .023 5.7 .16  .0  .052 5.8 .14  .644  900   200 6900 .684 900 9200 6900 .0934 900 88 14000 .0  900 4200 12000 .681 900 490 14000
eca-rers2012/Problem05_label19.yml .280  900 6200 13000 .112  900 1900 10000 .0  .021 5.6 .21  .0  .021 5.7 .19  .629  900   200 4200 .683 900 8800 5500 .0934 900 88 14000 .0  900 4200 12000 .679 890 480 11000
eca-rers2012/Problem05_label20.yml .273  900 6000 14000 .112  900 1900 12000 .0  .019 5.7 .15  .0  .027 5.7 .12  .598  900   200 3000 .683 900 8900 8300 .0934 900 88 14000 .0  900 4200 12000 .681 900 480 11000
eca-rers2012/Problem05_label21.yml .279  900 5800 13000 .112  900 1600 11000 .0  .052 5.7 .16  .0  .030 5.7 .12  .628  900   200 3700 .684 900 9100 7900 .0934 900 88 11000 .0  900 4200 13000 .680 890 480 13000
eca-rers2012/Problem05_label22.yml .273  900 6800 11000 .112  900 1600 11000 .0  .018 5.6 .069 .0  .046 5.7 .10  .603  900   200 3100 .684 900 8700 5600 .0934 900 88 14000 .0  900 4300 13000 .68  900 480 13000
eca-rers2012/Problem05_label23.yml .275  900 6500 11000 .112  900 1800 13000 .0  .032 5.7 .17  .0  .024 5.7 .12  .112  31   200 230 .684 900 8700 5800 .0934 900 88 11000 .0  900 4300 11000 .679 900 490 13000
eca-rers2012/Problem05_label24.yml .276  900 6300 11000 .112  900 1900 10000 .0  .018 5.6 .039 .0  .025 5.6 .15  .112  31   200 260 .683 900 8800 6200 .0934 900 88 14000 .0  900 4300 13000 .680 900 500 11000
eca-rers2012/Problem05_label25.yml .271  900 6900 11000 .112  900 1800 12000 .0  .024 5.7 .14  .0  .042 5.7 .099 .622  900   200 2000 .683 900 8800 5600 .0934 900 88 12000 .0  900 4200 11000 .679 890 490 9600
eca-rers2012/Problem05_label26.yml .275  900 6300 11000 .112  900 1900 11000 .0  .021 5.7 .15  .0  .025 5.7 .094 .622  900   200 5100 .684 900 8800 6700 .0934 900 88 12000 .0  900 4200 13000 .680 890 480 11000
eca-rers2012/Problem05_label27.yml .265  900 7100 11000 .112  900 1600 13000 .0  .020 5.7 .044 .0  .037 5.7 .039 .112  37   200 270 .684 900 8700 6000 .0934 900 88 13000 .0  900 4200 11000 .680 900 490 10000
eca-rers2012/Problem05_label28.yml .267  900 7900 10000 .112  900 1800 12000 .0  .024 5.7 .12  .0  .026 5.7 .11  .604  900   200 2700 .683 900 8900 7200 .0934 900 88 14000 .0  900 4300 15000 .678 900 490 10000
eca-rers2012/Problem05_label29.yml .268  900 6800 11000 .112  900 1600 12000 .0  .023 5.7 .16  .0  .021 5.6 .13  .639  900   200 4200 .684 900 8900 6800 .0934 900 88 14000 .0  900 4200 14000 .680 900 500 12000
eca-rers2012/Problem05_label30.yml .267  900 6900 9900 .112  900 1900 10000 .0  .029 5.7 .046 .0  .025 5.6 .052 .644  900   200 3500 .684 900 8700 5900 .0934 900 89 13000 .0  900 4200 11000 .679 900 480 11000
eca-rers2012/Problem05_label31.yml .277  900 5700 11000 .112  900 1700 9800 .0  .037 5.7 .12  .0  .020 5.6 .12  .615  900   200 2800 .684 900 8800 6000 .0934 900 88 14000 .0  900 4200 12000 .681 900 480 13000
eca-rers2012/Problem05_label32.yml .272  900 5700 10000 .112  900 1600 10000 .0  .032 5.7 .13  .0  .041 5.7 .082 .594  900   200 2700 .684 900 9000 8000 .0934 900 88 15000 .0  900 4200 14000 .679 890 500 11000
eca-rers2012/Problem05_label33.yml .274  900 6300 11000 .112  900 1900 11000 .0  .022 5.7 .11  .0  .022 5.7 .16  .112  27   200 260 .683 900 8900 5700 .0934 900 88 13000 .0  900 4200 13000 .679 890 490 11000
eca-rers2012/Problem05_label34.yml .275  900 7000 11000 .112  900 1600 11000 .0  .031 5.6 .099 .0  .028 5.7 .11  .112  37   200 180 .684 900 8800 5200 .0934 900 88 13000 .0  900 4200 11000 .680 890 480 13000
eca-rers2012/Problem05_label35.yml .282  900 6400 11000 .112  900 1800 11000 .0  .048 5.6 .088 .0  .029 5.6 .18  .112  37   200 250 .684 900 8800 5800 .0934 900 88 13000 .0  900 4200 14000 .679 900 490 14000
eca-rers2012/Problem05_label36.yml .283  900 7100 10000 .112  900 1600 11000 .0  .047 5.6 .098 .0  .025 5.8 .066 .112  27   200 190 .684 900 9000 6400 .0934 900 88 15000 .0  900 4200 13000 .680 900 480 13000
eca-rers2012/Problem05_label37.yml .269  900 6200 11000 .112  900 1800 11000 .0  .026 5.7 .064 .0  .027 5.7 .18  .602  900   200 2600 .683 900 8800 6300 .0934 900 89 13000 .0  900 4300 12000 .679 900 470 11000
eca-rers2012/Problem05_label38.yml .274  900 6400 12000 .112  900 1900 12000 .0  .025 5.7 .15  .0  .020 5.7 .18  .612  900   200 2600 .684 900 8900 6300 .0934 900 88 12000 .0  900 3800 11000 .679 900 490 11000
eca-rers2012/Problem05_label39.yml .275  900 6300 12000 .112  900 1600 9300 .0  .031 5.7 .16  .0  .022 5.7 .15  .626  900   200 3100 .683 900 8800 6600 .0934 900 88 11000 .0  900 4200 13000 .680 900 480 11000
eca-rers2012/Problem05_label40.yml .277  900 6400 12000 .112  900 1800 11000 .0  .023 5.7 .13  .0  .023 5.8 .11  .618  900   200 2700 .684 900 8700 5500 .0934 900 88 12000 .0  900 4200 14000 .679 900 490 13000
eca-rers2012/Problem05_label41.yml .269  900 8000 11000 .112  900 1700 11000 .0  .031 5.8 .19  .0  .023 5.6 .14  .615  900   200 2100 .684 900 8900 6900 .0934 900 88 13000 .0  900 4300 15000 .679 900 490 12000
eca-rers2012/Problem05_label42.yml .274  900 5800 13000 .112  930 1900 13000 .0  .029 5.8 .090 .0  .026 5.7 .13  .626  900   200 3000 .683 900 8700 6800 .0934 900 88 14000 .0  900 4300 13000 .679 900 490 10000
eca-rers2012/Problem05_label43.yml .278  900 6000 12000 .112  900 1800 12000 .0  .049 5.7 .10  .0  .023 5.7 .11  .112  37   200 270 .683 900 8900 5600 .0934 900 88 14000 .0  900 4200 13000 .680 900 490 10000
eca-rers2012/Problem05_label44.yml .261  900 7000 12000 .112  900 1800 10000 .0  .040 5.7 .098 .0  .023 5.7 .13  .61   900   200 2600 .683 900 9100 8500 .0934 900 88 13000 .0  900 4200 13000 .679 890 480 11000
eca-rers2012/Problem05_label45.yml .270  900 5700 12000 .112  900 1800 12000 .0  .023 5.7 .090 .0  .023 5.7 .090 .633  900   200 3700 .684 900 8900 5200 .0934 900 88 14000 .0  900 4200 12000 .680 890 490 9500
eca-rers2012/Problem05_label46.yml .271  900 6500 12000 .112  900 1600 11000 .0  .025 5.7 .13  .0  .024 5.8 .087 .112  30   200 250 .683 900 8900 6800 .0934 900 88 15000 .0  900 4200 12000 .681 890 480 13000
eca-rers2012/Problem05_label47.yml .271  900 6800 11000 .112  900 1600 10000 .0  .030 5.8 .18  .0  .028 5.7 .18  .622  900   200 2700 .683 900 8800 5700 .0934 900 88 13000 .0  900 4200 13000 .679 900 480 12000
eca-rers2012/Problem05_label48.yml .276  900 6200 10000 .112  900 1800 11000 .0  .025 5.9 .20  .0  .022 5.6 .17  .615  900   200 4800 .684 900 8800 5700 .0934 900 89 13000 .0  900 4200 13000 .679 890 480 13000
eca-rers2012/Problem05_label49.yml .277  900 4300 11000 .112  900 1700 12000 .0  .022 5.7 .093 .0  .025 5.7 .19  .112  29   200 260 .683 900 8800 5600 .0934 900 88 14000 .0  900 4200 13000 .679 890 480 11000
eca-rers2012/Problem05_label50.yml .284  900 6400 11000 .112  900 1900 11000 .0  .023 5.7 .12  .0  .022 5.7 .072 .112  29   200 200 .683 900 8800 5800 .0934 900 88 13000 .0  900 4200 13000 .679 890 480 11000
eca-rers2012/Problem05_label51.yml .277  900 5700 11000 .112  900 1600 11000 .0  .025 5.7 .13  .0  .028 5.7 .13  .604  900   200 2700 .684 900 8800 6200 .0934 900 88 15000 .0  900 4200 11000 .676 900 480 11000
eca-rers2012/Problem05_label52.yml .271  900 5900 11000 .112  900 1700 12000 .0  .029 5.7 .14  .0  .026 5.8 .16  .618  900   200 3000 .684 900 9100 6800 .0934 900 89 12000 .0  900 4200 12000 .680 900 490 11000
eca-rers2012/Problem05_label53.yml .275  900 6100 13000 .112  900 1800 12000 .0  .028 5.7 .18  .0  .027 5.8 .13  .620  900   200 5600 .683 900 8800 5100 .0934 900 88 14000 .0  900 4200 12000 .680 900 490 10000
eca-rers2012/Problem05_label54.yml .278  900 5700 11000 .112  900 1900 10000 .0  .023 5.7 .17  .0  .024 5.6 .11  .112  37   200 240 .683 900 8700 6100 .0934 900 88 14000 .0  900 4300 12000 .680 900 480 14000
eca-rers2012/Problem05_label55.yml .274  900 7100 12000 .112  900 1600 12000 .0  .026 5.7 .063 .0  .036 5.6 .11  .630  900   200 3800 .684 900 9000 7900 .0934 900 89 15000 .0  900 4300 11000 .678 900 490 11000
eca-rers2012/Problem05_label56.yml .259  900 5600 12000 .112  900 1900 11000 .0  .030 5.7 .14  .0  .024 5.7 .14  .112  36   200 240 .684 900 8900 6000 .0934 900 88 12000 .0  900 4200 13000 .679 900 480 11000
eca-rers2012/Problem05_label57.yml .267  900 9000 9900 .112  900 1600 13000 .0  .026 5.7 .13  .0  .029 5.7 .19  .629  900   200 2600 .683 900 8800 6200 .0934 900 88 13000 .0  900 4300 13000 .682 900 490 11000
eca-rers2012/Problem05_label58.yml .275  900 5700 12000 .112  900 1700 11000 .0  .025 5.7 .12  .0  .022 5.7 .092 .625  900   200 3000 .683 900 8900 5800 .0934 900 88 12000 .0  900 4300 13000 .679 900 480 12000
eca-rers2012/Problem05_label59.yml .269  900 8400 10000 .112  900 1800 9400 .0  .031 5.7 .17  .0  .048 5.5 .15  .112  25   200 210 .683 900 8900 5700 .0934 900 88 14000 .0  900 4200 11000 .678 890 470 11000
eca-rers2012/Problem06_label00.yml .278  900 14000 14000 .0987 900 1300 8300 .0  .049 5.7 .096 .0  .023 5.7 .13  .580  900   190 2700 .592 900 9500 6100 .0941 900 89 15000 .0  900 9100 12000 .590 890 470 11000
eca-rers2012/Problem06_label01.yml .274  900 13000 12000 .0987 900 1300 12000 .0  .026 5.7 .11  .0  .037 5.7 .070 .569  900   190 2800 .592 900 9500 4900 .0941 900 89 12000 .0  900 9000 11000 .589 890 460 11000
eca-rers2012/Problem06_label02.yml .271  900 12000 10000 .0987 900 1300 11000 .0  .023 5.8 .14  .0  .040 5.7 .083 .569  900   190 2700 .592 900 9500 6700 .0941 900 89 13000 .0  900 9300 12000 .590 890 460 13000
eca-rers2012/Problem06_label03.yml .265  900 10000 11000 .0987 930 1300 10000 .0  .022 5.7 .13  .0  .026 5.7 .086 .590  900   190 3900 .591 900 9500 5500 .0941 900 89 14000 .0  900 9100 12000 .590 890 460 11000
eca-rers2012/Problem06_label04.yml .281  900 13000 12000 .0987 900 1300 10000 .0  .025 5.7 .13  .0  .021 5.7 .097 .578  900   190 2700 .592 900 9500 6100 .0941 900 89 14000 .0  900 9100 13000 .590 890 450 13000
eca-rers2012/Problem06_label05.yml .263  900 11000 12000 .0987 900 1200 11000 .0  .029 5.7 .080 .0  .030 5.8 .12  .580  900   190 2600 .592 900 9500 6800 .0941 900 89 14000 .0  900 8900 11000 .590 890 480 13000
eca-rers2012/Problem06_label06.yml .275  900 13000 11000 .0987 930 1300 12000 .0  .023 5.7 .090 .0  .028 5.5 .18  .0987 31   190 140 .592 900 9500 5600 .0941 900 89 15000 .0  900 9200 11000 .591 890 470 11000
eca-rers2012/Problem06_label07.yml .268  900 13000 11000 .0987 900 1300 10000 .0  .026 5.7 .088 .0  .043 5.6 .083 .593  900   190 4800 .592 900 9500 4900 .0941 900 89 13000 .0  900 8800 12000 .590 890 460 10000
eca-rers2012/Problem06_label08.yml .273  900 13000 8900 .0987 900 1400 13000 .0  .021 5.8 .073 .0  .018 5.8 .15  .553  900   190 2600 .592 900 9500 6000 .0941 900 89 14000 .0  900 9000 11000 .591 890 470 12000
eca-rers2012/Problem06_label09.yml .280  900 13000 11000 .0987 900 2600 10000 .0  .022 5.7 .14  .0  .036 5.6 .078 .582  900   190 2200 .593 900 9500 5200 .0941 900 89 15000 .0  900 8900 11000 .591 890 470 11000
eca-rers2012/Problem06_label10.yml .280  900 13000 11000 .0987 900 1400 11000 .0  .023 5.6 .11  .0  .022 5.7 .086 .591  900   190 3900 .592 900 9500 5100 .0941 900 89 13000 .0  900 9200 11000 .590 890 470 11000
eca-rers2012/Problem06_label11.yml .271  900 12000 12000 .0987 900 1300 12000 .0  .030 5.7 .12  .0  .024 5.7 .095 .595  900   190 4500 .592 900 9500 7600 .0941 900 89 15000 .0  900 8800 11000 .59  890 460 11000
eca-rers2012/Problem06_label12.yml .270  900 12000 11000 .0987 900 1400 11000 .0  .023 5.8 .12  .0  .032 5.6 .12  .588  900   190 3200 .592 900 9500 5900 .0941 900 89 13000 .0  900 9300 12000 .591 890 460 12000
eca-rers2012/Problem06_label13.yml .281  900 13000 11000 .0987 900 1300 10000 .0  .029 5.7 .19  .0  .031 5.7 .11  .588  900   190 3100 .593 900 9500 6700 .0941 900 89 12000 .0  900 9200 11000 .591 890 470 12000
eca-rers2012/Problem06_label14.yml .269  900 10000 9800 .0987 900 1300 11000 .0  .022 5.6 .18  .0  .027 5.6 .12  .578  900   190 4400 .592 900 9500 4300 .0941 900 89 15000 .0  900 9200 11000 .591 890 460 13000
eca-rers2012/Problem06_label15.yml .271  900 12000 10000 .0987 900 1300 11000 .0  .027 5.6 .14  .0  .022 5.6 .12  .520  900   190 2500 .593 900 9500 5000 .0941 900 89 11000 .0  900 8800 11000 .590 890 470 10000
eca-rers2012/Problem06_label16.yml .272  900 13000 11000 .0987 900 1300 9800 .0  .030 5.7 .16  .0  .023 5.7 .092 .591  900   190 2400 .592 900 9500 6600 .0941 900 89 15000 .0  900 9100 12000 .591 890 460 12000
eca-rers2012/Problem06_label17.yml .271  900 12000 11000 .0987 900 1300 10000 .0  .028 5.7 .14  .0  .025 5.7 .075 .0987 22   190 180 .596 930 7000 5900 .0941 900 89 13000 .0  900 9100 11000 .591 890 460 11000
eca-rers2012/Problem06_label18.yml .269  900 11000 11000 .0987 900 1300 11000 .0  .021 5.7 .13  .0  .028 5.7 .12  .582  900   190 4800 .592 900 9500 4700 .0941 900 89 12000 .0  900 9000 11000 .589 890 470 11000
eca-rers2012/Problem06_label19.yml .271  900 12000 12000 .0987 900 1400 11000 .0  .040 5.8 .16  .0  .047 5.7 .066 .561  900   190 3000 .592 900 9500 5300 .0941 900 89 14000 .0  900 8600 10000 .590 890 470 11000
eca-rers2012/Problem06_label20.yml .283  900 13000 11000 .0987 900 1400 12000 .0  .024 5.7 .078 .0  .025 5.6 .11  .0987 30   190 150 .592 900 9500 5300 .0941 900 89 13000 .0  900 8800 11000 .589 890 450 13000
eca-rers2012/Problem06_label21.yml .274  900 13000 9900 .0987 930 1300 10000 .0  .022 5.8 .099 .0  .022 5.7 .11  .565  900   190 2400 .592 900 9500 5800 .0941 900 89 13000 .0  900 8700 11000 .591 890 470 13000
eca-rers2012/Problem06_label22.yml .271  900 12000 11000 .0987 900 1300 12000 .0  .029 5.6 .10  .0  .023 5.7 .081 .597  900   190 6900 .592 900 9500 5700 .0941 900 89 12000 .0  900 8800 11000 .592 890 450 11000
eca-rers2012/Problem06_label23.yml .262  900 10000 11000 .0987 900 1300 10000 .0  .027 5.7 .17  .0  .026 5.7 .069 .579  900   190 2700 .592 900 9500 6500 .0941 900 89 12000 .0  900 9000 12000 .591 890 460 11000
eca-rers2012/Problem06_label24.yml .277  900 13000 11000 .0987 900 1400 13000 .0  .024 5.7 .099 .0  .022 5.7 .15  .585  900   190 2900 .592 900 9500 5700 .0941 900 89 11000 .0  900 8600 13000 .591 890 460 11000
eca-rers2012/Problem06_label25.yml .263  900 10000 11000 .0987 900 1400 12000 .0  .026 5.7 .11  .0  .022 5.7 .098 .0987 25   190 140 .592 900 9500 5500 .0941 900 89 12000 .0  900 9100 11000 .591 890 470 10000
eca-rers2012/Problem06_label26.yml .266  900 10000 12000 .0987 900 1400 12000 .0  .024 5.7 .11  .0  .022 5.8 .13  .561  900   190 2400 .592 900 9500 8600 .0941 900 89 15000 .0  900 8800 12000 .591 890 460 14000
eca-rers2012/Problem06_label27.yml .273  900 13000 11000 .0987 900 1300 10000 .0  .025 5.7 .15  .0  .027 5.6 .084 .584  900   190 5400 .592 900 9500 8500 .0941 900 89 13000 .0  900 9100 11000 .590 900 470 11000
eca-rers2012/Problem06_label28.yml .281  900 13000 9800 .0987 900 1200 11000 .0  .048 5.9 .076 .0  .027 5.7 .10  .585  900   190 3700 .593 900 9500 7000 .0941 900 89 12000 .0  900 8800 11000 .591 890 460 11000
eca-rers2012/Problem06_label29.yml .268  900 10000 11000 .0987 900 1300 10000 .0  .021 5.7 .15  .0  .023 5.6 .12  .577  900   190 2400 .592 900 9500 5500 .0941 900 89 12000 .0  900 9100 12000 .591 890 460 13000
eca-rers2012/Problem06_label30.yml .279  900 13000 10000 .0987 900 1400 9900 .0  .030 5.8 .16  .0  .024 5.7 .14  .586  900   190 4400 .592 900 9500 6100 .0941 900 89 14000 .0  900 9200 12000 .592 890 470 10000
eca-rers2012/Problem06_label31.yml .277  900 13000 11000 .0987 900 1300 13000 .0  .023 5.7 .11  .0  .040 5.5 .14  .585  900   190 2700 .593 900 9500 5500 .0941 900 89 13000 .0  900 8800 11000 .590 890 460 11000
eca-rers2012/Problem06_label32.yml .281  900 13000 9900 .0987 900 1300 9800 .0  .024 5.7 .10  .0  .023 5.6 .11  .588  900   190 3900 .593 900 9500 8000 .0941 900 89 14000 .0  900 9100 11000 .590 890 450 10000
eca-rers2012/Problem06_label33.yml .281  900 13000 11000 .0987 900 2800 9300 .0  .031 5.7 .086 .0  .025 5.7 .094 .0987 31   190 140 .592 900 9500 5500 .0941 900 89 13000 .0  900 8800 12000 .590 890 460 13000
eca-rers2012/Problem06_label34.yml .278  900 13000 12000 .0987 900 2000 11000 .0  .025 5.7 .11  .0  .018 5.6 .059 .586  900   190 3600 .592 900 9500 4700 .0941 900 89 13000 .0  900 8800 12000 .591 890 470 11000
eca-rers2012/Problem06_label35.yml .274  900 13000 11000 .0987 900 1200 11000 .0  .025 5.7 .075 .0  .024 5.7 .17  .584  900   190 3200 .593 900 9500 6000 .0941 900 89 14000 .0  900 8800 9900 .591 890 460 11000
eca-rers2012/Problem06_label36.yml .278  900 13000 12000 .0987 900 1200 9700 .0  .022 5.7 .14  .0  .026 5.7 .11  .591  900   190 2400 .593 900 9500 8300 .0941 900 89 13000 .0  900 8900 10000 .592 890 470 10000
eca-rers2012/Problem06_label37.yml .266  900 10000 11000 .0987 900 1200 11000 .0  .027 5.7 .29  .0  .024 5.7 .12  .574  900   190 2600 .591 900 9500 5600 .0941 900 89 11000 .0  900 9200 11000 .591 890 450 11000
eca-rers2012/Problem06_label38.yml .274  900 13000 11000 .0987 900 1300 11000 .0  .031 5.6 .17  .0  .047 5.6 .099 .565  900   190 2800 .591 900 9500 5400 .0941 900 89 11000 .0  900 8900 11000 .592 890 470 12000
eca-rers2012/Problem06_label39.yml .272  900 12000 9000 .0987 900 1300 9200 .0  .023 5.7 .14  .0  .025 5.7 .11  .0987 28   190 140 .591 900 9500 6200 .0941 900 89 14000 .0  900 9000 11000 .590 890 460 10000
eca-rers2012/Problem06_label40.yml .264  900 10000 12000 .0987 900 1300 10000 .0  .021 5.7 .19  .0  .027 5.7 .25  .574  900   190 2700 .592 900 9500 5400 .0941 900 89 12000 .0  900 9200 12000 .590 890 470 12000
eca-rers2012/Problem06_label41.yml .271  900 12000 11000 .0987 900 1300 11000 .0  .024 5.7 .056 .0  .021 5.6 .15  .594  900   190 4100 .592 900 9500 6700 .0941 900 89 14000 .0  900 9100 12000 .591 890 450 11000
eca-rers2012/Problem06_label42.yml .276  900 13000 11000 .0987 900 1300 11000 .0  .023 5.7 .10  .0  .027 5.7 .10  .585  900   190 2500 .592 900 9500 5900 .0941 900 89 12000 .0  900 9200 9900 .590 890 460 11000
eca-rers2012/Problem06_label43.yml .272  900 12000 11000 .0987 900 1300 11000 .0  .026 5.7 .12  .0  .025 5.7 .14  .589  900   190 2600 .593 900 9500 5800 .0941 900 89 13000 .0  900 8900 11000 .591 890 460 11000
eca-rers2012/Problem06_label44.yml .275  900 13000 11000 .0987 900 1300 11000 .0  .030 5.7 .18  .0  .027 5.7 .11  .0987 24   190 140 .592 900 9500 5800 .0941 900 89 13000 .0  900 9200 11000 .591 890 460 13000
eca-rers2012/Problem06_label45.yml .28   900 13000 12000 .0987 900 1400 11000 .0  .024 5.7 .091 .0  .019 5.6 .12  .574  900   190 2700 .592 900 9500 5800 .0941 900 89 13000 .0  900 8700 11000 .591 890 460 11000
eca-rers2012/Problem06_label46.yml .269  900 12000 12000 .0987 900 1300 11000 .0  .026 5.7 .11  .0  .040 5.6 .13  .0987 28   190 130 .592 900 9500 6100 .0941 900 89 15000 .0  900 8700 12000 .592 900 470 12000
eca-rers2012/Problem06_label47.yml .278  900 13000 10000 .0987 900 1300 12000 .0  .023 5.7 .090 .0  .023 5.6 .16  .0987 22   190 170 .593 900 9500 6300 .0941 900 89 13000 .0  900 8800 13000 .591 890 460 11000
eca-rers2012/Problem06_label48.yml .267  900 9900 12000 .0987 900 1400 9900 .0  .022 5.6 .17  .0  .051 5.7 .095 .579  900   190 2900 .592 900 9500 5500 .0941 900 89 12000 .0  900 9200 12000 .590 890 470 12000
eca-rers2012/Problem06_label49.yml .278  900 13000 13000 .0987 900 1300 11000 .0  .035 5.7 .15  .0  .023 5.7 .079 .581  900   190 3200 .592 900 9500 5400 .0941 900 89 14000 .0  900 9100 10000 .590 890 470 12000
eca-rers2012/Problem06_label50.yml .278  900 13000 10000 .0987 900 1400 11000 .0  .027 5.6 .17  .0  .023 5.6 .083 .591  900   190 4500 .592 900 9500 5400 .0941 900 89 11000 .0  900 8800 14000 .590 890 460 14000
eca-rers2012/Problem06_label51.yml .283  900 12000 11000 .0987 900 1300 9300 .0  .028 5.7 .11  .0  .022 5.7 .12  .0987 22   190 170 .592 900 9500 5000 .0941 900 89 14000 .0  900 9100 11000 .591 890 460 11000
eca-rers2012/Problem06_label52.yml .279  900 13000 11000 .0987 900 1200 11000 .0  .023 5.7 .11  .0  .023 5.7 .089 .0987 29   190 150 .592 900 9500 5800 .0941 900 89 12000 .0  900 8900 12000 .590 890 450 9800
eca-rers2012/Problem06_label53.yml .268  900 11000 12000 .0987 930 1400 10000 .0  .021 5.6 .22  .0  .023 5.7 .089 .0987 23   190 150 .592 900 9500 5400 .0941 900 89 14000 .0  900 9100 11000 .591 890 450 10000
eca-rers2012/Problem06_label54.yml .268  900 10000 12000 .0987 900 1300 12000 .0  .020 5.7 .044 .0  .029 5.7 .12  .0987 32   190 150 .592 900 9500 5400 .0941 900 89 16000 .0  900 8700 11000 .591 890 470 12000
eca-rers2012/Problem06_label55.yml .274  900 13000 11000 .0987 900 1400 11000 .0  .045 5.7 .096 .0  .025 5.6 .13  .589  900   190 3000 .595 930 8300 5600 .0941 900 89 14000 .0  900 8700 11000 .590 890 460 11000
eca-rers2012/Problem06_label56.yml .270  900 12000 11000 .0987 900 1400 11000 .0  .030 5.7 .11  .0  .028 5.7 .11  .583  900   190 4100 .593 900 9500 6700 .0941 900 89 14000 .0  900 8800 9800 .589 890 480 11000
eca-rers2012/Problem06_label57.yml .272  900 13000 12000 .0987 900 1300 10000 .0  .047 5.5 .11  .0  .022 5.6 .19  .583  900   190 2700 .592 900 9500 5700 .0941 900 89 14000 .0  900 8900 14000 .591 890 460 11000
eca-rers2012/Problem06_label58.yml .267  900 10000 11000 .0987 900 1400 9900 .0  .020 5.7 .11  .0  .027 5.7 .082 .574  900   190 2700 .592 900 9500 5400 .0941 900 89 13000 .0  900 8800 13000 .591 890 460 10000
eca-rers2012/Problem06_label59.yml .281  900 13000 12000 .0987 900 1300 11000 .0  .018 5.7 .023 .0  .022 5.9 .016 .576  900   190 3300 .592 900 9500 5400 .0941 900 89 14000 .0  900 8800 12000 .59  890 460 14000
eca-rers2012/Problem07_label00.yml .0791 900 5800 12000 .0    900 1800 3300 .0  .036 5.7 .14  .0  .021 5.6 .12  .571  900   390 6100 .685 900 9400 5800 .076  900 410 12000 .0  900 8400 12000 .876 900 2600 11000
eca-rers2012/Problem07_label01.yml .0788 900 6200 12000 .0    900 1800 3800 .0  .023 5.7 .094 .0  .018 5.6 .061 .517  900   390 5400 .682 900 9400 5400 .076  900 410 12000 .0  900 8400 10000 .876 900 2600 11000
eca-rers2012/Problem07_label02.yml .0788 900 7000 10000 .0    900 1400 3500 .0  .031 5.7 .10  .0  .023 5.6 .13  .0785 180   390 1900 .685 900 9400 7700 .076  900 410 14000 .0  900 8500 10000 .876 900 2500 11000
eca-rers2012/Problem07_label03.yml .0788 900 5600 12000 .0    900 1800 3600 .0  .021 5.7 .082 .0  .023 5.6 .093 .558  900   390 4300 .683 900 9400 6500 .076  900 410 13000 .0  900 8500 11000 .876 900 2600 11000
eca-rers2012/Problem07_label04.yml .0788 900 6700 10000 .0    900 1800 6200 .0  .024 5.6 .081 .0  .024 5.7 .11  .512  900   390 4200 .683 900 9400 7100 .076  900 410 13000 .0  900 8500 10000 .876 900 2500 11000
eca-rers2012/Problem07_label05.yml .0791 900 5500 10000 .0    900 1800 6300 .0  .025 5.6 .12  .0  .043 5.7 .11  .573  900   390 5300 .683 900 9400 6500 .076  900 410 14000 .0  900 8400 10000 .876 900 2600 13000
eca-rers2012/Problem07_label06.yml .0791 900 5800 11000 .0    900 1800 3000 .0  .029 5.7 .16  .0  .026 5.7 .13  .523  900   390 4700 .680 900 9400 5400 .076  900 410 15000 .0  900 8400 9600 .875 900 2500 12000
eca-rers2012/Problem07_label07.yml .0791 900 6800 10000 .0    900 1800 3700 .0  .031 5.7 .086 .0  .048 5.7 .20  .530  900   390 4100 .679 900 9400 5200 .076  900 410 11000 .0  900 8400 12000 .875 900 2600 12000
eca-rers2012/Problem07_label08.yml .0793 900 5800 10000 .0    900 1400 5100 .0  .026 5.7 .21  .0  .029 5.6 .17  .564  900   390 5800 .682 900 9400 5400 .076  900 420 14000 .0  900 8400 13000 .876 900 2600 10000
eca-rers2012/Problem07_label09.yml .0791 900 5800 11000 .0    900 1800 3700 .0  .022 5.8 .090 .0  .023 5.7 .13  .551  900   390 4900 .684 900 9400 6500 .076  900 410 13000 .0  900 8400 11000 .876 900 2600 11000
eca-rers2012/Problem07_label10.yml .0791 900 5500 11000 .0    900 1800 5700 .0  .051 5.8 .093 .0  .024 5.7 .13  .589  900   390 5100 .683 900 9400 5600 .076  900 420 10000 .0  900 8400 12000 .876 900 2600 11000
eca-rers2012/Problem07_label11.yml .0788 900 6800 10000 .0    900 1800 3400 .0  .044 5.7 .093 .0  .048 5.7 .058 .559  900   390 5400 .683 900 9400 5000 .076  900 410 12000 .0  900 8400 12000 .876 900 2500 10000
eca-rers2012/Problem07_label12.yml .0793 900 6200 13000 .0    900 1800 3500 .0  .024 5.7 .12  .0  .024 5.6 .13  .573  900   390 4800 .684 900 9400 6000 .076  900 410 13000 .0  900 8500 12000 .876 900 2600 11000
eca-rers2012/Problem07_label13.yml .0791 900 5700 10000 .0    900 1400 4100 .0  .025 5.7 .17  .0  .024 5.6 .16  .548  900   390 5000 .682 900 9400 6100 .076  900 410 15000 .0  900 8400 11000 .875 900 2600 13000
eca-rers2012/Problem07_label14.yml .0788 900 5600 10000 .0    900 1800 5400 .0  .027 5.7 .22  .0  .031 5.7 .11  .567  900   390 6800 .683 900 9400 5900 .076  900 410 12000 .0  900 8500 13000 .876 900 2600 13000
eca-rers2012/Problem07_label15.yml .0791 900 5600 9900 .0    900 1800 4300 .0  .028 5.7 .095 .0  .027 5.6 .099 .598  900   390 7200 .686 900 9400 5300 .076  900 410 13000 .0  900 8400 12000 .876 900 2500 10000
eca-rers2012/Problem07_label16.yml .0791 900 5700 11000 .0    900 1800 3600 .0  .028 5.6 .16  .0  .024 5.6 .075 .591  900   390 8400 .681 900 9400 5800 .076  900 420 13000 .0  900 8400 11000 .876 900 2500 11000
eca-rers2012/Problem07_label17.yml .0791 900 5800 10000 .0    900 1800 3300 .0  .024 5.7 .13  .0  .024 5.7 .096 .597  900   390 4700 .683 900 9400 5400 .076  900 410 14000 .0  900 8400 11000 .876 900 2600 13000
eca-rers2012/Problem07_label18.yml .0791 900 6400 10000 .0    900 1800 4500 .0  .023 5.7 .11  .0  .023 5.7 .12  .547  900   390 3200 .682 900 9400 6500 .076  900 410 13000 .0  900 8400 10000 .876 900 2700 12000
eca-rers2012/Problem07_label19.yml .0791 900 5900 11000 .0    900 1800 4100 .0  .023 5.6 .14  .0  .048 5.6 .097 .571  900   390 5100 .684 900 9400 7700 .076  900 420 10000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem07_label20.yml .0791 900 6000 10000 .0    900 1800 6100 .0  .047 5.6 .087 .0  .025 5.7 .12  .545  900   390 5200 .685 900 9400 5200 .076  900 420 12000 .0  900 8400 11000 .876 900 2600 11000
eca-rers2012/Problem07_label21.yml .0791 900 5700 11000 .0    900 1400 8900 .0  .028 5.7 .13  .0  .027 5.6 .091 .578  900   390 5500 .683 900 9400 5800 .076  900 410 12000 .0  900 8400 10000 .876 900 2600 14000
eca-rers2012/Problem07_label22.yml .0793 900 5800 11000 .0    900 1800 3900 .0  .024 5.7 .089 .0  .026 5.7 .11  .0785 180   390 2100 .679 900 9400 5300 .076  900 410 13000 .0  900 8500 11000 .876 900 2600 9500
eca-rers2012/Problem07_label23.yml .0791 900 6500 11000 .0    900 1800 3900 .0  .023 5.7 .14  .0  .030 5.7 .16  .589  900   390 6600 .684 900 9400 5900 .076  900 410 14000 .0  900 8400 11000 .875 900 2600 13000
eca-rers2012/Problem07_label24.yml .0788 900 6800 11000 .0    900 1800 2900 .0  .031 5.7 .11  .0  .038 5.7 .081 .556  900   390 5000 .683 900 9400 6400 .076  900 410 15000 .0  900 8400 10000 .876 900 2500 12000
eca-rers2012/Problem07_label25.yml .0791 900 5600 11000 .0    900 1800 3300 .0  .021 5.5 .15  .0  .022 5.7 .16  .562  900   390 4600 .681 900 9400 4900 .076  900 410 12000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem07_label26.yml .0793 900 6000 11000 .0    900 1800 3600 .0  .025 5.7 .091 .0  .025 5.7 .10  .590  900   390 5600 .680 900 9400 6400 .076  900 410 15000 .0  900 8400 10000 .876 900 2600 11000
eca-rers2012/Problem07_label27.yml .0793 900 5600 10000 .0    900 1800 3200 .0  .047 5.7 .088 .0  .029 5.8 .19  .562  900   390 4800 .685 900 9400 6700 .076  900 410 12000 .0  900 8400 10000 .876 900 2500 11000
eca-rers2012/Problem07_label28.yml .0791 900 5500 10000 .0    900 1800 6300 .0  .022 5.7 .10  .0  .025 5.7 .064 .575  900   390 4400 .683 900 9400 5300 .076  900 410 14000 .0  900 8400 12000 .876 900 2600 11000
eca-rers2012/Problem07_label29.yml .0791 900 6700 11000 .0    900 1800 4100 .0  .026 5.7 .13  .0  .048 5.6 .10  .0785 190   390 2400 .683 900 9400 7700 .076  900 410 13000 .0  900 8400 10000 .876 900 2600 11000
eca-rers2012/Problem07_label30.yml .0788 900 8200 9700 .0    900 1800 6500 .0  .029 5.7 .14  .0  .029 5.7 .16  .562  900   390 4900 .684 900 9400 5400 .076  900 410 13000 .0  900 8600 12000 .876 900 2600 10000
eca-rers2012/Problem07_label31.yml .0788 900 5600 10000 .0    900 1800 3600 .0  .043 5.7 .071 .0  .021 5.6 .11  .568  900   390 6300 .679 900 9400 5400 .076  900 410 14000 .0  900 8400 11000 .876 900 2600 10000
eca-rers2012/Problem07_label32.yml .0791 900 5800 11000 .0    900 1400 3300 .0  .034 5.7 .13  .0  .025 5.7 .14  .577  900   390 5000 .683 900 9400 5600 .076  900 410 12000 .0  900 8400 13000 .876 900 2600 14000
eca-rers2012/Problem07_label33.yml .0793 900 6100 11000 .0    900 1400 4300 .0  .029 5.7 .12  .0  .024 5.7 .034 .596  900   390 5600 .685 900 9400 6400 .076  900 410 14000 .0  900 8400 12000 .876 900 2600 11000
eca-rers2012/Problem07_label34.yml .0791 900 5600 11000 .0    900 1800 4100 .0  .022 5.7 .11  .0  .022 5.7 .13  .0785 180   390 2100 .681 900 9400 5900 .076  900 410 13000 .0  900 8400 11000 .876 900 2600 11000
eca-rers2012/Problem07_label35.yml .0791 900 5600 11000 .0    900 1800 4300 .0  .025 5.7 .12  .0  .026 5.5 .11  .541  900   390 5300 .683 900 9400 4800 .076  900 410 12000 .0  900 8400 12000 .876 900 2600 11000
eca-rers2012/Problem07_label36.yml .0791 900 5600 11000 .0    900 1800 3800 .0  .026 5.6 .14  .0  .035 5.7 .16  .573  900   390 5500 .680 900 9400 6900 .076  900 410 15000 .0  900 8400 13000 .876 900 2600 10000
eca-rers2012/Problem07_label37.yml .0791 900 5700 13000 .0    900 1800 4000 .0  .024 5.6 .11  .0  .023 5.7 .021 .561  900   390 5000 .680 900 9400 5300 .076  900 420 13000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem07_label38.yml .0788 900 5800 11000 .0    900 1800 3500 .0  .024 5.7 .13  .0  .024 5.7 .078 .0785 190   390 2000 .678 900 9400 5400 .076  900 410 12000 .0  900 8400 12000 .875 900 2600 10000
eca-rers2012/Problem07_label39.yml .0788 900 5500 11000 .0    900 1800 3200 .0  .023 5.7 .17  .0  .046 5.7 .079 .557  900   390 4800 .683 900 9400 7500 .076  900 410 15000 .0  900 8400 11000 .875 900 2600 11000
eca-rers2012/Problem07_label40.yml .0791 900 5500 12000 .0    900 1400 6500 .0  .023 5.6 .12  .0  .027 5.7 .12  .0785 190   390 2300 .683 900 9400 6400 .076  900 410 12000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem07_label41.yml .0791 900 6500 12000 .0    930 1800 5600 .0  .023 5.7 .12  .0  .029 5.7 .093 .0785 180   390 2000 .684 900 9400 5600 .076  900 420 13000 .0  900 8400 13000 .876 900 2600 11000
eca-rers2012/Problem07_label42.yml .0788 900 5600 11000 .0    900 1400 3800 .0  .023 5.7 .087 .0  .020 5.7 .19  .553  900   390 4500 .683 900 9400 5300 .076  900 410 13000 .0  900 8400 11000 .876 900 2600 14000
eca-rers2012/Problem07_label43.yml .0788 900 6600 11000 .0    900 1800 3600 .0  .021 5.7 .085 .0  .024 5.7 .074 .0785 190   390 2000 .679 900 9400 6000 .076  900 410 12000 .0  900 8400 10000 .875 900 2500 11000
eca-rers2012/Problem07_label44.yml .0788 900 5800 12000 .0    900 1400 3700 .0  .026 5.7 .11  .0  .024 5.8 .13  .573  900   390 5200 .681 900 9400 5300 .076  900 410 14000 .0  900 8200 11000 .876 900 2600 10000
eca-rers2012/Problem07_label45.yml .0791 900 5800 10000 .0    900 1800 3400 .0  .022 5.7 .096 .0  .030 5.5 .15  .581  900   390 5300 .685 900 9400 6200 .076  900 410 12000 .0  900 8400 13000 .876 900 2600 10000
eca-rers2012/Problem07_label46.yml .0791 900 5600 10000 .0    900 1800 4500 .0  .023 5.7 .17  .0  .030 5.7 .13  .0785 190   390 1900 .686 900 9400 7700 .076  900 410 12000 .0  900 8400 12000 .875 900 2600 11000
eca-rers2012/Problem07_label47.yml .0788 900 5800 8900 .0    900 1800 3500 .0  .026 5.7 .12  .0  .043 5.9 .12  .575  900   390 5800 .685 900 9400 5900 .076  900 410 12000 .0  900 8600 13000 .876 900 2600 9900
eca-rers2012/Problem07_label48.yml .0791 900 5600 12000 .0    900 1800 3600 .0  .024 5.7 .053 .0  .018 5.6 .022 .565  900   390 5000 .685 900 9400 7600 .076  900 410 12000 .0  900 8400 10000 .875 900 2600 12000
eca-rers2012/Problem07_label49.yml .0793 900 5900 11000 .0    900 1800 4800 .0  .045 5.7 .092 .0  .023 5.7 .17  .574  900   390 4700 .682 900 9400 5300 .076  900 410 13000 .0  900 8400 13000 .876 900 2500 10000
eca-rers2012/Problem07_label50.yml .0793 900 5900 12000 .0    900 1400 3300 .0  .023 5.7 .12  .0  .025 5.7 .097 .0785 190   390 2300 .681 900 9400 5300 .076  900 410 12000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem07_label51.yml .0788 900 5800 10000 .0    900 1800 3100 .0  .026 5.7 .088 .0  .052 5.7 .14  .0785 180   390 2300 .682 900 9400 5500 .076  900 410 12000 .0  900 8400 11000 .876 900 2600 10000
eca-rers2012/Problem07_label52.yml .0788 900 5600 12000 .0    900 1400 3300 .0  .037 5.7 .083 .0  .030 5.5 .15  .0785 180   390 2600 .683 900 9400 5800 .076  900 410 12000 .0  900 8400 10000 .876 900 2600 11000
eca-rers2012/Problem07_label53.yml .0788 900 6300 9800 .0    900 1800 3700 .0  .044 5.8 .14  .0  .023 5.7 .15  .538  900   390 6100 .684 900 9400 5500 .076  900 410 14000 .0  900 8400 11000 .876 900 2600 9700
eca-rers2012/Problem07_label54.yml .0791 900 5800 9900 .0    900 1800 3200 .0  .024 5.7 .11  .0  .050 5.7 .16  .565  900   390 4900 .684 900 9400 5800 .076  900 410 14000 .0  900 8400 10000 .876 900 2500 10000
eca-rers2012/Problem07_label55.yml .0788 900 5700 12000 .0    900 1400 3800 .0  .023 5.7 .17  .0  .022 5.6 .089 .0785 180   390 2300 .685 900 9400 6200 .076  900 410 12000 .0  900 8400 13000 .875 900 2600 10000
eca-rers2012/Problem07_label56.yml .0791 900 5700 11000 .0    900 1800 6100 .0  .041 5.6 .091 .0  .027 5.7 .14  .596  900   390 5300 .681 900 9400 6100 .076  900 410 13000 .0  900 8400 11000 .876 900 2600 11000
eca-rers2012/Problem07_label57.yml .0791 900 5900 9800 .0    900 1800 4400 .0  .048 5.8 .083 .0  .030 5.7 .11  .566  900   390 4900 .681 900 9400 7900 .076  900 410 13000 .0  900 8400 11000 .875 900 2600 11000
eca-rers2012/Problem07_label58.yml .0791 900 5500 10000 .0    900 1800 3900 .0  .022 5.7 .15  .0  .037 5.8 .092 .0785 190   390 2300 .687 900 9400 5900 .076  900 410 13000 .0  900 8400 11000 .876 900 2600 14000
eca-rers2012/Problem07_label59.yml .0791 900 5500 11000 .0    900 1800 4100 .0  .025 5.7 .071 .0  .025 5.7 .085 .616  900   390 6200 .684 900 9400 6600 .076  900 410 14000 .0  900 8400 11000 .876 900 2600 12000
eca-rers2012/Problem08_label00.yml .0572 900 5800 10000 .0    900 2300 4700 .0  .027 5.6 .12  .0  .039 5.5 .13  .474  900   760 7400 .642 900 9600 6000 .0346 900 780 12000 .0  900 610 12000 .805 900 2500 12000
eca-rers2012/Problem08_label01.yml .0572 900 6100 9800 .0    900 2300 3600 .0  .024 5.7 .094 .0  .021 5.7 .13  .481  900   760 8400 .644 900 9600 6200 .0346 900 790 13000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label02.yml .0572 900 6600 12000 .0    900 2700 5300 .0  .027 5.5 .13  .0  .029 5.7 .080 .0578 360   760 4700 .643 900 9600 5600 .0346 900 780 15000 .0  900 610 11000 .805 900 2500 13000
eca-rers2012/Problem08_label03.yml .0572 900 6000 9600 .0    900 2400 5900 .0  .022 5.6 .048 .0  .047 5.6 .076 .457  900   760 6500 .643 900 9600 5900 .0346 900 780 12000 .0  900 610 13000 .805 900 2500 10000
eca-rers2012/Problem08_label04.yml .0572 900 5800 10000 .0    900 2900 5300 .0  .022 5.8 .15  .0  .036 5.5 .081 .0578 360   760 4000 .643 900 9600 6500 .0346 900 780 11000 .0  900 610 12000 .804 900 2500 13000
eca-rers2012/Problem08_label05.yml .0572 900 5900 11000 .0    900 2300 4200 .0  .025 5.6 .086 .0  .022 5.7 .16  .426  900   760 6200 .642 900 9600 6200 .0346 900 780 14000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label06.yml .0572 900 5800 10000 .0    900 2700 3600 .0  .024 5.7 .069 .0  .022 5.7 .060 .499  900   760 6500 .640 900 9600 5700 .0346 900 780 15000 .0  900 610 13000 .805 900 2500 9900
eca-rers2012/Problem08_label07.yml .0572 900 6100 10000 .0    900 2700 5100 .0  .027 5.7 .23  .0  .026 5.7 .067 .435  900   760 7000 .642 900 9600 5600 .0346 900 780 14000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label08.yml .0572 900 6300 9800 .0    900 2700 5100 .0  .023 5.7 .082 .0  .027 5.9 .11  .0578 360   760 4000 .643 900 9600 4500 .0346 900 780 14000 .0  900 610 12000 .805 900 2500 9500
eca-rers2012/Problem08_label09.yml .0572 900 6100 11000 .0    900 2800 3300 .0  .018 5.6 .15  .0  .026 5.6 .098 .418  900   760 6600 .645 900 9600 6800 .0346 900 780 11000 .0  900 610 14000 .805 900 2500 11000
eca-rers2012/Problem08_label10.yml .0572 900 6500 10000 .0    900 2600 3700 .0  .022 5.7 .099 .0  .026 5.7 .10  .462  900   760 6300 .644 900 9600 6300 .0346 900 780 16000 .0  900 610 13000 .805 900 2500 10000
eca-rers2012/Problem08_label11.yml .0572 910 5800 12000 .0    900 2700 3600 .0  .052 5.7 .12  .0  .019 5.7 .15  .0578 370   760 4300 .642 900 9600 6000 .0346 900 780 13000 .0  900 610 11000 .804 900 2500 12000
eca-rers2012/Problem08_label12.yml .0572 900 5700 9000 .0    900 2300 4100 .0  .030 5.7 .14  .0  .029 5.7 .13  .448  900   760 6900 .641 900 9600 5000 .0346 900 780 11000 .0  900 610 11000 .805 900 2500 10000
eca-rers2012/Problem08_label13.yml .0572 900 5800 9600 .0    900 2300 4300 .0  .026 5.9 .039 .0  .021 5.7 .083 .0578 360   760 4800 .642 900 9600 5700 .0346 900 780 13000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label14.yml .0572 900 5700 10000 .0    900 2300 4000 .0  .023 5.7 .080 .0  .026 5.7 .13  .0578 360   760 4200 .643 900 9600 6100 .0346 900 790 13000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label15.yml .0572 900 5900 12000 .0    900 2800 4700 .0  .022 5.7 .10  .0  .038 5.6 .080 .418  900   760 6900 .642 900 9600 5500 .0346 900 780 12000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label16.yml .0572 900 6700 9600 .0    900 2700 3100 .0  .026 5.7 .12  .0  .028 5.7 .16  .459  900   760 5400 .642 900 9600 6000 .0346 900 780 15000 .0  900 610 11000 .804 900 2500 12000
eca-rers2012/Problem08_label17.yml .0572 900 6100 9600 .0    900 2500 4000 .0  .024 5.7 .13  .0  .049 5.5 .090 .0578 360   760 3800 .643 900 9600 5200 .0346 900 780 14000 .0  900 610 13000 .804 900 2500 14000
eca-rers2012/Problem08_label18.yml .0572 900 6000 10000 .0    900 2800 4700 .0  .022 5.7 .085 .0  .024 5.8 .12  .440  900   760 6200 .644 900 9600 6500 .0346 900 780 12000 .0  900 610 10000 .805 900 2500 12000
eca-rers2012/Problem08_label19.yml .0572 900 6500 9900 .0    900 2700 4100 .0  .024 5.7 .099 .0  .018 5.6 .11  .0578 360   760 4400 .646 900 9600 7300 .0346 900 790 12000 .0  900 610 12000 .805 900 2500 11000
eca-rers2012/Problem08_label20.yml .0572 900 6000 10000 .0    900 2700 2900 .0  .031 5.7 .15  .0  .024 5.6 .14  .434  900   760 6500 .644 900 9600 6200 .0346 900 780 14000 .0  900 610 12000 .805 900 2500 13000
eca-rers2012/Problem08_label21.yml .0572 900 6000 9800 .0    900 2300 4300 .0  .024 5.7 .097 .0  .028 5.6 .19  .444  900   760 7000 .643 900 9600 6400