Tool ULTIMATE Automizer 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 01:06:24 CET 2017-12-03 03:07:09 CET 2017-12-03 03:49:57 CET 2017-12-03 03:57:59 CET 2017-12-03 04:29:07 CET 2017-12-02 23:12:02 CET 2017-12-03 03:11:19 CET
Run set uautomizer.sv-comp18.ReachSafety-ECA cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-ECA uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-ECA cpa-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-ECA fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.ReachSafety-ECA cpa-seq-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-ECA uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.ReachSafety-ECA
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.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/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/uautomizer.2017-12-02_0106.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 36   940 280 true -32 wit inspect 9.6  340 false(unreach-call) 1 wit inspect 14     550   unknown 0 wit inspect 4.9  230 true -32 wit inspect .91   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 42   1200 380 true -32 wit inspect 9.6  330 false(unreach-call) 1 wit inspect 13     560   unknown 0 wit inspect 6.3  230 true -32 wit inspect 1.0    21    - wit inspect - wit inspect
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 39   1100 330 true -32 wit inspect 7.9  270 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 6.1  220 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 37   1100 320 true -32 wit inspect 8.9  270 false(unreach-call) 1 wit inspect 13     550   unknown 0 wit inspect 5.1  220 true -32 wit inspect .99   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 38   990 380 true -32 wit inspect 9.2  340 false(unreach-call) 1 wit inspect 9.4   550   unknown 0 wit inspect 6.7  230 true -32 wit inspect .92   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 33   880 250 true -32 wit inspect 8.2  280 false(unreach-call) 1 wit inspect 13     550   unknown 0 wit inspect 6.5  230 true -32 wit inspect 1.1    20    - wit inspect - wit inspect
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 35   1100 330 true -32 wit inspect 8.2  330 false(unreach-call) 1 wit inspect 15     560   unknown 0 wit inspect 6.5  230 true -32 wit inspect .89   21    - wit inspect - wit inspect
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 39   1100 310 true -32 wit inspect 10    330 false(unreach-call) 1 wit inspect 15     570   unknown 0 wit inspect 5.3  230 true -32 wit inspect 1.0    20    - wit inspect - wit inspect
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 39   1100 350 true -32 wit inspect 10    270 false(unreach-call) 1 wit inspect 13     540   unknown 0 wit inspect 5.7  230 true -32 wit inspect .84   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 38   1100 310 true -32 wit inspect 9.4  340 false(unreach-call) 1 wit inspect 9.1   570   unknown 0 wit inspect 5.4  220 true -32 wit inspect 1.0    21    - wit inspect - wit inspect
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 34   980 310 true -32 wit inspect 9.5  270 false(unreach-call) 1 wit inspect 14     560   unknown 0 wit inspect 6.0  230 true -32 wit inspect .93   20    - wit inspect - wit inspect
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 41   1100 390 true -32 wit inspect 9.3  330 false(unreach-call) 1 wit inspect 9.9   550   unknown 0 wit inspect 6.7  230 true -32 wit inspect 1.2    21    - wit inspect - wit inspect
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 36   990 300 true -32 wit inspect 8.8  330 false(unreach-call) 1 wit inspect 15     570   unknown 0 wit inspect 6.1  230 true -32 wit inspect 1.1    21    - wit inspect - wit inspect
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 27   920 210 true -32 wit inspect 8.1  280 false(unreach-call) 1 wit inspect 8.3   510   unknown 0 wit inspect 4.9  220 true -32 wit inspect 1.0    20    - wit inspect - wit inspect
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 20   760 160 true -32 wit inspect 8.9  290 false(unreach-call) 1 wit inspect 11     440   unknown 0 wit inspect 5.0  220 true -32 wit inspect 1.1    19    - wit inspect - wit inspect
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 24   760 200 true -32 wit inspect 8.9  300 false(unreach-call) 1 wit inspect 14     460   unknown 0 wit inspect 4.6  220 true -32 wit inspect .93   19    - wit inspect - wit inspect
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 22   720 170 true -32 wit inspect 7.5  290 false(unreach-call) 1 wit inspect 13     490   unknown 0 wit inspect 4.6  220 true -32 wit inspect 1.0    19    - wit inspect - wit inspect
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 38   970 280 true -32 wit inspect 8.3  280 false(unreach-call) 1 wit inspect 16     520   unknown 0 wit inspect 5.8  230 true -32 wit inspect 1.0    20    - wit inspect - wit inspect
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 33   910 270 true -32 wit inspect 9.3  300 false(unreach-call) 1 wit inspect 13     550   unknown 0 wit inspect 5.3  230 true -32 wit inspect 1.0    20    - wit inspect - wit inspect
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c false(unreach-call) 1 wit inspect 33   870 260 true -32 wit inspect 5.0  280 false(unreach-call) 1 wit inspect 13     550   unknown 0 wit inspect 6.0  220 true -32 wit inspect .80   20    - wit inspect - wit inspect
eca-rers2012/Problem03_label09_false-unreach-call.c timeout 0 wit inspect 900   13000 6400 error (invalid witness file) 0 wit inspect .66 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .96 50 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem03_label13_false-unreach-call.c false(unreach-call) 1 wit inspect 320   8200 2500 true -32 wit inspect 14    420 false(unreach-call) 1 wit inspect 14     730   unknown 0 wit inspect 9.3  320 true -32 wit inspect 1.5    23    - wit inspect - wit inspect
eca-rers2012/Problem03_label26_false-unreach-call.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label27_false-unreach-call.c timeout 0 wit inspect 900   13000 4700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label28_false-unreach-call.c timeout 0 wit inspect 900   13000 5900 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 47 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
eca-rers2012/Problem03_label31_false-unreach-call.c false(unreach-call) 1 wit inspect 99   4900 830 true -32 wit inspect 13    440 false(unreach-call) 1 wit inspect 21     740   unknown 0 wit inspect 7.5  270 true -32 wit inspect 1.6    23    - wit inspect - wit inspect
eca-rers2012/Problem03_label35_false-unreach-call.c false(unreach-call) 1 wit inspect 170   5400 1700 true -32 wit inspect 13    440 false(unreach-call) 1 wit inspect 16     820   unknown 0 wit inspect 6.4  320 true -32 wit inspect 1.6    24    - wit inspect - wit inspect
eca-rers2012/Problem03_label37_false-unreach-call.c false(unreach-call) 1 wit inspect 400   9700 2800 true -32 wit inspect 12    410 false(unreach-call) 1 wit inspect 18     560   unknown 0 wit inspect 6.6  280 true -32 wit inspect 1.5    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label39_false-unreach-call.c timeout 0 wit inspect 910   14000 5300 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
eca-rers2012/Problem03_label43_false-unreach-call.c false(unreach-call) 1 wit inspect 200   6200 1700 true -32 wit inspect 14    450 false(unreach-call) 1 wit inspect 17     550   unknown 0 wit inspect 8.5  240 true -32 wit inspect 1.4    22    - wit inspect - wit inspect
eca-rers2012/Problem03_label45_false-unreach-call.c timeout 0 wit inspect 900   12000 6300 error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem03_label50_false-unreach-call.c false(unreach-call) 1 wit inspect 300   8300 2200 true -32 wit inspect 13    420 false(unreach-call) 1 wit inspect 23     730   unknown 0 wit inspect 7.2  270 true -32 wit inspect 1.2    23    - wit inspect - wit inspect
eca-rers2012/Problem03_label52_false-unreach-call.c false(unreach-call) 1 wit inspect 450   11000 4200 true -32 wit inspect 16    420 false(unreach-call) 1 wit inspect 24     830   unknown 0 wit inspect 9.6  320 true -32 wit inspect 1.5    23    - wit inspect - wit inspect
eca-rers2012/Problem04_label04_false-unreach-call.c timeout 0 wit inspect 900   8200 10000 error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label06_false-unreach-call.c timeout 0 wit inspect 900   8300 9300 error (invalid witness file) 0 wit inspect .72 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 48 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label09_false-unreach-call.c timeout 0 wit inspect 900   7100 11000 error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 900   10000 9100 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0016 .32 - wit inspect - wit inspect
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900   6600 11000 error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .95 48 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label13_false-unreach-call.c timeout 0 wit inspect 900   7700 9700 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .82 47 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   7200 12000 error (invalid witness file) 0 wit inspect .76 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label15_false-unreach-call.c timeout 0 wit inspect 900   6700 12000 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout 0 wit inspect 900   7000 10000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
eca-rers2012/Problem04_label18_false-unreach-call.c timeout 0 wit inspect 900   7000 11000 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label19_false-unreach-call.c timeout 0 wit inspect 900   7300 11000 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label26_false-unreach-call.c timeout 0 wit inspect 900   7400 13000 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900   7200 11000 error (invalid witness file) 0 wit inspect .75 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label31_false-unreach-call.c timeout 0 wit inspect 900   7300 11000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .046 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label32_false-unreach-call.c timeout 0 wit inspect 900   7100 9900 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect 1.0  49 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label35_false-unreach-call.c timeout 0 wit inspect 900   7400 11000 error (invalid witness file) 0 wit inspect .53 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 .0012 .30 - wit inspect - wit inspect
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout 0 wit inspect 900   7100 12000 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label38_false-unreach-call.c timeout 0 wit inspect 900   7900 10000 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .021 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/Problem04_label39_false-unreach-call.c timeout 0 wit inspect 900   7800 11000 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 900   8700 9700 error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
eca-rers2012/Problem04_label45_false-unreach-call.c timeout 0 wit inspect 900   7100 12000 error (invalid witness file) 0 wit inspect .89 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem04_label52_false-unreach-call.c timeout 0 wit inspect 900   6800 11000 error (invalid witness file) 0 wit inspect .63 46 error (2) 0 wit inspect .022 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/Problem04_label55_false-unreach-call.c timeout 0 wit inspect 900   6600 11000 error (invalid witness file) 0 wit inspect .65 46 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 900   7600 11000 error (invalid witness file) 0 wit inspect .64 46 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .96 49 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
eca-rers2012/Problem05_label00_false-unreach-call.c timeout 0 wit inspect 900   11000 7900 error (invalid witness file) 0 wit inspect .63 46 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label01_false-unreach-call.c timeout 0 wit inspect 900   12000 8600 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label11_false-unreach-call.c timeout 0 wit inspect 910   13000 6200 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .88 49 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 900   13000 6400 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .89 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 900   11000 8500 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .91 49 error (invalid witness file) 0 wit inspect .0021 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label18_false-unreach-call.c timeout 0 wit inspect 900   13000 6400 error (invalid witness file) 0 wit inspect .62 42 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 .0012 .32 - wit inspect - wit inspect
eca-rers2012/Problem05_label24_false-unreach-call.c timeout 0 wit inspect 900   11000 7300 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0014 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label26_false-unreach-call.c timeout 0 wit inspect 900   11000 8000 error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
eca-rers2012/Problem05_label30_false-unreach-call.c timeout 0 wit inspect 910   13000 6000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0010 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label32_false-unreach-call.c timeout 0 wit inspect 910   10000 7600 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0014 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label33_false-unreach-call.c timeout 0 wit inspect 900   12000 6700 error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label36_false-unreach-call.c timeout 0 wit inspect 900   14000 6200 error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .97 49 error (invalid witness file) 0 wit inspect .0020 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label37_false-unreach-call.c timeout 0 wit inspect 910   13000 6700 error (invalid witness file) 0 wit inspect .47 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
eca-rers2012/Problem05_label38_false-unreach-call.c timeout 0 wit inspect 900   9700 8800 error (invalid witness file) 0 wit inspect .65 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 .0018 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label39_false-unreach-call.c timeout 0 wit inspect 910   13000 7300 error (invalid witness file) 0 wit inspect .53 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 .0011 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label40_false-unreach-call.c timeout 0 wit inspect 900   11000 7000 error (invalid witness file) 0 wit inspect .72 44 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label41_false-unreach-call.c timeout 0 wit inspect 900   13000 6200 error (invalid witness file) 0 wit inspect .62 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label44_false-unreach-call.c timeout 0 wit inspect 910   13000 6500 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .79 49 error (invalid witness file) 0 wit inspect .0011 .35 - wit inspect - wit inspect
eca-rers2012/Problem05_label47_false-unreach-call.c timeout 0 wit inspect 910   9300 9100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem05_label48_false-unreach-call.c timeout 0 wit inspect 900   12000 8800 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .033 4.9 error (invalid witness file) 0 wit inspect .91 50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label51_false-unreach-call.c timeout 0 wit inspect 900   10000 8800 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 48 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   8400 9900 error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem05_label57_false-unreach-call.c timeout 0 wit inspect 900   9000 8700 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8 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/Problem05_label58_false-unreach-call.c timeout 0 wit inspect 900   9000 9700 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 48 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label00_false-unreach-call.c timeout 0 wit inspect 910   13000 3900 error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
eca-rers2012/Problem06_label01_false-unreach-call.c timeout 0 wit inspect 910   13000 4800 error (invalid witness file) 0 wit inspect .71 46 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .92 49 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   14000 5800 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label04_false-unreach-call.c timeout 0 wit inspect 910   14000 5300 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label05_false-unreach-call.c timeout 0 wit inspect 910   14000 4900 error (invalid witness file) 0 wit inspect .59 43 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 .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label09_false-unreach-call.c timeout 0 wit inspect 900   14000 5400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label10_false-unreach-call.c timeout 0 wit inspect 910   13000 5200 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label11_false-unreach-call.c timeout 0 wit inspect 900   14000 5500 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label12_false-unreach-call.c timeout 0 wit inspect 910   13000 5600 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label15_false-unreach-call.c timeout 0 wit inspect 910   13000 4500 error (invalid witness file) 0 wit inspect .57 42 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 .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label20_false-unreach-call.c timeout 0 wit inspect 910   14000 4400 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect 1.2  52 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label21_false-unreach-call.c timeout 0 wit inspect 910   13000 6300 error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
eca-rers2012/Problem06_label24_false-unreach-call.c timeout 0 wit inspect 900   14000 4800 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label27_false-unreach-call.c timeout 0 wit inspect 910   14000 4800 error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label29_false-unreach-call.c timeout 0 wit inspect 910   13000 5400 error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect 1.0  48 error (invalid witness file) 0 wit inspect .0015 .27 - wit inspect - wit inspect
eca-rers2012/Problem06_label33_false-unreach-call.c timeout 0 wit inspect 910   13000 5900 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label36_false-unreach-call.c timeout 0 wit inspect 900   13000 4900 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
eca-rers2012/Problem06_label37_false-unreach-call.c timeout 0 wit inspect 910   13000 5100 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .75 49 error (invalid witness file) 0 wit inspect .0016 .34 - wit inspect - wit inspect
eca-rers2012/Problem06_label38_false-unreach-call.c timeout 0 wit inspect 910   13000 5300 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.0  47 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
eca-rers2012/Problem06_label44_false-unreach-call.c timeout 0 wit inspect 910   13000 5400 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label47_false-unreach-call.c timeout 0 wit inspect 900   14000 5200 error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
eca-rers2012/Problem06_label48_false-unreach-call.c timeout 0 wit inspect 910   13000 8300 error (invalid witness file) 0 wit inspect .70 41 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 .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem06_label56_false-unreach-call.c timeout 0 wit inspect 910   13000 5600 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label58_false-unreach-call.c timeout 0 wit inspect 910   13000 5100 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect 1.2  49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem06_label59_false-unreach-call.c timeout 0 wit inspect 910   12000 6500 error (invalid witness file) 0 wit inspect .73 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label03_false-unreach-call.c timeout 0 wit inspect 900   7200 12000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .94 50 error (invalid witness file) 0 wit inspect .0015 .31 - wit inspect - wit inspect
eca-rers2012/Problem07_label05_false-unreach-call.c timeout 0 wit inspect 900   5700 10000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0023 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label06_false-unreach-call.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect 1.1  51 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label07_false-unreach-call.c timeout 0 wit inspect 910   7300 12000 error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .025 4.8 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label09_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 .023 4.8 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_label11_false-unreach-call.c timeout 0 wit inspect 910   5800 12000 error (invalid witness file) 0 wit inspect .56 46 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label15_false-unreach-call.c timeout 0 wit inspect 900   5600 14000 error (invalid witness file) 0 wit inspect .62 45 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 47 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label18_false-unreach-call.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect 1.0  50 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label19_false-unreach-call.c timeout 0 wit inspect 900   5500 12000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .80 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label20_false-unreach-call.c timeout 0 wit inspect 900   7400 11000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label23_false-unreach-call.c timeout 0 wit inspect 900   6500 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .94 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label30_false-unreach-call.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect 1.1  50 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label31_false-unreach-call.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect 1.1  47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label35_false-unreach-call.c timeout 0 wit inspect 900   5900 11000 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.8 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/Problem07_label36_false-unreach-call.c timeout 0 wit inspect 910   5600 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 .87 51 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
eca-rers2012/Problem07_label37_false-unreach-call.c timeout 0 wit inspect 910   9200 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 1.1  49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label39_false-unreach-call.c timeout 0 wit inspect 900   7200 12000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .96 48 error (invalid witness file) 0 wit inspect .0017 .27 - wit inspect - wit inspect
eca-rers2012/Problem07_label40_false-unreach-call.c timeout 0 wit inspect 900   6100 13000 error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label42_false-unreach-call.c timeout 0 wit inspect 900   6100 12000 error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .95 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label44_false-unreach-call.c timeout 0 wit inspect 900   6000 11000 error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0016 .28 - wit inspect - wit inspect
eca-rers2012/Problem07_label46_false-unreach-call.c timeout 0 wit inspect 900   5600 11000 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .92 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label47_false-unreach-call.c timeout 0 wit inspect 900   5900 12000 error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .92 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
eca-rers2012/Problem07_label48_false-unreach-call.c timeout 0 wit inspect 910   7600 12000 error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .92 50 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
eca-rers2012/Problem07_label58_false-unreach-call.c timeout 0 wit inspect 900   5900 13000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect 1.1  49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label01_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .71 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
eca-rers2012/Problem08_label02_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label04_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label05_false-unreach-call.c timeout 0 wit inspect 900   6300 13000 error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0017 .26 - 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 .52 41 error (2) 0 wit inspect .019 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/Problem08_label07_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
eca-rers2012/Problem08_label10_false-unreach-call.c timeout 0 wit inspect 900   6300 12000 error (invalid witness file) 0 wit inspect .70 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 .0018 .29 - wit inspect - wit inspect
eca-rers2012/Problem08_label13_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .98 49 error (invalid witness file) 0 wit inspect .0018 .28 - wit inspect - wit inspect
eca-rers2012/Problem08_label15_false-unreach-call.c timeout 0 wit inspect 900   6300 11000 error (invalid witness file) 0 wit