Benchmark CPA/Tiger-MGP TBF Test-Suite Validator
Tool CPAchecker 1.8-svn 30541M Tbf Test-suite Validator v1.2
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 10800 s, memlimit: 7000 MB, CPU core limit: 2
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:13:54 CET 2019-02-06 06:15:02 CET
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA
Options -benchmark -heap 10000M -tigertestcomp19 --verbose --sequence-file cov-seq.txt -r --test-suite ../../results-verified/cpa-tiger.2019-02-05_2113.logfiles/${rundefinition_name}.${inputfile_name}.files/test-suite.zip
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
eca-rers2012/Problem03_label00.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.7   58   120   0     
eca-rers2012/Problem03_label01.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label02.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.5   4.4   58   120   0     
eca-rers2012/Problem03_label03.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.4   4.4   58   120   0     
eca-rers2012/Problem03_label04.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label05.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label06.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label07.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.5   4.3   58   130   0     
eca-rers2012/Problem03_label08.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.3   4.3   58   120   0     
eca-rers2012/Problem03_label09.yml .481  900 870 2200 9800 .0041 0   48.1  49.1  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label10.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label11.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.3   4.5   58   120   0     
eca-rers2012/Problem03_label12.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label13.yml .481  900 870 2300 12000 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label14.yml .478  900 870 2200 11000 .0041 0   47.8  48.5  4.3   4.5   58   120   0     
eca-rers2012/Problem03_label15.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label16.yml .481  900 870 2300 9900 .0041 0   48.1  49.1  4.5   4.4   58   130   0     
eca-rers2012/Problem03_label17.yml .481  900 870 2300 12000 .0041 0   48.1  49.1  4.4   5.3   58   130   0     
eca-rers2012/Problem03_label18.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.3   4.2   58   120   0     
eca-rers2012/Problem03_label19.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.5   4.9   58   130   0     
eca-rers2012/Problem03_label20.yml .481  900 870 2200 9800 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label21.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.4   4.4   58   120   0     
eca-rers2012/Problem03_label22.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label23.yml .481  900 870 2300 9200 .0041 0   48.1  49.1  4.3   4.2   58   130   0     
eca-rers2012/Problem03_label24.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.7   4.5   58   120   0     
eca-rers2012/Problem03_label25.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.4   4.2   58   120   0     
eca-rers2012/Problem03_label26.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.5   4.3   58   120   0     
eca-rers2012/Problem03_label27.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.4   5.3   58   130   0     
eca-rers2012/Problem03_label28.yml .481  900 870 2300 12000 .0041 0   48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label29.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.5   58   120   0     
eca-rers2012/Problem03_label30.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label31.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label32.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.4   4.7   58   120   0     
eca-rers2012/Problem03_label33.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.5   4.3   58   120   0     
eca-rers2012/Problem03_label34.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.3   4.8   58   120   0     
eca-rers2012/Problem03_label35.yml .485  900 870 2300 12000 .0041 0   48.5  49.7  4.4   4.4   58   130   0     
eca-rers2012/Problem03_label36.yml .481  930 900 2200 12000 .0041 0   48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label37.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.5   4.4   58   120   0     
eca-rers2012/Problem03_label38.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.4   4.3   58   130   0     
eca-rers2012/Problem03_label39.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label40.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.5   4.3   58   130   0     
eca-rers2012/Problem03_label41.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.1   4.0   58   120   0     
eca-rers2012/Problem03_label42.yml .481  900 870 2400 12000 .0041 0   48.1  49.1  4.4   4.3   58   120   0     
eca-rers2012/Problem03_label43.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.4   4.6   58   120   .0041
eca-rers2012/Problem03_label44.yml .479  900 870 2200 11000 .0041 0   47.9  48.5  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label45.yml .475  900 870 2100 10000 .0041 0   47.5  49.7  4.5   4.6   58   120   0     
eca-rers2012/Problem03_label46.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.3   5.2   58   120   0     
eca-rers2012/Problem03_label47.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.4   4.8   58   130   0     
eca-rers2012/Problem03_label48.yml .481  900 870 2300 12000 .0041 0   48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label49.yml .481  900 870 2200 12000 .0041 0   48.1  49.1  4.3   4.1   58   130   0     
eca-rers2012/Problem03_label50.yml .481  900 870 2300 9900 .0041 0   48.1  49.1  4.4   4.7   58   130   0     
eca-rers2012/Problem03_label51.yml .475  900 870 2100 10000 .0041 0   47.5  47.8  4.3   5.3   58   120   0     
eca-rers2012/Problem03_label52.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.3   4.5   58   130   0     
eca-rers2012/Problem03_label53.yml .481  900 870 2200 11000 .0041 0   48.1  49.1  4.3   4.3   58   120   0     
eca-rers2012/Problem03_label54.yml .481  900 870 2200 13000 .0041 0   48.1  49.1  4.4   4.2   58   130   0     
eca-rers2012/Problem03_label55.yml .481  900 870 2300 10000 .0041 0   48.1  49.1  4.5   4.6   58   130   0     
eca-rers2012/Problem03_label56.yml .481  900 870 2200 10000 .0041 0   48.1  49.1  4.3   5.3   58   130   0     
eca-rers2012/Problem03_label57.yml .481  900 870 2300 9800 .0041 0   48.1  49.1  4.3   5.0   58   120   0     
eca-rers2012/Problem03_label58.yml .481  900 870 2300 11000 .0041 0   48.1  49.1  4.3   4.2   58   120   0     
eca-rers2012/Problem03_label59.yml .481  930 900 2100 11000 .0041 0   48.1  49.1  4.3   5.2   58   120   0     
eca-rers2012/Problem04_label00.yml .216  900 860 1600 12000 .0041 0   21.6  18.9  8.5   9.3   110   360   0     
eca-rers2012/Problem04_label01.yml .216  900 870 1600 9900 .0041 0   21.6  18.9  8.9   8.9   110   370   0     
eca-rers2012/Problem04_label02.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.5   8.5   110   360   0     
eca-rers2012/Problem04_label03.yml .216  900 870 1700 10000 .0041 0   21.6  18.9  8.8   8.7   110   360   0     
eca-rers2012/Problem04_label04.yml .216  930 900 1000 10000 .0041 0   21.6  18.9  8.7   11     110   350   0     
eca-rers2012/Problem04_label05.yml .216  900 870 1600 9700 .0041 0   21.6  18.9  8.7   8.6   110   370   0     
eca-rers2012/Problem04_label06.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.7   8.7   110   360   0     
eca-rers2012/Problem04_label07.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label08.yml .216  900 870 1700 9700 .0041 0   21.6  18.9  9.0   8.9   110   370   0     
eca-rers2012/Problem04_label09.yml .216  900 870 1600 12000 .0041 0   21.6  18.9  8.8   10     110   360   0     
eca-rers2012/Problem04_label10.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  8.8   11     110   360   0     
eca-rers2012/Problem04_label13.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.8   9.9   110   370   0     
eca-rers2012/Problem04_label15.yml .216  900 870 1600 9700 .0041 0   21.6  18.9  8.9   10     110   350   0     
eca-rers2012/Problem04_label16.yml .216  900 870 1600 9300 .0041 0   21.6  18.9  8.9   10     110   370   0     
eca-rers2012/Problem04_label18.yml .216  900 860 1600 11000 .0041 0   21.6  18.9  8.8   9.2   110   360   0     
eca-rers2012/Problem04_label19.yml .216  900 870 1600 12000 .0041 0   21.6  18.9  8.7   8.8   110   360   0     
eca-rers2012/Problem04_label21.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  8.9   8.9   110   350   0     
eca-rers2012/Problem04_label22.yml .216  900 870 1600 9600 .0041 0   21.6  18.9  8.8   10     110   370   0     
eca-rers2012/Problem04_label25.yml .216  900 870 1800 9800 .0041 0   21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label26.yml .216  900 870 1700 11000 .0041 0   21.6  18.9  8.7   10     110   370   0     
eca-rers2012/Problem04_label28.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.7   10     110   360   0     
eca-rers2012/Problem04_label30.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.7   10     110   360   0     
eca-rers2012/Problem04_label31.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.8   8.8   110   370   0     
eca-rers2012/Problem04_label32.yml .216  900 870 1700 11000 .0041 0   21.6  18.9  8.6   11     110   360   0     
eca-rers2012/Problem04_label33.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  9.1   9.0   110   360   0     
eca-rers2012/Problem04_label34.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label35.yml .216  900 870 1800 10000 .0041 0   21.6  18.9  8.7   11     110   350   0     
eca-rers2012/Problem04_label38.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  9.0   9.5   110   360   0     
eca-rers2012/Problem04_label39.yml .216  900 870 1700 13000 .0041 0   21.6  18.9  8.8   8.8   110   370   0     
eca-rers2012/Problem04_label41.yml .216  900 870 1600 9400 .0041 0   21.6  18.9  8.9   8.7   110   360   0     
eca-rers2012/Problem04_label45.yml .216  900 870 1600 12000 .0041 0   21.6  18.9  8.8   8.7   110   360   0     
eca-rers2012/Problem04_label47.yml .216  900 870 1600 10000 .0041 0   21.6  18.9  8.7   9.9   110   360   0     
eca-rers2012/Problem04_label48.yml .216  900 870 1700 12000 .0041 0   21.6  18.9  8.8   9.2   110   370   0     
eca-rers2012/Problem04_label50.yml .216  900 870 1800 12000 .0041 0   21.6  18.9  8.8   8.7   110   370   0     
eca-rers2012/Problem04_label51.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  8.8   11     110   360   0     
eca-rers2012/Problem04_label52.yml .216  900 870 1700 11000 .0041 0   21.6  18.9  8.7   11     110   360   0     
eca-rers2012/Problem04_label53.yml .216  900 860 1600 12000 .0041 0   21.6  18.9  8.7   8.6   110   360   0     
eca-rers2012/Problem04_label54.yml .216  900 870 1700 11000 .0041 0   21.6  18.9  9.0   8.9   110   370   0     
eca-rers2012/Problem04_label55.yml .216  900 870 1600 11000 .0041 0   21.6  18.9  9.5   9.4   110   360   0     
eca-rers2012/Problem04_label56.yml .216  900 870 1600 12000 .0041 0   21.6  18.9  8.9   9.5   110   360   0     
eca-rers2012/Problem04_label59.yml .215  900 870 1700 9900 .0041 0   21.5  19.1  8.9   8.7   110   370   0     
eca-rers2012/Problem05_label00.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     15     180   910   0     
eca-rers2012/Problem05_label01.yml .112  900 870 1900 12000 .0041 0   11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label02.yml .112  900 870 1600 12000 .0041 0   11.2  15.7  13     15     180   820   0     
eca-rers2012/Problem05_label03.yml .112  900 870 1900 11000 .0041 0   11.2  15.7  13     13     180   730   0     
eca-rers2012/Problem05_label04.yml .112  900 870 1800 10000 .0041 0   11.2  15.7  12     14     180   800   0     
eca-rers2012/Problem05_label05.yml .112  900 870 1900 9700 .0041 0   11.2  15.7  13     14     180   780   0     
eca-rers2012/Problem05_label06.yml .112  900 870 1800 13000 .0041 0   11.2  15.7  13     13     180   680   0     
eca-rers2012/Problem05_label07.yml .112  900 870 1800 10000 .0041 0   11.2  15.7  13     13     180   730   0     
eca-rers2012/Problem05_label08.yml .112  900 870 1600 10000 .0041 0   11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label09.yml .112  900 870 1600 10000 .0041 0   11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label10.yml .112  900 870 1800 9300 .0041 0   11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label11.yml .112  930 900 1800 13000 .0041 0   11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label12.yml .112  900 870 1900 12000 .0041 0   11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label13.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label14.yml .112  900 870 1700 11000 .0041 0   11.2  15.7  13     13     180   910   0     
eca-rers2012/Problem05_label15.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label16.yml .112  900 870 1600 9300 .0041 0   11.2  15.7  13     15     180   780   0     
eca-rers2012/Problem05_label17.yml .112  900 870 1700 10000 .0041 0   11.2  15.7  13     16     180   750   0     
eca-rers2012/Problem05_label18.yml .112  900 870 1700 11000 .0041 0   11.2  15.7  13     14     180   780   0     
eca-rers2012/Problem05_label19.yml .112  900 870 1900 10000 .0041 0   11.2  15.7  13     14     180   820   0     
eca-rers2012/Problem05_label20.yml .112  900 870 1900 12000 .0041 0   11.2  15.7  13     13     180   810   0     
eca-rers2012/Problem05_label21.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     16     180   820   0     
eca-rers2012/Problem05_label22.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label23.yml .112  900 870 1800 13000 .0041 0   11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label24.yml .112  900 870 1900 10000 .0041 0   11.2  15.7  13     15     180   840   0     
eca-rers2012/Problem05_label25.yml .112  900 870 1800 12000 .0041 0   11.2  15.7  13     14     180   640   0     
eca-rers2012/Problem05_label26.yml .112  900 870 1900 11000 .0041 0   11.2  15.7  13     14     180   690   0     
eca-rers2012/Problem05_label27.yml .112  900 870 1600 13000 .0041 0   11.2  15.7  13     13     180   690   0     
eca-rers2012/Problem05_label28.yml .112  900 870 1800 12000 .0041 0   11.2  15.7  13     14     180   720   0     
eca-rers2012/Problem05_label29.yml .112  900 870 1600 12000 .0041 0   11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label30.yml .112  900 870 1900 10000 .0041 0   11.2  15.7  13     12     180   850   0     
eca-rers2012/Problem05_label31.yml .112  900 870 1700 9800 .0041 0   11.2  15.7  13     14     180   850   0     
eca-rers2012/Problem05_label32.yml .112  900 870 1600 10000 .0041 0   11.2  15.7  13     13     180   840   0     
eca-rers2012/Problem05_label33.yml .112  900 870 1900 11000 .0041 0   11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label34.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     15     180   830   0     
eca-rers2012/Problem05_label35.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     15     180   780   0     
eca-rers2012/Problem05_label36.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label37.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label38.yml .112  900 870 1900 12000 .0041 0   11.2  15.7  13     14     180   790   0     
eca-rers2012/Problem05_label39.yml .112  900 870 1600 9300 .0041 0   11.2  15.7  13     16     180   750   0     
eca-rers2012/Problem05_label40.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     13     180   880   0     
eca-rers2012/Problem05_label41.yml .112  900 870 1700 11000 .0041 0   11.2  15.7  13     13     180   850   0     
eca-rers2012/Problem05_label42.yml .112  930 900 1900 13000 .0041 0   11.2  15.7  13     14     180   800   0     
eca-rers2012/Problem05_label43.yml .112  900 870 1800 12000 .0041 0   11.2  15.7  12     13     180   770   0     
eca-rers2012/Problem05_label44.yml .112  900 870 1800 10000 .0041 0   11.2  15.7  13     13     180   880   0     
eca-rers2012/Problem05_label45.yml .112  900 870 1800 12000 .0041 0   11.2  15.7  13     13     180   800   0     
eca-rers2012/Problem05_label46.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     15     180   770   0     
eca-rers2012/Problem05_label47.yml .112  900 870 1600 10000 .0041 0   11.2  15.7  13     13     180   810   0     
eca-rers2012/Problem05_label48.yml .112  900 870 1800 11000 .0041 0   11.2  15.7  13     15     180   790   0     
eca-rers2012/Problem05_label49.yml .112  900 880 1700 12000 .0041 0   11.2  15.7  12     14     180   780   0     
eca-rers2012/Problem05_label50.yml .112  900 870 1900 11000 .0041 0   11.2  15.7  13     14     180   920   0     
eca-rers2012/Problem05_label51.yml .112  900 870 1600 11000 .0041 0   11.2  15.7  13     13     180   900   0     
eca-rers2012/Problem05_label52.yml .112  900 870 1700 12000 .0041 0   11.2  15.7  13     13     180   860   0     
eca-rers2012/Problem05_label53.yml .112  900 870 1800 12000 .0041 0   11.2  15.7  13     14     180   880   0     
eca-rers2012/Problem05_label54.yml .112  900 870 1900 10000 .0041 0   11.2  15.7  13     15     180   920   0     
eca-rers2012/Problem05_label55.yml .112  900 870 1600 12000 .0041 0   11.2  15.7  13     13     180   890   0     
eca-rers2012/Problem05_label56.yml .112  900 870 1900 11000 .0041 0   11.2  15.7  13     15     180   760   0     
eca-rers2012/Problem05_label57.yml .112  900 870 1600 13000 .0041 0   11.2  15.7  13     13     180   920   0     
eca-rers2012/Problem05_label58.yml .112  900 870 1700 11000 .0041 0   11.2  15.7  13     14     180   800   0     
eca-rers2012/Problem05_label59.yml .112  900 870 1800 9400 .0041 0   11.2  15.7  13     16     180   760   0     
eca-rers2012/Problem06_label00.yml .0987 900 870 1300 8300 .0041 0   9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label01.yml .0987 900 870 1300 12000 .0041 0   9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label02.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label03.yml .0987 930 900 1300 10000 .0041 0   9.87 8.70 12     13     180   630   0     
eca-rers2012/Problem06_label04.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     13     180   660   0     
eca-rers2012/Problem06_label05.yml .0987 900 870 1200 11000 .0041 0   9.87 8.70 12     12     180   670   0     
eca-rers2012/Problem06_label06.yml .0987 930 900 1300 12000 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label07.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     14     180   770   0     
eca-rers2012/Problem06_label08.yml .0987 900 870 1400 13000 .0041 0   9.87 8.70 12     13     180   670   0     
eca-rers2012/Problem06_label09.yml .0987 900 870 2600 10000 .0041 0   9.87 8.70 12     14     180   660   0     
eca-rers2012/Problem06_label10.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label11.yml .0987 900 870 1300 12000 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label12.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 11     12     180   710   0     
eca-rers2012/Problem06_label13.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     12     180   720   0     
eca-rers2012/Problem06_label14.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label15.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   700   0     
eca-rers2012/Problem06_label16.yml .0987 900 870 1300 9800 .0041 0   9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label17.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label18.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label19.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label20.yml .0987 900 870 1400 12000 .0041 0   9.87 8.70 13     14     180   590   0     
eca-rers2012/Problem06_label21.yml .0987 930 900 1300 10000 .0041 0   9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label22.yml .0987 900 870 1300 12000 .0041 0   9.87 8.70 12     14     180   680   0     
eca-rers2012/Problem06_label23.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     12     180   790   0     
eca-rers2012/Problem06_label24.yml .0987 900 870 1400 13000 .0041 0   9.87 8.70 12     12     180   720   0     
eca-rers2012/Problem06_label25.yml .0987 900 870 1400 12000 .0041 0   9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label26.yml .0987 900 870 1400 12000 .0041 0   9.87 8.70 12     14     180   660   0     
eca-rers2012/Problem06_label27.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     13     180   750   0     
eca-rers2012/Problem06_label28.yml .0987 900 870 1200 11000 .0041 0   9.87 8.70 12     12     180   770   0     
eca-rers2012/Problem06_label29.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label30.yml .0987 900 870 1400 9900 .0041 0   9.87 8.70 12     13     180   650   0     
eca-rers2012/Problem06_label31.yml .0987 900 870 1300 13000 .0041 0   9.87 8.70 12     13     180   710   0     
eca-rers2012/Problem06_label32.yml .0987 900 870 1300 9800 .0041 0   9.87 8.70 12     12     180   750   0     
eca-rers2012/Problem06_label33.yml .0987 900 870 2800 9300 .0041 0   9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem06_label34.yml .0987 900 870 2000 11000 .0041 0   9.87 8.70 12     13     180   740   0     
eca-rers2012/Problem06_label35.yml .0987 900 870 1200 11000 .0041 0   9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label36.yml .0987 900 870 1200 9700 .0041 0   9.87 8.70 12     12     180   740   0     
eca-rers2012/Problem06_label37.yml .0987 900 870 1200 11000 .0041 0   9.87 8.70 12     14     180   690   0     
eca-rers2012/Problem06_label38.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   770   0     
eca-rers2012/Problem06_label39.yml .0987 900 870 1300 9200 .0041 0   9.87 8.70 12     12     180   730   0     
eca-rers2012/Problem06_label40.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     15     180   680   0     
eca-rers2012/Problem06_label41.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     14     180   680   0     
eca-rers2012/Problem06_label42.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     15     180   640   0     
eca-rers2012/Problem06_label43.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     13     180   690   0     
eca-rers2012/Problem06_label44.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     14     180   730   0     
eca-rers2012/Problem06_label45.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     12     180   790   0     
eca-rers2012/Problem06_label46.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem06_label47.yml .0987 900 870 1300 12000 .0041 0   9.87 8.70 12     12     180   640   0     
eca-rers2012/Problem06_label48.yml .0987 900 870 1400 9900 .0041 0   9.87 8.70 12     14     180   650   0     
eca-rers2012/Problem06_label49.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label50.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label51.yml .0987 900 870 1300 9300 .0041 0   9.87 8.70 12     12     180   750   0     
eca-rers2012/Problem06_label52.yml .0987 900 870 1200 11000 .0041 0   9.87 8.70 12     14     180   650   0     
eca-rers2012/Problem06_label53.yml .0987 930 900 1400 10000 .0041 0   9.87 8.70 12     12     180   630   0     
eca-rers2012/Problem06_label54.yml .0987 900 870 1300 12000 .0041 0   9.87 8.70 12     12     180   780   0     
eca-rers2012/Problem06_label55.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     14     180   700   0     
eca-rers2012/Problem06_label56.yml .0987 900 870 1400 11000 .0041 0   9.87 8.70 12     12     180   610   0     
eca-rers2012/Problem06_label57.yml .0987 900 870 1300 10000 .0041 0   9.87 8.70 12     12     180   640   0     
eca-rers2012/Problem06_label58.yml .0987 900 870 1400 9900 .0041 0   9.87 8.70 12     15     180   660   0     
eca-rers2012/Problem06_label59.yml .0987 900 870 1300 11000 .0041 0   9.87 8.70 12     12     180   760   0     
eca-rers2012/Problem07_label00.yml .0    900 880 1800 3300 .0041 0   0    0    .065 .066 9.0 0   0     
eca-rers2012/Problem07_label01.yml .0    900 880 1800 3800 .0041 0   0    0    .063 .063 9.1 0   0     
eca-rers2012/Problem07_label02.yml .0    900 880 1400 3500 .0041 0   0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem07_label03.yml .0    900 880 1800 3600 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label04.yml .0    900 880 1800 6200 .0041 0   0    0    .062 .064 9.1 0   0     
eca-rers2012/Problem07_label05.yml .0    900 880 1800 6300 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label06.yml .0    900 880 1800 3000 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label07.yml .0    900 880 1800 3700 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label08.yml .0    900 890 1400 5100 .0041 0   0    0    .067 .067 9.0 0   0     
eca-rers2012/Problem07_label09.yml .0    900 880 1800 3700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label10.yml .0    900 880 1800 5700 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem07_label11.yml .0    900 880 1800 3400 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label12.yml .0    900 880 1800 3500 .0041 0   0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem07_label13.yml .0    900 890 1400 4100 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label14.yml .0    900 880 1800 5400 .0041 0   0    0    .064 .064 9.0 0   0     
eca-rers2012/Problem07_label15.yml .0    900 880 1800 4300 .0041 0   0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem07_label16.yml .0    900 880 1800 3600 .0041 0   0    0    .083 .084 9.0 0   0     
eca-rers2012/Problem07_label17.yml .0    900 880 1800 3300 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label18.yml .0    900 880 1800 4500 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label19.yml .0    900 880 1800 4100 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label20.yml .0    900 880 1800 6100 .0041 0   0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem07_label21.yml .0    900 890 1400 8900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label22.yml .0    900 880 1800 3900 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem07_label23.yml .0    900 880 1800 3900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label24.yml .0    900 880 1800 2900 .0041 0   0    0    .061 .075 9.0 0   0     
eca-rers2012/Problem07_label25.yml .0    900 880 1800 3300 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label26.yml .0    900 880 1800 3600 .0041 0   0    0    .073 .074 9.0 0   0     
eca-rers2012/Problem07_label27.yml .0    900 880 1800 3200 .0041 0   0    0    .063 .064 8.9 0   0     
eca-rers2012/Problem07_label28.yml .0    900 880 1800 6300 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label29.yml .0    900 880 1800 4100 .0041 0   0    0    .065 .069 9.1 0   0     
eca-rers2012/Problem07_label30.yml .0    900 880 1800 6500 .0041 0   0    0    .057 .057 9.0 0   0     
eca-rers2012/Problem07_label31.yml .0    900 880 1800 3600 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label32.yml .0    900 890 1400 3300 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label33.yml .0    900 890 1400 4300 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label34.yml .0    900 880 1800 4100 .0041 0   0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem07_label35.yml .0    900 880 1800 4300 .0041 0   0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem07_label36.yml .0    900 880 1800 3800 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label37.yml .0    900 880 1800 4000 .0041 0   0    0    .079 .080 9.1 0   0     
eca-rers2012/Problem07_label38.yml .0    900 880 1800 3500 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label39.yml .0    900 880 1800 3200 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem07_label40.yml .0    900 890 1400 6500 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label41.yml .0    930 910 1800 5600 .0041 0   0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem07_label42.yml .0    900 890 1400 3800 .0041 0   0    0    .060 .060 9.1 0   0     
eca-rers2012/Problem07_label43.yml .0    900 880 1800 3600 .0041 0   0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem07_label44.yml .0    900 890 1400 3700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem07_label45.yml .0    900 880 1800 3400 .0041 0   0    0    .082 .084 9.0 0   0     
eca-rers2012/Problem07_label46.yml .0    900 880 1800 4500 .0041 0   0    0    .060 .060 9.0 0   0     
eca-rers2012/Problem07_label47.yml .0    900 880 1800 3500 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label48.yml .0    900 880 1800 3600 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label49.yml .0    900 880 1800 4800 .0041 0   0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem07_label50.yml .0    900 890 1400 3300 .0041 0   0    0    .063 .063 9.0 0   0     
eca-rers2012/Problem07_label51.yml .0    900 880 1800 3100 .0041 0   0    0    .058 .060 9.1 0   0     
eca-rers2012/Problem07_label52.yml .0    900 890 1400 3300 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem07_label53.yml .0    900 880 1800 3700 .0041 0   0    0    .065 .066 8.9 0   0     
eca-rers2012/Problem07_label54.yml .0    900 880 1800 3200 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem07_label55.yml .0    900 890 1400 3800 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem07_label56.yml .0    900 880 1800 6100 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem07_label57.yml .0    900 880 1800 4400 .0041 0   0    0    .060 .061 8.9 0   0     
eca-rers2012/Problem07_label58.yml .0    900 880 1800 3900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem07_label59.yml .0    900 880 1800 4100 .0041 0   0    0    .060 .060 8.9 0   0     
eca-rers2012/Problem08_label00.yml .0    900 880 2300 4700 .0041 0   0    0    .070 .078 9.0 0   0     
eca-rers2012/Problem08_label01.yml .0    900 880 2300 3600 .0041 0   0    0    .057 .058 8.9 0   0     
eca-rers2012/Problem08_label02.yml .0    900 870 2700 5300 .0041 0   0    0    .063 .064 9.1 0   0     
eca-rers2012/Problem08_label03.yml .0    900 870 2400 5900 .0041 0   0    0    .087 .088 9.0 0   0     
eca-rers2012/Problem08_label04.yml .0    900 870 2900 5300 .0041 0   0    0    .065 .065 9.0 0   0     
eca-rers2012/Problem08_label05.yml .0    900 880 2300 4200 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label06.yml .0    900 870 2700 3600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label07.yml .0    900 870 2700 5100 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label08.yml .0    900 870 2700 5100 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label09.yml .0    900 870 2800 3300 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label10.yml .0    900 880 2600 3700 .0041 0   0    0    .084 .091 9.0 0   0     
eca-rers2012/Problem08_label11.yml .0    900 870 2700 3600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label12.yml .0    900 880 2300 4100 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label13.yml .0    900 880 2300 4300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label14.yml .0    900 880 2300 4000 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label15.yml .0    900 870 2800 4700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem08_label16.yml .0    900 870 2700 3100 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label17.yml .0    900 880 2500 4000 .0041 0   0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem08_label18.yml .0    900 870 2800 4700 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label19.yml .0    900 870 2700 4100 .0041 0   0    0    .058 .058 9.0 0   0     
eca-rers2012/Problem08_label20.yml .0    900 870 2700 2900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label21.yml .0    900 870 2300 4300 .0041 0   0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem08_label22.yml .0    900 880 2600 4300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label23.yml .0    900 870 2300 3500 .0041 0   0    0    .072 .072 9.0 0   0     
eca-rers2012/Problem08_label24.yml .0    900 870 2700 4400 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label25.yml .0    900 870 3000 4000 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label26.yml .0    900 870 2700 4100 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label27.yml .0    900 880 2300 5200 .0041 0   0    0    .057 .059 9.1 0   0     
eca-rers2012/Problem08_label28.yml .0    900 880 2500 3300 .0041 0   0    0    .059 .061 9.0 0   0     
eca-rers2012/Problem08_label29.yml .0    900 870 2700 4100 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label30.yml .0    900 870 2800 4300 .0041 0   0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem08_label31.yml .0    900 870 2300 4000 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label32.yml .0    900 870 3100 5900 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label33.yml .0    900 870 2700 2600 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label34.yml .0    900 880 2300 4500 .0041 0   0    0    .060 .062 9.0 0   0     
eca-rers2012/Problem08_label35.yml .0    900 880 2500 3200 .0041 0   0    0    .058 .059 8.9 0   0     
eca-rers2012/Problem08_label36.yml .0    900 870 3000 4200 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label37.yml .0    900 880 2600 3800 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label38.yml .0    900 880 2300 3400 .0041 0   0    0    .062 .063 9.1 0   0     
eca-rers2012/Problem08_label39.yml .0    900 870 2300 3900 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label40.yml .0    900 870 2700 3800 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label41.yml .0    900 870 3000 5200 .0041 0   0    0    .067 .069 9.1 0   0     
eca-rers2012/Problem08_label42.yml .0    900 880 2600 3500 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label43.yml .0    930 900 2800 5800 .0041 0   0    0    .062 .064 9.1 0   0     
eca-rers2012/Problem08_label44.yml .0    900 880 2500 3900 .0041 0   0    0    .060 .061 8.9 0   0     
eca-rers2012/Problem08_label45.yml .0    900 870 2600 3500 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem08_label46.yml .0    900 870 3100 4600 .0041 0   0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem08_label47.yml .0    900 870 2700 3000 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem08_label48.yml .0    900 870 3200 2600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label49.yml .0    900 870 2700 5300 .0041 0   0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem08_label50.yml .0    900 870 2600 3600 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem08_label51.yml .0    900 870 2700 3800 .0041 0   0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem08_label52.yml .0    900 870 2300 2900 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label53.yml .0    900 870 2300 2900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem08_label54.yml .0    900 870 2700 4800 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem08_label55.yml .0    900 870 2800 4400 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem08_label56.yml .0    930 900 2700 6300 .0041 0   0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem08_label57.yml .0    900 870 2700 3800 .0041 0   0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem08_label58.yml .0    900 870 2800 4500 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem08_label59.yml .0    900 870 2700 3700 .0041 0   0    0    .060 .062 8.9 0   0     
eca-rers2012/Problem09_label00.yml .0    900 870 2900 4400 .0041 0   0    0    .070 .070 9.0 0   0     
eca-rers2012/Problem09_label01.yml .0    900 870 2700 3800 .0041 0   0    0    .059 .061 9.0 0   0     
eca-rers2012/Problem09_label02.yml .0    900 870 3000 3300 .0041 0   0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem09_label03.yml .0    900 870 3100 3000 .0041 0   0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem09_label04.yml .0    900 880 2900 3700 .0041 0   0    0    .059 .060 9.1 0   0     
eca-rers2012/Problem09_label05.yml .0    900 870 3100 3300 .0041 0   0    0    .064 .066 8.9 0   0     
eca-rers2012/Problem09_label06.yml .0    900 870 3100 4000 .0041 0   0    0    .059 .059 9.0 0   0     
eca-rers2012/Problem09_label07.yml .0    900 880 3100 3500 .0041 0   0    0    .069 .072 9.0 0   0     
eca-rers2012/Problem09_label08.yml .0    900 870 2600 4600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label09.yml .0    900 870 2800 3900 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label10.yml .0    900 870 3100 6200 .0041 0   0    0    .061 .062 8.9 0   0     
eca-rers2012/Problem09_label11.yml .0    900 870 3000 3600 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label12.yml .0    900 870 2600 4900 .0041 0   0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem09_label13.yml .0    900 870 3100 3900 .0041 0   0    0    .059 .060 8.9 0   0     
eca-rers2012/Problem09_label14.yml .0    900 880 2900 3300 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label15.yml .0    900 870 2900 3400 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label16.yml .0    900 870 3000 4300 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label17.yml .0    900 870 3100 3700 .0041 0   0    0    .057 .057 9.0 0   0     
eca-rers2012/Problem09_label18.yml .0    900 870 3000 3700 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label19.yml .0    900 870 2800 3900 .0041 0   0    0    .061 .061 9.0 0   0     
eca-rers2012/Problem09_label20.yml .0    900 870 3100 3600 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem09_label21.yml .0    900 870 3000 6500 .0041 0   0    0    .063 .064 8.9 0   0     
eca-rers2012/Problem09_label22.yml .0    900 870 3000 3300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label23.yml .0    900 870 3000 4700 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label24.yml .0    900 870 2600 5800 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label25.yml .0    900 870 3100 3300 .0041 0   0    0    .060 .062 9.0 0   0     
eca-rers2012/Problem09_label26.yml .0    900 870 2700 3800 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label27.yml .0    900 870 3000 4100 .0041 0   0    0    .062 .064 9.0 0   0     
eca-rers2012/Problem09_label28.yml .0    900 870 3000 3700 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label29.yml .0    900 870 3000 4400 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label30.yml .0    900 870 3000 3600 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label31.yml .0    900 870 3100 3000 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label32.yml .0    900 870 2700 3800 .0041 0   0    0    .058 .059 9.0 0   0     
eca-rers2012/Problem09_label33.yml .0    900 870 2900 4600 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label34.yml .0    900 870 2700 4200 .0041 0   0    0    .060 .063 9.0 0   0     
eca-rers2012/Problem09_label35.yml .0    900 870 2700 4200 .0041 0   0    0    .061 .062 9.1 0   0     
eca-rers2012/Problem09_label36.yml .0    900 870 3100 3700 .0041 0   0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem09_label37.yml .0    900 870 3100 3400 .0041 0   0    0    .057 .058 9.0 0   0     
eca-rers2012/Problem09_label38.yml .0    930 900 2900 5300 .0041 0   0    0    .061 .062 9.0 0   0     
eca-rers2012/Problem09_label39.yml .0    900 870 3100 3700 .0041 0   0    0    .059 .062 9.0 0   0     
eca-rers2012/Problem09_label40.yml .0    900 870 2600 4000 .0041 0   0    0    .076 .077 8.9 0   0     
eca-rers2012/Problem09_label41.yml .0    900 880 2900 3400 .0041 0   0    0    .058 .060 9.0 0   0     
eca-rers2012/Problem09_label42.yml .0    900 870 2700 3500 .0041 0   0    0    .059 .069 9.0 0   0     
eca-rers2012/Problem09_label43.yml .0    900 870 2900 3600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-rers2012/Problem09_label44.yml .0    900 870 3000 3700 .0041 0   0    0    .063 .064 9.0 0   0     
eca-rers2012/Problem09_label45.yml .0    900 870 2600 2900 .0041 0   0    0    .069 .070 9.0 0   0     
eca-rers2012/Problem09_label46.yml .0    900 870 2900 5600 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label47.yml .0    900 870 3000 4800 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem09_label48.yml .0    900 870 3100 4000 .0041 0   0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem09_label49.yml .0    900 880 2900 3700 .0041 0   0    0    .060 .060 9.0 0   0     
eca-rers2012/Problem09_label50.yml .0    900 870 3000 3800 .0041 0   0    0    .057 .059 9.0 0   0     
eca-rers2012/Problem09_label51.yml .0    900 870 3000 4500 .0041 0   0    0    .063 .064 9.1 0   0     
eca-rers2012/Problem09_label52.yml .0    900 870 3100 3300 .0041 0   0    0    .062 .063 9.0 0   0     
eca-rers2012/Problem09_label53.yml .0    900 870 3000 4600 .0041 0   0    0    .062 .073 9.1 0   0     
eca-rers2012/Problem09_label54.yml .0    900 870 3100 3100 .0041 0   0    0    .062 .063 8.9 0   0     
eca-rers2012/Problem09_label55.yml .0    900 870 3000 3900 .0041 0   0    0    .068 .069 9.0 0   0     
eca-rers2012/Problem09_label56.yml .0    900 870 2700 4800 .0041 0   0    0    .060 .061 9.1 0   0     
eca-rers2012/Problem09_label57.yml .0    900 870 3000 3000 .0041 0   0    0    .062 .062 9.0 0   0     
eca-rers2012/Problem09_label58.yml .0    900 870 2900 3900 .0041 0   0    0    .058 .059 9.1 0   0     
eca-rers2012/Problem09_label59.yml .0    900 870 3100 3500 .0041 0   0    0    .059 .060 9.0 0   0     
eca-rers2012/Problem10_label00.yml .580  900 880 910 9300 .0041 0   58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label01.yml .580  900 880 910 8900 .0041 0   58.0  51.3  .99  1.1   30   15   0     
eca-rers2012/Problem10_label02.yml .580  900 880 870 10000 .0041 0   58.0  51.3  .95  .89  30   15   0     
eca-rers2012/Problem10_label03.yml .580  900 880 910 8100 .0041 0   58.0  51.3  .95  .96  30   15   0     
eca-rers2012/Problem10_label04.yml .580  900 880 1100 9500 .0041 0   58.0  51.3  .97  .93  30   15   0     
eca-rers2012/Problem10_label05.yml .580  900 880 910 8900 .0041 0   58.0  51.3  .99  .93  30   15   0     
eca-rers2012/Problem10_label06.yml .580  900 880 1100 11000 .0041 0   58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label07.yml .580  900 880 1100 9400 .0041 0   58.0  51.3  1.0   .94  30   15   0     
eca-rers2012/Problem10_label08.yml .580  900 880 1100 11000 .0041 0   58.0  51.3  .98  .90  30   15   0     
eca-rers2012/Problem10_label09.yml .580  900 880 900 9600 .0041 0   58.0  51.3  .99  .93  30   15   0     
eca-rers2012/Problem10_label10.yml .580  900 880 1100 9100 .0041 0   58.0  51.3  1.0   .93  30   15   0     
eca-rers2012/Problem10_label11.yml .580  900 880 910 11000 .0041 0   58.0  51.3  .99  .95  30   15   0     
eca-rers2012/Problem10_label12.yml .580  900 880 890 9600 .0041 0   58.0  51.3  .98  .92  30   15   0     
eca-rers2012/Problem10_label13.yml .580  900 880 960 9200 .0041 0   58.0  51.3  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label14.yml .580  900 880 1100 9500 .0041 0   58.0  51.3  .99  .91  30   15   0     
eca-rers2012/Problem10_label15.yml .580  900 880 900 8700 .0041 0   58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label16.yml .580  900 880 900 9700 .0041 0   58.0  51.3  .98  .93  30   15   0     
eca-rers2012/Problem10_label17.yml .580  900 880 950 9300 .0041 0   58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label18.yml .580  900 880 880 11000 .0041 0   58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label19.yml .592  900 880 960 9400 .0041 0   59.2  51.8  .98  .94  30   15   0     
eca-rers2012/Problem10_label20.yml .580  900 880 1100 9600 .0041 0   58.0  51.3  .97  1.1   30   15   0     
eca-rers2012/Problem10_label21.yml .592  900 880 910 9500 .0041 0   59.2  51.8  .95  .91  30   15   0     
eca-rers2012/Problem10_label22.yml .580  900 880 920 8800 .0041 0   58.0  51.3  .99  .96  30   15   0     
eca-rers2012/Problem10_label23.yml .580  900 880 870 9600 .0041 0   58.0  51.3  1.0   .98  30   15   0     
eca-rers2012/Problem10_label24.yml .580  900 880 880 10000 .0041 0   58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label25.yml .592  900 880 1100 12000 .0041 0   59.2  51.8  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label26.yml .580  900 880 860 8800 .0041 0   58.0  51.3  1.0   1.0   30   15   0     
eca-rers2012/Problem10_label27.yml .592  900 880 920 9200 .0041 0   59.2  51.8  .98  1.1   30   15   0     
eca-rers2012/Problem10_label28.yml .580  900 880 910 9900 .0041 0   58.0  51.3  1.0   1.2   30   15   0     
eca-rers2012/Problem10_label29.yml .592  900 880 900 12000 .0041 0   59.2  51.8  1.1   1.0   30   15   0     
eca-rers2012/Problem10_label30.yml .580  900 880 920 11000 .0041 0   58.0  51.3  .98  1.0   30   15   0     
eca-rers2012/Problem10_label31.yml .580  900 880 1100 9100 .0041 0   58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label32.yml .580  900 880 900 10000 .0041 0   58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label33.yml .580  900 880 1100 9600 .0041 0   58.0  51.3  .95  .93  30   15   0     
eca-rers2012/Problem10_label34.yml .580  900 880 1100 9900 .0041 0   58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label35.yml .580  900 880 900 9100 .0041 0   58.0  51.3  .98  .94  30   15   0     
eca-rers2012/Problem10_label36.yml .580  900 880 930 11000 .0041 0   58.0  51.3  1.1   1.0   30   15   0     
eca-rers2012/Problem10_label37.yml .580  900 880 1200 8700 .0041 0   58.0  51.3  1.0   1.1   30   15   0     
eca-rers2012/Problem10_label38.yml .580  900 880 900 10000 .0041 0   58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label39.yml .580  900 880 870 9600 .0041 0   58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label40.yml .580  900 880 910 11000 .0041 0   58.0  51.3  .98  1.1   30   15   0     
eca-rers2012/Problem10_label41.yml .580  900 880 870 9800 .0041 0   58.0  51.3  .98  .90  30   15   0     
eca-rers2012/Problem10_label42.yml .580  900 880 910 8300 .0041 0   58.0  51.3  1.0   .97  30   15   0     
eca-rers2012/Problem10_label43.yml .580  900 880 1200 12000 .0041 0   58.0  51.3  1.0   .94  30   15   0     
eca-rers2012/Problem10_label44.yml .580  900 880 1200 9800 .0041 0   58.0  51.3  .97  .91  30   15   0     
eca-rers2012/Problem10_label45.yml .580  900 880 900 9100 .0041 0   58.0  51.3  .95  .89  30   15   0     
eca-rers2012/Problem10_label46.yml .580  900 880 920 9100 .0041 0   58.0  51.3  .94  .88  30   15   0     
eca-rers2012/Problem10_label47.yml .580  900 880 920 11000 .0041 0   58.0  51.3  .98  1.2   30   15   0     
eca-rers2012/Problem10_label48.yml .580  900 880 910 7300 .0041 0   58.0  51.3  .97  .89  30   15   0     
eca-rers2012/Problem10_label49.yml .580  900 880 890 9900 .0041 0   58.0  51.3  1.0   .96  30   15   0     
eca-rers2012/Problem10_label50.yml .580  900 880 940 12000 .0041 0   58.0  51.3  .96  1.1   30   15   0     
eca-rers2012/Problem10_label51.yml .580  900 880 1100 11000 .0041 0   58.0  51.3  .97  .96  30   15   0     
eca-rers2012/Problem10_label52.yml .580  900 880 910 9500 .0041 0   58.0  51.3  .96  .91  30   15   0     
eca-rers2012/Problem10_label53.yml .580  900 880 890 9700 .0041 0   58.0  51.3  .96  .94  30   15   0     
eca-rers2012/Problem10_label54.yml .580  900 880 870 10000 .0041 0   58.0  51.3  .97  1.2   30   15   0     
eca-rers2012/Problem10_label55.yml .580  900 880 1100 9300 .0041 0   58.0  51.3  .94  .88  30   15   0     
eca-rers2012/Problem10_label56.yml .580  900 880 890 9200 .0041 0   58.0  51.3  .97  1.1   30   15   0     
eca-rers2012/Problem10_label57.yml .570  900 880 890 11000 .0041 0   57.0  52.0  1.0   .96  30   16   0     
eca-rers2012/Problem10_label58.yml .580  900 880 900 9100 .0041 0   58.0  51.3  1.0   .98  30   15   0     
eca-rers2012/Problem10_label59.yml .580  900 880 920 9000 .0041 0   58.0  51.3  .99  1.0   30   15   0     
eca-rers2012/Problem11_label00.yml .325  900 880 1000 9200 .0041 0   32.5  28.9  .91  .86  44   16   0     
eca-rers2012/Problem11_label01.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .95  1.1   44   18   0     
eca-rers2012/Problem11_label02.yml .348  900 880 910 12000 .0041 0   34.8  29.5  .98  1.0   44   19   0     
eca-rers2012/Problem11_label03.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  1.0   1.1   44   19   0     
eca-rers2012/Problem11_label04.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  1.0   .94  44   19   0     
eca-rers2012/Problem11_label05.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  1.2   1.2   44   19   0     
eca-rers2012/Problem11_label06.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label07.yml .348  900 880 930 9400 .0041 0   34.8  29.5  1.0   1.0   44   18   0     
eca-rers2012/Problem11_label08.yml .348  900 880 930 11000 .0041 0   34.8  29.5  1.0   1.2   44   18   0     
eca-rers2012/Problem11_label09.yml .348  900 880 950 8100 .0041 0   34.8  29.5  .93  .89  44   18   0     
eca-rers2012/Problem11_label10.yml .348  900 880 910 11000 .0041 0   34.8  29.5  .99  .99  44   18   0     
eca-rers2012/Problem11_label11.yml .348  900 880 890 12000 .0041 0   34.8  29.5  .95  1.1   44   19   0     
eca-rers2012/Problem11_label12.yml .348  900 880 890 11000 .0041 0   34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label13.yml .348  900 880 940 9300 .0041 0   34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label14.yml .348  900 880 1100 9600 .0041 0   34.8  29.5  .94  1.1   44   18   0     
eca-rers2012/Problem11_label15.yml .348  900 880 960 9400 .0041 0   34.8  29.5  .95  .90  44   18   0     
eca-rers2012/Problem11_label16.yml .348  900 880 880 10000 .0041 0   34.8  29.5  .98  1.0   44   19   0     
eca-rers2012/Problem11_label17.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .98  .97  44   18   0     
eca-rers2012/Problem11_label18.yml .348  900 880 890 9400 .0041 0   34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label19.yml .348  900 880 1100 12000 .0041 0   34.8  29.5  .99  1.1   44   19   0     
eca-rers2012/Problem11_label20.yml .348  900 880 910 9200 .0041 0   34.8  29.5  .99  .98  44   18   0     
eca-rers2012/Problem11_label21.yml .348  900 880 930 9700 .0041 0   34.8  29.5  .97  .92  44   18   0     
eca-rers2012/Problem11_label22.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .95  .92  44   18   0     
eca-rers2012/Problem11_label23.yml .348  900 880 1100 9900 .0041 0   34.8  29.5  1.0   .98  44   18   0     
eca-rers2012/Problem11_label24.yml .348  900 880 930 9800 .0041 0   34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label25.yml .348  900 880 1100 9500 .0041 0   34.8  29.5  .97  .97  44   19   0     
eca-rers2012/Problem11_label26.yml .348  900 880 1100 8200 .0041 0   34.8  29.5  .97  1.0   44   18   0     
eca-rers2012/Problem11_label27.yml .348  900 880 1000 8800 .0041 0   34.8  29.5  .96  1.2   44   18   0     
eca-rers2012/Problem11_label28.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .98  1.1   44   18   0     
eca-rers2012/Problem11_label29.yml .348  900 880 1000 9200 .0041 0   34.8  29.5  .95  .93  44   18   0     
eca-rers2012/Problem11_label30.yml .348  900 880 1100 10000 .0041 0   34.8  29.5  .96  .90  44   18   0     
eca-rers2012/Problem11_label31.yml .348  900 880 1100 8200 .0041 0   34.8  29.5  .97  .94  44   18   0     
eca-rers2012/Problem11_label32.yml .348  900 880 1100 8800 .0041 0   34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label33.yml .348  900 880 1100 10000 .0041 0   34.8  29.5  .95  .94  44   18   0     
eca-rers2012/Problem11_label34.yml .348  900 880 1100 9600 .0041 0   34.8  29.5  .99  1.0   44   18   0     
eca-rers2012/Problem11_label35.yml .348  900 880 1100 9200 .0041 0   34.8  29.5  .99  .99  44   18   0     
eca-rers2012/Problem11_label36.yml .348  900 880 1100 10000 .0041 0   34.8  29.5  .98  .96  44   18   0     
eca-rers2012/Problem11_label37.yml .348  900 880 940 9900 .0041 0   34.8  29.5  .97  1.1   44   18   0     
eca-rers2012/Problem11_label38.yml .348  900 880 1100 10000 .0041 0   34.8  29.5  .94  1.1   44   18   0     
eca-rers2012/Problem11_label39.yml .348  900 880 940 8800 .0041 0   34.8  29.5  1.1   1.0   44   18   0     
eca-rers2012/Problem11_label40.yml .348  900 880 1100 8800 .0041 0   34.8  29.5  1.0   1.0   44   18   0     
eca-rers2012/Problem11_label41.yml .348  900 880 890 9200 .0041 0   34.8  29.5  .96  .94  44   18   0     
eca-rers2012/Problem11_label42.yml .348  930 910 1100 9600 .0041 0   34.8  29.5  1.0   1.1   44   18   0     
eca-rers2012/Problem11_label43.yml .348  900 880 920 9400 .0041 0   34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label44.yml .348  920 900 930 9400 .0041 0   34.8  29.5  .98  .95  44   18   0     
eca-rers2012/Problem11_label45.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .96  1.1   44   19   0     
eca-rers2012/Problem11_label46.yml .348  900 880 1100 9800 .0041 0   34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label47.yml .348  900 880 910 9600 .0041 0   34.8  29.5  .95  1.1   44   18   0     
eca-rers2012/Problem11_label48.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  1.0   .97  44   18   0     
eca-rers2012/Problem11_label49.yml .348  900 880 1100 9200 .0041 0   34.8  29.5  .99  1.1   44   18   0     
eca-rers2012/Problem11_label50.yml .348  900 880 1100 8700 .0041 0   34.8  29.5  .98  .92  44   18   0     
eca-rers2012/Problem11_label51.yml .348  900 880 1100 9500 .0041 0   34.8  29.5  .96  1.1   44   18   0     
eca-rers2012/Problem11_label52.yml .348  900 880 880 9400 .0041 0   34.8  29.5  .94  .89  44   19   0     
eca-rers2012/Problem11_label53.yml .348  900 880 1100 9000 .0041 0   34.8  29.5  1.1   1.0   44   18   0     
eca-rers2012/Problem11_label54.yml .348  900 880 1100 12000 .0041 0   34.8  29.5  .96  1.1   44   19   0     
eca-rers2012/Problem11_label55.yml .348  900 880 1100 11000 .0041 0   34.8  29.5  .96  .91  44   18   0     
eca-rers2012/Problem11_label56.yml .348  900 880 1100 8800 .0041 0   34.8  29.5  .97  .95  44   18   0     
eca-rers2012/Problem11_label57.yml .348  900 880 1100 9000 .0041 0   34.8  29.5  .94  1.0   44   18   0     
eca-rers2012/Problem11_label58.yml .348  900 880 920 8600 .0041 0   34.8  29.5  1.0   .98  44   18   0     
eca-rers2012/Problem11_label59.yml .348  900 880 1200 12000 .0041 0   34.8  29.5  .98  .95  44   19   0     
eca-rers2012/Problem12_label00.yml .110  900 880 2500 9100 .0041 0   11.0  18.7  4.1   4.0   100   160   0     
eca-rers2012/Problem12_label01.yml .110  900 880 2400 8200 .0041 0   11.0  18.7  4.0   4.2   100   150   0     
eca-rers2012/Problem12_label02.yml .110  900 880 2500 11000 .0041 0   11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label03.yml .146  900 880 2400 9000 .0041 0   14.6  19.1  4.1   4.0   100   150   0     
eca-rers2012/Problem12_label04.yml .146  900 880 2300 10000 .0041 0   14.6  19.1  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label05.yml .110  900 880 2300 9600 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label06.yml .110  900 880 2400 9500 .0041 0   11.0  18.7  4.1   4.9   100   150   0     
eca-rers2012/Problem12_label07.yml .108  900 880 2300 11000 .0041 0   10.8  18.6  4.5   4.8   100   170   0     
eca-rers2012/Problem12_label08.yml .110  900 880 2600 10000 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label09.yml .110  900 880 2400 7300 .0041 0   11.0  18.7  4.1   4.1   99   150   0     
eca-rers2012/Problem12_label10.yml .110  900 880 2100 9300 .0041 0   11.0  18.7  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label11.yml .146  900 880 2500 9200 .0041 0   14.6  19.1  4.4   4.7   100   150   0     
eca-rers2012/Problem12_label12.yml .146  900 880 2400 12000 .0041 0   14.6  19.1  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label13.yml .146  900 880 2400 8100 .0041 0   14.6  19.1  4.1   4.7   100   160   0     
eca-rers2012/Problem12_label14.yml .146  900 880 2300 8800 .0041 0   14.6  19.1  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label15.yml .110  900 880 2300 9300 .0041 0   11.0  18.7  4.0   4.5   100   150   0     
eca-rers2012/Problem12_label16.yml .146  900 880 2400 10000 .0041 0   14.6  19.1  4.1   4.2   99   150   0     
eca-rers2012/Problem12_label17.yml .110  900 880 2400 9900 .0041 0   11.0  18.7  4.1   4.8   100   150   0     
eca-rers2012/Problem12_label18.yml .110  900 880 2500 8900 .0041 0   11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label19.yml .146  900 880 2400 12000 .0041 0   14.6  19.1  4.1   4.3   100   160   0     
eca-rers2012/Problem12_label20.yml .146  900 880 2100 9200 .0041 0   14.6  19.1  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label21.yml .110  900 880 2400 9500 .0041 0   11.0  18.7  3.9   3.9   99   150   0     
eca-rers2012/Problem12_label22.yml .110  900 880 2500 9200 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label23.yml .110  900 880 2400 9000 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label24.yml .110  900 880 2600 9800 .0041 0   11.0  18.7  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label25.yml .110  930 910 2300 10000 .0041 0   11.0  18.7  4.1   4.6   100   160   0     
eca-rers2012/Problem12_label26.yml .110  930 910 2300 9300 .0041 0   11.0  18.7  4.1   4.7   100   150   0     
eca-rers2012/Problem12_label27.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.2   4.1   99   150   0     
eca-rers2012/Problem12_label28.yml .110  900 880 2300 9800 .0041 0   11.0  18.7  4.1   4.9   100   150   0     
eca-rers2012/Problem12_label29.yml .110  900 880 2400 9600 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label30.yml .110  900 880 2400 9600 .0041 0   11.0  18.7  4.1   5.0   100   150   0     
eca-rers2012/Problem12_label31.yml .110  900 880 2500 9100 .0041 0   11.0  18.7  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label32.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label33.yml .146  900 880 2400 8500 .0041 0   14.6  19.1  4.1   4.4   99   150   0     
eca-rers2012/Problem12_label34.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.1   4.9   100   160   0     
eca-rers2012/Problem12_label35.yml .110  900 880 2500 10000 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label36.yml .110  900 880 2600 9700 .0041 0   11.0  18.7  4.1   4.0   99   160   0     
eca-rers2012/Problem12_label37.yml .110  900 880 2400 9600 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label38.yml .110  900 880 2200 9500 .0041 0   11.0  18.7  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label39.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label40.yml .146  900 880 2000 8500 .0041 0   14.6  19.1  4.2   4.1   100   150   0     
eca-rers2012/Problem12_label41.yml .110  900 880 2400 11000 .0041 0   11.0  18.7  4.2   4.2   100   150   0     
eca-rers2012/Problem12_label42.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label43.yml .110  900 880 2300 9400 .0041 0   11.0  18.7  4.1   4.0   100   150   0     
eca-rers2012/Problem12_label44.yml .146  900 880 2400 9000 .0041 0   14.6  19.1  4.2   4.4   100   160   0     
eca-rers2012/Problem12_label45.yml .110  900 880 2100 9400 .0041 0   11.0  18.7  4.1   4.0   99   150   0     
eca-rers2012/Problem12_label46.yml .110  900 880 2500 8800 .0041 0   11.0  18.7  4.5   4.5   100   170   0     
eca-rers2012/Problem12_label47.yml .146  900 880 2400 8900 .0041 0   14.6  19.1  4.1   4.5   100   160   0     
eca-rers2012/Problem12_label48.yml .110  900 880 2500 9300 .0041 0   11.0  18.7  4.1   3.9   100   150   0     
eca-rers2012/Problem12_label49.yml .110  900 880 2500 8800 .0041 0   11.0  18.7  4.0   3.9   100   160   0     
eca-rers2012/Problem12_label50.yml .110  900 880 2400 11000 .0041 0   11.0  18.7  4.1   4.8   100   160   0     
eca-rers2012/Problem12_label51.yml .146  900 880 2400 9100 .0041 0   14.6  19.1  4.1   4.6   100   150   0     
eca-rers2012/Problem12_label52.yml .110  900 880 2400 10000 .0041 0   11.0  18.7  4.2   4.1   99   150   0     
eca-rers2012/Problem12_label53.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.2   4.2   99   150   0     
eca-rers2012/Problem12_label54.yml .110  900 880 2400 9800 .0041 0   11.0  18.7  4.1   4.4   100   150   0     
eca-rers2012/Problem12_label55.yml .110  900 880 2500 9700 .0041 0   11.0  18.7  4.0   4.0   100   150   0     
eca-rers2012/Problem12_label56.yml .146  900 880 2400 11000 .0041 0   14.6  19.1  4.0   4.6   100   160   0     
eca-rers2012/Problem12_label57.yml .146  930 910 2400 11000 .0041 0   14.6  19.1  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label58.yml .110  900 880 2400 11000 .0041 0   11.0  18.7  4.1   4.1   100   150   0     
eca-rers2012/Problem12_label59.yml .146  900 880 2400 8800 .0041 0   14.6  19.1  4.1   5.0   100   160   0     
eca-rers2012/Problem13_label00.yml .125  900 880 3000 9700 .0041 0   12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label01.yml .113  900 880 3100 11000 .0041 0   11.3  16.8  6.1   7.2   120   260   0     
eca-rers2012/Problem13_label02.yml .125  900 880 2800 8800 .0041 0   12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label03.yml .125  900 880 2800 8900 .0041 0   12.5  16.8  5.7   6.9   120   240   0     
eca-rers2012/Problem13_label04.yml .113  900 880 3000 11000 .0041 0   11.3  16.8  6.3   6.3   120   270   0     
eca-rers2012/Problem13_label05.yml .125  900 880 3000 9200 .0041 0   12.5  16.8  5.6   6.8   120   240   0     
eca-rers2012/Problem13_label06.yml .125  900 880 2900 11000 .0041 0   12.5  16.8  5.7   6.8   120   240   0     
eca-rers2012/Problem13_label07.yml .125  900 880 2900 11000 .0041 0   12.5  16.8  5.7   6.2   120   230   0     
eca-rers2012/Problem13_label08.yml .125  900 880 2800 9400 .0041 0   12.5  16.8  5.7   6.6   120   240   0     
eca-rers2012/Problem13_label09.yml .125  900 880 2800 8000 .0041 0   12.5  16.8  5.7   5.5   120   240   0     
eca-rers2012/Problem13_label10.yml .125  900 880 3000 8300 .0041 0   12.5  16.8  5.6   6.8   120   240   0     
eca-rers2012/Problem13_label11.yml .125  930 910 3000 10000 .0041 0   12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label12.yml .125  900 880 2900 11000 .0041 0   12.5  16.8  5.7   5.7   120   250   0     
eca-rers2012/Problem13_label13.yml .125  900 880 2700 12000 .0041 0   12.5  16.8  5.7   6.1   120   240   0     
eca-rers2012/Problem13_label14.yml .113  900 880 3100 9000 .0041 0   11.3  16.8  6.1   7.1   120   280   0     
eca-rers2012/Problem13_label15.yml .125  900 880 2900 9300 .0041 0   12.5  16.8  5.5   5.4   120   250   0     
eca-rers2012/Problem13_label16.yml .125  900 880 2900 8500 .0041 0   12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label17.yml .125  900 880 3000 9500 .0041 0   12.5  16.8  5.8   5.7   120   250   0     
eca-rers2012/Problem13_label18.yml .125  900 880 2900 9100 .0041 0   12.5  16.8  5.8   5.7   120   250   0     
eca-rers2012/Problem13_label19.yml .125  900 880 3100 9700 .0041 0   12.5  16.8  5.8   6.3   120   250   0     
eca-rers2012/Problem13_label20.yml .113  900 880 3100 11000 .0041 0   11.3  16.8  6.2   6.2   120   270   0     
eca-rers2012/Problem13_label21.yml .113  900 880 3300 9000 .0041 0   11.3  16.8  6.6   6.9   120   260   0     
eca-rers2012/Problem13_label22.yml .125  900 880 2800 10000 .0041 0   12.5  16.8  5.7   5.9   120   250   0     
eca-rers2012/Problem13_label23.yml .125  900 880 2900 10000 .0041 0   12.5  16.8  5.8   5.6   120   250   0     
eca-rers2012/Problem13_label24.yml .125  900 880 3000 9200 .0041 0   12.5  16.8  5.7   6.5   120   240   0     
eca-rers2012/Problem13_label25.yml .125  900 880 2900 9200 .0041 0   12.5  16.8  5.7   6.7   120   240   0     
eca-rers2012/Problem13_label26.yml .125  900 880 2900 9900 .0041 0   12.5  16.8  5.8   5.6   120   250   0     
eca-rers2012/Problem13_label27.yml .125  900 880 3000 9300 .0041 0   12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label28.yml .125  900 880 3000 9500 .0041 0   12.5  16.8  5.7   5.8   120   240   0     
eca-rers2012/Problem13_label29.yml .125  900 880 2900 9700 .0041 0   12.5  16.8  5.7   5.6   120   250   0     
eca-rers2012/Problem13_label30.yml .125  900 880 3000 8100 .0041 0   12.5  16.8  5.7   6.0   120   250   0     
eca-rers2012/Problem13_label31.yml .113  900 880 3100 8900 .0041 0   11.3  16.8  6.1   7.7   120   260   0     
eca-rers2012/Problem13_label32.yml .125  900 880 2900 11000 .0041 0   12.5  16.8  5.6   6.2   120   240   0     
eca-rers2012/Problem13_label33.yml .125  900 880 3000 11000 .0041 0   12.5  16.8  5.6   6.7   120   240   0     
eca-rers2012/Problem13_label34.yml .125  900 880 3000 10000 .0041 0   12.5  16.8  5.6   5.5   120   250   0     
eca-rers2012/Problem13_label35.yml .125  900 880 3000 10000 .0041 0   12.5  16.8  5.8   5.8   120   240   0     
eca-rers2012/Problem13_label36.yml .125  900 880 2900 8600 .0041 0   12.5  16.8  5.7   6.0   120   240   0     
eca-rers2012/Problem13_label37.yml .125  900 880 2900 8700 .0041 0   12.5  16.8  5.7   6.6   120   240   0     
eca-rers2012/Problem13_label38.yml .125  900 880 2800 11000 .0041 0   12.5  16.8  5.8   6.5   120   230   0     
eca-rers2012/Problem13_label39.yml .125  900 880 3000 10000 .0041 0   12.5  16.8  5.8   6.4   120   240   0     
eca-rers2012/Problem13_label40.yml .125  900 880 2900 8700 .0041 0   12.5  16.8  5.9   5.8   120   250   0     
eca-rers2012/Problem13_label41.yml .125  900 880 2800 9300 .0041 0   12.5  16.8  5.8   5.6   120   240   0     
eca-rers2012/Problem13_label42.yml .125  900 880 2900 11000 .0041 0   12.5  16.8  5.7   6.7   120   250   0     
eca-rers2012/Problem13_label43.yml .125  900 880 2900 10000 .0041 0   12.5  16.8  5.7   6.2   120   240   0     
eca-rers2012/Problem13_label44.yml .113  900 880 3100 10000 .0041 0   11.3  16.8  6.2   6.9   120   260   0     
eca-rers2012/Problem13_label45.yml .125  900 880 2700 8700 .0041 0   12.5  16.8  5.7   6.8   120   240   0     
eca-rers2012/Problem13_label46.yml .113  900 880 3100 9400 .0041 0   11.3  16.8  6.0   6.3   120   270   0     
eca-rers2012/Problem13_label47.yml .125  900 880 3000 9400 .0041 0   12.5  16.8  5.7   6.0   120   250   0     
eca-rers2012/Problem13_label48.yml .113  900 880 3000 10000 .0041 0   11.3  16.8  5.5   5.5   120   230   0     
eca-rers2012/Problem13_label49.yml .113  900 880 3100 9600 .0041 0   11.3  16.8  6.2   6.2   120   270   0     
eca-rers2012/Problem13_label50.yml .113  900 880 3000 9000 .0041 0   11.3  16.8  6.3   7.6   120   270   0     
eca-rers2012/Problem13_label51.yml .125  900 880 2800 9400 .0041 0   12.5  16.8  5.7   5.7   120   250   0     
eca-rers2012/Problem13_label52.yml .125  900 880 3000 9400 .0041 0   12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label53.yml .125  900 880 2900 8900 .0041 0   12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label54.yml .125  900 880 2900 9700 .0041 0   12.5  16.8  5.7   5.7   120   240   0     
eca-rers2012/Problem13_label55.yml .125  900 880 3000 9200 .0041 0   12.5  16.8  5.8   5.7   120   240   0     
eca-rers2012/Problem13_label56.yml .113  900 880 2900 11000 .0041 0   11.3  16.8  6.2   6.1   120   280   0     
eca-rers2012/Problem13_label57.yml .125  900 880 3100 12000 .0041 0   12.5  16.8  5.8   6.7   120   240   0     
eca-rers2012/Problem13_label58.yml .125  900 880 2800 12000 .0041 0   12.5  16.8  5.9   5.8   120   240   0     
eca-rers2012/Problem13_label59.yml .125  900 880 3000 9900 .0041 0   12.5  16.8  5.7   6.9   120   240   0     
eca-rers2012/Problem15_label00.yml .155  900 880 1400 9500 .0041 0   15.5  21.6  1.4   1.4   64   34   0     
eca-rers2012/Problem15_label01.yml .165  900 880 1400 9100 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label02.yml .165  900 880 1500 8900 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label03.yml .165  900 880 1300 8800 .0041 0   16.5  21.9  1.4   1.4   63   31   0     
eca-rers2012/Problem15_label04.yml .165  900 880 1300 10000 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label05.yml .165  900 880 1300 11000 .0041 0   16.5  21.9  1.3   1.4   63   31   0     
eca-rers2012/Problem15_label06.yml .165  900 880 1300 8700 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label07.yml .165  900 880 1400 11000 .0041 0   16.5  21.9  1.3   1.2   64   31   0     
eca-rers2012/Problem15_label08.yml .165  900 880 1300 11000 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label09.yml .165  900 880 1500 9200 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label10.yml .165  900 880 1300 9200 .0041 0   16.5  21.9  1.4   1.4   64   31   0     
eca-rers2012/Problem15_label11.yml .165  900 880 1500 10000 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label12.yml .165  900 880 1300 11000 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label13.yml .165  900 880 1500 8700 .0041 0   16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label14.yml .165  900 880 1400 9700 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label15.yml .165  900 880 1400 8600 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label16.yml .165  900 880 1400 9800 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label17.yml .165  900 880 1500 9200 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label19.yml .165  900 880 1300 9300 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label20.yml .165  900 880 1400 9400 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label21.yml .165  900 880 1500 8700 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label22.yml .165  900 880 1500 10000 .0041 0   16.5  21.9  1.5   1.5   64   31   0     
eca-rers2012/Problem15_label23.yml .165  900 880 1500 12000 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label24.yml .165  900 880 1500 9300 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label25.yml .165  900 880 1300 9100 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label26.yml .165  900 880 1300 10000 .0041 0   16.5  21.9  1.4   1.4   63   31   0     
eca-rers2012/Problem15_label27.yml .165  900 880 1300 10000 .0041 0   16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label28.yml .165  900 880 1500 11000 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label29.yml .165  900 880 1300 9200 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label30.yml .165  900 880 1500 9700 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label31.yml .165  900 880 1500 9700 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label32.yml .165  900 880 1300 9200 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label33.yml .165  900 880 1500 9400 .0041 0   16.5  21.9  1.3   1.3   64   30   0     
eca-rers2012/Problem15_label34.yml .165  900 880 1300 8600 .0041 0   16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label35.yml .165  900 880 1300 9300 .0041 0   16.5  21.9  1.3   1.5   63   31   0     
eca-rers2012/Problem15_label36.yml .165  900 880 1500 11000 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label37.yml .165  900 880 1500 10000 .0041 0   16.5  21.9  1.4   1.4   64   31   0     
eca-rers2012/Problem15_label38.yml .165  900 880 1300 8700 .0041 0   16.5  21.9  1.3   1.3   64   30   0     
eca-rers2012/Problem15_label39.yml .165  900 880 1300 11000 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label40.yml .165  900 880 1300 9800 .0041 0   16.5  21.9  1.3   1.3   63   32   0     
eca-rers2012/Problem15_label41.yml .165  900 880 1500 9000 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label42.yml .165  900 880 1400 12000 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label43.yml .165  900 880 1400 11000 .0041 0   16.5  21.9  1.4   1.5   64   31   0     
eca-rers2012/Problem15_label44.yml .165  900 880 1500 11000 .0041 0   16.5  21.9  1.3   1.3   63   32   0     
eca-rers2012/Problem15_label45.yml .165  900 880 1300 9400 .0041 0   16.5  21.9  1.3   1.3   63   31   0     
eca-rers2012/Problem15_label46.yml .165  900 880 1500 11000 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label47.yml .165  900 880 1300 10000 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label48.yml .165  900 880 1300 8900 .0041 0   16.5  21.9  1.3   1.2   64   31   0     
eca-rers2012/Problem15_label49.yml .165  900 880 1400 9900 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label50.yml .165  900 880 1300 9200 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label51.yml .165  900 880 1300 9600 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label52.yml .165  900 880 1300 9100 .0041 0   16.5  21.9  1.4   1.3   63   31   0     
eca-rers2012/Problem15_label53.yml .165  900 880 1200 9200 .0041 0   16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label54.yml .165  900 880 1200 8700 .0041 0   16.5  21.9  1.4   1.3   64   31   0     
eca-rers2012/Problem15_label55.yml .165  900 880 1300 10000 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem15_label56.yml .165  900 880 1400 9200 .0041 0   16.5  21.9  1.3   1.3   64   31   0     
eca-rers2012/Problem15_label57.yml .165  900 880 1500 8800 .0041 0   16.5  21.9  1.3   1.6   64   31   0     
eca-rers2012/Problem15_label58.yml .165  900 880 1500 11000 .0041 0   16.5  21.9  1.3   1.4   64   31   0     
eca-rers2012/Problem15_label59.yml .165  900 880 1500 9400 .0041 0   16.5  21.9  1.3   1.5   64   31   0     
eca-rers2012/Problem16_label00.yml .199  900 880 1000 9300 .0041 0   19.9  26.9  1.3   1.4   52   31   0     
eca-rers2012/Problem16_label01.yml .199  900 880 880 9900 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label02.yml .199  900 880 1000 9100 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label03.yml .193  900 880 1000 11000 .0041 0   19.3  26.4  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label04.yml .199  900 880 840 8900 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label05.yml .199  900 880 900 9900 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label06.yml .199  900 880 860 11000 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label07.yml .199  900 880 850 11000 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label08.yml .199  900 880 1000 9500 .0041 0   19.9  26.9  1.4   1.4   52   30   0     
eca-rers2012/Problem16_label09.yml .199  900 880 1000 12000 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label10.yml .199  900 880 840 11000 .0041 0   19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label11.yml .199  900 880 850 9200 .0041 0   19.9  26.9  1.4   1.3   52   31   0     
eca-rers2012/Problem16_label12.yml .199  900 880 860 9200 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label13.yml .199  900 880 880 9100 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label14.yml .199  900 880 1000 8200 .0041 0   19.9  26.9  1.3   1.6   52   30   0     
eca-rers2012/Problem16_label15.yml .199  900 880 890 10000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label16.yml .199  900 880 870 9200 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label17.yml .199  900 880 980 9500 .0041 0   19.9  26.9  1.4   1.3   52   31   0     
eca-rers2012/Problem16_label18.yml .199  900 880 1000 11000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label19.yml .199  900 880 840 11000 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label20.yml .199  900 880 1000 11000 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label21.yml .199  900 880 1000 9400 .0041 0   19.9  26.9  1.3   1.2   52   31   0     
eca-rers2012/Problem16_label22.yml .199  900 880 1000 9300 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label23.yml .199  930 910 1000 12000 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label24.yml .199  900 880 850 10000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label25.yml .199  900 880 1000 8700 .0041 0   19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label26.yml .199  900 880 1000 9000 .0041 0   19.9  26.9  1.3   1.6   52   31   0     
eca-rers2012/Problem16_label27.yml .199  900 880 870 9300 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label28.yml .199  900 880 890 11000 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label29.yml .199  900 880 850 12000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label30.yml .199  900 880 1000 9300 .0041 0   19.9  26.9  1.3   1.3   52   29   0     
eca-rers2012/Problem16_label31.yml .199  900 880 1000 7200 .0041 0   19.9  26.9  1.3   1.6   52   31   0     
eca-rers2012/Problem16_label32.yml .199  900 880 1000 8800 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label33.yml .199  900 880 870 10000 .0041 0   19.9  26.9  1.3   1.2   52   30   0     
eca-rers2012/Problem16_label34.yml .199  900 880 1000 9700 .0041 0   19.9  26.9  1.3   1.3   51   31   0     
eca-rers2012/Problem16_label35.yml .199  900 880 870 8200 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label36.yml .199  900 880 870 9900 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label37.yml .199  900 880 850 11000 .0041 0   19.9  26.9  1.3   1.4   52   31   0     
eca-rers2012/Problem16_label38.yml .199  900 880 890 10000 .0041 0   19.9  26.9  1.4   1.5   52   31   0     
eca-rers2012/Problem16_label39.yml .199  900 880 1000 11000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label40.yml .199  900 880 1000 9900 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label41.yml .199  900 880 880 9500 .0041 0   19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label42.yml .199  900 880 1000 9200 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label43.yml .199  900 880 1100 10000 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label44.yml .199  900 880 880 9400 .0041 0   19.9  26.9  1.3   1.7   52   30   0     
eca-rers2012/Problem16_label45.yml .199  900 880 990 9800 .0041 0   19.9  26.9  1.3   1.3   52   31   0     
eca-rers2012/Problem16_label46.yml .199  900 880 1000 10000 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label47.yml .199  900 880 1100 9500 .0041 0   19.9  26.9  1.4   1.3   52   30   0     
eca-rers2012/Problem16_label48.yml .199  900 880 1000 9000 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label49.yml .199  900 880 1000 11000 .0041 0   19.9  26.9  1.3   1.6   52   30   0     
eca-rers2012/Problem16_label50.yml .199  900 880 1000 8900 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label51.yml .199  900 880 1100 11000 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label52.yml .199  900 880 990 8900 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label53.yml .199  900 880 840 11000 .0041 0   19.9  26.9  1.4   1.4   52   30   0     
eca-rers2012/Problem16_label54.yml .199  900 880 840 9500 .0041 0   19.9  26.9  1.3   1.5   52   30   0     
eca-rers2012/Problem16_label55.yml .199  900 880 1000 10000 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem16_label56.yml .199  900 880 850 9300 .0041 0   19.9  26.9  1.3   1.5   52   31   0     
eca-rers2012/Problem16_label57.yml .199  900 880 980 11000 .0041 0   19.9  26.9  1.3   1.2   52   30   0     
eca-rers2012/Problem16_label58.yml .199  900 880 860 9500 .0041 0   19.9  26.9  1.3   1.4   52   30   0     
eca-rers2012/Problem16_label59.yml .199  900 880 1000 11000 .0041 0   19.9  26.9  1.3   1.3   52   30   0     
eca-rers2012/Problem17_label00.yml .117  900 880 1800 9500 .0041 0   11.7  20.7  2.2   2.2   80   69   0     
eca-rers2012/Problem17_label01.yml .117  900 880 3800 11000 .0041 0   11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label02.yml .117  900 880 1800 9400 .0041 0   11.7  20.7  2.3   2.4   80   69   0     
eca-rers2012/Problem17_label03.yml .117  900 880 1800 10000 .0041 0   11.7  20.7  2.2   2.6   80   70   0     
eca-rers2012/Problem17_label04.yml .117  900 880 2600 8700 .0041 0   11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label05.yml .117  900 880 2000 9300 .0041 0   11.7  20.7  2.3   2.5   80   70   0     
eca-rers2012/Problem17_label06.yml .117  900 880 1800 9000 .0041 0   11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label07.yml .117  900 880 2600 9800 .0041 0   11.7  20.7  2.2   2.7   81   69   0     
eca-rers2012/Problem17_label08.yml .117  900 880 2200 11000 .0041 0   11.7  20.7  2.3   2.5   80   69   0     
eca-rers2012/Problem17_label09.yml .117  900 880 2100 8600 .0041 0   11.7  20.7  2.3   2.8   81   69   0     
eca-rers2012/Problem17_label10.yml .167  900 880 1800 11000 .0041 0   16.7  20.8  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label11.yml .117  900 880 2800 11000 .0041 0   11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label12.yml .117  900 880 2400 9400 .0041 0   11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label13.yml .117  900 880 3000 11000 .0041 0   11.7  20.7  2.3   2.4   81   69   0     
eca-rers2012/Problem17_label14.yml .117  900 880 2500 10000 .0041 0   11.7  20.7  2.2   2.6   81   69   0     
eca-rers2012/Problem17_label15.yml .117  900 880 2000 11000 .0041 0   11.7  20.7  2.2   2.1   80   70   0     
eca-rers2012/Problem17_label16.yml .117  900 880 2000 10000 .0041 0   11.7  20.7  2.2   2.3   81   70   0     
eca-rers2012/Problem17_label17.yml .117  900 880 2000 7100 .0041 0   11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label18.yml .117  900 880 1800 9400 .0041 0   11.7  20.7  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label19.yml .117  900 880 3000 11000 .0041 0   11.7  20.7  2.3   2.2   80   69   0     
eca-rers2012/Problem17_label20.yml .117  900 880 1900 9300 .0041 0   11.7  20.7  2.2   2.2   80   69   0     
eca-rers2012/Problem17_label21.yml .117  900 880 1900 9400 .0041 0   11.7  20.7  2.3   2.7   81   70   0     
eca-rers2012/Problem17_label22.yml .117  900 880 2800 11000 .0041 0   11.7  20.7  2.2   2.3   81   70   0     
eca-rers2012/Problem17_label23.yml .117  900 880 2000 9100 .0041 0   11.7  20.7  2.2   2.4   81   68   0     
eca-rers2012/Problem17_label24.yml .117  900 880 2100 9200 .0041 0   11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label25.yml .117  900 880 1800 9200 .0041 0   11.7  20.7  2.3   2.6   81   69   0     
eca-rers2012/Problem17_label26.yml .117  900 880 3000 9800 .0041 0   11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label27.yml .117  900 880 1900 10000 .0041 0   11.7  20.7  2.3   2.5   81   69   0     
eca-rers2012/Problem17_label28.yml .117  900 880 1800 12000 .0041 0   11.7  20.7  2.2   2.6   81   69   0     
eca-rers2012/Problem17_label29.yml .117  900 880 2000 9200 .0041 0   11.7  20.7  2.4   2.3   80   69   0     
eca-rers2012/Problem17_label30.yml .117  900 880 1900 11000 .0041 0   11.7  20.7  2.2   2.7   81   70   0     
eca-rers2012/Problem17_label31.yml .117  900 880 1900 11000 .0041 0   11.7  20.7  2.2   2.2   81   70   0     
eca-rers2012/Problem17_label32.yml .117  900 880 1900 9200 .0041 0   11.7  20.7  2.3   2.4   80   70   0     
eca-rers2012/Problem17_label33.yml .117  900 880 2000 8600 .0041 0   11.7  20.7  2.3   2.3   80   69   0     
eca-rers2012/Problem17_label34.yml .167  900 880 1900 11000 .0041 0   16.7  20.8  2.3   2.5   80   70   0     
eca-rers2012/Problem17_label35.yml .117  900 880 3000 12000 .0041 0   11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label36.yml .117  900 880 1800 8600 .0041 0   11.7  20.7  2.2   2.5   81   69   0     
eca-rers2012/Problem17_label37.yml .117  900 880 2400 10000 .0041 0   11.7  20.7  2.2   2.3   80   66   0     
eca-rers2012/Problem17_label38.yml .117  900 880 1800 8700 .0041 0   11.7  20.7  2.3   2.2   81   70   0     
eca-rers2012/Problem17_label39.yml .117  900 880 1900 8900 .0041 0   11.7  20.7  2.2   2.1   81   69   0     
eca-rers2012/Problem17_label40.yml .117  900 880 4000 9400 .0041 0   11.7  20.7  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label41.yml .117  900 880 1900 9600 .0041 0   11.7  20.7  2.3   2.5   81   70   0     
eca-rers2012/Problem17_label42.yml .117  900 880 2600 9100 .0041 0   11.7  20.7  2.3   2.3   81   69   0     
eca-rers2012/Problem17_label43.yml .167  900 880 1900 9100 .0041 0   16.7  20.8  2.3   2.2   81   69   0     
eca-rers2012/Problem17_label44.yml .117  900 880 2500 8200 .0041 0   11.7  20.7  2.2   2.3   81   69   0     
eca-rers2012/Problem17_label45.yml .117  900 880 2000 8600 .0041 0   11.7  20.7  2.2   2.5   81   70   0     
eca-rers2012/Problem17_label46.yml .117  900 880 1800 9700 .0041 0   11.7  20.7  2.3   2.3   80   69   0     
eca-rers2012/Problem17_label47.yml .167  900 880 2000 9700 .0041 0   16.7  20.8  2.3   2.6   81   70   0     
eca-rers2012/Problem17_label48.yml .117  900 880 2600 11000 .0041 0   11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label49.yml .117  930 910 1800 9600 .0041 0   11.7  20.7  2.3   2.2   80   69   0     
eca-rers2012/Problem17_label50.yml .117  900 880 1800 10000 .0041 0   11.7  20.7  2.2   2.2   81   69   0     
eca-rers2012/Problem17_label51.yml .117  930 910 2800 9200 .0041 0   11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label52.yml .157  900 880 1900 9400 .0041 0   15.7  20.8  2.4   2.4   80   73   0     
eca-rers2012/Problem17_label53.yml .117  900 880 2700 9500 .0041 0   11.7  20.7  2.2   2.6   81   70   0     
eca-rers2012/Problem17_label54.yml .117  900 880 1800 9900 .0041 0   11.7  20.7  2.3   2.7   80   69   0     
eca-rers2012/Problem17_label55.yml .117  900 880 2000 10000 .0041 0   11.7  20.7  2.3   2.4   80   69   0     
eca-rers2012/Problem17_label56.yml .117  900 880 2700 9100 .0041 0   11.7  20.7  2.2   2.6   80   69   0     
eca-rers2012/Problem17_label57.yml .117  900 880 1800 9400 .0041 0   11.7  20.7  2.3   2.2   80   70   0     
eca-rers2012/Problem17_label58.yml .167  900 880 1900 8500 .0041 0   16.7  20.8  2.3   2.4   80   70   0     
eca-rers2012/Problem17_label59.yml .117  900 880 2200 8200 .0041 0   11.7  20.7  2.3   2.3   81   69   0     
eca-rers2012/Problem18_label00.yml .134  900 880 1800 9700 .0041 0   13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label01.yml .134  900 880 1400 9900 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label02.yml .134  900 880 1800 11000 .0041 0   13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label03.yml .134  900 880 1800 9100 .0041 0   13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label04.yml .134  900 880 2000 9300 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label05.yml .134  900 880 1500 8700 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label06.yml .134  900 880 1600 9300 .0041 0   13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label07.yml .134  900 880 1600 10000 .0041 0   13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label08.yml .134  900 880 1500 8700 .0041 0   13.4  19.9  3.1   3.1   76   110   0     
eca-rers2012/Problem18_label09.yml .134  900 880 1700 9000 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label10.yml .134  900 870 1500 11000 .0041 0   13.4  19.9  3.3   3.2   75   110   0     
eca-rers2012/Problem18_label11.yml .134  900 880 1800 9400 .0041 0   13.4  19.9  3.2   3.9   76   110   0     
eca-rers2012/Problem18_label12.yml .134  900 880 1600 11000 .0041 0   13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label13.yml .134  900 880 1800 9400 .0041 0   13.4  19.9  3.3   3.7   76   110   0     
eca-rers2012/Problem18_label14.yml .134  900 880 1800 9100 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label15.yml .134  900 880 1600 9000 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label16.yml .134  900 880 1600 11000 .0041 0   13.4  19.9  3.2   3.3   76   110   0     
eca-rers2012/Problem18_label17.yml .134  900 880 1900 9500 .0041 0   13.4  19.9  3.3   3.5   76   110   0     
eca-rers2012/Problem18_label18.yml .134  900 880 1800 9200 .0041 0   13.4  19.9  3.1   3.1   76   110   0     
eca-rers2012/Problem18_label19.yml .134  900 880 1800 11000 .0041 0   13.4  19.9  3.3   3.5   76   110   0     
eca-rers2012/Problem18_label20.yml .126  900 880 1600 9700 .0041 0   12.6  19.8  3.5   3.4   76   130   0     
eca-rers2012/Problem18_label21.yml .134  900 880 2300 11000 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label22.yml .134  930 910 1500 11000 .0041 0   13.4  19.9  3.1   3.0   76   110   0     
eca-rers2012/Problem18_label23.yml .134  900 880 1500 9700 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label24.yml .134  900 880 1500 9700 .0041 0   13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label25.yml .134  900 880 1800 9500 .0041 0   13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label26.yml .134  900 880 2400 9300 .0041 0   13.4  19.9  3.3   3.6   76   110   0     
eca-rers2012/Problem18_label27.yml .134  900 880 2100 10000 .0041 0   13.4  19.9  3.1   3.0   76   110   0     
eca-rers2012/Problem18_label28.yml .133  900 880 1700 11000 .0041 0   13.3  19.8  3.6   4.2   76   130   0     
eca-rers2012/Problem18_label29.yml .134  900 880 2200 10000 .0041 0   13.4  19.9  3.2   3.4   76   110   0     
eca-rers2012/Problem18_label30.yml .134  900 880 1800 11000 .0041 0   13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label31.yml .134  900 880 1800 10000 .0041 0   13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label32.yml .134  900 880 1800 11000 .0041 0   13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label33.yml .134  900 880 1800 9500 .0041 0   13.4  19.9  3.0   3.0   76   110   0     
eca-rers2012/Problem18_label34.yml .134  900 880 1800 9000 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label35.yml .134  900 880 1700 10000 .0041 0   13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label36.yml .134  900 880 1600 11000 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label37.yml .134  900 880 2300 10000 .0041 0   13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label38.yml .134  900 880 1400 10000 .0041 0   13.4  19.9  3.2   3.4   76   110   0     
eca-rers2012/Problem18_label39.yml .134  900 880 2100 8900 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label40.yml .134  900 880 2200 11000 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label41.yml .134  900 880 1800 12000 .0041 0   13.4  19.9  3.2   3.3   76   110   0     
eca-rers2012/Problem18_label42.yml .134  900 880 2100 11000 .0041 0   13.4  19.9  3.2   3.8   76   110   0     
eca-rers2012/Problem18_label43.yml .134  900 880 1600 9200 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label44.yml .134  900 880 1800 9700 .0041 0   13.4  19.9  3.3   3.3   76   110   0     
eca-rers2012/Problem18_label45.yml .134  900 880 1800 9300 .0041 0   13.4  19.9  3.2   3.8   76   110   0     
eca-rers2012/Problem18_label46.yml .134  900 880 1800 9700 .0041 0   13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label47.yml .134  900 880 1900 9400 .0041 0   13.4  19.9  3.2   3.7   76   110   0     
eca-rers2012/Problem18_label48.yml .134  900 880 1500 11000 .0041 0   13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label49.yml .134  900 880 2000 8400 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label50.yml .134  900 880 1800 8100 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label51.yml .134  900 880 2300 9500 .0041 0   13.4  19.9  3.1   3.3   76   110   0     
eca-rers2012/Problem18_label52.yml .134  900 880 1700 10000 .0041 0   13.4  19.9  3.3   3.2   76   110   0     
eca-rers2012/Problem18_label53.yml .134  900 880 1800 10000 .0041 0   13.4  19.9  3.1   4.0   76   110   0     
eca-rers2012/Problem18_label54.yml .134  900 880 1400 10000 .0041 0   13.4  19.9  3.2   3.6   76   110   0     
eca-rers2012/Problem18_label55.yml .134  900 880 2500 9000 .0041 0   13.4  19.9  3.2   3.1   75   110   0     
eca-rers2012/Problem18_label56.yml .134  900 880 2000 9200 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label57.yml .134  900 880 1700 9800 .0041 0   13.4  19.9  3.2   3.2   76   110   0     
eca-rers2012/Problem18_label58.yml .134  900 880 1700 8800 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem18_label59.yml .134  900 880 1800 9500 .0041 0   13.4  19.9  3.2   3.1   76   110   0     
eca-rers2012/Problem19_label00.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label01.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     12     160   750   0     
eca-rers2012/Problem19_label02.yml .110  900 870 1400 12000 .0041 0   11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label03.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     11     160   600   0     
eca-rers2012/Problem19_label04.yml .110  900 870 1400 11000 .0041 0   11.0  17.2  11     11     160   700   0     
eca-rers2012/Problem19_label05.yml .110  900 870 1600 10000 .0041 0   11.0  17.2  12     12     160   630   0     
eca-rers2012/Problem19_label06.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  12     12     160   740   0     
eca-rers2012/Problem19_label07.yml .110  900 870 1500 9700 .0041 0   11.0  17.2  11     11     160   720   0     
eca-rers2012/Problem19_label08.yml .110  900 870 1500 9200 .0041 0   11.0  17.2  12     13     160   720   0     
eca-rers2012/Problem19_label09.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  12     12     160   550   0     
eca-rers2012/Problem19_label10.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  11     13     160   660   0     
eca-rers2012/Problem19_label11.yml .110  900 870 1300 9200 .0041 0   11.0  17.2  12     11     160   740   0     
eca-rers2012/Problem19_label12.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  12     11     160   750   0     
eca-rers2012/Problem19_label13.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  12     14     160   640   0     
eca-rers2012/Problem19_label14.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  12     12     160   570   0     
eca-rers2012/Problem19_label15.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     12     160   720   0     
eca-rers2012/Problem19_label16.yml .110  900 870 1400 12000 .0041 0   11.0  17.2  11     12     160   590   0     
eca-rers2012/Problem19_label17.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   670   0     
eca-rers2012/Problem19_label18.yml .110  900 870 1400 9800 .0041 0   11.0  17.2  11     12     160   590   0     
eca-rers2012/Problem19_label19.yml .110  900 870 1400 9800 .0041 0   11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label20.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  11     13     160   690   0     
eca-rers2012/Problem19_label21.yml .110  900 870 1400 12000 .0041 0   11.0  17.2  11     13     160   710   0     
eca-rers2012/Problem19_label22.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     12     160   740   0     
eca-rers2012/Problem19_label23.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label24.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     11     160   760   0     
eca-rers2012/Problem19_label25.yml .110  900 870 1400 9900 .0041 0   11.0  17.2  12     12     160   740   0     
eca-rers2012/Problem19_label26.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     14     160   670   0     
eca-rers2012/Problem19_label27.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   760   0     
eca-rers2012/Problem19_label28.yml .110  900 870 1500 9300 .0041 0   11.0  17.2  11     12     160   750   0     
eca-rers2012/Problem19_label29.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     11     160   570   0     
eca-rers2012/Problem19_label30.yml .110  900 870 1400 11000 .0041 0   11.0  17.2  12     12     160   730   0     
eca-rers2012/Problem19_label31.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     11     160   620   0     
eca-rers2012/Problem19_label32.yml .110  900 870 1500 13000 .0041 0   11.0  17.2  11     12     160   760   0     
eca-rers2012/Problem19_label33.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     14     160   650   0     
eca-rers2012/Problem19_label34.yml .110  900 870 1500 9100 .0041 0   11.0  17.2  12     12     160   730   0     
eca-rers2012/Problem19_label35.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  11     11     160   770   0     
eca-rers2012/Problem19_label36.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     13     160   700   0     
eca-rers2012/Problem19_label37.yml .110  900 870 1400 11000 .0041 0   11.0  17.2  11     11     160   720   0     
eca-rers2012/Problem19_label38.yml .110  900 870 1400 9900 .0041 0   11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label39.yml .110  900 870 1300 12000 .0041 0   11.0  17.2  12     12     160   690   0     
eca-rers2012/Problem19_label40.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     11     160   740   0     
eca-rers2012/Problem19_label41.yml .110  900 870 1400 9600 .0041 0   11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label42.yml .110  900 870 1500 9800 .0041 0   11.0  17.2  11     14     160   650   0     
eca-rers2012/Problem19_label43.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  12     14     160   660   0     
eca-rers2012/Problem19_label44.yml .110  900 870 1500 9600 .0041 0   11.0  17.2  11     13     160   760   0     
eca-rers2012/Problem19_label45.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label46.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   750   0     
eca-rers2012/Problem19_label47.yml .110  900 870 1400 10000 .0041 0   11.0  17.2  12     14     160   790   0     
eca-rers2012/Problem19_label48.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  11     13     160   690   0     
eca-rers2012/Problem19_label49.yml .110  900 870 1500 9800 .0041 0   11.0  17.2  11     12     160   700   0     
eca-rers2012/Problem19_label50.yml .110  900 870 1500 12000 .0041 0   11.0  17.2  12     12     160   700   0     
eca-rers2012/Problem19_label51.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  12     11     160   560   0     
eca-rers2012/Problem19_label52.yml .110  900 870 1400 12000 .0041 0   11.0  17.2  12     12     160   580   0     
eca-rers2012/Problem19_label53.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     12     160   670   0     
eca-rers2012/Problem19_label54.yml .110  900 870 1500 10000 .0041 0   11.0  17.2  11     12     160   780   0     
eca-rers2012/Problem19_label55.yml .110  900 870 1500 9800 .0041 0   11.0  17.2  12     12     160   670   0     
eca-rers2012/Problem19_label56.yml .110  900 870 1400 13000 .0041 0   11.0  17.2  11     12     160   690   0     
eca-rers2012/Problem19_label57.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   670   0     
eca-rers2012/Problem19_label58.yml .110  900 870 1400 12000 .0041 0   11.0  17.2  11     11     160   730   0     
eca-rers2012/Problem19_label59.yml .110  900 870 1500 11000 .0041 0   11.0  17.2  11     11     160   620   0     
eca-programs/Problem101_label00.yml .0    900 880 1800 3700 .0041 0   0    0    .062 .063 9.0 0   0     
eca-programs/Problem101_label01.yml .0    900 880 1800 5300 .0041 0   0    0    .058 .059 9.0 0   0     
eca-programs/Problem101_label02.yml .0    900 880 1800 3800 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label03.yml .0    900 880 1800 3400 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label04.yml .0    900 880 1800 3600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label05.yml .0    900 880 1800 4300 .0041 0   0    0    .061 .061 9.0 0   0     
eca-programs/Problem101_label06.yml .0    900 880 1800 3500 .0041 0   0    0    .059 .060 9.1 0   0     
eca-programs/Problem101_label07.yml .0    900 880 1800 3400 .0041 0   0    0    .062 .062 9.0 0   0     
eca-programs/Problem101_label08.yml .0    900 890 1400 3500 .0041 0   0    0    .074 .077 9.0 0   0     
eca-programs/Problem101_label09.yml .0    900 880 1800 5400 .0041 0   0    0    .061 .062 8.9 0   0     
eca-programs/Problem101_label10.yml .0    900 880 1800 2900 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label11.yml .0    900 880 1800 6000 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label12.yml .0    900 880 1800 3600 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label13.yml .0    900 880 1800 3600 .0041 0   0    0    .067 .068 9.0 0   0     
eca-programs/Problem101_label14.yml .0    900 880 1800 3700 .0041 0   0    0    .060 .062 9.1 0   0     
eca-programs/Problem101_label15.yml .0    900 880 1800 3400 .0041 0   0    0    .063 .064 9.0 0   0     
eca-programs/Problem101_label16.yml .0    900 880 1800 3400 .0041 0   0    0    .064 .064 9.0 0   0     
eca-programs/Problem101_label17.yml .0    900 880 1800 3300 .0041 0   0    0    .088 .089 9.0 0   0     
eca-programs/Problem101_label18.yml .0    900 880 1800 2900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem101_label19.yml .0    900 880 1800 4300 .0041 0   0    0    .076 .077 9.0 0   0     
eca-programs/Problem101_label20.yml .0    900 880 1800 5300 .0041 0   0    0    .059 .059 9.0 0   0     
eca-programs/Problem101_label21.yml .0    900 890 1800 6000 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label22.yml .0    900 880 1800 4100 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem101_label23.yml .0    900 880 1800 3900 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label00.yml .0    900 870 3000 3000 .0041 0   0    0    .058 .060 9.0 0   0     
eca-programs/Problem102_label01.yml .0    900 870 2700 3200 .0041 0   0    0    .061 .063 9.1 0   0     
eca-programs/Problem102_label02.yml .0    900 870 2700 3700 .0041 0   0    0    .057 .058 9.1 0   0     
eca-programs/Problem102_label03.yml .0    900 880 2300 4100 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label04.yml .0    900 870 2700 3400 .0041 0   0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label05.yml .0    900 870 2700 5600 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label06.yml .0    900 880 2300 3300 .0041 0   0    0    .060 .062 9.0 0   0     
eca-programs/Problem102_label07.yml .0    900 880 2300 4100 .0041 0   0    0    .064 .066 9.1 0   0     
eca-programs/Problem102_label08.yml .0    900 880 2300 4200 .0041 0   0    0    .060 .061 9.1 0   0     
eca-programs/Problem102_label09.yml .0    900 880 2800 5900 .0041 0   0    0    .060 .062 9.0 0   0     
eca-programs/Problem102_label10.yml .0    900 870 2700 3700 .0041 0   0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label11.yml .0    900 870 2300 3300 .0041 0   0    0    .058 .062 9.0 0   0     
eca-programs/Problem102_label12.yml .0    900 880 2600 4000 .0041 0   0    0    .061 .061 9.0 0   0     
eca-programs/Problem102_label13.yml .0    900 870 2400 4300 .0041 0   0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label14.yml .0    900 880 2400 6800 .0041 0   0    0    .075 .076 9.0 0   0     
eca-programs/Problem102_label15.yml .0    900 870 2800 3800 .0041 0   0    0    .061 .061 9.0 0   0     
eca-programs/Problem102_label16.yml .0    900 870 2700 3900 .0041 0   0    0    .060 .060 9.1 0   0     
eca-programs/Problem102_label17.yml .0    900 870 3300 3300 .0041 0   0    0    .068 .068 9.0 0   0     
eca-programs/Problem102_label18.yml .0    900 870 2700 3300 .0041 0   0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label19.yml .0    900 870 2700 3700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label20.yml .0    900 880 2300 3600 .0041 0   0    0    .059 .061 9.0 0   0     
eca-programs/Problem102_label21.yml .0    900 870 2300 3700 .0041 0   0    0    .063 .065 9.0 0   0     
eca-programs/Problem102_label22.yml .0    900 870 3000 3300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label23.yml .0    900 870 2700 4000 .0041 0   0    0    .064 .066 9.0 0   0     
eca-programs/Problem102_label24.yml .0    900 870 2500 3600 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label25.yml .0    900 880 2300 4700 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label26.yml .0    900 870 2700 4000 .0041 0   0    0    .062 .063 9.1 0   0     
eca-programs/Problem102_label27.yml .0    900 870 2400 3700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label28.yml .0    900 870 2800 4300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label29.yml .0    900 870 3100 3600 .0041 0   0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label30.yml .0    900 870 2600 3500 .0041 0   0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label31.yml .0    900 870 2800 4200 .0041 0   0    0    .060 .062 9.1 0   0     
eca-programs/Problem102_label32.yml .0    900 870 2900 5100 .0041 0   0    0    .076 .077 9.0 0   0     
eca-programs/Problem102_label33.yml .0    900 880 2300 6000 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label34.yml .0    900 870 2800 3600 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label35.yml .0    900 870 3000 4000 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label36.yml .0    900 870 2600 5600 .0041 0   0    0    .066 .067 9.1 0   0     
eca-programs/Problem102_label37.yml .0    900 870 3100 5800 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label38.yml .0    900 870 2500 4300 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label39.yml .0    900 870 2700 3100 .0041 0   0    0    .057 .058 9.0 0   0     
eca-programs/Problem102_label40.yml .0    900 870 2300 3600 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label41.yml .0    900 870 2700 3300 .0041 0   0    0    .062 .063 9.0 0   0     
eca-programs/Problem102_label42.yml .0    900 870 2800 4200 .0041 0   0    0    .058 .058 9.0 0   0     
eca-programs/Problem102_label43.yml .0    900 880 2300 2400 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem102_label44.yml .0    900 880 2500 3300 .0041 0   0    0    .058 .059 9.0 0   0     
eca-programs/Problem102_label45.yml .0    900 880 2700 3300 .0041 0   0    0    .064 .065 9.0 0   0     
eca-programs/Problem102_label46.yml .0    900 870 3000 5200 .0041 0   0    0    .057 .058 9.0 0   0     
eca-programs/Problem102_label47.yml .0    900 870 2700 4900 .0041 0   0    0    .062 .062 9.0 0   0     
eca-programs/Problem102_label48.yml .0    900 870 3000 3600 .0041 0   0    0    .067 .068 9.0 0   0     
eca-programs/Problem102_label49.yml .0    900 870 2800 3600 .0041 0   0    0    .063 .064 9.1 0   0     
eca-programs/Problem102_label50.yml .0    900 880 2300 3300 .0041 0   0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label51.yml .0    900 880 2800 5300 .0041 0   0    0    .058 .058 9.0 0   0     
eca-programs/Problem102_label52.yml .0    900 870 2300 3500 .0041 0   0    0    .059 .059 9.0 0   0     
eca-programs/Problem102_label53.yml .0    900 880 2400 5100 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem102_label54.yml .0    900 880 2500 3900 .0041 0   0    0    .060 .061 8.9 0   0     
eca-programs/Problem102_label55.yml .0    900 880 2700 4100 .0041 0   0    0    .062 .062 9.0 0   0     
eca-programs/Problem102_label56.yml .0    900 870 2800 4400 .0041 0   0    0    .060 .060 9.0 0   0     
eca-programs/Problem102_label57.yml .0    900 870 2700 4000 .0041 0   0    0    .064 .074 9.0 0   0     
eca-programs/Problem102_label58.yml .0    900 870 2700 3700 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem102_label59.yml .0    900 870 2600 4100 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label32.yml .0    900 870 2900 3400 .0041 0   0    0    .062 .062 9.0 0   0     
eca-programs/Problem103_label35.yml .0    900 880 2900 4000 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label40.yml .0    900 870 2800 4100 .0041 0   0    0    .059 .060 9.1 0   0     
eca-programs/Problem103_label41.yml .0    900 870 3000 4400 .0041 0   0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label42.yml .0    900 870 3100 3700 .0041 0   0    0    .061 .063 9.0 0   0     
eca-programs/Problem103_label43.yml .0    900 870 2900 3600 .0041 0   0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label44.yml .0    900 870 2800 6200 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label45.yml .0    900 870 3000 3600 .0041 0   0    0    .059 .061 9.0 0   0     
eca-programs/Problem103_label46.yml .0    900 870 2600 3700 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label47.yml .0    900 870 3000 3300 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem103_label48.yml .0    900 870 2600 3900 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label49.yml .0    900 870 2600 3700 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem103_label50.yml .0    900 870 3000 3900 .0041 0   0    0    .060 .061 8.9 0   0     
eca-programs/Problem103_label51.yml .0    930 900 2900 4200 .0041 0   0    0    .059 .059 8.9 0   0     
eca-programs/Problem103_label52.yml .0    900 870 3000 3300 .0041 0   0    0    .062 .063 9.0 0   0     
eca-programs/Problem103_label53.yml .0    900 870 2800 3500 .0041 0   0    0    .061 .061 9.0 0   0     
eca-programs/Problem103_label54.yml .0    900 870 2900 3400 .0041 0   0    0    .060 .061 9.0 0   0     
eca-programs/Problem103_label55.yml .0    900 870 2700 4500 .0041 0   0    0    .062 .062 9.0 0   0     
eca-programs/Problem103_label56.yml .0    930 900 3000 4000 .0041 0   0    0    .059 .060 9.0 0   0     
eca-programs/Problem103_label57.yml .0    900 870 2900 5900 .0041 0   0    0    .061 .062 9.0 0   0     
eca-programs/Problem103_label58.yml .0    900 870 3200 3400 .0041 0   0    0    .058 .059 9.1 0   0     
eca-programs/Problem103_label59.yml .0    900 870 2700 2400 .0041 0   0    0    .057 .059 9.0 0   0     
sv-benchmarks/c/ status score program test-suite TS size inspect test-suite cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status program test-suite TS size inspect test-suite cov branch cov (%) line cov (%) cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 1046 164 940000 920000 2000000 8900000 4.3 0   1046 16400 18500 4000 4300 75000 200000 .0041
Run set cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA tbf-testsuite-validator-cpa-tiger.test-comp19_prop-coverage-branches.ReachSafety-ECA