Tool ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-14 09:46:18 CET [[ 2017-01-15 02:18:39 CET ]] [[ 2017-01-15 04:12:25 CET ]] [[ 2017-01-15 02:37:40 CET ]] [[ 2017-01-15 04:38:18 CET ]]
Run set sv-comp17.ReachSafety-ECA
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/utaipan.2017-01-14_0946.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
eca-rers2012/Problem01_label15_false-unreach-call.c 0 900   730   12000 2700 2.3 0     .53 .34 8.8 40 6.1 3.3 120 300
eca-rers2012/Problem01_label20_false-unreach-call.c 0 900   720   13000 3200 2.3 0     .53 .34 11   41 6.7 3.5 130 310
eca-rers2012/Problem01_label21_false-unreach-call.c 0 900   720   13000 4400 2.3 0     .64 .41 8.5 40 6.3 3.3 130 300
eca-rers2012/Problem01_label32_false-unreach-call.c 0 900   740   13000 3600 2.3 0     .56 .38 12   44 6.1 3.2 120 290
eca-rers2012/Problem01_label33_false-unreach-call.c 0 900   730   12000 3700 2.3 0     .47 .31 6.1 39 6.3 3.3 130 300
eca-rers2012/Problem01_label35_false-unreach-call.c 0 900   720   13000 5200 2.3 0     .51 .34 8.7 39 6.6 3.5 120 300
eca-rers2012/Problem01_label37_false-unreach-call.c 0 900   730   12000 2800 2.3 0     .54 .34 9.5 40 5.9 3.1 110 290
eca-rers2012/Problem01_label38_false-unreach-call.c 0 900   730   11000 5100 2.3 0     .49 .31 12   40 6.2 3.3 110 300
eca-rers2012/Problem01_label44_false-unreach-call.c 0 900   730   13000 4600 2.3 0     .50 .33 8.6 39 6.0 3.2 110 290
eca-rers2012/Problem01_label47_false-unreach-call.c 0 900   720   12000 5300 2.3 0     .52 .33 9.2 41 6.0 3.2 80 310
eca-rers2012/Problem01_label50_false-unreach-call.c 0 900   730   11000 2700 2.3 .025 .50 .34 6.8 40 6.1 3.2 92 300
eca-rers2012/Problem01_label56_false-unreach-call.c 0 900   720   10000 4400 2.3 0     .48 .32 7.9 39 6.0 3.2 110 300
eca-rers2012/Problem01_label57_false-unreach-call.c 0 900   720   12000 5200 2.3 0     .66 .41 7.4 40 6.4 3.4 130 290
eca-rers2012/Problem02_label13_false-unreach-call.c 0 900   770   11000 2200 2.3 0     .50 .31 11   39 5.7 3.0 74 300
eca-rers2012/Problem02_label16_false-unreach-call.c 1 24   8.4 220 1000 2.6 0     11    5.7  190   440 15   7.8 250 550
eca-rers2012/Problem02_label43_false-unreach-call.c 1 65   32   620 2500 2.6 0     11    5.9  230   430 15   7.8 200 540
eca-rers2012/Problem02_label44_false-unreach-call.c 1 66   32   630 2000 2.6 0     12    6.0  170   440 16   8.5 270 560
eca-rers2012/Problem02_label45_false-unreach-call.c 0 900   770   11000 3500 2.3 0     .53 .36 11   40 7.0 3.6 120 320
eca-rers2012/Problem02_label50_false-unreach-call.c 0 900   760   11000 2900 2.3 0     .51 .32 9.7 40 6.1 3.2 120 300
eca-rers2012/Problem02_label59_false-unreach-call.c 0 900   720   13000 5300 2.3 0     .51 .34 9.2 42 6.1 3.2 120 300
eca-rers2012/Problem03_label09_false-unreach-call.c 0 900   750   13000 4600 2.3 0     .48 .32 4.4 39 6.7 3.5 120 290
eca-rers2012/Problem03_label13_false-unreach-call.c 0 900   730   12000 4200 2.3 0     .50 .32 6.5 40 6.8 3.6 110 300
eca-rers2012/Problem03_label26_false-unreach-call.c 0 900   730   12000 4000 2.3 0     .49 .32 9.5 40 6.8 3.5 120 310
eca-rers2012/Problem03_label27_false-unreach-call.c 0 900   730   10000 3800 2.3 0     .58 .39 13   44 6.8 3.6 130 300
eca-rers2012/Problem03_label28_false-unreach-call.c 0 900   730   12000 3500 2.3 0     .50 .31 9.5 40 6.9 3.6 140 300
eca-rers2012/Problem03_label31_false-unreach-call.c 0 900   730   12000 3500 2.3 0     .61 .40 6.1 40 6.3 3.3 120 300
eca-rers2012/Problem03_label35_false-unreach-call.c 0 900   730   11000 3700 2.3 0     .65 .42 8.3 41 6.6 3.5 150 300
eca-rers2012/Problem03_label37_false-unreach-call.c 0 900   730   12000 3900 2.3 0     .54 .35 9.8 40 6.0 3.2 74 300
eca-rers2012/Problem03_label39_false-unreach-call.c 0 900   740   12000 3300 2.3 0     .60 .38 11   43 6.9 3.6 150 310
eca-rers2012/Problem03_label43_false-unreach-call.c 0 900   730   11000 3900 2.3 0     .50 .32 4.6 41 6.8 3.6 140 310
eca-rers2012/Problem03_label45_false-unreach-call.c 0 900   730   13000 3600 2.3 0     .51 .34 12   40 7.9 4.2 92 300
eca-rers2012/Problem03_label50_false-unreach-call.c 0 900   730   14000 3400 2.3 0     .59 .38 7.9 41 6.5 3.5 130 300
eca-rers2012/Problem03_label52_false-unreach-call.c 0 900   730   13000 3800 2.3 0     .50 .34 11   39 6.7 3.5 130 300
eca-rers2012/Problem04_label04_false-unreach-call.c 0 900   750   12000 5300 2.3 0     .56 .35 7.7 40 6.0 3.2 91 290
eca-rers2012/Problem04_label06_false-unreach-call.c 0 900   760   11000 5100 2.6 0     .53 .35 9.3 41 6.9 3.6 130 300
eca-rers2012/Problem04_label09_false-unreach-call.c 0 900   760   14000 5100 2.3 0     .52 .35 11   41 6.1 3.2 120 290
eca-rers2012/Problem04_label11_false-unreach-call.c 0 900   750   13000 5300 2.3 0     .54 .35 7.8 39 6.1 3.3 140 290
eca-rers2012/Problem04_label12_false-unreach-call.c 0 900   750   11000 5300 2.3 0     .64 .40 8.4 43 6.5 3.4 110 310
eca-rers2012/Problem04_label13_false-unreach-call.c 0 900   740   12000 5300 2.3 0     .50 .32 6.6 40 7.2 3.8 120 320
eca-rers2012/Problem04_label14_false-unreach-call.c 0 900   750   12000 5300 2.3 0     .48 .31 8.8 40 6.8 3.6 120 300
eca-rers2012/Problem04_label15_false-unreach-call.c 0 900   740   13000 5300 2.3 0     .58 .38 12   43 6.6 3.5 140 300
eca-rers2012/Problem04_label17_false-unreach-call.c 0 900   760   9900 5300 2.3 0     .55 .35 13   42 6.6 3.5 140 290
eca-rers2012/Problem04_label18_false-unreach-call.c 0 900   750   9900 5300 2.3 0     .48 .32 8.1 40 6.8 3.6 110 300
eca-rers2012/Problem04_label19_false-unreach-call.c 0 900   770   10000 5100 2.3 0     .52 .34 6.5 40 6.4 3.4 110 300
eca-rers2012/Problem04_label26_false-unreach-call.c 0 900   750   11000 5300 2.3 0     .54 .34 12   42 6.5 3.4 130 300
eca-rers2012/Problem04_label27_false-unreach-call.c 0 900   750   14000 5300 2.3 0     .72 .46 8.3 44 6.5 3.5 130 310
eca-rers2012/Problem04_label31_false-unreach-call.c 0 900   750   11000 5300 2.3 0     .49 .31 7.1 40 6.7 3.6 150 300
eca-rers2012/Problem04_label32_false-unreach-call.c 0 900   760   10000 5200 2.3 0     .47 .31 10   40 7.1 3.7 130 300
eca-rers2012/Problem04_label35_false-unreach-call.c 0 900   750   11000 5300 2.3 0     .50 .32 11   39 6.8 3.5 130 300
eca-rers2012/Problem04_label36_false-unreach-call.c 0 900   740   12000 5300 2.3 0     .51 .33 9.2 41 7.2 3.7 130 310
eca-rers2012/Problem04_label38_false-unreach-call.c 0 900   750   11000 5300 2.3 0     .49 .31 12   40 7.0 3.7 120 310
eca-rers2012/Problem04_label39_false-unreach-call.c 0 900   750   10000 5300 2.3 0     .53 .35 13   40 6.9 3.7 100 310
eca-rers2012/Problem04_label40_false-unreach-call.c 0 900   750   12000 5300 2.3 0     .55 .34 11   41 6.4 3.4 92 300
eca-rers2012/Problem04_label45_false-unreach-call.c 0 900   760   11000 5300 2.3 0     .62 .40 8.3 41 6.7 3.5 150 300
eca-rers2012/Problem04_label52_false-unreach-call.c 0 900   750   12000 5300 2.3 0     .49 .31 8.4 40 6.4 3.4 130 290
eca-rers2012/Problem04_label55_false-unreach-call.c 0 900   750   13000 5300 2.3 0     .62 .38 12   45 6.8 3.6 130 300
eca-rers2012/Problem04_label58_false-unreach-call.c 0 900   750   10000 5300 2.3 0     .50 .33 12   39 6.7 3.5 94 300
eca-rers2012/Problem05_label00_false-unreach-call.c 0 900   710   10000 4900 2.3 0     .64 .40 4.6 40 6.7 3.6 140 300
eca-rers2012/Problem05_label01_false-unreach-call.c 0 900   720   11000 5100 2.3 0     .52 .32 8.1 40 7.1 3.8 160 300
eca-rers2012/Problem05_label11_false-unreach-call.c 0 900   710   12000 5300 2.3 0     .53 .35 9.8 41 7.4 3.9 130 310
eca-rers2012/Problem05_label13_false-unreach-call.c 0 900   720   12000 5100 2.3 0     .49 .32 13   40 7.0 3.7 140 300
eca-rers2012/Problem05_label15_false-unreach-call.c 0 900   690   11000 5400 2.3 0     .60 .39 9.2 44 7.5 3.9 140 310
eca-rers2012/Problem05_label18_false-unreach-call.c 0 900   710   14000 5100 2.3 0     .54 .35 13   41 7.0 3.7 140 300
eca-rers2012/Problem05_label24_false-unreach-call.c 0 900   710   11000 5000 2.2 0     .49 .30 10   40 6.4 3.4 120 290
eca-rers2012/Problem05_label26_false-unreach-call.c 0 900   720   12000 4900 2.3 0     .52 .33 13   41 7.0 3.7 83 300
eca-rers2012/Problem05_label30_false-unreach-call.c 0 900   730   12000 5300 2.3 0     .50 .33 3.7 40 7.1 3.7 140 310
eca-rers2012/Problem05_label32_false-unreach-call.c 0 900   730   10000 5100 2.3 0     .48 .32 9.7 40 6.7 3.6 110 300
eca-rers2012/Problem05_label33_false-unreach-call.c 0 900   740   14000 5100 2.3 0     .51 .32 8.1 41 7.2 3.8 140 300
eca-rers2012/Problem05_label36_false-unreach-call.c 0 900   720   10000 5400 2.3 0     .52 .33 12   42 7.6 3.9 140 310
eca-rers2012/Problem05_label37_false-unreach-call.c 0 900   720   11000 5200 2.3 0     .48 .31 8.4 40 7.3 3.8 120 310
eca-rers2012/Problem05_label38_false-unreach-call.c 0 900   730   10000 5200 2.3 0     .48 .31 9.8 40 6.8 3.6 120 300
eca-rers2012/Problem05_label39_false-unreach-call.c 0 900   680   12000 5800 2.3 0     .71 .45 8.4 42 6.8 3.6 120 310
eca-rers2012/Problem05_label40_false-unreach-call.c 0 900   700   10000 5700 2.3 0     .53 .33 11   40 6.8 3.6 130 300
eca-rers2012/Problem05_label41_false-unreach-call.c 0 900   700   9800 5800 2.3 0     .54 .35 12   39 6.8 3.6 97 310
eca-rers2012/Problem05_label44_false-unreach-call.c 0 900   720   13000 5000 2.3 0     .53 .34 11   42 7.2 3.7 150 300
eca-rers2012/Problem05_label47_false-unreach-call.c 0 900   720   13000 5300 2.5 0     .58 .38 14   42 7.5 3.9 150 290
eca-rers2012/Problem05_label48_false-unreach-call.c 0 900   720   12000 5200 2.3 0     .51 .34 8.6 39 7.3 3.8 130 310
eca-rers2012/Problem05_label51_false-unreach-call.c 0 900   720   10000 5100 2.3 0     .49 .31 11   39 7.2 3.8 130 310
eca-rers2012/Problem05_label55_false-unreach-call.c 0 900   740   13000 5100 2.3 0     .49 .32 9.5 40 6.6 3.5 93 310
eca-rers2012/Problem05_label57_false-unreach-call.c 0 900   740   12000 5200 2.3 0     .53 .34 13   40 6.8 3.6 130 300
eca-rers2012/Problem05_label58_false-unreach-call.c 0 900   740   13000 5200 2.3 0     .48 .31 7.1 40 7.3 3.8 140 310
eca-rers2012/Problem06_label00_false-unreach-call.c 0 900   720   11000 4600 2.3 0     .50 .32 6.7 40 6.9 3.6 130 300
eca-rers2012/Problem06_label01_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .53 .35 9.4 41 8.1 4.2 150 330
eca-rers2012/Problem06_label02_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .52 .34 9.3 44 6.5 3.5 100 300
eca-rers2012/Problem06_label04_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .61 .40 6.4 40 6.6 3.5 130 290
eca-rers2012/Problem06_label05_false-unreach-call.c 0 900   730   12000 4600 2.3 0     .64 .40 6.6 39 7.2 3.8 130 290
eca-rers2012/Problem06_label09_false-unreach-call.c 0 900   730   12000 4600 2.7 .34  .54 .35 9.5 41 7.5 3.9 130 300
eca-rers2012/Problem06_label10_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .52 .33 8.0 39 7.2 3.8 140 310
eca-rers2012/Problem06_label11_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .53 .36 9.4 39 6.4 3.4 100 290
eca-rers2012/Problem06_label12_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .51 .34 8.4 39 7.2 3.8 120 310
eca-rers2012/Problem06_label15_false-unreach-call.c 0 900   720   11000 4600 2.3 0     .70 .44 7.5 42 7.1 3.8 130 310
eca-rers2012/Problem06_label20_false-unreach-call.c 0 900   730   12000 4600 2.3 0     .48 .31 7.6 39 7.2 3.8 140 310
eca-rers2012/Problem06_label21_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .49 .32 8.5 40 7.0 3.6 130 300
eca-rers2012/Problem06_label24_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .49 .33 9.0 40 9.6 5.0 110 320
eca-rers2012/Problem06_label27_false-unreach-call.c 0 900   720   14000 4600 2.3 0     .52 .34 9.7 40 7.2 3.8 140 300
eca-rers2012/Problem06_label29_false-unreach-call.c 0 900   720   14000 4600 2.4 0     .55 .35 12   41 7.3 3.8 140 300
eca-rers2012/Problem06_label33_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .53 .33 11   40 7.0 3.7 130 300
eca-rers2012/Problem06_label36_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .60 .39 12   44 7.2 3.8 110 310
eca-rers2012/Problem06_label37_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .48 .32 6.6 40 6.6 3.5 130 290
eca-rers2012/Problem06_label38_false-unreach-call.c 0 900   720   13000 4600 2.3 0     .47 .30 6.1 40 6.6 3.5 97 300
eca-rers2012/Problem06_label44_false-unreach-call.c 0 900   720   12000 4600 2.3 0     .47 .30 7.0 39 6.7 3.5 120 300
eca-rers2012/Problem06_label47_false-unreach-call.c 0 900   730   11000 4600 2.3 0     .55 .36 12   41 7.3 3.8 140 300
eca-rers2012/Problem06_label48_false-unreach-call.c 0 900   730   11000 4600 2.3 0     .48 .31 8.0 40 7.5 3.9 90 300
eca-rers2012/Problem06_label56_false-unreach-call.c 0 900   720   14000 4600 2.3 0     .56 .35 12   44 8.2 4.2 150 320
eca-rers2012/Problem06_label58_false-unreach-call.c 0 900   720   11000 4600 2.3 0     .50 .31 7.5 39 7.2 3.8 150 310
eca-rers2012/Problem06_label59_false-unreach-call.c 0 900   740   12000 4600 2.3 0     .59 .37 9.6 43 6.9 3.7 140 300
eca-rers2012/Problem07_label03_false-unreach-call.c 0 900   730   13000 6100 2.3 0     .53 .33 9.7 40 7.4 4.0 91 430
eca-rers2012/Problem07_label05_false-unreach-call.c 0 900   710   10000 6100 2.3 0     .51 .34 6.3 40 8.0 4.3 140 430
eca-rers2012/Problem07_label06_false-unreach-call.c 0 900   710   12000 6200 2.3 0     .50 .32 8.9 39 7.6 4.1 150 430
eca-rers2012/Problem07_label07_false-unreach-call.c 0 900   730   11000 6100 2.3 0     .56 .36 8.9 41 8.1 4.3 170 430
eca-rers2012/Problem07_label09_false-unreach-call.c 0 900   720   11000 6300 2.3 0     .52 .32 9.1 39 8.0 4.4 150 430
eca-rers2012/Problem07_label11_false-unreach-call.c 0 900   740   13000 5700 2.3 0     .52 .35 12   40 8.3 4.4 160 440
eca-rers2012/Problem07_label15_false-unreach-call.c 0 900   740   14000 5900 2.3 0     .49 .31 8.0 39 7.9 4.2 110 440
eca-rers2012/Problem07_label18_false-unreach-call.c 0 900   730   12000 5900 2.3 0     .51 .35 5.0 43 8.8 4.7 160 450
eca-rers2012/Problem07_label19_false-unreach-call.c 0 900   730   11000 5900 2.3 0     .49 .32 9.3 41 7.7 4.2 150 430
eca-rers2012/Problem07_label20_false-unreach-call.c 0 900   730   12000 5900 2.3 0     .50 .33 4.5 39 8.1 4.3 120 430
eca-rers2012/Problem07_label23_false-unreach-call.c 0 900   730   12000 5900 2.3 0     .58 .38 6.2 43 8.2 4.4 150 440
eca-rers2012/Problem07_label30_false-unreach-call.c 0 900   710   12000 6700 2.3 0     .50 .31 9.6 39 7.8 4.2 160 430
eca-rers2012/Problem07_label31_false-unreach-call.c 0 900   720   11000 5900 2.3 0     .57 .37 12   41 7.6 4.1 120 430
eca-rers2012/Problem07_label35_false-unreach-call.c 0 900   730   13000 6900 2.3 0     .55 .35 13   42 8.0 4.3 130 430
eca-rers2012/Problem07_label36_false-unreach-call.c 0 900   750   11000 5800 2.3 0     .50 .33 5.7 39 7.9 4.3 130 440
eca-rers2012/Problem07_label37_false-unreach-call.c 0 900   710   11000 6500 2.3 0     .48 .30 11   39 7.6 4.1 87 420
eca-rers2012/Problem07_label39_false-unreach-call.c 0 900   740   12000 5900 2.3 0     .56 .36 8.9 40 7.8 4.2 170 420
eca-rers2012/Problem07_label40_false-unreach-call.c 0 900   730   13000 6200 2.3 0     .49 .32 9.2 41 8.1 4.4 170 430
eca-rers2012/Problem07_label42_false-unreach-call.c 0 900   720   11000 6300 2.3 0     .54 .35 6.0 42 7.9 4.2 160 420
eca-rers2012/Problem07_label44_false-unreach-call.c 0 900   730   13000 5900 2.3 0     .69 .43 5.3 43 8.4 4.5 110 420
eca-rers2012/Problem07_label46_false-unreach-call.c 0 900   740   11000 5900 2.7 0     .49 .32 5.3 39 7.5 4.0 110 420
eca-rers2012/Problem07_label47_false-unreach-call.c 0 900   720   11000 5800 2.3 0     .47 .31 6.9 39 8.3 4.4 150 430
eca-rers2012/Problem07_label48_false-unreach-call.c 0 900   740   10000 5900 2.3 0     .54 .34 9.6 42 7.7 4.2 110 430
eca-rers2012/Problem07_label58_false-unreach-call.c 0 900   730   11000 6000 2.5 0     .47 .31 7.7 39 7.8 4.2 140 420
eca-rers2012/Problem08_label01_false-unreach-call.c 0 900   710   12000 8700 2.3 0     .53 .36 13   40 9.2 5.0 170 530
eca-rers2012/Problem08_label02_false-unreach-call.c 0 900   680   10000 8900 2.3 0     .50 .32 6.7 41 8.6 4.7 130 520
eca-rers2012/Problem08_label04_false-unreach-call.c 0 900   700   10000 8000 2.3 0     .51 .32 11   40 8.7 4.7 150 520
eca-rers2012/Problem08_label05_false-unreach-call.c 0 900   690   10000 7600 2.3 0     .50 .33 12   40 8.9 4.8 150 530
eca-rers2012/Problem08_label06_false-unreach-call.c 0 900   720   14000 7800 2.3 0     .50 .33 10   42 9.5 5.1 180 520
eca-rers2012/Problem08_label07_false-unreach-call.c 0 900   680   11000 8500 2.3 0     .48 .30 6.0 39 8.8 4.8 170 520
eca-rers2012/Problem08_label10_false-unreach-call.c 0 900   720   13000 8400 2.3 0     .50 .34 7.9 40 9.1 5.0 180 530
eca-rers2012/Problem08_label13_false-unreach-call.c 0 900   680   11000 8100 2.3 0     .58 .38 4.8 40 8.9 4.8 160 520
eca-rers2012/Problem08_label15_false-unreach-call.c 0 900   710   11000 7600 2.3 0     .53 .34 6.5 40 8.5 4.6 130 520
eca-rers2012/Problem08_label24_false-unreach-call.c 0 900   710   11000 8300 2.3 0     .50 .32 6.9 39 9.5 5.1 170 540
eca-rers2012/Problem08_label25_false-unreach-call.c 0 900   710   10000 8100 2.6 0     .62 .38 8.1 42 9.0 4.9 170 520
eca-rers2012/Problem08_label26_false-unreach-call.c 0 900   730   12000 7700 2.3 0     .50 .32 11   40 8.2 4.6 170 510
eca-rers2012/Problem08_label28_false-unreach-call.c 0 900   680   11000 8200 2.3 0     .50 .33 8.1 39 8.8 4.7 150 520
eca-rers2012/Problem08_label29_false-unreach-call.c 0 900   700   12000 8100 2.3 0     .51 .35 4.1 40 8.6 4.7 150 520
eca-rers2012/Problem08_label34_false-unreach-call.c 0 900   680   12000 9200 2.3 0     .60 .38 9.8 39 9.4 5.1 170 520
eca-rers2012/Problem08_label37_false-unreach-call.c 0 900   740   12000 6700 2.3 0     .50 .33 9.0 40 8.8 4.8 140 520
eca-rers2012/Problem08_label43_false-unreach-call.c 0 900   680   9900 8700 2.3 0     .47 .30 9.0 39 8.4 4.6 150 520
eca-rers2012/Problem08_label46_false-unreach-call.c 0 900   700   10000 7900 2.3 0     .49 .32 11   40 7.9 4.3 140 510
eca-rers2012/Problem08_label48_false-unreach-call.c 0 900   730   11000 7600 2.3 0     .58 .37 11   44 8.6 4.7 140 520
eca-rers2012/Problem08_label49_false-unreach-call.c 0 900   700   11000 8000 2.3 0     .55 .36 9.0 40 8.9 4.8 180 520
eca-rers2012/Problem08_label50_false-unreach-call.c 0 900   720   11000 8700 2.3 0     .52 .35 6.6 40 8.2 4.5 160 510
eca-rers2012/Problem08_label51_false-unreach-call.c 0 900   720   14000 7600 2.3 0     .56 .37 10   42 8.9 4.8 160 520
eca-rers2012/Problem08_label55_false-unreach-call.c 0 900   700   10000 7400 2.3 0     .56 .35 6.9 39 8.0 4.4 110 520
eca-rers2012/Problem08_label59_false-unreach-call.c 0 900   690   12000 8300 2.3 0     .54 .35 8.8 41 8.4 4.6 170 520
eca-rers2012/Problem09_label02_false-unreach-call.c 0 900   690   10000 8800 2.3 0     .51 .33 7.3 41 9.0 4.9 140 540
eca-rers2012/Problem09_label03_false-unreach-call.c 0 900   670   12000 9000 2.3 0     .58 .37 15   44 8.7 4.8 180 530
eca-rers2012/Problem09_label06_false-unreach-call.c 0 900   680   10000 9800 2.3 0     .49 .32 7.3 39 9.1 5.0 160 520
eca-rers2012/Problem09_label08_false-unreach-call.c 0 900   710   12000 10000 2.3 0     .48 .32 10   39 8.2 4.5 150 530
eca-rers2012/Problem09_label10_false-unreach-call.c 0 900   620   9400 8900 2.3 0     .53 .35 15   40 8.4 4.7 150 520
eca-rers2012/Problem09_label11_false-unreach-call.c 0 900   670   9600 9500 2.3 0     .50 .33 11   40 11   5.8 180 560
eca-rers2012/Problem09_label15_false-unreach-call.c 0 900   680   13000 8800 2.3 0     .64 .40 9.6 40 8.3 4.6 150 530
eca-rers2012/Problem09_label19_false-unreach-call.c 0 900   690   10000 8600 2.3 0     .47 .31 8.4 40 8.7 4.8 180 520
eca-rers2012/Problem09_label20_false-unreach-call.c 0 900   660   9700 8800 2.3 0     .49 .34 6.7 39 8.6 4.7 170 530
eca-rers2012/Problem09_label32_false-unreach-call.c 0 900   670   11000 8600 2.3 0     .52 .32 6.7 42 8.4 4.6 140 530
eca-rers2012/Problem09_label34_false-unreach-call.c 0 900   710   12000 7800 2.3 0     .56 .37 12   43 8.6 4.7 170 530
eca-rers2012/Problem09_label35_false-unreach-call.c 0 900   700   10000 9300 2.3 0     .53 .34 10   42 7.8 4.4 130 520
eca-rers2012/Problem09_label36_false-unreach-call.c 0 900   680   11000 9400 2.3 0     .52 .34 8.0 40 8.2 4.6 150 530
eca-rers2012/Problem09_label38_false-unreach-call.c 0 900   690   12000 9500 2.3 0     .57 .38 13   44 8.8 4.9 170 650
eca-rers2012/Problem09_label41_false-unreach-call.c 0 900   710   11000 9500 2.3 0     .51 .32 7.0 41 8.7 4.9 130 530
eca-rers2012/Problem09_label44_false-unreach-call.c 0 900   620   12000 9500 2.3 0     .62 .41 11   44 8.2 4.5 130 520
eca-rers2012/Problem09_label46_false-unreach-call.c 0 900   700   11000 8600 2.3 0     .57 .37 10   43 8.5 4.7 150 520
eca-rers2012/Problem09_label47_false-unreach-call.c 0 900   710   11000 8700 2.3 0     .54 .35 14   40 8.2 4.6 160 520
eca-rers2012/Problem09_label51_false-unreach-call.c 0 900   710   9900 9300 2.3 0     .49 .31 5.7 40 8.8 4.9 170 540
eca-rers2012/Problem09_label53_false-unreach-call.c 0 900   660   11000 9900 2.3 0     .49 .31 8.4 40 8.5 4.7 140 530
eca-rers2012/Problem09_label54_false-unreach-call.c 0 900   780   14000 6300 2.3 0     .52 .34 13   42 8.6 4.8 130 520
eca-rers2012/Problem09_label56_false-unreach-call.c 0 900   710   11000 9300 2.3 0     .49 .31 6.5 39 8.6 4.8 160 540
eca-rers2012/Problem09_label57_false-unreach-call.c 0 900   760   11000 8100 2.3 0     .53 .35 12   41 8.2 4.6 140 520
eca-rers2012/Problem09_label59_false-unreach-call.c 0 900   630   10000 9700 2.3 0     .52 .32 11   40 8.4 4.7 150 540
eca-rers2012/Problem10_label12_false-unreach-call.c 0 900   740   12000 4500 2.3 0     .52 .35 13   40 6.6 3.5 110 300
eca-rers2012/Problem10_label15_false-unreach-call.c 1 560   440   7600 4500 2.8 0     11    5.6  140   360 20   11   390 560
eca-rers2012/Problem10_label24_false-unreach-call.c 0 900   790   12000 4500 2.3 0     .53 .34 12   40 5.8 3.1 110 300
eca-rers2012/Problem10_label26_false-unreach-call.c 1 680   550   9600 3200 2.8 0     11    5.7  180   360 18   9.4 290 580
eca-rers2012/Problem10_label28_false-unreach-call.c 1 630   500   7200 3200 2.8 0     11    5.6  150   360 16   8.6 230 580
eca-rers2012/Problem10_label29_false-unreach-call.c 1 630   500   8900 3400 2.8 0     11    5.8  140   370 16   8.7 180 540
eca-rers2012/Problem10_label41_false-unreach-call.c 0 900   460   7100 5300 2.3 0     .57 .37 11   42 6.8 3.6 120 300
eca-rers2012/Problem10_label42_false-unreach-call.c 0 900   470   7700 5300 2.3 0     .51 .34 3.7 39 7.3 3.8 130 310
eca-rers2012/Problem10_label46_false-unreach-call.c 1 11   3.5 86 480 3.0 0     9.5  5.0  130   330 14   7.5 220 450
eca-rers2012/Problem10_label47_false-unreach-call.c 1 190   130   2100 4400 2.7 0     11    5.9  190   340 16   8.3 210 560
eca-rers2012/Problem10_label48_false-unreach-call.c 1 250   170   3300 3700 2.8 0     11    6.0  190   360 16   8.6 200 540
eca-rers2012/Problem10_label50_false-unreach-call.c 0 900   790   11000 2900 2.3 0     .50 .32 8.0 40 5.7 3.0 95 290
eca-rers2012/Problem10_label55_false-unreach-call.c 0 900   670   9900 5300 2.3 0     .53 .34 7.3 40 6.8 3.6 130 310
eca-rers2012/Problem10_label57_false-unreach-call.c 0 900   550   8300 5100 2.3 0     .48 .31 8.1 40 7.4 3.9 120 330
eca-rers2012/Problem10_label58_false-unreach-call.c 0 900   670   9500 5300 2.3 0     .49 .33 10   39 6.2 3.3 120 300
eca-rers2012/Problem11_label00_false-unreach-call.c 0 900   720   13000 5200 2.3 0     .49 .33 7.7 40 6.2 3.3 130 300
eca-rers2012/Problem11_label08_false-unreach-call.c 0 900   530   9100 5700 2.3 0     .56 .37 11   41 7.4 3.9 68 310
eca-rers2012/Problem11_label14_false-unreach-call.c 0 900   770   11000 4800 2.3 0     .51 .34 11   39 5.8 3.1 120 290
eca-rers2012/Problem11_label15_false-unreach-call.c 1 260   180   2700 4900 2.7 0     15    7.9  180   460 18   9.4 280 530
eca-rers2012/Problem11_label20_false-unreach-call.c 0 900   680   12000 5400 2.3 0     .55 .35 12   40 6.4 3.4 130 310
eca-rers2012/Problem11_label29_false-unreach-call.c 0 900   500   8500 5900 2.3 0     .50 .32 9.1 40 6.8 3.6 150 310
eca-rers2012/Problem11_label31_false-unreach-call.c 0 900   760   11000 4900 2.3 0     .58 .36 8.2 40 6.8 3.6 140 310
eca-rers2012/Problem11_label34_false-unreach-call.c 0 900   590   9200 5700 2.3 0     .51 .32 7.3 40 6.6 3.5 100 310
eca-rers2012/Problem11_label36_false-unreach-call.c 1 76   40   810 4700 2.7 0     13    6.6  130   460 19   9.7 240 550
eca-rers2012/Problem11_label39_false-unreach-call.c 0 900   720   13000 5300 2.4 0     .49 .32 10   39 5.8 3.1 90 300
eca-rers2012/Problem11_label42_false-unreach-call.c 0 900   680   9000 5500 2.3 0     .68 .43 8.9 40 6.9 3.6 67 290
eca-rers2012/Problem11_label43_false-unreach-call.c 0 900   490   7800 5800 2.3 0     .57 .36 8.2 40 6.2 3.3 100 300
eca-rers2012/Problem11_label49_false-unreach-call.c 1 520   400   6300 5200 2.7 0     13    6.7  97   490 17   9.2 240 540
eca-rers2012/Problem11_label51_false-unreach-call.c 0 900   750   11000 4900 2.3 0     .51 .33 7.2 40 5.8 3.1 95 290
eca-rers2012/Problem11_label58_false-unreach-call.c 0 900   550   9100 5800 2.3 0     .63 .41 7.0 39 6.0 3.2 80 300
eca-rers2012/Problem12_label00_false-unreach-call.c 0 900   390   7700 8800 2.3 0     .51 .35 4.0 41 7.1 3.7 140 310
eca-rers2012/Problem12_label03_false-unreach-call.c 0 900   520   8800 5300 2.3 0     .52 .35 6.5 45 7.3 3.8 130 310
eca-rers2012/Problem12_label06_false-unreach-call.c 0 900   500   9600 5400 2.3 0     .55 .35 13   40 6.8 3.6 140 310
eca-rers2012/Problem12_label07_false-unreach-call.c 0 900   550   9300 5000 2.7 0     .51 .32 9.5 39 6.9 3.6 150 300
eca-rers2012/Problem12_label08_false-unreach-call.c 0 900   490   7700 5300 2.3 0     .49 .32 6.5 40 6.7 3.5 120 310
eca-rers2012/Problem12_label10_false-unreach-call.c 0 900   480   8700 5400 2.3 0     .52 .35 6.1 39 6.8 3.5 110 300
eca-rers2012/Problem12_label13_false-unreach-call.c 0 900   500   7500 8900 2.3 0     .50 .31 9.9 39 7.0 3.7 140 300
eca-rers2012/Problem12_label19_false-unreach-call.c 0 900   400   7400 8900 2.3 0     .50 .33 9.4 39 6.2 3.3 90 300
eca-rers2012/Problem12_label20_false-unreach-call.c 0 900   350   6200 9600 2.3 0     .49 .32 9.5 39 6.6 3.4 73 300
eca-rers2012/Problem12_label21_false-unreach-call.c 0 900   410   7400 8300 2.3 0     .54 .36 8.6 42 6.9 3.6 140 310
eca-rers2012/Problem12_label25_false-unreach-call.c 0 900   490   8500 5300 2.3 0     .49 .33 12   39 6.7 3.5 120 300
eca-rers2012/Problem12_label28_false-unreach-call.c 0 900   490   8300 5400 2.3 0     .50 .32 7.5 40 6.8 3.6 97 310
eca-rers2012/Problem12_label30_false-unreach-call.c 0 900   490   9700 5400 2.3 0     .57 .38 7.4 40 6.7 3.5 140 310
eca-rers2012/Problem12_label34_false-unreach-call.c 0 900   530   9800 5300 2.3 0     .53 .36 13   40 7.2 3.8 140 310
eca-rers2012/Problem12_label35_false-unreach-call.c 0 900   640   10000 5000 2.3 0     .51 .33 11   42 6.6 3.5 110 300
eca-rers2012/Problem12_label37_false-unreach-call.c 0 900   590   10000 5000 2.3 0     .60 .38 7.1 43 7.5 3.9 120 310
eca-rers2012/Problem12_label38_false-unreach-call.c 0 900   480   8800 5200 2.3 0     .55 .36 11   44 6.5 3.5 120 290
eca-rers2012/Problem12_label39_false-unreach-call.c 0 900   470   10000 5200 2.4 0     .49 .32 8.2 39 6.3 3.4 110 290
eca-rers2012/Problem12_label40_false-unreach-call.c 0 900   600   9900 5000 2.3 0     .50 .33 10   40 7.2 3.8 140 310
eca-rers2012/Problem12_label42_false-unreach-call.c 0 900   480   8400 5400 2.3 0     .51 .33 7.3 40 6.8 3.6 130 300
eca-rers2012/Problem12_label48_false-unreach-call.c 0 910   390   6500 8900 2.3 0     .52 .35 10   39 6.9 3.6 120 300
eca-rers2012/Problem12_label50_false-unreach-call.c 0 900   420   7300 8600 2.3 0     .49 .33 6.9 39 7.0 3.6 140 300
eca-rers2012/Problem12_label51_false-unreach-call.c 0 910   400   7500 8600 2.3 0     .57 .36 10   43 6.3 3.4 92 290
eca-rers2012/Problem12_label52_false-unreach-call.c 0 900   440   7700 8400 2.3 0     .52 .34 5.2 42 6.6 3.4 94 300
eca-rers2012/Problem12_label55_false-unreach-call.c 0 900   430   8400 8300 2.3 0     .48 .30 5.5 39 7.1 3.7 140 300
eca-rers2012/Problem13_label04_false-unreach-call.c 0 900   730   10000 5300 2.3 0     .55 .35 4.9 45 7.5 3.9 140 310
eca-rers2012/Problem13_label06_false-unreach-call.c 0 900   640   8900 5500 2.3 0     .49 .31 9.0 40 6.8 3.6 100 300
eca-rers2012/Problem13_label07_false-unreach-call.c 0 900   720   10000 5200 2.3 0     .47 .30 9.7 39 6.9 3.6 150 300
eca-rers2012/Problem13_label11_false-unreach-call.c 0 900   650   10000 5600 2.3 0     .50 .33 8.6 40 7.0 3.7 140 300
eca-rers2012/Problem13_label12_false-unreach-call.c 0 900   730   10000 5200 2.3 0     .50 .33 12   41 7.3 3.8 120 310
eca-rers2012/Problem13_label16_false-unreach-call.c 0 900   700   9300 5900 2.3 0     .58 .36 13   43 6.8 3.6 120 300
eca-rers2012/Problem13_label19_false-unreach-call.c 0 900   650   11000 5300 2.3 0     .49 .31 10   40 7.2 3.8 130 300
eca-rers2012/Problem13_label21_false-unreach-call.c 0 900   730   8000 5400 2.3 0     .52 .34 12   39 6.6 3.5 120 300
eca-rers2012/Problem13_label23_false-unreach-call.c 0 900   540   8400 5300 2.3 0     .54 .34 9.7 42 6.9 3.6 140 300
eca-rers2012/Problem13_label24_false-unreach-call.c 0 900   550   9600 5500 2.3 0     .48 .32 9.4 40 7.0 3.7 130 300
eca-rers2012/Problem13_label25_false-unreach-call.c 0 900   550   8200 5400 2.3 0     .51 .32 12   40 6.5 3.4 120 300
eca-rers2012/Problem13_label28_false-unreach-call.c 0 900   700   8900 5200 2.3 0     .50 .33 8.7 39 6.6 3.5 130 300
eca-rers2012/Problem13_label29_false-unreach-call.c 0 900   700   8100 5300 2.7 0     .49 .32 8.4 40 7.0 3.7 110 310
eca-rers2012/Problem13_label30_false-unreach-call.c 0 900   690   7700 5200 2.3 0     .52 .34 12   40 6.5 3.5 85 300
eca-rers2012/Problem13_label32_false-unreach-call.c 0 900   720   10000 6100 2.3 0     .53 .33 11   41 6.6 3.5 120 300
eca-rers2012/Problem13_label35_false-unreach-call.c 0 900   670   9300 5300 2.3 0     .50 .32 8.3 39 6.3 3.4 98 300
eca-rers2012/Problem13_label36_false-unreach-call.c 0 900   730   9400 6300 2.3 0     .47 .31 11   39 6.9 3.7 140 310
eca-rers2012/Problem13_label40_false-unreach-call.c 0 910   640   9200 7800 2.3 0     .66 .42 7.4 42 7.1 3.8 140 310
eca-rers2012/Problem13_label43_false-unreach-call.c 0 900   640   9200 7200 2.3 0     .48 .31 7.9 39 7.0 3.7 140 310
eca-rers2012/Problem13_label44_false-unreach-call.c 0 900   600   10000 7800 2.3 0     .49 .32 6.4 42 6.7 3.6 140 310
eca-rers2012/Problem13_label45_false-unreach-call.c 0 900   650   9000 6500 2.3 0     .53 .34 13   42 6.8 3.6 130 300
eca-rers2012/Problem13_label48_false-unreach-call.c 0 900   640   8600 7200 2.3 0     .49 .32 6.8 40 6.7 3.6 110 300
eca-rers2012/Problem13_label51_false-unreach-call.c 0 900   690   8800 6500 2.3 0     .51 .32 5.6 40 8.1 4.2 150 310
eca-rers2012/Problem13_label54_false-unreach-call.c 0 900   640   8100 6600 2.3 0     .51 .33 3.9 40 6.6 3.5 78 300
eca-rers2012/Problem13_label58_false-unreach-call.c 0 900   690   10000 6400 2.3 0     .56 .38 14   43 6.9 3.6 110 310
eca-rers2012/Problem14_label02_false-unreach-call.c 0 900   780   13000 4100 2.3 0     .53 .33 12   41 6.3 3.3 110 310
eca-rers2012/Problem14_label08_false-unreach-call.c 0 900   670   12000 5300 2.3 0     .50 .31 7.3 42 6.5 3.4 130 310
eca-rers2012/Problem14_label10_false-unreach-call.c 0 900   790   12000 4600 2.3 0     .66 .41 10   43 6.4 3.4 100 300
eca-rers2012/Problem14_label11_false-unreach-call.c 0 900   780   11000 3600 2.3 0     .48 .31 10   40 5.9 3.2 87 300
eca-rers2012/Problem14_label12_false-unreach-call.c 0 900   780   10000 3800 2.3 0     .48 .32 6.4 39 6.8 3.5 140 300
eca-rers2012/Problem14_label13_false-unreach-call.c 0 900   670   12000 5300 2.3 0     .52 .34 5.4 41 6.0 3.2 120 290
eca-rers2012/Problem14_label14_false-unreach-call.c 0 900   770   13000 4300 2.3 0     .50 .32 6.9 41 6.0 3.2 90 300
eca-rers2012/Problem14_label18_false-unreach-call.c 0 900   700   11000 5100 2.6 0     .53 .35 8.9 43 6.0 3.2 94 300
eca-rers2012/Problem14_label22_false-unreach-call.c 0 900   800   10000 3900 2.3 0     .50 .32 9.7 39 6.3 3.4 140 300
eca-rers2012/Problem14_label27_false-unreach-call.c 0 900   790   14000 4200 2.3 0     .51 .32 8.8 40 6.1 3.2 120 300
eca-rers2012/Problem14_label28_false-unreach-call.c 0 900   790   10000 3200 2.3 0     .48 .31 12   39 6.2 3.3 85 300
eca-rers2012/Problem14_label29_false-unreach-call.c 0 900   800   12000 4200 2.3 0     .52 .33 11   42 6.5 3.4 120 310
eca-rers2012/Problem14_label31_false-unreach-call.c 0 900   790   13000 3900 2.3 0     .53 .34 9.5 42 6.4 3.4 130 300
eca-rers2012/Problem14_label34_false-unreach-call.c 0 900   780   11000 4000 2.3 0     .52 .34 9.7 40 6.3 3.3 100 300
eca-rers2012/Problem14_label37_false-unreach-call.c 0 900   790   11000 4600 2.3 0     .51 .32 7.3 41 6.4 3.4 120 300
eca-rers2012/Problem14_label39_false-unreach-call.c 0 900   770   12000 4600 2.3 0     .48 .31 6.3 41 6.0 3.2 120 300
eca-rers2012/Problem14_label40_false-unreach-call.c 0 900   780   12000 4500 2.3 0     .51 .34 9.6 39 6.9 3.6 140 320
eca-rers2012/Problem14_label41_false-unreach-call.c 0 900   790   11000 3700 2.3 0     .50 .34 12   39 6.3 3.4 120 310
eca-rers2012/Problem14_label43_false-unreach-call.c 0 900   780   12000 4900 2.3 0     .50 .33 9.8 40 6.1 3.3 100 300
eca-rers2012/Problem14_label44_false-unreach-call.c 0 900   800   11000 3100 2.3 0     .51 .34 11   41 6.6 3.5 130 300
eca-rers2012/Problem14_label52_false-unreach-call.c 0 900   780   11000 3600 2.3 0     .48 .31 8.1 39 6.5 3.4 120 310
eca-rers2012/Problem14_label54_false-unreach-call.c 0 900   770   12000 4600 2.3 0     .53 .33 11   43 6.4 3.3 92 300
eca-rers2012/Problem14_label56_false-unreach-call.c 0 900   790   14000 4300 2.3 0     .49 .32 11   40 6.0 3.2 86 300
eca-rers2012/Problem14_label57_false-unreach-call.c 0 900   770   12000 4500 2.3 0     .56 .37 10   46 6.1 3.3 98 310
eca-rers2012/Problem14_label58_false-unreach-call.c 0 900   790   12000 4600 2.3 0     .56 .35 13   42 6.3 3.3 130 300
eca-rers2012/Problem15_label00_false-unreach-call.c 0 900   790   11000 5200 2.3 .086 .50 .33 4.6 41 6.6 3.5 120 300
eca-rers2012/Problem15_label02_false-unreach-call.c 0 900   490   9200 5400 2.3 0     .56 .37 12   43 6.1 3.3 120 290
eca-rers2012/Problem15_label03_false-unreach-call.c 0 900   450   7700 5300 2.3 0     .52 .35 8.1 41 6.9 3.6 130 300
eca-rers2012/Problem15_label07_false-unreach-call.c 0 900   500   8300 5300 2.3 0     .54 .37 7.2 43 6.3 3.3 130 290
eca-rers2012/Problem15_label09_false-unreach-call.c 0 900   570   10000 5500 2.3 0     .48 .32 10   39 6.2 3.3 120 290
eca-rers2012/Problem15_label14_false-unreach-call.c 0 900   600   10000 5000 2.3 0     .47 .32 9.5 39 7.2 3.7 140 320
eca-rers2012/Problem15_label15_false-unreach-call.c 0 900   460   9900 5400 2.3 0     .60 .38 6.3 41 6.6 3.5 120 300
eca-rers2012/Problem15_label18_false-unreach-call.c 0 900   570   9100 5500 2.3 0     .48 .32 5.8 40 6.4 3.4 120 290
eca-rers2012/Problem15_label22_false-unreach-call.c 0 900   500   8900 5100 2.3 0     .50 .32 12   40 6.3 3.3 86 290
eca-rers2012/Problem15_label23_false-unreach-call.c 0 900   470   11000 5300 2.3 0     .52 .35 10   40 6.2 3.3 120 300
eca-rers2012/Problem15_label25_false-unreach-call.c 0 900   610   8200 5800 2.3 0     .51 .33 7.9 41 7.5 4.0 84 290
eca-rers2012/Problem15_label29_false-unreach-call.c 0 900   500   8000 5400 2.3 0     .53 .33 5.4 40 7.7 4.1 140 330
eca-rers2012/Problem15_label30_false-unreach-call.c 0 900   540   10000 5600 2.3 0     .56 .34 9.5 43 6.2 3.3 100 300
eca-rers2012/Problem15_label33_false-unreach-call.c 0 900   500   9200 5400 2.3 0     .51 .34 12   40 6.2 3.3 120 290
eca-rers2012/Problem15_label34_false-unreach-call.c 0 900   600   12000 5000 2.3 0     .52 .34 11   40 6.7 3.5 120 300
eca-rers2012/Problem15_label37_false-unreach-call.c 0 900   500   6800 5400 2.3 0     .48 .30 11   39 7.1 3.7 140 310
eca-rers2012/Problem15_label38_false-unreach-call.c 0 900   490   9100 5500 2.3 0     .48 .31 10   41 6.8 3.6 93 310
eca-rers2012/Problem15_label39_false-unreach-call.c 0 900   730   12000 4700 2.3 0     .49 .32 10   40 6.8 3.6 150 300
eca-rers2012/Problem15_label40_false-unreach-call.c 0 900   790   14000 5300 2.3 0     .52 .34 9.2 40 6.7 3.6 130 300
eca-rers2012/Problem15_label41_false-unreach-call.c 0 900   500   9300 5400 2.3 0     .51 .33 12   39 6.5 3.4 130 300
eca-rers2012/Problem15_label45_false-unreach-call.c 0 900   500   8400 5600 2.3 0     .48 .31 9.4 40 6.5 3.4 120 300
eca-rers2012/Problem15_label47_false-unreach-call.c 0 900   500   8100 5300 2.3 0     .55 .35 11   41 6.2 3.3 140 290
eca-rers2012/Problem15_label48_false-unreach-call.c 0 900   530   9500 5600 2.3 0     .50 .31 9.3 40 6.2 3.3 100 300
eca-rers2012/Problem15_label50_false-unreach-call.c 0 900   530   9400 5500 2.3 0     .51 .33 8.6 39 6.7 3.5 120 310
eca-rers2012/Problem15_label51_false-unreach-call.c 0 900   460   7400 5300 2.3 0     .53 .34 10   41 6.5 3.4 120 300
eca-rers2012/Problem16_label00_false-unreach-call.c 0 900   500   7100 5200 2.3 0     .51 .34 9.4 42 6.5 3.5 130 300
eca-rers2012/Problem16_label01_false-unreach-call.c 0 900   600   8200 5600 2.3 0     .56 .37 9.7 42 7.0 3.7 130 310
eca-rers2012/Problem16_label03_false-unreach-call.c 0 900   760   11000 5400 2.3 0     .49 .32 5.9 40 6.4 3.4 67 300
eca-rers2012/Problem16_label04_false-unreach-call.c 0 900   760   12000 5300 2.3 0     .52 .33 8.6 41 6.5 3.5 110 300
eca-rers2012/Problem16_label05_false-unreach-call.c 0 900   760   11000 5400 2.7 0     .48 .31 8.5 39 6.8 3.6 130 300
eca-rers2012/Problem16_label06_false-unreach-call.c 0 900   760   12000 5400 2.3 0     .56 .36 5.5 40 6.7 3.5 120 300
eca-rers2012/Problem16_label08_false-unreach-call.c 0 900   640   9600 5000 2.3 0     .47 .31 7.3 40 6.2 3.3 110 290
eca-rers2012/Problem16_label14_false-unreach-call.c 0 900   760   11000 4600 2.3 0     .50 .33 9.0 40 6.7 3.5 120 300
eca-rers2012/Problem16_label15_false-unreach-call.c 0 900   500   8500 5600 2.3 0     .52 .34 11   40 6.5 3.4 93 310
eca-rers2012/Problem16_label18_false-unreach-call.c 0 900   510   8600 5600 2.3 0     .65 .42 7.3 39 6.8 3.6 130 300
eca-rers2012/Problem16_label20_false-unreach-call.c 0 900   760   12000 5000 2.3 0     .71 .45 8.7 43 6.3 3.3 47 300
eca-rers2012/Problem16_label22_false-unreach-call.c 0 900   520   7600 5700 2.3 0     .53 .36 9.7 41 6.9 3.6 120 310
eca-rers2012/Problem16_label27_false-unreach-call.c 0 900   640   11000 4900 2.3 0     .53 .35 8.4 42 6.5 3.5 140 300
eca-rers2012/Problem16_label30_false-unreach-call.c 0 900   640   9600 5000 2.3 0     .50 .32 9.4 39 7.4 3.9 150 320
eca-rers2012/Problem16_label31_false-unreach-call.c 0 900   760   11000 4400 2.3 0     .51 .34 6.3 40 6.8 3.6 130 310
eca-rers2012/Problem16_label33_false-unreach-call.c 0 900   760   12000 4000 2.3 0     .48 .32 9.9 40 6.0 3.2 120 290
eca-rers2012/Problem16_label37_false-unreach-call.c 0 900   540   9800 5600 2.3 0     .57 .36 11   45 6.3 3.4 120 300
eca-rers2012/Problem16_label38_false-unreach-call.c 0 900   540   8900 5600 2.5 0     .61 .38 6.2 40 6.2 3.3 120 290
eca-rers2012/Problem16_label41_false-unreach-call.c 0 900   640   7000 5500 2.3 0     .52 .33 13   40 7.8 4.0 140 310
eca-rers2012/Problem16_label43_false-unreach-call.c 0 900   750   12000 5400 2.3 0     .49 .33 5.9 40 7.5 3.9 160 310
eca-rers2012/Problem16_label44_false-unreach-call.c 0 900   760   11000 5400 2.3 0     .52 .33 13   41 7.7 4.0 76 300
eca-rers2012/Problem16_label46_false-unreach-call.c 0 900   750   10000 5400 2.3 0     .47 .30 7.1 40 6.3 3.4 110 290
eca-rers2012/Problem16_label51_false-unreach-call.c 0 900   760   11000 4500 2.3 0     .50 .33 9.4 40 6.7 3.5 140 290
eca-rers2012/Problem16_label52_false-unreach-call.c 0 900   760   11000 4600 2.3 0     .49 .33 12   39 6.5 3.4 140 300
eca-rers2012/Problem16_label54_false-unreach-call.c 0 900   760   11000 4600 2.3 0     .53 .34 12   41 6.7 3.5 110 300
eca-rers2012/Problem17_label04_false-unreach-call.c 0 900   500   9100 5400 2.6 0     .52 .35 8.6 40 6.0 3.2 98 300
eca-rers2012/Problem17_label07_false-unreach-call.c 0 900   560   8000 5300 2.3 0     .51 .33 4.0 40 6.4 3.4 130 300
eca-rers2012/Problem17_label09_false-unreach-call.c 0 900   720   11000 6600 2.3 0     .50 .31 8.7 40 7.1 3.7 140 310
eca-rers2012/Problem17_label13_false-unreach-call.c 0 900   710   10000 6900 2.3 0     .50 .33 9.7 39 7.2 3.8 150 300
eca-rers2012/Problem17_label16_false-unreach-call.c