Tool VeriFuzz 1.0.0 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-42-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 2018-12-09 02:47:33 CET 2018-12-09 17:43:44 CET 2018-12-09 18:26:53 CET 2018-12-09 18:31:36 CET 2018-12-12 22:04:17 CET 2018-12-09 17:35:51 CET 2018-12-09 18:23:50 CET
Run set verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA cpa-seq-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA uautomizer-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA cpa-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA fshell-witness2test-validate-violation-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA cpa-seq-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA uautomizer-validate-correctness-witnesses-verifuzz.sv-comp19_prop-reachsafety.ReachSafety-ECA
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const -witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -witness ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/verifuzz.2018-12-09_0247.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.3 3.8 190 60 .90 .025  false(unreach-call) 1 wit inspect 6.9  3.6  280 0   0     true -32 --- inspect 12     7.1   340   .62 0      false(unreach-call) 1 --- inspect 6.0  3.3  280 0      0     false(unreach-call) 1 --- inspect .75   .75   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 8.3 5.7 190 100 .91 0      false(unreach-call) 1 wit inspect 7.3  3.9  280 0   .025 true -32 --- inspect 12     7.2   340   .62 0      false(unreach-call) 1 --- inspect 6.1  3.3  280 0      0     false(unreach-call) 1 --- inspect .76   .76   20    .22 .025 - --- inspect - --- inspect
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.7 4.0 190 74 .90 .41   false(unreach-call) 1 wit inspect 7.5  4.0  280 0   0     true -32 --- inspect 12     6.5   340   .66 0      false(unreach-call) 1 --- inspect 6.1  3.4  280 0      0     false(unreach-call) 1 --- inspect .75   .75   20    .22 .025 - --- inspect - --- inspect
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 9.6 7.1 190 120 .92 0      false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0     true -32 --- inspect 12     7.0   340   .66 0      false(unreach-call) 1 --- inspect 6.1  3.4  280 0      0     false(unreach-call) 1 --- inspect .75   .76   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 7.6 4.9 190 81 .90 0      false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0     true -32 --- inspect 11     6.5   340   .66 .025  false(unreach-call) 1 --- inspect 6.2  3.4  270 0      0     false(unreach-call) 1 --- inspect .76   .76   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.3 3.6 190 61 .91 .029  false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0     true -32 --- inspect 12     6.7   350   .66 .025  false(unreach-call) 1 --- inspect 7.3  4.0  280 0      0     false(unreach-call) 1 --- inspect .76   .76   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 8.8 5.9 190 99 .93 0      false(unreach-call) 1 wit inspect 8.2  4.4  280 0   0     true -32 --- inspect 12     6.8   350   .62 0      false(unreach-call) 1 --- inspect 6.6  3.6  290 0      0     false(unreach-call) 1 --- inspect .75   .75   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.3 3.5 190 61 .90 .053  false(unreach-call) 1 wit inspect 7.4  3.9  280 0   0     true -32 --- inspect 12     6.2   350   .66 0      false(unreach-call) 1 --- inspect 6.0  3.3  280 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 5.5 3.2 190 56 .83 .0082 false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0     true -32 --- inspect 12     6.5   340   .66 0      false(unreach-call) 1 --- inspect 5.8  3.2  280 0      0     false(unreach-call) 1 --- inspect .75   .75   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 8.8 6.5 200 99 .91 0      false(unreach-call) 1 wit inspect 7.3  3.9  280 0   0     true -32 --- inspect 12     7.0   340   .66 0      false(unreach-call) 1 --- inspect 6.6  3.6  300 0      0     false(unreach-call) 1 --- inspect .75   .75   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.3 3.8 200 60 .90 0      false(unreach-call) 1 wit inspect 7.0  3.7  280 0   0     true -32 --- inspect 12     6.8   340   .66 0      false(unreach-call) 1 --- inspect 6.1  3.4  280 0      .025 false(unreach-call) 1 --- inspect .75   .75   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 8.2 5.4 200 87 .90 .025  false(unreach-call) 1 wit inspect 7.5  4.0  280 0   0     true -32 --- inspect 12     6.8   350   .66 0      false(unreach-call) 1 --- inspect 6.2  3.4  280 0      0     false(unreach-call) 1 --- inspect .76   .76   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 9.0 6.5 190 110 .91 0      false(unreach-call) 1 wit inspect 7.2  3.8  280 0   .025 true -32 --- inspect 12     7.0   340   .66 0      false(unreach-call) 1 --- inspect 6.1  3.3  280 0      0     false(unreach-call) 1 --- inspect .73   .73   20    .22 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.0 3.4 200 60 .95 .025  false(unreach-call) 1 wit inspect 6.9  3.7  280 0   0     true -32 --- inspect 11     6.5   340   .66 0      false(unreach-call) 1 --- inspect 5.9  3.3  280 0      0     false(unreach-call) 1 --- inspect .75   .76   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 5.8 3.1 200 55 .79 0      false(unreach-call) 1 wit inspect 5.8  3.1  270 0   0     true -32 --- inspect 11     6.6   330   .62 0      false(unreach-call) 1 --- inspect 5.5  3.0  270 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.0 3.4 190 63 .92 0      false(unreach-call) 1 wit inspect 6.1  3.3  270 0   0     true -32 --- inspect 13     6.9   350   .29 0      false(unreach-call) 1 --- inspect 5.8  3.2  270 0      0     false(unreach-call) 1 --- inspect .74   .75   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 5.9 3.3 200 61 .94 0      false(unreach-call) 1 wit inspect 6.6  3.5  280 0   0     true -32 --- inspect 11     6.3   330   .66 0      false(unreach-call) 1 --- inspect 5.4  3.0  270 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .21 .025 - --- inspect - --- inspect
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.0 3.3 190 55 .89 0      false(unreach-call) 1 wit inspect 6.7  3.6  280 0   0     true -32 --- inspect 11     6.5   350   .66 0      false(unreach-call) 1 --- inspect 6.4  3.5  290 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.0 3.4 190 64 .86 0      false(unreach-call) 1 wit inspect 6.8  3.6  280 0   0     true -32 --- inspect 12     6.4   330   .62 .025  false(unreach-call) 1 --- inspect 5.7  3.2  270 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 5.8 3.4 190 63 .88 0      false(unreach-call) 1 wit inspect 7.8  4.1  280 0   0     true -32 --- inspect 12     6.7   340   .62 0      false(unreach-call) 1 --- inspect 6.5  3.6  280 0      0     false(unreach-call) 1 --- inspect .74   .74   20    .21 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 11   7.6 280 120 1.4  .066  false(unreach-call) 1 wit inspect 11    5.5  410 0   0     true -32 --- inspect 17     9.5   510   .66 0      false(unreach-call) 1 --- inspect 10    5.5  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 8.5 5.0 290 85 1.4  0      false(unreach-call) 1 wit inspect 11    5.5  430 0   0     true -32 --- inspect 15     8.3   470   .66 .066  false(unreach-call) 1 --- inspect 9.5  5.1  430 0      .066 false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 8.2 4.5 290 77 1.4  .12   false(unreach-call) 1 wit inspect 9.8  5.2  420 0   0     true -32 --- inspect 17     9.3   530   .62 .066  false(unreach-call) 1 --- inspect 9.0  4.8  430 0      .066 false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 9.4 6.0 260 110 1.4  0      false(unreach-call) 1 wit inspect 10    5.3  420 0   0     true -32 --- inspect 16     8.8   460   .66 0      false(unreach-call) 1 --- inspect 9.5  5.0  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label28_false-unreach-call.c false(unreach-call) 1 wit inspect 8.5 5.2 260 81 1.4  .066  false(unreach-call) 1 wit inspect 11    5.5  420 0   0     true -32 --- inspect 16     8.9   510   .62 0      false(unreach-call) 1 --- inspect 9.1  4.8  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 8.8 5.0 280 92 1.4  .066  false(unreach-call) 1 wit inspect 11    5.7  430 0   0     true -32 --- inspect 15     8.8   540   .66 0      false(unreach-call) 1 --- inspect 9.8  5.2  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 10   6.9 280 110 1.4  .074  false(unreach-call) 1 wit inspect 11    5.8  430 0   0     true -32 --- inspect 16     9.0   520   .62 0      false(unreach-call) 1 --- inspect 10    5.4  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 8.2 4.7 280 88 1.4  0      false(unreach-call) 1 wit inspect 9.8  5.1  420 0   0     true -32 --- inspect 16     8.7   520   .66 0      false(unreach-call) 1 --- inspect 10    5.3  440 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 11   7.7 290 140 1.4  0      false(unreach-call) 1 wit inspect 11    5.7  430 0   0     true -32 --- inspect 15     8.8   460   .62 0      false(unreach-call) 1 --- inspect 10    5.4  440 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 8.2 4.8 290 85 1.4  0      false(unreach-call) 1 wit inspect 9.5  4.9  400 0   0     true -32 --- inspect 16     8.7   460   .62 0      false(unreach-call) 1 --- inspect 9.6  5.1  430 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 10   6.6 280 100 1.4  0      false(unreach-call) 1 wit inspect 11    5.7  420 0   0     true -32 --- inspect 15     8.6   520   .66 0      false(unreach-call) 1 --- inspect 10    5.3  440 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    26    .51 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 8.2 4.8 290 90 1.4  0      false(unreach-call) 1 wit inspect 11    5.6  430 0   .066 true -32 --- inspect 15     8.9   510   .66 0      false(unreach-call) 1 --- inspect 9.0  4.8  420 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 0     - --- inspect - --- inspect
eca-rers2012/Problem03_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 13   9.0 290 150 1.4  0      false(unreach-call) 1 wit inspect 11    5.6  420 0   0     true -32 --- inspect 15     8.6   530   .66 0      false(unreach-call) 1 --- inspect 9.5  5.1  440 0      0     false(unreach-call) 1 --- inspect 1.1    1.1    27    .54 .066 - --- inspect - --- inspect
eca-rers2012/Problem04_label04_false-unreach-call.c false(unreach-call) 1 wit inspect 140   140   360 2000 3.4  0      false(unreach-call) 1 wit inspect 26    13    760 0   0     true -32 --- inspect 26     14     600   .66 0      false(unreach-call) 1 --- inspect 19    10    970 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label06_false-unreach-call.c false(unreach-call) 1 wit inspect 110   100   350 1300 3.7  0      false(unreach-call) 1 wit inspect 27    14    840 0   0     true -32 --- inspect 26     14     670   .66 0      false(unreach-call) 1 --- inspect 18    10    1100 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 97   94   340 1300 3.4  0      false(unreach-call) 1 wit inspect 24    12    750 0   .19  true -32 --- inspect 26     14     700   .62 0      false(unreach-call) 1 --- inspect 20    11    910 0      0     false(unreach-call) 1 --- inspect 2.0    2.0    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 93   89   350 1100 3.1  0      false(unreach-call) 1 wit inspect 30    16    750 0   0     true -32 --- inspect 28     15     670   .66 0      false(unreach-call) 1 --- inspect 18    10    1000 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 110   100   350 1500 3.7  0      false(unreach-call) 1 wit inspect 26    14    800 0   .19  true -32 --- inspect 25     14     600   .62 0      false(unreach-call) 1 --- inspect 19    11    1100 0      .19  false(unreach-call) 1 --- inspect 2.1    2.1    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 130   130   360 1800 3.1  0      false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 25     14     680   .66 0      false(unreach-call) 1 --- inspect 18    9.6  920 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 92   88   340 1000 3.7  .19   false(unreach-call) 1 wit inspect 27    14    760 0   .19  true -32 --- inspect 25     14     680   .62 0      false(unreach-call) 1 --- inspect 19    10    910 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 610   620   350 8300 4.1  .25   false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 26     15     710   .62 0      false(unreach-call) 1 --- inspect 17    9.5  910 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 140   140   350 1900 3.5  0      false(unreach-call) 1 wit inspect 23    12    760 0   0     true -32 --- inspect 26     14     600   .66 0      false(unreach-call) 1 --- inspect 18    9.8  880 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  .19  - --- inspect - --- inspect
eca-rers2012/Problem04_label18_false-unreach-call.c false(unreach-call) 1 wit inspect 130   130   340 2000 3.4  0      false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 26     15     680   .62 0      false(unreach-call) 1 --- inspect 17    9.3  930 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label19_false-unreach-call.c false(unreach-call) 1 wit inspect 320   320   350 3100 3.7  0      false(unreach-call) 1 wit inspect 25    13    800 0   0     true -32 --- inspect 25     14     690   .62 0      false(unreach-call) 1 --- inspect 18    10    1000 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 150   150   350 1900 3.2  0      false(unreach-call) 1 wit inspect 25    13    750 0   0     true -32 --- inspect 25     14     670   .66 0      false(unreach-call) 1 --- inspect 19    10    1000 0      0     false(unreach-call) 1 --- inspect 2.0    2.0    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 190   190   350 2600 3.7  0      false(unreach-call) 1 wit inspect 25    13    750 0   0     true -32 --- inspect 27     15     610   .62 0      false(unreach-call) 1 --- inspect 17    9.6  910 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  .19  - --- inspect - --- inspect
eca-rers2012/Problem04_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 98   96   350 1100 3.7  0      false(unreach-call) 1 wit inspect 26    14    760 0   0     true -32 --- inspect 26     14     660   .62 0      false(unreach-call) 1 --- inspect 19    10    1100 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label32_false-unreach-call.c false(unreach-call) 1 wit inspect 100   100   350 1200 3.1  0      false(unreach-call) 1 wit inspect 27    14    770 0   0     true -32 --- inspect 26     14     610   .62 0      false(unreach-call) 1 --- inspect 18    9.7  920 0      .19  false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 89   85   350 1000 3.1  .13   false(unreach-call) 1 wit inspect 25    13    780 0   0     true -32 --- inspect 25     14     700   .62 0      false(unreach-call) 1 --- inspect 18    9.6  960 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 94   91   350 1200 3.4  0      false(unreach-call) 1 wit inspect 26    13    760 0   .19  true -32 --- inspect 25     14     710   .62 0      false(unreach-call) 1 --- inspect 17    9.5  980 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 120   120   360 1700 3.4  0      false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 25     14     670   .66 0      false(unreach-call) 1 --- inspect 18    9.8  910 0      .19  false(unreach-call) 1 --- inspect 2.1    2.1    43    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 98   95   360 1200 3.4  0      false(unreach-call) 1 wit inspect 25    13    830 0   0     true -32 --- inspect 27     15     600   .66 0      false(unreach-call) 1 --- inspect 20    11    1100 0      .32  false(unreach-call) 1 --- inspect 2.1    2.1    43    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 200   200   350 2300 3.3  0      false(unreach-call) 1 wit inspect 26    13    840 0   0     true -32 --- inspect 26     14     670   .66 0      false(unreach-call) 1 --- inspect 18    10    920 0      .13  false(unreach-call) 1 --- inspect 2.0    2.0    44    1.7  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 94   91   350 1400 3.7  .029  false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 27     15     680   .66 0      false(unreach-call) 1 --- inspect 18    10    910 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    43    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 110   100   340 1400 3.7  0      false(unreach-call) 1 wit inspect 25    13    840 0   0     true -32 --- inspect 25     14     700   .62 0      false(unreach-call) 1 --- inspect 17    9.6  1100 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 100   100   370 1500 3.4  0      false(unreach-call) 1 wit inspect 26    14    760 0   .19  true -32 --- inspect 27     15     590   .62 0      false(unreach-call) 1 --- inspect 18    10    930 0      .13  false(unreach-call) 1 --- inspect 2.1    2.1    43    1.5  0     - --- inspect - --- inspect
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 110   110   350 1400 3.7  .19   false(unreach-call) 1 wit inspect 26    14    830 0   0     true -32 --- inspect 24     13     710   .62 0      false(unreach-call) 1 --- inspect 18    10    1100 0      0     false(unreach-call) 1 --- inspect 2.1    2.1    44    1.5  .19  - --- inspect - --- inspect
eca-rers2012/Problem05_label00_false-unreach-call.c false(unreach-call) 1 wit inspect 68   63   480 710 7.5  0      false(unreach-call) 1 wit inspect 28    14    1000 0   0     true -32 --- inspect 32     19     870   .62 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label01_false-unreach-call.c false(unreach-call) 1 wit inspect 60   55   480 680 8.8  .39   false(unreach-call) 1 wit inspect 29    15    1000 0   0     true -32 --- inspect 32     18     800   .62 0      timeout 0 --- inspect 20    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.7    3.7    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label11_false-unreach-call.c false(unreach-call) 1 wit inspect 65   60   490 740 8.9  .39   false(unreach-call) 1 wit inspect 27    14    1000 0   0     true -32 --- inspect 32     18     880   .66 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.7    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 60   55   480 760 7.7  0      false(unreach-call) 1 wit inspect 30    15    1100 0   .39  true -32 --- inspect 33     18     810   .62 0      timeout 0 --- inspect 21    130    1200 .049  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 46   41   480 620 8.8  .39   false(unreach-call) 1 wit inspect 29    15    1000 0   0     true -32 --- inspect 33     18     880   .62 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.7    72    4.6  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label18_false-unreach-call.c false(unreach-call) 1 wit inspect 70   65   480 810 6.7  0      false(unreach-call) 1 wit inspect 30    15    1000 0   0     true -32 --- inspect 32     18     820   .62 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.7    3.7    72    3.8  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label24_false-unreach-call.c false(unreach-call) 1 wit inspect 49   44   500 590 5.9  0      false(unreach-call) 1 wit inspect 28    15    1000 0   0     true -32 --- inspect 32     18     880   .62 0      timeout 0 --- inspect 20    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.7    3.7    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 73   68   480 1000 5.0  0      false(unreach-call) 1 wit inspect 31    16    1000 0   0     true -32 --- inspect 32     18     780   .66 0      timeout 0 --- inspect 21    130    1200 .029  .32  false(unreach-call) 1 --- inspect 3.6    3.6    72    3.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label30_false-unreach-call.c false(unreach-call) 1 wit inspect 70   65   470 900 7.8  0      false(unreach-call) 1 wit inspect 26    14    1000 0   0     true -32 --- inspect 31     18     880   .62 0      timeout 0 --- inspect 22    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label32_false-unreach-call.c false(unreach-call) 1 wit inspect 57   51   490 730 8.3  0      false(unreach-call) 1 wit inspect 30    16    1000 0   0     true -32 --- inspect 32     18     790   .66 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label33_false-unreach-call.c false(unreach-call) 1 wit inspect 70   65   490 860 7.8  0      false(unreach-call) 1 wit inspect 27    14    1000 0   0     true -32 --- inspect 34     19     810   .66 0      timeout 0 --- inspect 20    130    1200 .52   0     false(unreach-call) 1 --- inspect 3.6    3.6    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label36_false-unreach-call.c false(unreach-call) 1 wit inspect 67   62   500 790 7.8  0      false(unreach-call) 1 wit inspect 26    14    1000 0   .39  true -32 --- inspect 34     19     830   .62 0      timeout 0 --- inspect 24    130    1200 .029  .39  false(unreach-call) 1 --- inspect 3.6    3.6    71    3.8  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 68   63   480 920 8.8  .39   false(unreach-call) 1 wit inspect 29    15    1000 0   0     true -32 --- inspect 32     18     880   .62 0      timeout 0 --- inspect 22    130    1200 .95   0     false(unreach-call) 1 --- inspect 3.7    3.7    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 53   47   480 630 7.8  .029  false(unreach-call) 1 wit inspect 27    14    1000 0   0     true -32 --- inspect 33     19     880   .62 0      timeout 0 --- inspect 22    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.7    3.7    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 65   60   490 760 8.8  .029  false(unreach-call) 1 wit inspect 29    15    990 0   0     true -32 --- inspect 36     20     800   .66 0      timeout 0 --- inspect 21    130    1200 .95   0     false(unreach-call) 1 --- inspect 3.6    3.6    72    4.7  .39  - --- inspect - --- inspect
eca-rers2012/Problem05_label40_false-unreach-call.c false(unreach-call) 1 wit inspect 69   64   480 760 7.8  0      false(unreach-call) 1 wit inspect 29    15    1000 0   0     true -32 --- inspect 31     18     880   .62 0      timeout 0 --- inspect 20    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label41_false-unreach-call.c false(unreach-call) 1 wit inspect 67   62   480 920 6.6  0      false(unreach-call) 1 wit inspect 27    14    1000 0   .39  true -32 --- inspect 33     18     790   .62 0      timeout 0 --- inspect 21    130    1200 .029  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label44_false-unreach-call.c false(unreach-call) 1 wit inspect 66   61   480 890 6.1  0      false(unreach-call) 1 wit inspect 27    14    1000 0   0     true -32 --- inspect 32     18     880   .62 0      timeout 0 --- inspect 19    130    1200 .074  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 59   54   480 690 7.8  0      false(unreach-call) 1 wit inspect 35    18    1000 0   0     true -32 --- inspect 34     19     890   .62 0      timeout 0 --- inspect 21    130    1200 .95   0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label48_false-unreach-call.c false(unreach-call) 1 wit inspect 66   61   480 820 6.6  0      false(unreach-call) 1 wit inspect 31    16    1000 0   0     true -32 --- inspect 33     18     770   .62 0      timeout 0 --- inspect 20    130    1200 .59   0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label51_false-unreach-call.c false(unreach-call) 1 wit inspect 62   57   500 940 8.8  0      false(unreach-call) 1 wit inspect 30    16    1000 0   0     true -32 --- inspect 33     19     880   .62 0      timeout 0 --- inspect 21    130    1200 1.0    0     false(unreach-call) 1 --- inspect 3.6    3.6    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label55_false-unreach-call.c false(unreach-call) 1 wit inspect 55   50   480 660 8.0  0      false(unreach-call) 1 wit inspect 33    17    1000 0   .39  true -32 --- inspect 36     20     810   .62 0      timeout 0 --- inspect 21    130    1200 .070  0     false(unreach-call) 1 --- inspect 3.7    3.7    72    3.5  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label57_false-unreach-call.c false(unreach-call) 1 wit inspect 49   44   480 520 8.0  .39   false(unreach-call) 1 wit inspect 31    17    1000 0   0     true -32 --- inspect 32     18     890   .10 0      timeout 0 --- inspect 23    130    1200 .58   0     false(unreach-call) 1 --- inspect 3.6    3.6    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem05_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 44   39   470 600 6.1  0      false(unreach-call) 1 wit inspect 27    14    1000 0   .39  true -32 --- inspect 33     19     890   .66 0      timeout 0 --- inspect 21    130    1200 .037  0     false(unreach-call) 1 --- inspect 3.6    3.6    72    4.7  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label00_false-unreach-call.c false(unreach-call) 1 wit inspect 22   17   480 230 6.4  0      false(unreach-call) 1 wit inspect 26    14    760 0   0     true -32 --- inspect 29     16     840   .66 0      timeout 0 --- inspect 20    130    850 .037  0     false(unreach-call) 1 --- inspect 3.3    3.3    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label01_false-unreach-call.c false(unreach-call) 1 wit inspect 26   21   460 320 6.4  0      false(unreach-call) 1 wit inspect 25    13    760 0   0     true -32 --- inspect 29     17     830   .62 0      timeout 0 --- inspect 19    130    830 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    72    3.9  .34  - --- inspect - --- inspect
eca-rers2012/Problem06_label02_false-unreach-call.c false(unreach-call) 1 wit inspect 22   17   460 240 7.0  .34   false(unreach-call) 1 wit inspect 26    13    760 0   0     true -32 --- inspect 30     17     830   .62 0      timeout 0 --- inspect 23    130    860 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    3.9  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label04_false-unreach-call.c false(unreach-call) 1 wit inspect 20   15   460 220 6.4  0      false(unreach-call) 1 wit inspect 22    12    650 0   0     true -32 --- inspect 29     16     780   .66 0      timeout 0 --- inspect 20    130    830 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    3.9  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label05_false-unreach-call.c false(unreach-call) 1 wit inspect 27   22   460 300 5.3  0      false(unreach-call) 1 wit inspect 23    12    680 0   0     true -32 --- inspect 31     17     760   .66 0      timeout 0 --- inspect 20    130    850 .037  0     false(unreach-call) 1 --- inspect 3.3    3.3    72    4.1  .34  - --- inspect - --- inspect
eca-rers2012/Problem06_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 18   13   460 190 5.4  0      false(unreach-call) 1 wit inspect 20    10    670 0   0     true -32 --- inspect 28     16     820   .66 0      timeout 0 --- inspect 19    130    850 .029  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label10_false-unreach-call.c false(unreach-call) 1 wit inspect 28   22   460 280 5.8  0      false(unreach-call) 1 wit inspect 26    14    660 0   0     true -32 --- inspect 29     16     840   .62 0      timeout 0 --- inspect 19    130    840 .75   0     false(unreach-call) 1 --- inspect 3.4    3.4    71    1.9  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label11_false-unreach-call.c false(unreach-call) 1 wit inspect 28   23   460 330 7.0  .34   false(unreach-call) 1 wit inspect 24    12    650 0   0     true -32 --- inspect 30     17     820   .62 0      timeout 0 --- inspect 21    130    860 .63   0     false(unreach-call) 1 --- inspect 3.3    3.3    72    4.1  .34  - --- inspect - --- inspect
eca-rers2012/Problem06_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 23   18   470 260 6.4  0      false(unreach-call) 1 wit inspect 22    11    640 0   0     true -32 --- inspect 29     16     710   .66 0      timeout 0 --- inspect 21    130    860 .89   .34  false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 22   16   460 250 6.3  0      false(unreach-call) 1 wit inspect 23    12    700 0   0     true -32 --- inspect 30     17     770   .62 0      timeout 0 --- inspect 22    130    880 .037  .34  false(unreach-call) 1 --- inspect 3.4    3.4    71    3.7  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label20_false-unreach-call.c false(unreach-call) 1 wit inspect 18   13   460 240 5.3  0      false(unreach-call) 1 wit inspect 23    12    670 0   0     true -32 --- inspect 30     16     720   .66 0      timeout 0 --- inspect 20    130    870 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label21_false-unreach-call.c false(unreach-call) 1 wit inspect 27   22   450 340 7.0  0      false(unreach-call) 1 wit inspect 24    12    680 0   .34  true -32 --- inspect 29     16     820   .62 0      timeout 0 --- inspect 19    130    850 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label24_false-unreach-call.c false(unreach-call) 1 wit inspect 23   18   470 260 7.0  0      false(unreach-call) 1 wit inspect 22    11    660 0   0     true -32 --- inspect 31     17     770   .66 0      timeout 0 --- inspect 21    130    860 .45   0     false(unreach-call) 1 --- inspect 3.4    3.4    71    1.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 20   15   450 240 7.0  0      false(unreach-call) 1 wit inspect 24    12    720 0   0     true -32 --- inspect 30     17     810   .62 0      timeout 0 --- inspect 19    130    860 .029  .34  false(unreach-call) 1 --- inspect 3.4    3.4    71    3.7  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label29_false-unreach-call.c false(unreach-call) 1 wit inspect 20   14   460 190 6.4  0      false(unreach-call) 1 wit inspect 20    10    630 0   0     true -32 --- inspect 30     16     770   .66 0      timeout 0 --- inspect 20    130    850 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    3.3  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label33_false-unreach-call.c false(unreach-call) 1 wit inspect 24   19   460 260 5.3  .029  false(unreach-call) 1 wit inspect 20    10    650 0   0     true -32 --- inspect 28     16     830   .62 0      timeout 0 --- inspect 22    130    850 .93   .34  false(unreach-call) 1 --- inspect 3.4    3.4    71    3.4  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label36_false-unreach-call.c false(unreach-call) 1 wit inspect 28   23   460 320 6.7  0      false(unreach-call) 1 wit inspect 24    13    760 0   0     true -32 --- inspect 29     16     820   .62 0      timeout 0 --- inspect 23    130    950 .037  .090 false(unreach-call) 1 --- inspect 3.4    3.4    71    3.3  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 26   21   470 320 7.0  .029  false(unreach-call) 1 wit inspect 21    11    650 0   0     true -32 --- inspect 30     17     760   .66 0      timeout 0 --- inspect 21    130    850 .082  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label38_false-unreach-call.c false(unreach-call) 1 wit inspect 25   20   470 290 7.0  .34   false(unreach-call) 1 wit inspect 22    11    650 0   0     true -32 --- inspect 33     18     840   .62 0      timeout 0 --- inspect 21    130    880 .94   .090 false(unreach-call) 1 --- inspect 3.4    3.4    71    3.4  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label44_false-unreach-call.c false(unreach-call) 1 wit inspect 19   14   470 210 7.0  .35   false(unreach-call) 1 wit inspect 24    12    670 0   0     true -32 --- inspect 31     18     760   .62 0      timeout 0 --- inspect 20    130    840 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    4.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 18   13   450 200 6.7  0      false(unreach-call) 1 wit inspect 22    11    650 0   0     true -32 --- inspect 31     17     840   .62 0      timeout 0 --- inspect 19    130    840 .99   .34  false(unreach-call) 1 --- inspect 3.3    3.3    72    4.1  .34  - --- inspect - --- inspect
eca-rers2012/Problem06_label48_false-unreach-call.c false(unreach-call) 1 wit inspect 21   15   470 240 6.4  0      false(unreach-call) 1 wit inspect 23    12    760 0   0     true -32 --- inspect 32     18     770   .62 0      timeout 0 --- inspect 19    130    850 .037  .43  false(unreach-call) 1 --- inspect 3.4    3.4    71    3.3  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label56_false-unreach-call.c false(unreach-call) 1 wit inspect 21   15   460 260 5.3  0      false(unreach-call) 1 wit inspect 20    11    650 0   0     true -32 --- inspect 30     17     770   .62 0      timeout 0 --- inspect 19    130    860 .061  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    3.1  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 28   23   470 330 6.4  0      false(unreach-call) 1 wit inspect 26    13    770 0   0     true -32 --- inspect 28     16     830   .66 0      timeout 0 --- inspect 21    130    840 .037  0     false(unreach-call) 1 --- inspect 3.4    3.4    71    1.8  0     - --- inspect - --- inspect
eca-rers2012/Problem06_label59_false-unreach-call.c false(unreach-call) 1 wit inspect 22   17   460 270 5.3  0      false(unreach-call) 1 wit inspect 23    12    760 0   0     true -32 --- inspect 29     16     840   .62 0      timeout 0 --- inspect 19    130    820 .037  0     false(unreach-call) 1 --- inspect 3.5    3.5    71    3.1  0     - --- inspect - --- inspect
eca-rers2012/Problem07_label03_false-unreach-call.c false(unreach-call) 1 wit inspect 780   770   2600 11000 47    2.8    false(unreach-call) 1 wit inspect 78    45    2600 0   0     timeout (true) 0 --- inspect 91     61     3100   .61 0      timeout 0 --- inspect 95    55    3700 0      0     false(unreach-call) 1 --- inspect 25      25      350    31    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label05_false-unreach-call.c false(unreach-call) 1 wit inspect 350   340   2500 5100 47    0      timeout 0 --- inspect 97    61    2800 0   0     timeout (true) 0 --- inspect 95     63     3400   .11 0      timeout 0 --- inspect 98    57    3700 .070  0     false(unreach-call) 1 --- inspect 25      25      350    31    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label06_false-unreach-call.c false(unreach-call) 1 wit inspect 900   890   2500 11000 51    3.0    timeout 0 wit inspect 97    59    2700 0   0     timeout (true) 0 --- inspect 95     62     3100   .61 0      timeout 0 --- inspect 92    53    3600 0      0     false(unreach-call) 1 --- inspect 25      25      350    23    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label07_false-unreach-call.c false(unreach-call) 1 wit inspect 490   480   2600 5800 36    .0041 timeout 0 wit inspect 98    57    2700 0   0     timeout (true) 0 --- inspect 90     61     3300   .61 0      timeout 0 --- inspect 97    55    3600 0      0     false(unreach-call) 1 --- inspect 26      26      350    30    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 260   250   2600 2900 49    0      timeout 0 wit inspect 98    60    2700 0   0     true -32 --- inspect 88     60     3400   .61 0      timeout 0 --- inspect 98    56    3700 .90   4.9   false(unreach-call) 1 --- inspect 25      25      350    44    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label11_false-unreach-call.c false(unreach-call) 1 wit inspect 440   430   2500 4500 38    0      false(unreach-call) 1 wit inspect 87    52    2500 0   0     true -32 --- inspect 90     61     3300   .61 2.8    timeout 0 --- inspect 98    57    3700 .066  0     false(unreach-call) 1 --- inspect 25      25      350    21    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label15_false-unreach-call.c false(unreach-call) 1 wit inspect 360   350   2700 4400 41    46      timeout 0 wit inspect 97    59    2700 0   0     timeout (true) 0 --- inspect 91     60     3300   .61 1.6    timeout 0 --- inspect 96    55    3700 0      0     false(unreach-call) 1 --- inspect 25      25      350    27    0     - --- inspect - --- inspect
eca-rers2012/Problem07_label18_false-unreach-call.c false(unreach-call) 1 wit inspect 700   690   2600 8300 51    0      timeout 0 wit inspect 97    59    2600 0   0     timeout (true) 0 --- inspect 91     62     3500   .61 0      timeout 0 --- inspect 98    56    3700 .016  0     false(unreach-call) 1 --- inspect 25      25      350    30    0     - ---