Tool CPAchecker 1.6.1-svn 26725 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-11-30 11:20:26 CET 2017-12-01 07:36:53 CET 2017-12-01 08:24:12 CET 2017-12-01 08:27:09 CET 2017-12-01 08:31:26 CET 2017-12-01 04:24:37 CET 2017-12-01 07:42:15 CET
Run set cpa-bam-bnb.sv-comp18.ReachSafety-ECA cpa-seq-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-ECA uautomizer-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-ECA cpa-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-ECA fshell-witness2test-validate-violation-witnesses-cpa-bam-bnb.sv-comp18-violation-witness.ReachSafety-ECA cpa-seq-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-ECA uautomizer-validate-correctness-witnesses-cpa-bam-bnb.sv-comp18-correctness-witness.ReachSafety-ECA
Options -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-11-30_1120.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/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-11-30_1120.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/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-bam-bnb.2017-11-30_1120.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/cpa-bam-bnb.2017-11-30_1120.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 27   920 210 false(unreach-call) 1 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 12    900 true -32 wit inspect .79   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 29   1200 250 false(unreach-call) 1 wit inspect 6.4  280 false(unreach-call) 1 wit inspect 13     530   unknown 0 wit inspect 21    1100 true -32 wit inspect .80   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 26   950 220 false(unreach-call) 1 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 14     540   unknown 0 wit inspect 22    1000 true -32 wit inspect .87   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 28   1200 220 false(unreach-call) 1 wit inspect 7.2  290 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 17    950 true -32 wit inspect .79   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 28   960 220 false(unreach-call) 1 wit inspect 6.2  270 false(unreach-call) 1 wit inspect 15     560   unknown 0 wit inspect 22    900 true -32 wit inspect .78   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 25   870 180 false(unreach-call) 1 wit inspect 7.7  280 false(unreach-call) 1 wit inspect 15     520   unknown 0 wit inspect 16    850 true -32 wit inspect .78   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 33   1100 260 false(unreach-call) 1 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 13     560   unknown 0 wit inspect 20    1100 true -32 wit inspect .81   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 28   910 240 false(unreach-call) 1 wit inspect 6.1  280 false(unreach-call) 1 wit inspect 15     560   unknown 0 wit inspect 17    1000 true -32 wit inspect .78   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 29   930 230 true -32 wit inspect 4.7  280 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 15    670 true -32 wit inspect .79   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 27   980 210 false(unreach-call) 1 wit inspect 6.4  280 false(unreach-call) 1 wit inspect 15     560   unknown 0 wit inspect 21    1100 true -32 wit inspect .78   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 26   860 200 false(unreach-call) 1 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 16    860 true -32 wit inspect .89   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 29   980 240 false(unreach-call) 1 wit inspect 6.2  290 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 14    940 true -32 wit inspect .81   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 30   1200 270 false(unreach-call) 1 wit inspect 6.3  280 false(unreach-call) 1 wit inspect 15     560   unknown 0 wit inspect 24    1100 true -32 wit inspect .81   21    - wit inspect - wit inspect
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 23   860 190 false(unreach-call) 1 wit inspect 5.9  290 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 16    500 true -32 wit inspect .77   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 19   830 150 true -32 wit inspect 4.1  270 false(unreach-call) 1 wit inspect 12     460   unknown 0 wit inspect 7.4  330 true -32 wit inspect .76   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 24   860 160 false(unreach-call) 1 wit inspect 4.9  270 false(unreach-call) 1 wit inspect 13     460   unknown 0 wit inspect 9.5  310 true -32 wit inspect .80   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 25   840 200 true -32 wit inspect 4.6  270 false(unreach-call) 1 wit inspect 13     500   unknown 0 wit inspect 11    520 true -32 wit inspect .80   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c timeout 0 wit inspect 900   4500 13000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 26   1000 200 false(unreach-call) 1 wit inspect 6.8  280 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 16    740 true -32 wit inspect .79   20    - wit inspect - wit inspect
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 28   1200 210 false(unreach-call) 1 wit inspect 6.4  290 false(unreach-call) 1 wit inspect 16     540   unknown 0 wit inspect 21    910 true -32 wit inspect .78   21    - wit inspect - wit inspect
eca-rers2012/Problem03_label09_false-unreach-call.c timeout 0 wit inspect 900   4600 14000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label13_false-unreach-call.c timeout 0 wit inspect 900   5500 11000 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 0 wit inspect 900   6700 10000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .028 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label27_false-unreach-call.c timeout 0 wit inspect 900   8000 9500 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label28_false-unreach-call.c timeout 0 wit inspect 900   6600 11000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .73 50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label31_false-unreach-call.c timeout 0 wit inspect 900   7700 10000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label35_false-unreach-call.c timeout 0 wit inspect 900   6100 9700 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .95 47 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label37_false-unreach-call.c timeout 0 wit inspect 900   6400 10000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label39_false-unreach-call.c false(unreach-call) 1 wit inspect 620   8600 5400 false(unreach-call) 1 wit inspect 12    380 false(unreach-call) 1 wit inspect 27     800   unknown 0 wit inspect 73    2800 true -32 wit inspect 1.2    25    - wit inspect - wit inspect
eca-rers2012/Problem03_label43_false-unreach-call.c timeout 0 wit inspect 900   6600 9300 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label45_false-unreach-call.c false(unreach-call) 1 wit inspect 350   6400 3300 false(unreach-call) 1 wit inspect 9.5  390 false(unreach-call) 1 wit inspect 27     840   timeout 0 wit inspect 92    3200 true -32 wit inspect 1.2    26    - wit inspect - wit inspect
eca-rers2012/Problem03_label50_false-unreach-call.c timeout 0 wit inspect 900   7800 8700 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  51 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   7200 9100 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label04_false-unreach-call.c timeout 0 wit inspect 900   11000 7200 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label06_false-unreach-call.c timeout 0 wit inspect 910   11000 6800 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .93 50 error (invalid witness file) 0 wit inspect .0010 .33 - wit inspect - wit inspect
eca-rers2012/Problem04_label09_false-unreach-call.c timeout 0 wit inspect 910   11000 7200 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 910   10000 6500 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900   10000 6300 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .030 4.8 error (invalid witness file) 0 wit inspect 1.0  52 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label13_false-unreach-call.c timeout 0 wit inspect 910   11000 6600 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 910   11000 6400 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label15_false-unreach-call.c timeout 0 wit inspect 910   10000 6600 error (invalid witness file) 0 wit inspect .78 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout 0 wit inspect 910   10000 7400 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .95 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label18_false-unreach-call.c timeout 0 wit inspect 910   9900 7700 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label19_false-unreach-call.c timeout 0 wit inspect 900   10000 6100 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0023 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label26_false-unreach-call.c timeout 0 wit inspect 910   11000 7000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900   9900 8300 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0019 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label31_false-unreach-call.c timeout 0 wit inspect 900   10000 7300 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label32_false-unreach-call.c timeout 0 wit inspect 900   11000 6200 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label35_false-unreach-call.c timeout 0 wit inspect 900   11000 7400 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .037 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout 0 wit inspect 900   11000 6800 error (invalid witness file) 0 wit inspect .70 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label38_false-unreach-call.c timeout 0 wit inspect 900   10000 6500 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label39_false-unreach-call.c timeout 0 wit inspect 910   11000 6700 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 910   11000 6500 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label45_false-unreach-call.c timeout 0 wit inspect 900   9800 6700 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .99 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label52_false-unreach-call.c timeout 0 wit inspect 910   11000 6300 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
eca-rers2012/Problem04_label55_false-unreach-call.c timeout 0 wit inspect 910   10000 7800 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 910   11000 7900 error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 0 wit inspect 910   11000 6500 error (invalid witness file) 0 wit inspect .71 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0018 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 0 wit inspect 900   11000 7500 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 0 wit inspect 910   11000 7300 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .95 51 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label13_false-unreach-call.c timeout 0 wit inspect 910   11000 6900 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label15_false-unreach-call.c timeout 0 wit inspect 910   11000 7200 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 0 wit inspect 900   11000 7800 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 0 wit inspect 910   11000 7100 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 0 wit inspect 910   11000 8000 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 0 wit inspect 910   11000 7100 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 0 wit inspect 910   11000 5900 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 0 wit inspect 900   11000 7900 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .95 50 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 0 wit inspect 910   11000 6600 error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0010 .32 - wit inspect - wit inspect
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 0 wit inspect 910   11000 5400 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 0 wit inspect 910   11000 7200 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .99 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 0 wit inspect 900   11000 6600 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 0 wit inspect 900   11000 7100 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 0 wit inspect 910   11000 6700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 0 wit inspect 910   11000 6400 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 0 wit inspect 910   11000 7000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 0 wit inspect 900   11000 7300 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 0 wit inspect 910   11000 6200 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label55_false-unreach-call.c timeout 0 wit inspect 900   11000 6600 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0032 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 0 wit inspect 910   11000 7300 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .95 47 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label58_false-unreach-call.c timeout 0 wit inspect 900   11000 6600 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 0 wit inspect 910   9100 8100 error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 0 wit inspect 900   8800 8300 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .95 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label02_false-unreach-call.c timeout 0 wit inspect 900   8600 7700 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 0 wit inspect 910   10000 9500 error (invalid witness file) 0 wit inspect .66 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 .0051 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 0 wit inspect 900   8600 8800 error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 0 wit inspect 910   9900 8100 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 0 wit inspect 900   8100 8700 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  48 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 0 wit inspect 900   10000 7600 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 0 wit inspect 900   9200 8300 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 0 wit inspect 900   9600 8400 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 0 wit inspect 900   8600 8100 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .91 51 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 0 wit inspect 900   9100 9200 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 0 wit inspect 910   9800 8300 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.2  51 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 0 wit inspect 900   8700 7800 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 0 wit inspect 910   9900 8000 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 0 wit inspect 900   9100 9000 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  52 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   9500 8700 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 0 wit inspect 900   8800 8800 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 0 wit inspect 900   9000 8500 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 0 wit inspect 900   9000 7900 error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 0 wit inspect 910   8900 8000 error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 0 wit inspect 910   9500 8400 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 0 wit inspect 900   9200 7700 error (invalid witness file) 0 wit inspect .71 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 0 wit inspect 900   8200 8200 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 0 wit inspect 900   8400 8100 error (invalid witness file) 0 wit inspect .58 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 .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 0 wit inspect 900   11000 5500 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 0 wit inspect 910   11000 5400 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 0 wit inspect 900   11000 6400 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0024 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 0 wit inspect 900   11000 5600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label09_false-unreach-call.c timeout 0 wit inspect 900   11000 5400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label11_false-unreach-call.c timeout 0 wit inspect 900   11000 5600 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label15_false-unreach-call.c out of java memory 0 wit inspect 900   12000 5900 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .022 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 0 wit inspect 900   11000 5700 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .99 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 0 wit inspect 910   11000 5900 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 0 wit inspect 910   11000 6600 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 0 wit inspect 910   11000 5200 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .91 47 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 0 wit inspect 900   11000 6400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 0 wit inspect 900   11000 6300 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 0 wit inspect 900   12000 6500 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
eca-rers2012/Problem07_label36_false-unreach-call.c out of java memory 0 wit inspect 650   11000 4900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 0 wit inspect 900   11000 5600 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 0 wit inspect 900   11000 6000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0014 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 0 wit inspect 910   11000 5700 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 0 wit inspect 900   11000 6500 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .95 51 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 0 wit inspect 910   11000 5700 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 0 wit inspect 900   11000 6300 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .98 52 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 0 wit inspect 900   11000 5800 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 0 wit inspect 910   11000 5600 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 0 wit inspect 900   11000 5800 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 0 wit inspect 900   11000 7100 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 0 wit inspect 910   11000 7300 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 0 wit inspect 900   11000 8600 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 0 wit inspect 900   11000 7700 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .89 51 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label06_false-unreach-call.c timeout 0 wit inspect 910   11000 6900 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
eca-rers2012/Problem08_label07_false-unreach-call.c timeout 0 wit inspect 910   11000 8000 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  52 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect - wit inspect
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 0 wit inspect 910   11000 7800 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 0 wit inspect 910   11000 6700 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label15_false-unreach-call.c out of java memory 0 wit inspect 840   11000 6800