Tool ULTIMATE Taipan 0.1.23-3204b741 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
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.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 17:23:13 CET 2017-12-03 07:22:17 CET 2017-12-03 07:45:29 CET 2017-12-03 07:47:53 CET 2017-12-03 07:50:34 CET 2017-12-03 06:47:45 CET 2017-12-03 07:25:40 CET
Run set utaipan.sv-comp18.ReachSafety-ECA cpa-seq-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-ECA uautomizer-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-ECA cpa-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-ECA fshell-witness2test-validate-violation-witnesses-utaipan.sv-comp18-violation-witness.ReachSafety-ECA cpa-seq-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-ECA uautomizer-validate-correctness-witnesses-utaipan.sv-comp18-correctness-witness.ReachSafety-ECA
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -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 --full-output --validate ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/utaipan.2017-12-02_1723.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5400 10000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0034 .29 - wit inspect - wit inspect
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5400 9700 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0044 .34 - wit inspect - wit inspect
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .044 4.9 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0039 .32 - wit inspect - wit inspect
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5300 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect - wit inspect
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 850   5400 10000 true -32 wit inspect 7.4  340 false(unreach-call) 1 wit inspect 12     550   unknown 0 wit inspect 4.8  230 true -32 wit inspect .80   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout 0 wit inspect 900   4900 12000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0041 .35 - wit inspect - wit inspect
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 9800 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0043 .26 - wit inspect - wit inspect
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0036 .32 - wit inspect - wit inspect
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 410   4800 4700 true -32 wit inspect 7.7  280 false(unreach-call) 1 wit inspect 12     520   unknown 0 wit inspect 4.9  230 true -32 wit inspect .81   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5400 10000 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .78 48 error (invalid witness file) 0 wit inspect .0036 .32 - wit inspect - wit inspect
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 630   5400 8200 true -32 wit inspect 7.9  280 false(unreach-call) 1 wit inspect 11     550   unknown 0 wit inspect 4.7  230 true -32 wit inspect .78   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 750   5400 8500 true -32 wit inspect 7.6  340 false(unreach-call) 1 wit inspect 12     550   unknown 0 wit inspect 4.8  230 true -32 wit inspect .79   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5300 9700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 410   4900 4900 true -32 wit inspect 6.8  290 false(unreach-call) 1 wit inspect 11     540   unknown 0 wit inspect 4.3  220 true -32 wit inspect .78   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 47   1800 490 true -32 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 11     450   unknown 0 wit inspect 4.2  220 true -32 wit inspect .77   19    - wit inspect - wit inspect
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 56   3800 550 true -32 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 11     450   unknown 0 wit inspect 4.2  220 true -32 wit inspect .77   19    - wit inspect - wit inspect
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 240   4600 3400 true -32 wit inspect 6.5  290 false(unreach-call) 1 wit inspect 12     490   unknown 0 wit inspect 4.6  220 true -32 wit inspect .79   19    - wit inspect - wit inspect
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 780   5400 11000 true -32 wit inspect 7.1  300 false(unreach-call) 1 wit inspect 13     550   unknown 0 wit inspect 4.6  230 true -32 wit inspect .76   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 360   4900 4100 true -32 wit inspect 7.4  300 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 4.6  230 true -32 wit inspect .76   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .30 - wit inspect - wit inspect
eca-rers2012/Problem03_label09_false-unreach-call.c timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0034 .32 - wit inspect - wit inspect
eca-rers2012/Problem03_label13_false-unreach-call.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 0 wit inspect 900   5300 13000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label27_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .88 48 error (invalid witness file) 0 wit inspect .0048 .30 - wit inspect - wit inspect
eca-rers2012/Problem03_label28_false-unreach-call.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label31_false-unreach-call.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0024 .28 - wit inspect - wit inspect
eca-rers2012/Problem03_label35_false-unreach-call.c timeout 0 wit inspect 900   5400 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .046 5.0 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label37_false-unreach-call.c timeout 0 wit inspect 900   5400 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .045 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
eca-rers2012/Problem03_label39_false-unreach-call.c timeout 0 wit inspect 900   5300 13000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .83 53 error (invalid witness file) 0 wit inspect .0021 .34 - wit inspect - wit inspect
eca-rers2012/Problem03_label43_false-unreach-call.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label45_false-unreach-call.c timeout 0 wit inspect 900   5300 12000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .037 5.0 error (invalid witness file) 0 wit inspect .79 47 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label50_false-unreach-call.c timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label52_false-unreach-call.c timeout 0 wit inspect 900   5400 13000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .91 50 error (invalid witness file) 0 wit inspect .0031 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label04_false-unreach-call.c timeout 0 wit inspect 900   6400 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0021 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label06_false-unreach-call.c timeout 0 wit inspect 900   5600 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0040 .32 - wit inspect - wit inspect
eca-rers2012/Problem04_label09_false-unreach-call.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5600 10000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0037 .33 - wit inspect - wit inspect
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6300 10000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label13_false-unreach-call.c timeout 0 wit inspect 900   5600 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6500 9800 error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label15_false-unreach-call.c timeout 0 wit inspect 900   6400 9500 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0037 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6500 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0043 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label18_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label19_false-unreach-call.c timeout 0 wit inspect 900   6600 10000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label26_false-unreach-call.c timeout 0 wit inspect 900   6400 10000 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0049 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0040 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label31_false-unreach-call.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label32_false-unreach-call.c timeout 0 wit inspect 900   6400 8900 error (invalid witness file) 0 wit inspect .53 46 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label35_false-unreach-call.c timeout 0 wit inspect 900   5600 9100 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0038 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5600 11000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0042 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label38_false-unreach-call.c timeout 0 wit inspect 900   6500 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label39_false-unreach-call.c timeout 0 wit inspect 900   6300 9200 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0040 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .034 5.0 error (invalid witness file) 0 wit inspect .82 48 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label45_false-unreach-call.c timeout 0 wit inspect 900   5500 9700 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0046 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label52_false-unreach-call.c timeout 0 wit inspect 900   6400 12000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label55_false-unreach-call.c timeout 0 wit inspect 900   5500 9800 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 900   5500 10000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 0 wit inspect 900   7300 10000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0038 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 0 wit inspect 900   7400 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .36 - wit inspect - wit inspect
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 0 wit inspect 900   7300 10000 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .049 4.8 error (invalid witness file) 0 wit inspect .90 47 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 0 wit inspect 900   7400 10000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0040 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 0 wit inspect 900   7400 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0015 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 0 wit inspect 900   7400 9800 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .036 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 0 wit inspect 900   7500 11000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 0 wit inspect 900   7400 9900 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 0 wit inspect 900   7300 10000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0040 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 0 wit inspect 900   7500 10000 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 0 wit inspect 900   7400 11000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0035 .33 - wit inspect - wit inspect
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 0 wit inspect 900   7300 9700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0037 .33 - wit inspect - wit inspect
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 0 wit inspect 910   7600 12000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .046 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 0 wit inspect 900   7600 9700 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 0 wit inspect 900   7300 10000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .94 51 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 0 wit inspect 910   7600 9600 error (invalid witness file) 0 wit inspect .49 41 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 0 wit inspect 900   7300 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 50 error (invalid witness file) 0 wit inspect .0019 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 0 wit inspect 900   7500 11000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 0 wit inspect 900   7400 10000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 0 wit inspect 900   7300 11000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 0 wit inspect 900   7300 9500 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0043 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 0 wit inspect 910   7400 10000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 0 wit inspect 900   7400 10000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .89 53 error (invalid witness file) 0 wit inspect .0040 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 0 wit inspect 900   7600 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .040 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .90 52 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0035 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .045 5.0 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 0 wit inspect 900   4700 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0022 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .043 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .050 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0041 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .050 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0048 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .048 4.8 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .045 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0037 .30 - wit inspect - wit inspect
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0037 .33 - wit inspect - wit inspect
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 0 wit inspect 900   4700 13000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0044 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 0 wit inspect 900   4700 14000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0026 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .81 51 error (invalid witness file) 0 wit inspect .0040 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 0 wit inspect 900   4700 11000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0039 .32 - wit inspect - wit inspect
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 0 wit inspect 900   4700 12000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0027 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 0 wit inspect 900   4700 15000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect - wit inspect
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 0 wit inspect 900   4700 11000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .043 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0052 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 0 wit inspect 900   6200 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 0 wit inspect 900   5700 12000 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 0 wit inspect 900   6100 13000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .89 52 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .029 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 0 wit inspect 900   5500 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0035 .32 - wit inspect - wit inspect
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
eca-rers2012/Problem07_label15_false-unreach-call.c timeout 0 wit inspect 900   5400 12000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .039 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0032 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 0 wit inspect 900   5900 11000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0041 .32 - wit inspect - wit inspect
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 0 wit inspect 900   5700 11000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 0 wit inspect 900   6000 11000 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0044 .27 - wit inspect - wit inspect
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 0 wit inspect 900   6100 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .056 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 0 wit inspect 900   5800 12000 error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0042 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 0 wit inspect 900   6000 12000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .049 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 0 wit inspect 900   6000 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label36_false-unreach-call.c timeout 0 wit inspect 900   6000 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 5.0 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 0 wit inspect 900   6100 14000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .036 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 0 wit inspect 900   5700 12000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .80 50 error (invalid witness file) 0 wit inspect .0046 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 0 wit inspect 900   5900 11000 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 0 wit inspect 900   5700 13000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0031 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 0 wit inspect 900   6200 12000 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0035 .31 - wit inspect - wit inspect
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 0 wit inspect 900   6100 10000 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0040 .31 - wit inspect - wit inspect
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 0 wit inspect 900   5700 12000 error (invalid witness file) 0 wit inspect .50 42 error (2) 0 wit inspect .052 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 0 wit inspect 900   6300 10000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0021 .34 - wit inspect - wit inspect
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .041 5.0 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0042 .28 - wit inspect - wit inspect
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0047 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0035 .34 - wit inspect - wit inspect
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 0 wit inspect 900   6300 13000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label24_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .040 5.0 error (invalid witness file) 0 wit