Tool CBMC 5.8 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
Host apollon* [apollon029; apollon035; apollon037; apollon075; apollon077; apollon078] [apollon029; apollon077; apollon078]
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-01 13:00:07 CET 2017-12-01 19:39:59 CET 2017-12-01 19:43:03 CET
Run set cbmc.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-cbmc.sv-comp18-violation-witness.Termination-Other
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cbmc.2017-12-01_1300.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/cbmc.2017-12-01_1300.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
array-examples/data_structures_set_multi_proc_trivial_true-unreach-call_ground_true-termination.i error (42) 0 wit inspect 870    1500 6200   - wit inspect - wit inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i error (42) 0 wit inspect 870    6000 5000   - wit inspect - wit inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i error (42) 0 wit inspect 870    6500 4500   - wit inspect - wit inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i error (42) 0 wit inspect 870    6100 3200   - wit inspect - wit inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i out of memory 0 wit inspect 90    15000 1200   - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i out of memory 0 wit inspect 85    15000 1100   - wit inspect - wit inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i out of memory 0 wit inspect 91    15000 1100   - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i out of memory 0 wit inspect 71    15000 910   - wit inspect - wit inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i error (42) 0 wit inspect 870    14000 4300   - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i out of memory 0 wit inspect 71    15000 950   - wit inspect - wit inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i error (42) 0 wit inspect 870    910 4200   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .017 4.8
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i error (42) 0 wit inspect 870    1300 4400   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .022 4.9
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i error (42) 0 wit inspect 870    1600 4600   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .049 4.8
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i error (42) 0 wit inspect 870    1600 4000   error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 4.9
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i error (42) 0 wit inspect 870    1700 5100   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .82 34 8.2 - wit inspect - wit inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .83 34 8.4 - wit inspect - wit inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .86 34 8.6 - wit inspect - wit inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .75 33 8.3 - wit inspect - wit inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c error (42) 0 wit inspect 870    650 5000   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .036 4.9
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c error (42) 0 wit inspect 870    630 4000   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .017 4.8
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 4.9  45 53   - wit inspect - wit inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 4.1  44 47   - wit inspect - wit inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 4.1  44 48   - wit inspect - wit inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 4.8  43 52   - wit inspect - wit inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect 4.0  45 42   - wit inspect - wit inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c true 2 wit inspect .41 33 3.3 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c true 2 wit inspect .40 33 4.2 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c true 2 wit inspect .40 33 4.6 - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c true 2 wit inspect .40 33 3.5 - wit inspect - wit inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c true 2 wit inspect .42 33 3.6 - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c out of memory 0 wit inspect 620    15000 5000   - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c true 2 wit inspect .41 33 4.1 - wit inspect - wit inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 wit inspect .41 33 4.4 - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c true 2 wit inspect .43 33 3.2 - wit inspect - wit inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 wit inspect .42 33 3.7 - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i true 2 wit inspect 1.2  33 14   - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 1.8  42 20   - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 1.7  42 18   - wit inspect - wit inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c error (42) 0 wit inspect 870    5200 4200   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .76 36 8.0 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .73 36 7.0 - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 1.1  38 12   - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect 1.1  39 12   - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .51 35 5.1 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .63 36 6.8 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .64 36 5.8 - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1200 4400   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .049 5.0
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1000 4700   error (invalid witness file) 0 wit inspect .45 41 error (2) 0 wit inspect .020 4.8
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    870 3900   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .045 4.8
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1000 4900   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .031 4.8
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    970 4000   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .021 4.9
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4300   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4400   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 5.0
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    980 5500   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .026 4.9
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    420 8800   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4500   error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.8
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4500   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 4600   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1100 5100   error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .036 4.9
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1000 5200   error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .019 4.9
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    950 3700   error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .020 5.0
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1000 5000   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c error (42) 0 wit inspect 870    1000 4700   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c true 2 wit inspect 19    160 210   - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 2 wit inspect 19    160 250   - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c true 2 wit inspect 19    160 220   - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 20    160 240   - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c true 2 wit inspect 22    180 270   - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 2 wit inspect 23    180 250   - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c true 2 wit inspect 19    160 240   - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 2 wit inspect 20    160 240   - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    3100 5900   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .019 4.9
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    3700 6100   error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.9
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    4300 5900   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1400 5700   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .017 4.8
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1800 6800   error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1600 5100   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.8
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    2000 8000   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .017 5.0
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1800 6400   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .048 4.9
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1100 5700   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .042 4.9
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1500 6300   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .048 4.9
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    1700 5600   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.8
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    2100 6900   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .019 4.8
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c error (42) 0 wit inspect 870    2600 5800   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .046 4.9
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c true 2 wit inspect 16    120 190   - wit inspect - wit inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c error (42) 0 wit inspect 870    6600 9400   - wit inspect - wit inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 7600   error (invalid witness file) 0 wit inspect .44 42 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .042 5.0
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6500   error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7200   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6200   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 4300   error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5600   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 9200   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 7200   error (invalid witness file) 0 wit inspect .45 41 error (2) 0 wit inspect .038 4.8
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 7100   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .049 5.0
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 6000   error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6400   error (invalid witness file) 0 wit inspect .45 42 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7000   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 6100   error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6800   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5600   error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5900   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5900   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5900   error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 6000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7200   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7600   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .046 5.0
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6900   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .030 5.0
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 8600   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .031 4.8
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 5600   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6200   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5900   error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 8200   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .027 5.0
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 8000   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 6200   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5300   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5200   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5600   error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5800   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6400   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .036 4.9
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5500   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5700   error (invalid witness file) 0 wit inspect .50 42 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6400   error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6200   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .046 4.8
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6000   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .041 4.8
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6100   error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .035 4.9
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6900   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5700   error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 8200   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5800   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2100 7600   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6500   error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 6400   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2000 5600   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 5900   error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6600   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5800   error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 8000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7400   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6600   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .65 46 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6600   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6500   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7200   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5800   error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5500   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 8300   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5700   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5800   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5900   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6800   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7200   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5500   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5500   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .67 46 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .031 5.0
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5800   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .036 5.0
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .038 4.8
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 8200   error (invalid witness file) 0 wit inspect .42 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5800   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .046 4.8
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5900   error (invalid witness file) 0 wit inspect .67 44 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7100   error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .026 4.9
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 8400   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6700   error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .044 5.0
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5900   error (invalid witness file) 0 wit inspect .69 46 error (2) 0 wit inspect .025 4.8
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5700   error (invalid witness file) 0 wit inspect .44 44 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6400   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 8400   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7000   error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6100   error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 5900   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6200   error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7100   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7200   error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7300   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7600   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7800   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 6600   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1600 7100   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 9900   error (invalid witness file) 0 wit inspect .44 42 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 9900   error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 12000   error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .051 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 8900   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 8500   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 10000   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    630 9600   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 9100   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .036 4.8
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    630 9400   error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .028 4.9
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 8600   error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 10000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 9300   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 8900   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 8800   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 11000   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 8900   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 9000   error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    630 8800   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    620 9400   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .045 4.8
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6000   error (invalid witness file) 0 wit inspect .45 42 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .028 4.8
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6600   error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    2500 6400   error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .039 4.9
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6400   error (invalid witness file) 0 wit inspect .57 46 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .049 5.0
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6100   error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .033 4.8
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6300   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .049 5.0
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6900   error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7500   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7500   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6300   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    2500 5200   error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7400   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .051 4.8
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5300   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5800   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7400   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6800   error (invalid witness file) 0 wit inspect .46 43 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6200   error (invalid witness file) 0 wit inspect .43 45 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7900   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5900   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    2500 6800   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6500   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .027 4.9
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5200   error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6000   error (invalid witness file) 0 wit inspect .63 45 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7900   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .050 4.9
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6000   error (invalid witness file) 0 wit inspect .46 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6400   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6400   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .046 5.0
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6300   error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5100   error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6500   error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6400   error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .044 5.0
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5200   error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7000   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 7000   error (invalid witness file) 0 wit inspect .45 45 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5100   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .036 4.8
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5100   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .049 5.0
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5900   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6200   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6700   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6900   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6400   error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6000   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 8400   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .045 5.0
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6700   error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6700   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5100   error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6800   error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5800   error (invalid witness file) 0 wit inspect .44 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c error (42) 0 wit inspect 880    2500 6000   error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5700   error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5400   error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 6200   error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .017 4.8
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2500 5100   error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c error (42) 0 wit inspect 870    1900 4500   error (invalid witness file) 0 wit inspect .45 44 error (2) 0 wit inspect .018 5.0
psyco/psyco_abp_1_false-unreach-call_false-termination.c - wit inspect error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .024 4.9
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    4100 5800   error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .048 5.0
psyco/psyco_io_1_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    2200 3900   error (invalid witness file) 0 wit inspect .61 41 error (2) 0 wit inspect .037 4.8
psyco/psyco_math_1_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    3800 6100   error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .017 4.9
psyco/psyco_net_1_false-unreach-call_false-termination.c error (1) 0 wit inspect 880    9300 12000   error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .020 4.9
psyco/psyco_security_true-unreach-call_false-termination.c error (42) 0 wit inspect 870    1700 3500   error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i true 2 wit inspect .40 33 3.9 - wit inspect - wit