Tool symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 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* [apollon005; apollon043; apollon077; apollon078; apollon087; apollon118] [apollon061; apollon077; apollon078; apollon086; apollon134] [apollon038; apollon077; apollon078; apollon083] [apollon077; apollon078; apollon161] 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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-01 22:41:19 CET 2017-12-02 21:10:50 CET 2017-12-02 22:39:24 CET 2017-12-02 22:51:52 CET 2017-12-02 23:01:21 CET 2017-12-02 19:44:15 CET 2017-12-02 21:36:25 CET
Run set symbiotic.sv-comp18.ReachSafety-ECA cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-ECA uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-ECA cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-ECA fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.ReachSafety-ECA cpa-seq-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-ECA uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.ReachSafety-ECA
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.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/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.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/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-01_2241.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/symbiotic.2017-12-01_2241.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 false(unreach-call) 1 wit inspect 5.6  220 58   false(unreach-call) 1 wit inspect 13    400 true -32 wit inspect 6.5   330   unknown 0 wit inspect 2.9  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 34    970 280   false(unreach-call) 1 wit inspect 18    680 true -32 wit inspect 7.3   330   unknown 0 wit inspect 4.3  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 10    380 120   false(unreach-call) 1 wit inspect 15    490 true -32 wit inspect 6.8   330   unknown 0 wit inspect 3.0  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 20    620 180   false(unreach-call) 1 wit inspect 21    660 true -32 wit inspect 6.5   330   unknown 0 wit inspect 4.3  220 true -32 wit inspect .76   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 6.7  260 74   false(unreach-call) 1 wit inspect 16    550 true -32 wit inspect 6.8   330   unknown 0 wit inspect 3.0  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 2.5  110 32   false(unreach-call) 1 wit inspect 15    530 true -32 wit inspect 9.5   330   unknown 0 wit inspect 3.2  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 33    990 350   false(unreach-call) 1 wit inspect 18    530 true -32 wit inspect 10     320   unknown 0 wit inspect 3.2  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 12    430 170   false(unreach-call) 1 wit inspect 14    510 true -32 wit inspect 9.8   320   unknown 0 wit inspect 2.9  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect .68 27 8.1 false(unreach-call) 1 wit inspect 13    430 true -32 wit inspect 9.9   330   unknown 0 wit inspect 3.0  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 31    980 330   false(unreach-call) 1 wit inspect 24    670 true -32 wit inspect 9.5   320   unknown 0 wit inspect 3.2  230 true -32 wit inspect .78   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 3.3  130 38   false(unreach-call) 1 wit inspect 12    490 true -32 wit inspect 9.4   330   unknown 0 wit inspect 4.2  220 true -32 wit inspect .76   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 16    520 200   false(unreach-call) 1 wit inspect 9.9  540 true -32 wit inspect 6.9   330   unknown 0 wit inspect 2.9  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 32    960 350   false(unreach-call) 1 wit inspect 18    550 true -32 wit inspect 10     330   unknown 0 wit inspect 4.1  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 1.5  45 15   false(unreach-call) 1 wit inspect 8.6  380 true -32 wit inspect 6.2   330   unknown 0 wit inspect 3.2  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect .55 17 6.0 false(unreach-call) 1 wit inspect 7.7  380 true -32 wit inspect 9.4   330   unknown 0 wit inspect 2.9  220 true -32 wit inspect .77   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect .60 17 7.5 false(unreach-call) 1 wit inspect 4.7  380 true -32 wit inspect 6.9   330   unknown 0 wit inspect 4.5  220 true -32 wit inspect .74   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect .55 17 6.6 false(unreach-call) 1 wit inspect 8.1  380 true -32 wit inspect 9.9   330   unknown 0 wit inspect 2.9  220 true -32 wit inspect .74   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 1.9  58 22   false(unreach-call) 1 wit inspect 8.2  410 true -32 wit inspect 9.8   320   unknown 0 wit inspect 3.2  220 true -32 wit inspect .78   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect .72 21 8.0 false(unreach-call) 1 wit inspect 9.8  410 true -32 wit inspect 7.1   320   unknown 0 wit inspect 4.1  220 true -32 wit inspect .75   18    - wit inspect - wit inspect
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 2.2  68 29   false(unreach-call) 1 wit inspect 8.2  410 true -32 wit inspect 6.5   330   unknown 0 wit inspect 4.6  220 true -32 wit inspect .74   18    - wit inspect - wit inspect
eca-rers2012/Problem03_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 150    3000 1200   false(unreach-call) 1 wit inspect 29    740 true -32 wit inspect 8.5   450   unknown 0 wit inspect 4.2  260 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 28    1300 360   false(unreach-call) 1 wit inspect 26    650 true -32 wit inspect 12     450   unknown 0 wit inspect 6.9  260 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label26_false-unreach-call.c false(unreach-call) 1 wit inspect 5.6  260 64   false(unreach-call) 1 wit inspect 16    520 true -32 wit inspect 11     460   unknown 0 wit inspect 6.4  260 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem03_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 32    1400 350   false(unreach-call) 1 wit inspect 14    610 true -32 wit inspect 8.4   450   unknown 0 wit inspect 4.0  250 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem03_label28_false-unreach-call.c false(unreach-call) 1 wit inspect 33    1400 330   false(unreach-call) 1 wit inspect 24    640 true -32 wit inspect 13     450   unknown 0 wit inspect 4.2  270 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 110    2600 840   false(unreach-call) 1 wit inspect 26    760 true -32 wit inspect 9.4   450   unknown 0 wit inspect 4.0  250 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem03_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 38    1600 400   false(unreach-call) 1 wit inspect 30    940 true -32 wit inspect 13     470   unknown 0 wit inspect 6.5  260 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 2.5  120 35   false(unreach-call) 1 wit inspect 32    760 true -32 wit inspect 8.1   450   unknown 0 wit inspect 4.5  270 true -32 wit inspect 1.2    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 210    3200 1700   false(unreach-call) 1 wit inspect 26    760 true -32 wit inspect 11     460   unknown 0 wit inspect 4.3  270 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 4.5  200 56   false(unreach-call) 1 wit inspect 32    700 true -32 wit inspect 8.1   450   unknown 0 wit inspect 4.6  270 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label45_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6300 5200   error (invalid witness file) 0 wit inspect .59 46 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .70 51 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 34    1400 330   false(unreach-call) 1 wit inspect 25    670 true -32 wit inspect 13     460   unknown 0 wit inspect 4.3  270 true -32 wit inspect 1.1    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 36    1500 310   false(unreach-call) 1 wit inspect 17    880 true -32 wit inspect 8.8   450   unknown 0 wit inspect 4.1  270 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem04_label04_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7200 4600   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label06_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7500 5400   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label09_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 7300   error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .047 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8600 5100   error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8500 4600   error (invalid witness file) 0 wit inspect .45 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0031 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label13_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7700 6600   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    7900 6100   error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label15_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 5500   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0026 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8300 5100   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label18_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7500 5300   error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label19_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6800 4800   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0020 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label26_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7000 4700   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0020 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8600 4700   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .046 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label31_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 4300   error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label32_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 4300   error (invalid witness file) 0 wit inspect .78 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 .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label35_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 6000   error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .64 50 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8200 6100   error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label38_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6900 5500   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label39_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 5700   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8000 5100   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label45_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 4600   error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label52_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 6600   error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0031 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label55_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7000 6700   error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0030 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout (timeout) 0 wit inspect 900    8000 4700   error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label00_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7200 5600   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label01_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 4900   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .91 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label11_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7200 4100   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label13_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 7400   error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0026 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label15_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6600 5000   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .66 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label18_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6900 4600   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label24_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 6200   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .039 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label26_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 4900   error (invalid witness file) 0 wit inspect .40 40 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label30_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 5400   error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label32_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6800 5800   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label33_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6800 5900   error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0021 .27 - wit inspect - wit inspect
eca-rers2012/Problem05_label36_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7200 5300   error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label37_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 4800   error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0026 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label38_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 5200   error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label39_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7200 5100   error (invalid witness file) 0 wit inspect .73 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0028 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label40_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 4700   error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label41_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7300 6400   error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label44_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6700 5800   error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label47_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7100 6000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
eca-rers2012/Problem05_label48_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 6400   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label51_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6900 5000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label55_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7500 6400   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label57_false-unreach-call.c timeout (timeout) 0 wit inspect 900    7400 4200   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0030 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label58_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6800 4700   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0035 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label00_false-unreach-call.c false(unreach-call) 1 wit inspect 830    6300 5000   false(unreach-call) 1 wit inspect 67    2000 true -32 wit inspect 16     730   unknown 0 wit inspect 13    610 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label01_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6200 4600   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label02_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6600 5300   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label04_false-unreach-call.c false(unreach-call) 0 wit inspect 160    3300 1200   timeout 0 wit inspect 93    2100 true -32 wit inspect 23     770   unknown 0 wit inspect 10    690 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label05_false-unreach-call.c false(unreach-call) 0 wit inspect 380    4200 3000   timeout (false(unreach-call)) 0 wit inspect 92    2200 true -32 wit inspect 20     800   unknown 0 wit inspect 8.5  620 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label09_false-unreach-call.c false(unreach-call) 1 wit inspect 770    6000 4900   false(unreach-call) 1 wit inspect 69    1900 true -32 wit inspect 17     780   unknown 0 wit inspect 13    600 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label10_false-unreach-call.c false(unreach-call) 1 wit inspect 360    3800 2300   false(unreach-call) 1 wit inspect 76    2100 true -32 wit inspect 17     740   unknown 0 wit inspect 13    610 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label11_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6400 5200   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label12_false-unreach-call.c false(unreach-call) 1 wit inspect 340    4000 2200   false(unreach-call) 1 wit inspect 80    2100 true -32 wit inspect 15     780   unknown 0 wit inspect 14    620 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label15_false-unreach-call.c false(unreach-call) 0 wit inspect 270    3500 1800   timeout 0 wit inspect 92    2000 true -32 wit inspect 21     770   unknown 0 wit inspect 8.6  620 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label20_false-unreach-call.c false(unreach-call) 0 wit inspect 69    3300 530   timeout 0 wit inspect 92    2200 true -32 wit inspect 23     720   unknown 0 wit inspect 15    660 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label21_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6900 5800   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label24_false-unreach-call.c false(unreach-call) 1 wit inspect 660    5200 6100   false(unreach-call) 1 wit inspect 87    2200 true -32 wit inspect 16     760   unknown 0 wit inspect 13    580 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label27_false-unreach-call.c false(unreach-call) 1 wit inspect 360    4100 2700   false(unreach-call) 1 wit inspect 69    1900 true -32 wit inspect 23     730   unknown 0 wit inspect 14    640 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label29_false-unreach-call.c false(unreach-call) 0 wit inspect 640    5600 4900   timeout 0 wit inspect 97    2200 true -32 wit inspect 16     750   unknown 0 wit inspect 14    650 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label33_false-unreach-call.c false(unreach-call) 1 wit inspect 230    3300 1600   false(unreach-call) 1 wit inspect 84    2100 true -32 wit inspect 16     800   unknown 0 wit inspect 8.6  610 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label36_false-unreach-call.c false(unreach-call) 0 wit inspect 620    5200 3500   timeout 0 wit inspect 92    2200 true -32 wit inspect 17     700   unknown 0 wit inspect 8.4  590 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 770    6100 4300   false(unreach-call) 1 wit inspect 76    2200 true -32 wit inspect 24     750   unknown 0 wit inspect 8.3  590 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label38_false-unreach-call.c false(unreach-call) 0 wit inspect 530    5000 4600   timeout 0 wit inspect 95    2300 true -32 wit inspect 18     730   unknown 0 wit inspect 13    600 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label44_false-unreach-call.c false(unreach-call) 0 wit inspect 450    4400 3100   timeout 0 wit inspect 92    2300 true -32 wit inspect 24     710   unknown 0 wit inspect 8.4  600 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label47_false-unreach-call.c false(unreach-call) 1 wit inspect 600    5300 4700   false(unreach-call) 1 wit inspect 73    2000 true -32 wit inspect 16     790   unknown 0 wit inspect 9.6  660 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label48_false-unreach-call.c timeout (timeout) 0 wit inspect 900    6800 6100   error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label56_false-unreach-call.c false(unreach-call) 1 wit inspect 540    5100 3300   false(unreach-call) 1 wit inspect 62    2200 true -32 wit inspect 16     790   unknown 0 wit inspect 14    630 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label58_false-unreach-call.c false(unreach-call) 1 wit inspect 380    4200 2500   false(unreach-call) 1 wit inspect 78    2200 true -32 wit inspect 26     740   unknown 0 wit inspect 8.8  620 true -32 wit inspect 3.6    59    - wit inspect - wit inspect
eca-rers2012/Problem06_label59_false-unreach-call.c false(unreach-call) 0 wit inspect 71    3300 670   timeout (false(unreach-call)) 0 wit inspect 92    2200 true -32 wit inspect 18     760   unknown 0 wit inspect 9.5  620 true -32 wit inspect 3.5    59    - wit inspect - wit inspect
eca-rers2012/Problem07_label03_false-unreach-call.c out of memory 0 wit inspect 87    15000 950   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label05_false-unreach-call.c out of memory 0 wit inspect 88    15000 1100   error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label06_false-unreach-call.c out of memory 0 wit inspect 88    15000 950   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .63 49 error (invalid witness file) 0 wit inspect .0028 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label07_false-unreach-call.c out of memory 0 wit inspect 87    15000 910   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0028 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label09_false-unreach-call.c out of memory 0 wit inspect 87    15000 990   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label11_false-unreach-call.c out of memory 0 wit inspect 87    15000 980   error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .051 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0029 .35 - wit inspect - wit inspect
eca-rers2012/Problem07_label15_false-unreach-call.c out of memory 0 wit inspect 87    15000 1100   error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
eca-rers2012/Problem07_label18_false-unreach-call.c out of memory 0 wit inspect 87    15000 980   error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label19_false-unreach-call.c out of memory 0 wit inspect 88    15000 990   error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label20_false-unreach-call.c out of memory 0 wit inspect 87    15000 980   error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label23_false-unreach-call.c out of memory 0 wit inspect 88    15000 1100   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label30_false-unreach-call.c out of memory 0 wit inspect 88    15000 1000   error (invalid witness file) 0 wit inspect .44 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label31_false-unreach-call.c out of memory 0 wit inspect 88    15000 1000   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label35_false-unreach-call.c out of memory 0 wit inspect 87    15000 1200   error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .044 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label36_false-unreach-call.c out of memory 0 wit inspect 87    15000 1000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label37_false-unreach-call.c out of memory 0 wit inspect 87    15000 860   error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 52 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label39_false-unreach-call.c out of memory 0 wit inspect 87    15000 1100   error (invalid witness file) 0 wit inspect .75 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .33 - wit inspect - wit inspect
eca-rers2012/Problem07_label40_false-unreach-call.c out of memory 0 wit inspect 88    15000 1100   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .027 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0035 .25 - wit inspect - wit inspect
eca-rers2012/Problem07_label42_false-unreach-call.c out of memory 0 wit inspect 88    15000 1100   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label44_false-unreach-call.c out of memory 0 wit inspect 88    15000 980   error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label46_false-unreach-call.c out of memory 0 wit inspect 88    15000 980   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label47_false-unreach-call.c out of memory 0 wit inspect 87    15000 960   error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0030 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label48_false-unreach-call.c out of memory 0 wit inspect 88    15000 1100   error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .88 51 error (invalid witness file) 0 wit inspect .0041 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label58_false-unreach-call.c out of memory 0 wit inspect 88    15000 950   error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .90 50 error (invalid witness file) 0 wit inspect .0024 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label01_false-unreach-call.c out of memory 0 wit inspect 95    15000 1100   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label02_false-unreach-call.c out of memory 0 wit inspect 94    15000 1000   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label04_false-unreach-call.c out of memory 0 wit inspect 95    15000 1200   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label05_false-unreach-call.c out of memory 0 wit inspect 95    15000 990   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label06_false-unreach-call.c out of memory 0 wit inspect 94    15000 1300   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .32 - wit inspect - wit inspect
eca-rers2012/Problem08_label07_false-unreach-call.c out of memory 0 wit inspect 95    15000 1000   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0035 .28 - wit inspect - wit inspect
eca-rers2012/Problem08_label10_false-unreach-call.c out of memory 0 wit inspect 95    15000 1100   error (invalid witness file) 0 wit inspect .61 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 .0021 .26 - wit inspect - wit