Tool ESBMC ESBMC version 4.6.0 64-bit x86_64 linux 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*
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 08:45:19 CET 2017-12-02 17:16:42 CET 2017-12-02 17:21:25 CET
Run set esbmc-incr.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.Termination-Other
Options -s incr -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/esbmc-incr.2017-12-02_0845.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/esbmc-incr.2017-12-02_0845.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 timeout 0 wit inspect 900     9100 11000    - wit inspect - wit inspect
array-examples/sanfoundry_24_true-unreach-call_true-termination.i timeout 0 wit inspect 900     870 11000    - wit inspect - wit inspect
array-examples/standard_sentinel_true-unreach-call_true-termination.i timeout 0 wit inspect 900     960 9800    - wit inspect - wit inspect
array-examples/standard_vararg_true-unreach-call_ground_true-termination.i timeout 0 wit inspect 900     810 11000    - wit inspect - wit inspect
array-industry-pattern/array_assert_loop_dep_false-unreach-call_true-termination.i timeout 0 wit inspect 900     6100 9000    - wit inspect - wit inspect
array-industry-pattern/array_monotonic_true-unreach-call_true-termination.i timeout 0 wit inspect 900     3400 10000    - wit inspect - wit inspect
array-industry-pattern/array_mul_init_true-unreach-call_true-termination.i timeout 0 wit inspect 900     4000 9100    - wit inspect - wit inspect
array-industry-pattern/array_ptr_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900     4000 10000    - wit inspect - wit inspect
array-industry-pattern/array_shadowinit_true-unreach-call_true-termination.i timeout 0 wit inspect 900     860 11000    - wit inspect - wit inspect
array-industry-pattern/array_single_elem_init_false-unreach-call_true-termination.i timeout 0 wit inspect 900     4000 12000    - wit inspect - wit inspect
bitvector/jain_1_true-unreach-call_true-no-overflow_false-termination.i timeout 0 wit inspect 900     870 10000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .022 4.8
bitvector/jain_2_true-unreach-call_true-no-overflow_false-termination.i timeout 0 wit inspect 900     620 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .044 4.8
bitvector/jain_4_true-unreach-call_true-no-overflow_false-termination.i timeout 0 wit inspect 900     610 8600    error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .017 5.0
bitvector/jain_6_true-unreach-call_true-no-overflow_false-termination.i timeout 0 wit inspect 900     600 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.8
bitvector/jain_7_true-unreach-call_true-no-overflow_false-termination.i timeout 0 wit inspect 900     790 11000    error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.8
bitvector/byte_add_1_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .12  27 1.1  - wit inspect - wit inspect
bitvector/byte_add_2_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .11  27 .96 - wit inspect - wit inspect
bitvector/byte_add_false-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .15  27 1.9  - wit inspect - wit inspect
bitvector/gcd_4_true-unreach-call_true-no-overflow_true-termination.i true 2 wit inspect .076 26 .88 - wit inspect - wit inspect
bitvector/s3_srvr_2_alt_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c timeout 0 wit inspect 900     1900 8800    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .043 4.9
bitvector/s3_srvr_2_true-unreach-call_true-no-overflow_false-termination.BV.c.cil.c timeout 0 wit inspect 900     1900 8800    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .051 4.8
bitvector/soft_float_1_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect .94  28 12    - wit inspect - wit inspect
bitvector/soft_float_2_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect .24  27 2.6  - wit inspect - wit inspect
bitvector/soft_float_3_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect .24  27 2.3  - wit inspect - wit inspect
bitvector/soft_float_4_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect .94  27 12    - wit inspect - wit inspect
bitvector/soft_float_5_true-unreach-call_true-no-overflow_true-termination.c.cil.c true 2 wit inspect .21  27 2.4  - wit inspect - wit inspect
bitvector-regression/implicitfloatconversion_false-unreach-call_true-termination.c true 2 wit inspect .072 26 .94 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_false-unreach-call_true-termination.c true 2 wit inspect .085 26 .90 - wit inspect - wit inspect
bitvector-regression/implicitunsignedconversion_true-unreach-call_true-termination.c true 2 wit inspect .078 26 .87 - wit inspect - wit inspect
bitvector-regression/integerpromotion_false-unreach-call_true-termination.c true 2 wit inspect .084 26 .82 - wit inspect - wit inspect
bitvector-regression/integerpromotion_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .63 - wit inspect - wit inspect
bitvector-regression/recHanoi03_false-unreach-call_true-termination.c timeout 0 wit inspect 900     1500 9000    - wit inspect - wit inspect
bitvector-regression/signextension2_false-unreach-call_true-termination.c true 2 wit inspect .089 26 .78 - wit inspect - wit inspect
bitvector-regression/signextension2_true-unreach-call_true-termination.c true 2 wit inspect .099 26 .78 - wit inspect - wit inspect
bitvector-regression/signextension_false-unreach-call_true-termination.c true 2 wit inspect .073 26 .74 - wit inspect - wit inspect
bitvector-regression/signextension_true-unreach-call_true-termination.c true 2 wit inspect .072 26 .91 - wit inspect - wit inspect
bitvector-loops/verisec_sendmail__tTflag_arr_one_loop_false-unreach-call_true-termination.i true 2 wit inspect .095 26 .91 - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .33  42 4.0  - wit inspect - wit inspect
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .34  42 4.1  - wit inspect - wit inspect
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900     970 10000    - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .15  31 1.6  - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .19  31 1.6  - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .24  34 2.4  - wit inspect - wit inspect
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .24  33 2.6  - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .13  29 .97 - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .16  30 1.2  - wit inspect - wit inspect
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 2 wit inspect .14  31 1.3  - wit inspect - wit inspect
ssh-simplified/s3_srvr_10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.8
ssh-simplified/s3_srvr_11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 9700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.8
ssh-simplified/s3_srvr_13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 9100    error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.8
ssh-simplified/s3_srvr_14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 7900    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .034 4.8
ssh-simplified/s3_srvr_1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 8600    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0
ssh-simplified/s3_srvr_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 9700    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 4.9
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1700 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 9400    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 7700    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 8600    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
ssh-simplified/s3_srvr_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 8800    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .023 4.8
ssh-simplified/s3_srvr_4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 10000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .023 4.8
ssh-simplified/s3_srvr_6_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 8800    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
ssh-simplified/s3_srvr_6_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 8700    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
ssh-simplified/s3_srvr_7_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 8900    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_srvr_8_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
ssh-simplified/s3_clnt_1_false-unreach-call_true-termination.cil.c true 2 wit inspect 5.8   130 73    - wit inspect - wit inspect
ssh-simplified/s3_clnt_1_true-unreach-call_true-termination.cil.c true 2 wit inspect 5.8   140 65    - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c true 2 wit inspect 5.8   140 70    - wit inspect - wit inspect
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c true 2 wit inspect 5.9   140 90    - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_false-unreach-call_true-termination.cil.c true 2 wit inspect 6.9   160 78    - wit inspect - wit inspect
ssh-simplified/s3_clnt_3_true-unreach-call_true-termination.cil.c true 2 wit inspect 6.7   160 75    - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_false-unreach-call_true-termination.cil.c true 2 wit inspect 5.8   140 75    - wit inspect - wit inspect
ssh-simplified/s3_clnt_4_true-unreach-call_true-termination.cil.c true 2 wit inspect 5.9   140 69    - wit inspect - wit inspect
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2500 8500    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2600 7900    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .046 5.0
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2700 9100    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .022 4.8
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2700 8400    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .017 5.0
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     3000 12000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     3000 8400    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .029 4.8
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     3000 8100    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 4.8
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     3100 8400    error (invalid witness file) 0 wit inspect .66 43 error (2) 0 wit inspect .048 4.8
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     1900 8000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2100 10000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .024 4.8
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2200 7500    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900     2400 8500    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 4.8
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c true 2 wit inspect 4.4   100 49    - wit inspect - wit inspect
ntdrivers/floppy2_true-unreach-call_true-termination.i.cil.c timeout 0 wit inspect 900     9100 9000    - wit inspect - wit inspect
eca-rers2012/Problem01_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem01_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 5.0
eca-rers2012/Problem01_label02_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .043 5.0
eca-rers2012/Problem01_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem01_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem01_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8400    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label08_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label10_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label11_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .017 4.9
eca-rers2012/Problem01_label12_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .031 4.9
eca-rers2012/Problem01_label13_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem01_label14_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem01_label15_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label16_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .026 4.9
eca-rers2012/Problem01_label18_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label20_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label21_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 5.0
eca-rers2012/Problem01_label22_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .046 4.8
eca-rers2012/Problem01_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .034 4.8
eca-rers2012/Problem01_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8600    error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .050 4.9
eca-rers2012/Problem01_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label27_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8700    error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem01_label28_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem01_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .032 4.8
eca-rers2012/Problem01_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem01_label31_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label32_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .048 4.8
eca-rers2012/Problem01_label33_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .036 4.8
eca-rers2012/Problem01_label34_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .026 4.8
eca-rers2012/Problem01_label35_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem01_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem01_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .39 45 error (2) 0 wit inspect .017 5.0
eca-rers2012/Problem01_label38_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label39_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem01_label40_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem01_label41_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem01_label43_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label45_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .038 4.8
eca-rers2012/Problem01_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label47_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .047 5.0
eca-rers2012/Problem01_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem01_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label50_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem01_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label52_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.9
eca-rers2012/Problem01_label54_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem01_label56_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem01_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem01_label58_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem01_label59_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9500    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .021 5.0
eca-rers2012/Problem02_label02_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8600    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem02_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .049 4.9
eca-rers2012/Problem02_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8300    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label08_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .54 46 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label10_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label11_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label12_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label13_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label14_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .032 4.8
eca-rers2012/Problem02_label15_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label16_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem02_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label18_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem02_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label21_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem02_label22_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .047 5.0
eca-rers2012/Problem02_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8900    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9500    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9400    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem02_label27_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .017 4.9
eca-rers2012/Problem02_label28_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem02_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9100    error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem02_label31_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem02_label32_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem02_label33_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label34_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem02_label35_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9900    error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem02_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem02_label37_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8700    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label38_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .024 4.9
eca-rers2012/Problem02_label39_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9300    error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem02_label40_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9500    error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem02_label41_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .046 5.0
eca-rers2012/Problem02_label43_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9800    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9100    error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem02_label45_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9300    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .027 5.0
eca-rers2012/Problem02_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8300    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label47_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9300    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem02_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .033 4.8
eca-rers2012/Problem02_label50_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9200    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem02_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8900    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem02_label52_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9700    error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem02_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .037 4.9
eca-rers2012/Problem02_label54_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem02_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 11000    error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem02_label56_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 9600    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem02_label57_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 8800    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem02_label58_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem02_label59_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 9500    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem04_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9200    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .038 4.8
eca-rers2012/Problem04_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 9700    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label17_false-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 8800    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem04_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9600    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem04_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9200    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .047 4.9
eca-rers2012/Problem04_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 9100    error (invalid witness file) 0 wit inspect .69 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem04_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 11000    error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem04_label29_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9700    error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 5.0
eca-rers2012/Problem04_label36_false-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9500    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem04_label37_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9800    error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .035 5.0
eca-rers2012/Problem04_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9500    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.8
eca-rers2012/Problem04_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9900    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem04_label43_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9800    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem04_label44_true-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 9500    error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .052 4.9
eca-rers2012/Problem04_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 9600    error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .047 4.8
eca-rers2012/Problem04_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 12000    error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem04_label57_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3900 8300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem04_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 900     4000 10000    error (invalid witness file) 0 wit inspect .52 45 error (2) 0 wit inspect .021 4.8
eca-rers2012/Problem14_label00_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9700    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .022 5.0
eca-rers2012/Problem14_label01_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label02_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9800    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label03_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label04_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9900    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .028 5.0
eca-rers2012/Problem14_label05_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label06_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9100    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label07_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9400    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label08_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9400    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label09_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem14_label10_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label11_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .017 4.9
eca-rers2012/Problem14_label12_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9600    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem14_label13_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9700    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label14_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9400    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .051 4.8
eca-rers2012/Problem14_label15_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label16_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.9
eca-rers2012/Problem14_label17_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9500    error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .048 4.9
eca-rers2012/Problem14_label18_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 13000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label19_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem14_label20_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem14_label21_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .025 5.0
eca-rers2012/Problem14_label22_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
eca-rers2012/Problem14_label23_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label24_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label25_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem14_label26_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label27_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9700    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label28_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label29_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label30_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9100    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0
eca-rers2012/Problem14_label31_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 8800    error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .044 4.9
eca-rers2012/Problem14_label32_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .045 4.9
eca-rers2012/Problem14_label33_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.9
eca-rers2012/Problem14_label34_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label35_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label36_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 8300    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .039 5.0
eca-rers2012/Problem14_label37_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label38_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .023 5.0
eca-rers2012/Problem14_label39_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .046 4.9
eca-rers2012/Problem14_label40_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9300    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .050 4.8
eca-rers2012/Problem14_label41_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.9
eca-rers2012/Problem14_label42_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label43_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9500    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .048 5.0
eca-rers2012/Problem14_label44_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label45_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 8300    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label46_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem14_label47_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.9
eca-rers2012/Problem14_label48_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9200    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label49_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9800    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .026 4.8
eca-rers2012/Problem14_label50_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 8900    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .034 4.8
eca-rers2012/Problem14_label51_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9400    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label52_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9400    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label53_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 10000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.9
eca-rers2012/Problem14_label54_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9900    error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .018 4.9
eca-rers2012/Problem14_label55_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.8
eca-rers2012/Problem14_label56_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 9800    error (invalid witness file) 0 wit inspect .41 42 error (2) 0 wit inspect .019 4.8
eca-rers2012/Problem14_label57_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 12000    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.8
eca-rers2012/Problem14_label58_false-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
eca-rers2012/Problem14_label59_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .044 4.8
eca-rers2012/Problem15_label18_false-unreach-call_false-termination.c timeout 0 wit inspect 900     6900 9200    error (invalid witness file) 0 wit inspect .52 41 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 41 error (2) 0 wit inspect .023 4.9
psyco/psyco_accelerometer_1_true-unreach-call_false-termination.c timeout 0 wit inspect 900     2900 12000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.9
psyco/psyco_io_1_true-unreach-call_false-termination.c timeout 0 wit inspect 900     6900 8500    error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .018 4.8
psyco/psyco_math_1_true-unreach-call_false-termination.c timeout 0 wit inspect 900     7200 8200    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
psyco/psyco_net_1_false-unreach-call_false-termination.c out of memory 0 wit inspect 190     15000 2200    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .022 4.8
psyco/psyco_security_true-unreach-call_false-termination.c timeout 0 wit inspect 900     3000 9900    error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .026 5.0
floats-cdfpl/newton_1_1_true-unreach-call_true-termination.i true 2 wit inspect .091 26 .84 - wit inspect - wit inspect
floats-cdfpl/newton_1_2_true-unreach-call_true-termination.i true 2 wit inspect .12  26 .70 - wit inspect - wit inspect
floats-cdfpl/newton_1_3_true-unreach-call_true-termination.i true 2 wit inspect .073 26 .82 - wit inspect - wit inspect
floats-cdfpl/newton_1_4_false-unreach-call_true-termination.i true 2 wit inspect .076 26 .72 - wit inspect - wit inspect
floats-cdfpl/newton_1_5_false-unreach-call_true-termination.i true 2 wit inspect .092 27 .74 - wit inspect - wit inspect
floats-cdfpl/newton_1_6_false-unreach-call_true-termination.i true 2 wit inspect .075 26 .74 - wit inspect - wit inspect
floats-cdfpl/newton_1_7_false-unreach-call_true-termination.i true 2 wit inspect .088 26 .88 - wit inspect - wit inspect
floats-cdfpl/newton_1_8_false-unreach-call_true-termination.i true 2 wit inspect .11  26 .82 - wit inspect - wit inspect
floats-cdfpl/newton_2_1_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .66 - wit inspect - wit inspect
floats-cdfpl/newton_2_2_true-unreach-call_true-termination.i true 2 wit inspect .087 26 .79 - wit inspect - wit inspect
floats-cdfpl/newton_2_3_true-unreach-call_true-termination.i true 2 wit inspect .087 26 .87 - wit inspect - wit inspect
floats-cdfpl/newton_2_4_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .73 - wit inspect - wit inspect
floats-cdfpl/newton_2_5_true-unreach-call_true-termination.i true 2 wit inspect .074 26 .85 - wit inspect - wit inspect
floats-cdfpl/newton_2_6_false-unreach-call_true-termination.i true 2 wit inspect .072 27 1.1  - wit inspect - wit inspect
floats-cdfpl/newton_2_7_false-unreach-call_true-termination.i true 2 wit inspect .078 26 .81 - wit inspect - wit inspect
floats-cdfpl/newton_2_8_false-unreach-call_true-termination.i true 2 wit inspect .077 26 .84 - wit inspect - wit inspect
floats-cdfpl/newton_3_1_true-unreach-call_true-termination.i true 2 wit inspect .083 26 .74 - wit inspect - wit inspect
floats-cdfpl/newton_3_2_true-unreach-call_true-termination.i true 2 wit inspect .10  26 .82 - wit inspect - wit inspect
floats-cdfpl/newton_3_3_true-unreach-call_true-termination.i true 2 wit inspect .079 26 .87 - wit inspect - wit inspect
floats-cdfpl/newton_3_4_true-unreach-call_true-termination.i true 2 wit inspect .12  26 .73 - wit inspect - wit inspect
floats-cdfpl/newton_3_5_true-unreach-call_true-termination.i true 2 wit inspect .073 27 .88 - wit inspect - wit inspect
floats-cdfpl/newton_3_6_false-unreach-call_true-termination.i true 2 wit inspect .099 26 .81 - wit inspect - wit inspect
floats-cdfpl/newton_3_7_false-unreach-call_true-termination.i true 2 wit inspect .11  26 .72 - wit inspect - wit inspect
floats-cdfpl/newton_3_8_false-unreach-call_true-termination.i true 2 wit inspect .083 27 .76 - wit inspect - wit inspect
floats-cdfpl/sine_1_false-unreach-call_true-termination.i true 2 wit inspect .077 26 .72 - wit inspect - wit inspect
floats-cdfpl/sine_2_false-unreach-call_true-termination.i true 2 wit inspect .070 26 .84 - wit inspect - wit inspect
floats-cdfpl/sine_3_false-unreach-call_true-termination.i true 2 wit inspect .089 26 .87 - wit inspect - wit inspect
floats-cdfpl/sine_4_true-unreach-call_true-termination.i true 2 wit inspect .076 26 .92 - wit inspect - wit inspect
floats-cdfpl/sine_5_true-unreach-call_true-termination.i true 2 wit inspect .075 26 .89 - wit inspect - wit inspect
floats-cdfpl/sine_6_true-unreach-call_true-termination.i true 2 wit inspect .084 26 .82 - wit inspect - wit inspect
floats-cdfpl/sine_7_true-unreach-call_true-termination.i true 2 wit inspect .097 26 .65 - wit inspect - wit inspect
floats-cdfpl/sine_8_true-unreach-call_true-termination.i true 2 wit inspect .072 26 .76 - wit inspect - wit inspect
floats-cdfpl/square_1_false-unreach-call_true-termination.i true 2 wit inspect .096 26 .89 - wit inspect - wit inspect
floats-cdfpl/square_2_false-unreach-call_true-termination.i true 2 wit inspect .098 26 .82 - wit inspect - wit inspect
floats-cdfpl/square_3_false-unreach-call_true-termination.i true 2 wit inspect .11  26 .74 - wit inspect - wit inspect
floats-cdfpl/square_4_true-unreach-call_true-termination.i true 2 wit inspect .071 26 .74 - wit inspect - wit inspect
floats-cdfpl/square_5_true-unreach-call_true-termination.i true 2 wit inspect .072 26 .78 - wit inspect - wit inspect
floats-cdfpl/square_6_true-unreach-call_true-termination.i true 2 wit inspect .076 26 .70 - wit inspect - wit inspect
floats-cdfpl/square_7_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .62 - wit inspect - wit inspect
floats-cdfpl/square_8_true-unreach-call_true-termination.i true 2 wit inspect .073 26 .81 - wit inspect - wit inspect
floats-cbmc-regression/float-no-simp1_true-unreach-call_true-termination.i true 2 wit inspect .083 26 .76 - wit inspect - wit inspect
floats-cbmc-regression/float-no-simp3_true-unreach-call_true-termination.i true 2 wit inspect .10  26 .76 - wit inspect - wit inspect
floats-cbmc-regression/float-no-simp6_true-unreach-call_true-termination.i true 2 wit inspect .072 26 .82 - wit inspect - wit inspect
floats-cbmc-regression/float-no-simp7_true-unreach-call_true-termination.i true 2 wit inspect .090 26 .78 - wit inspect - wit inspect
floats-cbmc-regression/float-to-double2_true-unreach-call_true-termination.i true 2 wit inspect .076 26 .89 - wit inspect - wit inspect
floats-cbmc-regression/float-zero-sum1_true-unreach-call_true-termination.i true 2 wit inspect .098 26 .81 - wit inspect - wit inspect
floats-cbmc-regression/float11_true-unreach-call_true-termination.i true 2 wit inspect .091 27 1.0  - wit inspect - wit inspect
floats-cbmc-regression/float12_true-unreach-call_true-termination.i true 2 wit inspect .071 26 .69 - wit inspect - wit inspect
floats-cbmc-regression/float13_true-unreach-call_true-termination.i true 2 wit inspect .076 26 .71 - wit inspect - wit inspect
floats-cbmc-regression/float1_true-unreach-call_true-termination.i true 2 wit inspect .099 26 .73 - wit inspect - wit inspect
floats-cbmc-regression/float20_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .75 - wit inspect - wit inspect
floats-cbmc-regression/float22_true-unreach-call_true-termination.i true 2 wit inspect .15  27 1.1  - wit inspect - wit inspect
floats-cbmc-regression/float2_true-unreach-call_true-termination.i true 2 wit inspect .15  26 1.3  - wit inspect - wit inspect
floats-cbmc-regression/float3_true-unreach-call_true-termination.i true 2 wit inspect .071 26 .91 - wit inspect - wit inspect
floats-cbmc-regression/float5_true-unreach-call_true-termination.i true 2 wit inspect .078 26 .74 - wit inspect - wit inspect
floats-cbmc-regression/float6_true-unreach-call_true-termination.i true 2 wit inspect .12  27 .93 - wit inspect - wit inspect
ldv-regression/1_3_true-termination.c_false-unreach-call.i true 2 wit inspect .10  26 .76 - wit inspect - wit inspect
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 2 wit inspect .075 26 .67 - wit inspect - wit inspect
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 2 wit inspect .11  26 .64 - wit inspect - wit inspect
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 2 wit inspect .11  26 .60 - wit inspect - wit inspect
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 2 wit inspect .12  26 .61 - wit inspect - wit inspect
ldv-regression/alt_test_true-termination.c_false-unreach-call.i true 2 wit inspect .090 27 .71 - wit inspect - wit inspect
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i unknown 0 wit inspect .10  26 .73 - wit inspect - wit inspect
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i true 2 wit inspect .075 27 .96 - wit inspect - wit inspect
ldv-regression/fo_test_true-termination.c_false-unreach-call.i true 2 wit inspect .49  27 5.7  - wit inspect - wit inspect
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 2 wit inspect .076 26 .65 - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i true 2 wit inspect .070 26 .83 - wit inspect - wit inspect
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 2 wit inspect .080 26 .91 - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i true 2 wit inspect .11  26 .68 - wit inspect - wit inspect
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 2 wit inspect .074 26 .75 - wit inspect - wit inspect
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 2 wit inspect .11  26 .70 - wit inspect - wit inspect
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 2 wit inspect .071 26 .78 - wit inspect - wit inspect
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 2 wit inspect .079 26 .68 - wit inspect - wit inspect
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 2 wit inspect .092 26 .78 - wit inspect - wit inspect
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 2 wit inspect .098 26 .65 - wit inspect - wit inspect
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 2 wit inspect .075 26 .78 - wit inspect - wit inspect
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 2 wit inspect .072 26 .74 - wit inspect - wit inspect
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 2 wit inspect .089 26 .75 - wit inspect - wit inspect
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i true 2 wit inspect .082 26 .66 - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i true 2 wit inspect .075 27 1.0  - wit inspect - wit inspect
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i true 2 wit inspect .080 27 .80 - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i true 2 wit inspect .14  27 1.1  - wit inspect - wit inspect
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i true 2 wit inspect .13  27 1.2  - wit inspect - wit inspect
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 2 wit inspect .092 27 1.0  - wit inspect - wit inspect
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i true 2 wit inspect .090 27 .88 - wit inspect - wit inspect
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 2 wit inspect .095 26 .91 - wit inspect - wit inspect
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 2 wit inspect .075 27 .75 - wit inspect - wit inspect
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 2 wit inspect .071 26 .81 - wit inspect - wit inspect
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 2 wit inspect .082 27 .74 - wit inspect - wit inspect
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 2 wit inspect .11  27 .65 - wit inspect - wit inspect
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 2 wit inspect .11  27 .67 - wit inspect - wit inspect
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 2 wit inspect .073 26 .77 - wit inspect - wit inspect
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 2 wit inspect .097 26 .86 - wit inspect - wit inspect
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 2 wit inspect .071 26 .81 - wit inspect - wit inspect
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 2 wit inspect .072 26 .87 - wit inspect - wit inspect
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 2 wit inspect .097 26 .79 - wit inspect - wit inspect
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 2 wit inspect .076 26 .57 - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i true 2 wit inspect .092 26 .68 - wit inspect - wit inspect
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i true 2 wit inspect .097 26 .59 - wit inspect - wit inspect
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 2 wit inspect .11  26 .63 - wit inspect - wit inspect
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 2 wit inspect .075 26 .72 - wit inspect - wit inspect
ldv-regression/stateful_check_false-unreach-call_false-termination.i timeout 0 wit inspect 900     1100 11000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
ldv-regression/test01_true-unreach-call_true-termination.c true 2 wit inspect .072 26 .74 - wit inspect - wit inspect
ldv-regression/test02_false-unreach-call_true-termination.c true 2 wit inspect .074 26 .75 - wit inspect - wit inspect
ldv-regression/test03_true-unreach-call_true-termination.c true 2 wit inspect .079 26 .82 - wit inspect - wit inspect
ldv-regression/test04_true-unreach-call_true-termination.c true 2 wit inspect .086 26 .82 - wit inspect - wit inspect
ldv-regression/test05_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .71 - wit inspect - wit inspect
ldv-regression/test06_false-unreach-call_true-termination.c true 2 wit inspect .073 26 .81 - wit inspect - wit inspect
ldv-regression/test07_true-unreach-call_true-termination.c true 2 wit inspect .11  26 .61 - wit inspect - wit inspect
ldv-regression/test08_false-unreach-call_true-termination.c true 2 wit inspect .071 26 .78 - wit inspect - wit inspect
ldv-regression/test09_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .65 - wit inspect - wit inspect
ldv-regression/test10_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .75 - wit inspect - wit inspect
ldv-regression/test11_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .79 - wit inspect - wit inspect
ldv-regression/test12_false-unreach-call_true-termination.c true 2 wit inspect .072 26 .85 - wit inspect - wit inspect
ldv-regression/test13_true-unreach-call_true-termination.c true 2 wit inspect .075 26 .84 - wit inspect - wit inspect
ldv-regression/test14_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .65 - wit inspect - wit inspect
ldv-regression/test15_true-unreach-call_true-termination.c true 2 wit inspect .070 26 .89 - wit inspect - wit inspect
ldv-regression/test16_true-unreach-call_true-termination.c true 2 wit inspect .071 26 .80 - wit inspect - wit inspect
ldv-regression/test17_true-unreach-call_true-termination.c true 2 wit inspect .097 26 .75 - wit inspect - wit inspect
ldv-regression/test18_true-unreach-call_true-termination.c true 2 wit inspect .097 26 .78 - wit inspect - wit inspect
ldv-regression/test19_true-unreach-call_true-termination.c true 2 wit inspect .077 26 .75 - wit inspect - wit inspect
ldv-regression/test20_true-unreach-call_true-termination.c true 2 wit inspect .071 26 .89 - wit inspect - wit inspect
ldv-regression/test21_false-unreach-call_true-termination.c true 2 wit inspect .094 26 .74 - wit inspect - wit inspect
ldv-regression/test21_true-unreach-call_true-termination.c true 2 wit inspect .11  26 .67 - wit inspect - wit inspect
ldv-regression/test24_true-unreach-call_true-termination.c true 2 wit inspect 2.0   32 26    - wit inspect - wit inspect
ldv-regression/test25_false-unreach-call_true-termination.c true 2 wit inspect .50  32 6.7  - wit inspect - wit inspect
ldv-regression/test26_false-unreach-call_true-termination.c true 2 wit inspect .082 26 .71 - wit inspect - wit inspect
ldv-regression/test26_true-unreach-call_true-termination.c true 2 wit inspect .073 26 .70 - wit inspect - wit inspect
ldv-regression/test27_false-unreach-call_true-termination.c true 2 wit inspect .10  27 1.0  - wit inspect - wit inspect
ldv-regression/test27_true-unreach-call_true-termination.c true 2 wit inspect .093 27 .95 - wit inspect - wit inspect
ldv-regression/test28_false-unreach-call_true-termination.c true 2 wit inspect .085 26 .72 - wit inspect - wit inspect
ldv-regression/test28_true-unreach-call_true-termination.c true 2 wit inspect .075 26 .80 - wit inspect - wit inspect
ldv-regression/test29_false-unreach-call_true-termination.c true 2 wit inspect .10  26 .67 - wit inspect - wit inspect
ldv-regression/test29_true-unreach-call_true-termination.c true 2 wit inspect .072 26 .89 - wit inspect - wit inspect
ldv-regression/test30_false-unreach-call_true-termination.c true 2 wit inspect .098 26 .86 - wit inspect - wit inspect
ldv-regression/test30_true-unreach-call_true-termination.c true 2 wit inspect .074 26 .85 - wit inspect - wit inspect
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i true 2 wit inspect 22     140 240    - wit inspect - wit inspect
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i true 2 wit inspect .082 27 .64 - wit inspect - wit inspect
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 2 wit inspect .080 27 .83 - wit inspect - wit inspect
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i true 2 wit inspect .079 27 1.0  - wit inspect - wit inspect
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 2 wit inspect .11  27 .87 - wit inspect - wit inspect
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i true 2 wit inspect .52  39 6.3  - wit inspect - wit inspect
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 2 wit inspect .53  38 6.2  - wit inspect - wit inspect
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i timeout 0 wit inspect 900     2800 9600    error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .024 4.9
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 0 wit inspect 900     2700 8800    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .025 4.8
ldv-sets/test_add_false-unreach-call_true-termination.i unknown 0 wit inspect .063 15 .23 - wit inspect - wit inspect
ldv-sets/test_add_true-unreach-call_true-termination.i unknown 0 wit inspect .065 15 .19 - wit inspect - wit inspect
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i unknown 0 wit inspect .060 15 .28 - wit inspect - wit inspect
loops/for_infinite_loop_1_true-unreach-call_false-termination.i timeout 0 wit inspect 900     11000 13000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 5.0
loops/for_infinite_loop_2_true-unreach-call_false-termination.i timeout 0 wit inspect 900     11000 11000    error (invalid witness file) 0 wit inspect .48 41 error (2) 0 wit inspect .023 4.8
loops/n.c11_true-unreach-call_false-termination.i timeout 0 wit inspect 900     2400 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.9
loops/nec11_false-unreach-call_false-termination.i timeout 0 wit inspect 900     3000 9800    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .017 5.0
loops/sum03_true-unreach-call_false-termination.i timeout 0 wit inspect 900     9900 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8
loops/trex04_true-unreach-call_false-termination.i timeout 0 wit inspect 900     400 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .042 4.8
loops/while_infinite_loop_1_true-unreach-call_false-termination.i timeout 0 wit inspect 900     14000 13000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .023 4.9
loops/while_infinite_loop_2_true-unreach-call_false-termination.i timeout 0 wit inspect 900     14000 12000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .022 4.9
loops/while_infinite_loop_3_true-unreach-call_false-termination.i timeout 0 wit inspect 900     12000 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .017 4.8
loops/array_false-unreach-call_true-termination.i true 2 wit inspect .074 26 .80 - wit inspect - wit inspect
loops/array_true-unreach-call_true-termination.i true 2 wit inspect .080 26 .75 - wit inspect - wit inspect
loops/bubble_sort_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1700 9400    - wit inspect - wit inspect
loops/count_up_down_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1400 11000    - wit inspect - wit inspect
loops/count_up_down_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1400 11000    - wit inspect - wit inspect
loops/eureka_01_false-unreach-call_true-termination.i true 2 wit inspect 23     93 300    - wit inspect - wit inspect
loops/eureka_05_true-unreach-call_true-termination.i true 2 wit inspect .10  26 .74 - wit inspect - wit inspect
loops/for_bounded_loop1_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1000 12000    - wit inspect - wit inspect
loops/insertion_sort_false-unreach-call_true-termination.i timeout 0 wit inspect 900     240 10000    - wit inspect - wit inspect
loops/insertion_sort_true-unreach-call_true-termination.i timeout 0 wit inspect 900     280 11000    - wit inspect - wit inspect
loops/invert_string_false-unreach-call_true-termination.i timeout 0 wit inspect 900     220 12000    - wit inspect - wit inspect
loops/invert_string_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .54 - wit inspect - wit inspect
loops/matrix_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1300 11000    - wit inspect - wit inspect
loops/matrix_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .67 - wit inspect - wit inspect
loops/n.c40_true-unreach-call_true-termination.i true 2 wit inspect .070 26 .81 - wit inspect - wit inspect
loops/nec20_false-unreach-call_true-termination.i true 2 wit inspect 160     450 2100    - wit inspect - wit inspect
loops/nec40_true-unreach-call_true-termination.i true 2 wit inspect .071 26 .75 - wit inspect - wit inspect
loops/string_false-unreach-call_true-termination.i true 2 wit inspect .20  27 2.1  - wit inspect - wit inspect
loops/string_true-unreach-call_true-termination.i true 2 wit inspect .21  26 2.1  - wit inspect - wit inspect
loops/sum01_bug02_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1000 9500    - wit inspect - wit inspect
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1100 11000    - wit inspect - wit inspect
loops/sum01_false-unreach-call_true-termination.i timeout 0 wit inspect 900     750 9700    - wit inspect - wit inspect
loops/sum01_true-unreach-call_true-termination.i true 2 wit inspect 110     440 1400    - wit inspect - wit inspect
loops/sum03_false-unreach-call_true-termination.i true 2 wit inspect .10  26 .85 - wit inspect - wit inspect
loops/sum04_false-unreach-call_true-termination.i true 2 wit inspect .11  26 .73 - wit inspect - wit inspect
loops/sum04_true-unreach-call_true-termination.i true 2 wit inspect .074 26 .74 - wit inspect - wit inspect
loops/terminator_01_false-unreach-call_true-termination.i timeout 0 wit inspect 900     440 10000    - wit inspect - wit inspect
loops/terminator_02_false-unreach-call_true-termination.i timeout 0 wit inspect 900     290 12000    - wit inspect - wit inspect
loops/terminator_02_true-unreach-call_true-termination.i timeout 0 wit inspect 900     230 14000    - wit inspect - wit inspect
loops/terminator_03_false-unreach-call_true-termination.i timeout 0 wit inspect 900     220 12000    - wit inspect - wit inspect
loops/terminator_03_true-unreach-call_true-termination.i timeout 0 wit inspect 900     200 12000    - wit inspect - wit inspect
loops/trex01_false-unreach-call_true-termination.i timeout 0 wit inspect 900     710 10000    - wit inspect - wit inspect
loops/trex01_true-unreach-call_true-termination.i timeout 0 wit inspect 900     810 12000    - wit inspect - wit inspect
loops/trex02_false-unreach-call_true-termination.i timeout 0 wit inspect 900     950 11000    - wit inspect - wit inspect
loops/trex02_true-unreach-call_true-termination.i timeout 0 wit inspect 900     940 9400    - wit inspect - wit inspect
loops/trex03_false-unreach-call_true-termination.i timeout 0 wit inspect 900     550 9700    - wit inspect - wit inspect
loops/trex03_true-unreach-call_true-termination.i timeout 0 wit inspect 900     550 11000    - wit inspect - wit inspect
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i true 2 wit inspect .083 26 .83 - wit inspect - wit inspect
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i true 2 wit inspect .25  28 2.7  - wit inspect - wit inspect
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i true 2 wit inspect .096 26 .80 - wit inspect - wit inspect
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i true 2 wit inspect .12  26 .74 - wit inspect - wit inspect
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i true 2 wit inspect .39  27 4.3  - wit inspect - wit inspect
loops/while_infinite_loop_4_false-unreach-call_true-termination.i true 2 wit inspect .11  26 .58 - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call1_true-termination.i true 2 wit inspect 7.8   85 98    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call2_true-termination.i true 2 wit inspect 45     270 520    - wit inspect - wit inspect
loop-acceleration/array_false-unreach-call3_true-termination.i true 2 wit inspect 8.8   160 110    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call1_true-termination.i true 2 wit inspect 7.8   85 90    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call2_true-termination.i true 2 wit inspect 45     270 550    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call3_true-termination.i true 2 wit inspect 8.7   160 110    - wit inspect - wit inspect
loop-acceleration/array_true-unreach-call4_true-termination.i true 2 wit inspect 9.9   190 130    - wit inspect - wit inspect
loop-acceleration/diamond_true-unreach-call1_true-termination.i true 2 wit inspect .95  26 13    - wit inspect - wit inspect
loop-acceleration/functions_false-unreach-call1_true-termination.i out of memory 0 wit inspect 820     15000 12000    - wit inspect - wit inspect
loop-acceleration/functions_true-unreach-call1_true-termination.i out of memory 0 wit inspect 840     15000 8800    - wit inspect - wit inspect
loop-acceleration/multivar_false-unreach-call1_true-termination.i true 2 wit inspect 230     440 3000    - wit inspect - wit inspect
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 2 wit inspect 220     440 2600    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call2_true-termination.i timeout 0 wit inspect 900     700 12000    - wit inspect - wit inspect
loop-acceleration/simple_false-unreach-call3_true-termination.i timeout 0 wit inspect 900     1200 10000    - wit inspect - wit inspect
loop-acceleration/simple_true-unreach-call2_true-termination.i timeout 0 wit inspect 900     700 9500    - wit inspect - wit inspect
loop-acceleration/simple_true-unreach-call3_true-termination.i timeout 0 wit inspect 900     1200 9700    - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call1_true-termination.i true 2 wit inspect .098 26 .84 - wit inspect - wit inspect
loop-acceleration/underapprox_false-unreach-call2_true-termination.i true 2 wit inspect .096 26 .78 - wit inspect - wit inspect
loop-acceleration/underapprox_true-unreach-call1_true-termination.i true 2 wit inspect .079 26 .70 - wit inspect - wit inspect
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 2 wit inspect .075 26 .82 - wit inspect - wit inspect
loop-acceleration/phases_false-unreach-call2_false-termination.i timeout 0 wit inspect 900     1200 9900    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9
loop-acceleration/phases_true-unreach-call2_false-termination.i timeout 0 wit inspect 900     1200 7900    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .023 4.9
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i timeout 0 wit inspect 900     930 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .025 4.9
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i timeout 0 wit inspect 900     790 14000    - wit inspect - wit inspect
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i timeout 0 wit inspect 900     900 12000    - wit inspect - wit inspect
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i timeout 0 wit inspect 900     540 11000    - wit inspect - wit inspect
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 0 wit inspect 900     710 10000    - wit inspect - wit inspect
loop-invgen/down_true-unreach-call_true-termination.i timeout 0 wit inspect 900     590 11000    - wit inspect - wit inspect
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i timeout 0 wit inspect 900     920 10000    - wit inspect - wit inspect
loop-invgen/half_2_true-unreach-call_true-termination.i timeout 0 wit inspect 900     620 13000    - wit inspect - wit inspect
loop-invgen/heapsort_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1200 11000    - wit inspect - wit inspect
loop-invgen/id_build_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1600 10000    - wit inspect - wit inspect
loop-invgen/id_trans_false-unreach-call_true-termination.i timeout 0 wit inspect 900     1200 11000    - wit inspect - wit inspect
loop-invgen/large_const_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .82 - wit inspect - wit inspect
loop-invgen/nest-if3_true-unreach-call_true-termination.i timeout 0 wit inspect 900     880 10000    - wit inspect - wit inspect
loop-invgen/nested6_true-unreach-call_true-termination.i timeout 0 wit inspect 900     860 9700    - wit inspect - wit inspect
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 0 wit inspect 900     6000 12000    - wit inspect - wit inspect
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1200 10000    - wit inspect - wit inspect
loop-invgen/seq_true-unreach-call_true-termination.i timeout 0 wit inspect 900     610 12000    - wit inspect - wit inspect
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i out of memory 0 wit inspect 300     15000 3400    - wit inspect - wit inspect
loop-invgen/up_true-unreach-call_true-termination.i timeout 0 wit inspect 900     690 11000    - wit inspect - wit inspect
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 2 wit inspect 210     660 2500    - wit inspect - wit inspect
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     1300 9500    - wit inspect - wit inspect
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 2 wit inspect .070 26 .87 - wit inspect - wit inspect
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     940 9900    - wit inspect - wit inspect
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 2 wit inspect .17  26 2.0  - wit inspect - wit inspect
loop-lit/css2003_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     5100 9500    - wit inspect - wit inspect
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 2 wit inspect .20  26 1.9  - wit inspect - wit inspect
loop-lit/gj2007b_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     1200 8500    - wit inspect - wit inspect
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 2 wit inspect .19  26 2.2  - wit inspect - wit inspect
loop-lit/gsv2008_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     360 10000    - wit inspect - wit inspect
loop-lit/hhk2008_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     700 10000    - wit inspect - wit inspect
loop-lit/jm2006_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     1100 12000    - wit inspect - wit inspect
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     1500 11000    - wit inspect - wit inspect
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i timeout 0 wit inspect 900     1200 13000    - wit inspect - wit inspect
loop-lit/gcnr2008_false-unreach-call_false-termination.i timeout 0 wit inspect 900     230 12000    error (invalid witness file) 0 wit inspect .51 44 error (2) 0 wit inspect .022 4.9
loop-new/count_by_1_true-unreach-call_true-termination.i timeout 0 wit inspect 900     11000 13000    - wit inspect - wit inspect
loop-new/count_by_1_variant_true-unreach-call_true-termination.i timeout 0 wit inspect 900     11000 10000    - wit inspect - wit inspect
loop-new/count_by_2_true-unreach-call_true-termination.i timeout 0 wit inspect 900     11000 9900    - wit inspect - wit inspect
loop-new/count_by_k_true-unreach-call_true-termination.i timeout 0 wit inspect 900     330 11000    - wit inspect - wit inspect
loop-new/count_by_nondet_true-unreach-call_true-termination.i timeout 0 wit inspect 900     2500 13000    - wit inspect - wit inspect
loop-new/gauss_sum_true-unreach-call_true-termination.i true 2 wit inspect 110     450 1200    - wit inspect - wit inspect
loop-new/half_true-unreach-call_true-termination.i timeout 0 wit inspect 900     1400 10000    - wit inspect - wit inspect
loop-new/nested_true-unreach-call_true-termination.i timeout 0 wit inspect 900     460 11000    - wit inspect - wit inspect
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect .38  36 5.0  - wit inspect - wit inspect
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect .40  37 5.6  - wit inspect - wit inspect
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect .45  37 5.5  - wit inspect - wit inspect
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect .15  37 1.8  - wit inspect - wit inspect
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect .65  37 8.1  - wit inspect - wit inspect
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  37 1.8  - wit inspect - wit inspect
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect .44  37 5.1  - wit inspect - wit inspect
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  37 1.8  - wit inspect - wit inspect
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect .64  37 8.2  - wit inspect - wit inspect
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 1.9  - wit inspect - wit inspect
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 85     800 880    - wit inspect - wit inspect
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect .33  37 4.4  - wit inspect - wit inspect
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect .39  37 5.1  - wit inspect - wit inspect
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect .33  37 4.5  - wit inspect - wit inspect
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect .39  37 4.4  - wit inspect - wit inspect
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect .32  37 3.9  - wit inspect - wit inspect
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  37 1.9  - wit inspect - wit inspect
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect .32  37 3.7  - wit inspect - wit inspect
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 1.9  - wit inspect - wit inspect
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect .39  37 4.5  - wit inspect - wit inspect
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .18  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect .42  38 4.0  - wit inspect - wit inspect
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 2.1  - wit inspect - wit inspect
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect .36  37 4.1  - wit inspect - wit inspect
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  37 1.9  - wit inspect - wit inspect
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect .38  37 4.1  - wit inspect - wit inspect
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 1.8  - wit inspect - wit inspect
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect .35  38 4.0  - wit inspect - wit inspect
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect .46  38 5.7  - wit inspect - wit inspect
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 45     740 520    - wit inspect - wit inspect
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.8  - wit inspect - wit inspect
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.8  - wit inspect - wit inspect
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect .20  37 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect .27  37 2.4  - wit inspect - wit inspect
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect .20  37 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  37 2.0  - wit inspect - wit inspect
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect .23  37 2.5  - wit inspect - wit inspect
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect .24  37 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect .23  38 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  38 2.2  - wit inspect - wit inspect
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.0  - wit inspect - wit inspect
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect .24  38 2.1  - wit inspect - wit inspect
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .18  38 2.3  - wit inspect - wit inspect
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect .22  38 2.8  - wit inspect - wit inspect
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 1.7  - wit inspect - wit inspect
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect .24  38 2.4  - wit inspect - wit inspect
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 12     350 160    - wit inspect - wit inspect
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect .56  37 6.4  - wit inspect - wit inspect
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  37 1.8  - wit inspect - wit inspect
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect .50  37 6.4  - wit inspect - wit inspect
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c true 2 wit inspect .18  37 2.1  - wit inspect - wit inspect
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect .58  37 6.6  - wit inspect - wit inspect
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect .64  37 8.5  - wit inspect - wit inspect
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  37 1.8  - wit inspect - wit inspect
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 1.9  - wit inspect - wit inspect
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect .63  38 10    - wit inspect - wit inspect
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c true 2 wit inspect .71  38 8.5  - wit inspect - wit inspect
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect .56  37 7.9  - wit inspect - wit inspect
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c true 2 wit inspect .61  38 7.0  - wit inspect - wit inspect
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  38 2.0  - wit inspect - wit inspect
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  38 1.9  - wit inspect - wit inspect
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect .63  38 6.9  - wit inspect - wit inspect
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c true 2 wit inspect .70  38 9.0  - wit inspect - wit inspect
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .19  38 1.9  - wit inspect - wit inspect
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect .17  38 2.3  - wit inspect - wit inspect
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 150     1300 1800    - wit inspect - wit inspect
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.8  - wit inspect - wit inspect
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect .26  37 2.7  - wit inspect - wit inspect
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect .24  37 2.6  - wit inspect - wit inspect
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  37 2.0  - wit inspect - wit inspect
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect .25  37 3.3  - wit inspect - wit inspect
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 2.1  - wit inspect - wit inspect
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect .21  38 2.9  - wit inspect - wit inspect
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .20  38 2.1  - wit inspect - wit inspect
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect .23  38 2.7  - wit inspect - wit inspect
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect .21  38 2.1  - wit inspect - wit inspect
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 11     350 170    - wit inspect - wit inspect
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c true 2 wit inspect .45  32 4.6  - wit inspect - wit inspect
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect .70  36 9.0  - wit inspect - wit inspect
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c true 2 wit inspect .54  34 5.7  - wit inspect - wit inspect
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect .69  35 8.8  - wit inspect - wit inspect
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c true 2 wit inspect .75  36 9.4  - wit inspect - wit inspect
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect .70  36 9.1  - wit inspect - wit inspect
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   45 16    - wit inspect - wit inspect
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .83  38 10    - wit inspect - wit inspect
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect .83  38 10    - wit inspect - wit inspect
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   43 13    - wit inspect - wit inspect
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   48 15    - wit inspect - wit inspect
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 16    - wit inspect - wit inspect
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .83  38 11    - wit inspect - wit inspect
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  40 11    - wit inspect - wit inspect
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   49 16    - wit inspect - wit inspect
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   52 19    - wit inspect - wit inspect
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c true 2 wit inspect .83  36 9.9  - wit inspect - wit inspect
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c true 2 wit inspect .71  36 8.2  - wit inspect - wit inspect
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c true 2 wit inspect .93  39 12    - wit inspect - wit inspect
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   41 13    - wit inspect - wit inspect
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 27     370 340    - wit inspect - wit inspect
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect .43  32 4.9  - wit inspect - wit inspect
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c true 2 wit inspect .69  35 8.6  - wit inspect - wit inspect
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c true 2 wit inspect .63  35 7.2  - wit inspect - wit inspect
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c true 2 wit inspect .52  34 5.8  - wit inspect - wit inspect
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c true 2 wit inspect .72  36 10    - wit inspect - wit inspect
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect .73  36 8.6  - wit inspect - wit inspect
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   43 15    - wit inspect - wit inspect
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .86  38 10    - wit inspect - wit inspect
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.0   42 12    - wit inspect - wit inspect
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect .79  38 8.8  - wit inspect - wit inspect
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   48 17    - wit inspect - wit inspect
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   46 15    - wit inspect - wit inspect
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .83  37 9.2  - wit inspect - wit inspect
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 17    - wit inspect - wit inspect
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .90  40 11    - wit inspect - wit inspect
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   52 19    - wit inspect - wit inspect
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c true 2 wit inspect .83  37 10    - wit inspect - wit inspect
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c true 2 wit inspect .74  37 8.1  - wit inspect - wit inspect
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c true 2 wit inspect .91  39 10    - wit inspect - wit inspect
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   43 15    - wit inspect - wit inspect
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 32     410 370    - wit inspect - wit inspect
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c true 2 wit inspect .61  34 7.7  - wit inspect - wit inspect
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c true 2 wit inspect .81  38 10    - wit inspect - wit inspect
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c true 2 wit inspect .75  36 10    - wit inspect - wit inspect
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c true 2 wit inspect .79  36 9.1  - wit inspect - wit inspect
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   43 14    - wit inspect - wit inspect
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   44 15    - wit inspect - wit inspect
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .86  38 9.8  - wit inspect - wit inspect
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   47 15    - wit inspect - wit inspect
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect .64  35 7.2  - wit inspect - wit inspect
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c true 2 wit inspect .90  40 11    - wit inspect - wit inspect
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .81  37 11    - wit inspect - wit inspect
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  38 10    - wit inspect - wit inspect
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 20    - wit inspect - wit inspect
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .96  40 12    - wit inspect - wit inspect
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   47 20    - wit inspect - wit inspect
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   51 20    - wit inspect - wit inspect
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 11     170 130    - wit inspect - wit inspect
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect .65  34 7.6  - wit inspect - wit inspect
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  39 10    - wit inspect - wit inspect
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c true 2 wit inspect .79  36 9.6  - wit inspect - wit inspect
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c true 2 wit inspect .81  36 10    - wit inspect - wit inspect
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   45 14    - wit inspect - wit inspect
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  39 11    - wit inspect - wit inspect
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 18    - wit inspect - wit inspect
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   49 18    - wit inspect - wit inspect
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect .68  35 9.6  - wit inspect - wit inspect
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c true 2 wit inspect .94  40 13    - wit inspect - wit inspect
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .84  38 12    - wit inspect - wit inspect
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  39 12    - wit inspect - wit inspect
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   48 18    - wit inspect - wit inspect
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.0   41 11    - wit inspect - wit inspect
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   50 22    - wit inspect - wit inspect
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.8   53 22    - wit inspect - wit inspect
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 18     250 200    - wit inspect - wit inspect
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c true 2 wit inspect .72  36 9.4  - wit inspect - wit inspect
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c true 2 wit inspect .96  40 10    - wit inspect - wit inspect
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c true 2 wit inspect .83  38 9.5  - wit inspect - wit inspect
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c true 2 wit inspect .87  38 10    - wit inspect - wit inspect
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   47 19    - wit inspect - wit inspect
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .96  40 11    - wit inspect - wit inspect
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   47 16    - wit inspect - wit inspect
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   51 18    - wit inspect - wit inspect
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .74  37 9.9  - wit inspect - wit inspect
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c true 2 wit inspect .99  42 14    - wit inspect - wit inspect
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .91  40 11    - wit inspect - wit inspect
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .92  40 11    - wit inspect - wit inspect
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   50 17    - wit inspect - wit inspect
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .99  42 13    - wit inspect - wit inspect
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   51 20    - wit inspect - wit inspect
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.7   54 25    - wit inspect - wit inspect
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 12     180 160    - wit inspect - wit inspect
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect .66  34 8.5  - wit inspect - wit inspect
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect .79  38 9.9  - wit inspect - wit inspect
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c true 2 wit inspect .74  36 11    - wit inspect - wit inspect
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c true 2 wit inspect .80  36 10    - wit inspect - wit inspect
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   43 16    - wit inspect - wit inspect
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c true 2 wit inspect .86  38 9.4  - wit inspect - wit inspect
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   44 15    - wit inspect - wit inspect
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 18    - wit inspect - wit inspect
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect .66  35 8.7  - wit inspect - wit inspect
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect .89  39 12    - wit inspect - wit inspect
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .82  37 9.0  - wit inspect - wit inspect
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .82  38 11    - wit inspect - wit inspect
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 15    - wit inspect - wit inspect
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .95  40 12    - wit inspect - wit inspect
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   47 21    - wit inspect - wit inspect
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   51 20    - wit inspect - wit inspect
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 11     170 130    - wit inspect - wit inspect
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c true 2 wit inspect .72  36 8.7  - wit inspect - wit inspect
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c true 2 wit inspect .95  40 12    - wit inspect - wit inspect
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c true 2 wit inspect .90  37 10    - wit inspect - wit inspect
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  38 11    - wit inspect - wit inspect
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 19    - wit inspect - wit inspect
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   48 18    - wit inspect - wit inspect
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .97  40 11    - wit inspect - wit inspect
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   50 21    - wit inspect - wit inspect
product-lines/email_spec6_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .79  37 9.6  - wit inspect - wit inspect
product-lines/email_spec6_product29_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   42 14    - wit inspect - wit inspect
product-lines/email_spec6_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .95  39 12    - wit inspect - wit inspect
product-lines/email_spec6_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .97  40 14    - wit inspect - wit inspect
product-lines/email_spec6_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   50 19    - wit inspect - wit inspect
product-lines/email_spec6_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.0   42 13    - wit inspect - wit inspect
product-lines/email_spec6_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   52 21    - wit inspect - wit inspect
product-lines/email_spec6_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.8   54 23    - wit inspect - wit inspect
product-lines/email_spec6_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 12     180 170    - wit inspect - wit inspect
product-lines/email_spec7_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect .57  34 6.7  - wit inspect - wit inspect
product-lines/email_spec7_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect .73  37 8.1  - wit inspect - wit inspect
product-lines/email_spec7_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect .69  35 7.8  - wit inspect - wit inspect
product-lines/email_spec7_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect .72  35 8.3  - wit inspect - wit inspect
product-lines/email_spec7_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect .97  41 14    - wit inspect - wit inspect
product-lines/email_spec7_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect .74  36 8.8  - wit inspect - wit inspect
product-lines/email_spec7_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   42 14    - wit inspect - wit inspect
product-lines/email_spec7_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.2   44 15    - wit inspect - wit inspect
product-lines/email_spec7_product28_false-unreach-call_true-termination.cil.c true 2 wit inspect .60  35 7.5  - wit inspect - wit inspect
product-lines/email_spec7_product29_false-unreach-call_true-termination.cil.c true 2 wit inspect .82  38 9.9  - wit inspect - wit inspect
product-lines/email_spec7_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .74  35 11    - wit inspect - wit inspect
product-lines/email_spec7_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .79  37 10    - wit inspect - wit inspect
product-lines/email_spec7_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 16    - wit inspect - wit inspect
product-lines/email_spec7_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect .89  39 12    - wit inspect - wit inspect
product-lines/email_spec7_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   47 16    - wit inspect - wit inspect
product-lines/email_spec7_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   50 19    - wit inspect - wit inspect
product-lines/email_spec7_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 12     180 140    - wit inspect - wit inspect
product-lines/email_spec8_product12_true-unreach-call_true-termination.cil.c true 2 wit inspect .76  36 8.5  - wit inspect - wit inspect
product-lines/email_spec8_product14_true-unreach-call_true-termination.cil.c true 2 wit inspect .99  39 13    - wit inspect - wit inspect
product-lines/email_spec8_product15_false-unreach-call_true-termination.cil.c true 2 wit inspect .83  37 9.7  - wit inspect - wit inspect
product-lines/email_spec8_product16_false-unreach-call_true-termination.cil.c true 2 wit inspect .88  38 12    - wit inspect - wit inspect
product-lines/email_spec8_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 16    - wit inspect - wit inspect
product-lines/email_spec8_product21_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.4   46 17    - wit inspect - wit inspect
product-lines/email_spec8_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .96  39 12    - wit inspect - wit inspect
product-lines/email_spec8_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   49 19    - wit inspect - wit inspect
product-lines/email_spec8_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect .76  37 10    - wit inspect - wit inspect
product-lines/email_spec8_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.0   41 15    - wit inspect - wit inspect
product-lines/email_spec8_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .93  39 11    - wit inspect - wit inspect
product-lines/email_spec8_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .94  39 11    - wit inspect - wit inspect
product-lines/email_spec8_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   49 20    - wit inspect - wit inspect
product-lines/email_spec8_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   41 14    - wit inspect - wit inspect
product-lines/email_spec8_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   50 20    - wit inspect - wit inspect
product-lines/email_spec8_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.7   53 23    - wit inspect - wit inspect
product-lines/email_spec8_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 12     170 140    - wit inspect - wit inspect
product-lines/email_spec9_product12_true-unreach-call_true-termination.cil.c true 2 wit inspect .72  36 9.4  - wit inspect - wit inspect
product-lines/email_spec9_product14_true-unreach-call_true-termination.cil.c true 2 wit inspect .97  39 13    - wit inspect - wit inspect
product-lines/email_spec9_product15_false-unreach-call_true-termination.cil.c true 2 wit inspect .85  37 13    - wit inspect - wit inspect
product-lines/email_spec9_product16_false-unreach-call_true-termination.cil.c true 2 wit inspect .92  38 9.6  - wit inspect - wit inspect
product-lines/email_spec9_product20_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 17    - wit inspect - wit inspect
product-lines/email_spec9_product21_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.3   46 18    - wit inspect - wit inspect
product-lines/email_spec9_product22_false-unreach-call_true-termination.cil.c true 2 wit inspect .97  39 11    - wit inspect - wit inspect
product-lines/email_spec9_product26_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   49 17    - wit inspect - wit inspect
product-lines/email_spec9_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect .74  37 8.0  - wit inspect - wit inspect
product-lines/email_spec9_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 1.0   41 12    - wit inspect - wit inspect
product-lines/email_spec9_product30_false-unreach-call_true-termination.cil.c true 2 wit inspect .91  39 11    - wit inspect - wit inspect
product-lines/email_spec9_product31_false-unreach-call_true-termination.cil.c true 2 wit inspect .96  40 11    - wit inspect - wit inspect
product-lines/email_spec9_product32_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.5   48 18    - wit inspect - wit inspect
product-lines/email_spec9_product33_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.1   41 13    - wit inspect - wit inspect
product-lines/email_spec9_product34_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.6   50 18    - wit inspect - wit inspect
product-lines/email_spec9_product35_false-unreach-call_true-termination.cil.c true 2 wit inspect 1.7   53 23    - wit inspect - wit inspect
product-lines/email_spec9_productSimulator_false-unreach-call_true-termination.cil.c true 2 wit inspect 11     170 140    - wit inspect - wit inspect
product-lines/elevator_spec13_product21_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1400 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
product-lines/elevator_spec13_product22_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1400 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .023 4.8
product-lines/elevator_spec13_product23_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1900 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .031 4.8
product-lines/elevator_spec13_product24_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1900 11000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
product-lines/elevator_spec13_product29_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1400 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.9
product-lines/elevator_spec13_product30_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1400 13000    error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .037 4.9
product-lines/elevator_spec13_product31_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 12000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
product-lines/elevator_spec13_product32_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1900 12000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
product-lines/elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 9500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec1_product01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 10000    error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 5.0
product-lines/minepump_spec1_product02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7600 12000    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .027 4.9
product-lines/minepump_spec1_product03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7300 12000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec1_product04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6400 12000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 11000    error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .049 4.8
product-lines/minepump_spec1_product06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec1_product07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7500 12000    error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec1_product08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 11000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec1_product09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5400 11000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 12000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 12000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec1_product13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5100 10000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec1_product14_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 11000    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec1_product15_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 11000    error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .022 4.8
product-lines/minepump_spec1_product16_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6000 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .046 4.8
product-lines/minepump_spec1_product17_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec1_product18_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6300 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .048 4.8
product-lines/minepump_spec1_product19_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec1_product20_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6700 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product21_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4900 12000    error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product22_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5400 12000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec1_product23_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5200 10000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product24_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5100 11000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 4.9
product-lines/minepump_spec1_product25_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7300 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .048 4.8
product-lines/minepump_spec1_product26_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7300 10000    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec1_product27_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5800 11000    error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec1_product28_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5400 10000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec1_product29_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6100 11000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec1_product30_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec1_product31_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6900 12000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec1_product32_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5200 11000    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec1_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 9500    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .044 5.0
product-lines/minepump_spec1_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 9100    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec1_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .048 4.8
product-lines/minepump_spec1_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9500    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .025 4.8
product-lines/minepump_spec1_product37_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9500    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec1_product38_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .027 4.9
product-lines/minepump_spec1_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec1_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .046 5.0
product-lines/minepump_spec1_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9400    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.8
product-lines/minepump_spec1_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 12000    error (invalid witness file) 0 wit inspect .53 45 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec1_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9400    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec1_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 13000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec1_product45_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product46_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .046 4.8
product-lines/minepump_spec1_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 12000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .044 4.9
product-lines/minepump_spec1_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9800    error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .025 4.8
product-lines/minepump_spec1_product49_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .027 4.9
product-lines/minepump_spec1_product50_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 8800    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec1_product51_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 8400    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec1_product52_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9400    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec1_product53_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 12000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .017 4.8
product-lines/minepump_spec1_product54_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .017 5.0
product-lines/minepump_spec1_product55_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9700    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec1_product56_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec1_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec1_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 10000    error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .019 5.0
product-lines/minepump_spec1_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 10000    error (invalid witness file) 0 wit inspect .62 43 error (2) 0 wit inspect .048 5.0
product-lines/minepump_spec1_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 13000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .022 4.8
product-lines/minepump_spec1_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec1_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9400    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec1_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec1_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 13000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9800    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .045 4.9
product-lines/minepump_spec2_product01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6800 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec2_product02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7000 12000    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7600 12000    error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .024 4.9
product-lines/minepump_spec2_product04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 12000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .049 4.8
product-lines/minepump_spec2_product06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7800 13000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec2_product07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7600 11000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .044 5.0
product-lines/minepump_spec2_product08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 10000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .044 4.9
product-lines/minepump_spec2_product09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6000 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec2_product10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6800 11000    error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6000 10000    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec2_product12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7700 9900    error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec2_product13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6600 12000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product14_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6500 9700    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec2_product15_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 10000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product16_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec2_product17_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7500 13000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec2_product18_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7700 12000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec2_product19_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5800 12000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec2_product20_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .021 4.9
product-lines/minepump_spec2_product21_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec2_product22_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 9900    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product23_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 12000    error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec2_product24_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6700 12000    error (invalid witness file) 0 wit inspect .45 43 error (2) 0 wit inspect .046 4.9
product-lines/minepump_spec2_product25_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 12000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .024 4.9
product-lines/minepump_spec2_product26_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6500 10000    error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .046 5.0
product-lines/minepump_spec2_product27_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 11000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .050 4.8
product-lines/minepump_spec2_product28_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7900 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec2_product29_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7500 10000    error (invalid witness file) 0 wit inspect .66 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product30_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 13000    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec2_product31_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6400 13000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product32_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 13000    error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4000 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .017 4.8
product-lines/minepump_spec2_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 13000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec2_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 10000    error (invalid witness file) 0 wit inspect .48 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product37_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec2_product38_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 13000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec2_product39_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product40_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.8
product-lines/minepump_spec2_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 11000    error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 11000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec2_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9400    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .045 5.0
product-lines/minepump_spec2_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 9300    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec2_product45_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9700    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product46_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.9
product-lines/minepump_spec2_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 8700    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .040 4.8
product-lines/minepump_spec2_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9300    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .044 4.8
product-lines/minepump_spec2_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 10000    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec2_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 9300    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product51_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9800    error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .039 4.9
product-lines/minepump_spec2_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9500    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product53_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 13000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec2_product54_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 8500    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec2_product55_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .036 4.9
product-lines/minepump_spec2_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 8700    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec2_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .028 4.8
product-lines/minepump_spec2_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9500    error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.9
product-lines/minepump_spec2_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec2_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .037 4.9
product-lines/minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 11000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3500 11000    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 8900    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec3_product04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 12000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3500 12000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .022 4.8
product-lines/minepump_spec3_product06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4000 9400    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec3_product07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 10000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec3_product08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3500 9300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .026 5.0
product-lines/minepump_spec3_product09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 12000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec3_product10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3800 10000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3900 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec3_product13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3800 11000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .050 4.9
product-lines/minepump_spec3_product14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 11000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 9800    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec3_product17_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 10000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .050 4.8
product-lines/minepump_spec3_product18_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 11000    error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .026 4.9
product-lines/minepump_spec3_product19_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3500 9500    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec3_product20_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 9800    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec3_product21_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product22_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4000 10000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product23_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4000 8900    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .050 4.9
product-lines/minepump_spec3_product24_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3900 12000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product25_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec3_product26_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 10000    error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product27_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product28_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4100 9800    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec3_product29_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 11000    error (invalid witness file) 0 wit inspect .48 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product30_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3600 9200    error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec3_product31_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3700 9800    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec3_product32_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3500 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec3_product33_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 11000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .026 5.0
product-lines/minepump_spec3_product34_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9400    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec3_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9100    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec3_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec3_product37_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec3_product38_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9800    error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .047 4.8
product-lines/minepump_spec3_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9600    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7600    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .046 4.8
product-lines/minepump_spec3_product41_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3400 9400    error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .049 5.0
product-lines/minepump_spec3_product42_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 11000    error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 4.8
product-lines/minepump_spec3_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec3_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .027 4.9
product-lines/minepump_spec3_product45_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9600    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec3_product46_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product47_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 10000    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .027 4.9
product-lines/minepump_spec3_product48_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 8700    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec3_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9600    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec3_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 12000    error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product51_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.9
product-lines/minepump_spec3_product52_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9700    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 4.9
product-lines/minepump_spec3_product53_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .046 4.9
product-lines/minepump_spec3_product54_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec3_product55_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9900    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product56_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .017 5.0
product-lines/minepump_spec3_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 13000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec3_product59_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 10000    error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec3_product60_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9500    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec3_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec3_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 12000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec3_product63_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9900    error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec3_product64_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .047 4.9
product-lines/minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 11000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .048 4.8
product-lines/minepump_spec4_product01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7000 12000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7600 11000    error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec4_product03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5400 13000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec4_product04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7000 11000    error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 14000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec4_product06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 13000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .033 4.8
product-lines/minepump_spec4_product08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 12000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec4_product10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .041 4.9
product-lines/minepump_spec4_product11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec4_product12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7400 13000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec4_product13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 11000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec4_product14_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.9
product-lines/minepump_spec4_product15_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6000 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.9
product-lines/minepump_spec4_product16_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 12000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 5.0
product-lines/minepump_spec4_product17_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6600 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec4_product18_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 12000    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product19_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5400 9900    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .027 4.8
product-lines/minepump_spec4_product20_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product21_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5800 12000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec4_product22_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7500 9900    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product23_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5100 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product24_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5000 11000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product25_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6800 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product26_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7200 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec4_product27_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6700 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product28_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product29_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5500 9500    error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec4_product30_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7300 12000    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .017 5.0
product-lines/minepump_spec4_product31_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4900 12000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product32_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 13000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 11000    error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .019 5.0
product-lines/minepump_spec4_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 10000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .017 5.0
product-lines/minepump_spec4_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product37_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec4_product38_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .040 4.8
product-lines/minepump_spec4_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9600    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9200    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9900    error (invalid witness file) 0 wit inspect .39 44 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 11000    error (invalid witness file) 0 wit inspect .69 45 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec4_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .46 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec4_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec4_product45_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .046 4.9
product-lines/minepump_spec4_product46_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec4_product47_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .043 4.9
product-lines/minepump_spec4_product48_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 9700    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec4_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 12000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .021 4.9
product-lines/minepump_spec4_product51_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec4_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product53_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_product54_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9600    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec4_product55_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .025 4.8
product-lines/minepump_spec4_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9400    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec4_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 13000    error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec4_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec4_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec4_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 11000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .021 5.0
product-lines/minepump_spec4_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 11000    error (invalid witness file) 0 wit inspect .58 45 error (2) 0 wit inspect .046 5.0
product-lines/minepump_spec4_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9500    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec4_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec4_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9300    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9600    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .025 4.8
product-lines/minepump_spec5_product01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5100 11000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 4.8
product-lines/minepump_spec5_product02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec5_product03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5100 10000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .048 4.9
product-lines/minepump_spec5_product04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6300 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec5_product05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 12000    error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7100 9900    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .021 4.8
product-lines/minepump_spec5_product07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6500 10000    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6400 10000    error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6500 9900    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .041 4.9
product-lines/minepump_spec5_product10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5900 9700    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec5_product11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6400 10000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .017 4.9
product-lines/minepump_spec5_product12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     7300 9700    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4600 10000    error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product14_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5300 11000    error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .046 4.8
product-lines/minepump_spec5_product15_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4900 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .046 4.8
product-lines/minepump_spec5_product16_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4700 11000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .048 4.9
product-lines/minepump_spec5_product17_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4500 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product18_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 13000    error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec5_product19_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5700 10000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .049 5.0
product-lines/minepump_spec5_product20_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4700 12000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .048 4.8
product-lines/minepump_spec5_product21_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5000 12000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec5_product22_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6300 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec5_product23_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4800 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .043 4.9
product-lines/minepump_spec5_product24_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 10000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec5_product25_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6100 12000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9
product-lines/minepump_spec5_product26_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5600 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .041 4.8
product-lines/minepump_spec5_product27_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     4900 11000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product28_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     5500 11000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec5_product29_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6100 10000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec5_product30_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6200 11000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec5_product31_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6100 12000    error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec5_product32_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     6000 9200    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec5_product33_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 12000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec5_product34_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9900    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec5_product35_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product36_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .022 5.0
product-lines/minepump_spec5_product37_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 12000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .022 4.9
product-lines/minepump_spec5_product38_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 12000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9
product-lines/minepump_spec5_product39_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9600    error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec5_product40_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9500    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec5_product41_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9500    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec5_product42_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 8800    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec5_product43_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .046 4.9
product-lines/minepump_spec5_product44_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product45_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 9800    error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.9
product-lines/minepump_spec5_product46_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 10000    error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .045 5.0
product-lines/minepump_spec5_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9500    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .029 4.8
product-lines/minepump_spec5_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 12000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 12000    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 5.0
product-lines/minepump_spec5_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9400    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec5_product51_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .024 4.8
product-lines/minepump_spec5_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 10000    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .026 4.8
product-lines/minepump_spec5_product53_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 11000    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .047 5.0
product-lines/minepump_spec5_product54_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3000 9900    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product55_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 9900    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .047 5.0
product-lines/minepump_spec5_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 10000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8
product-lines/minepump_spec5_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 13000    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 5.0
product-lines/minepump_spec5_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9800    error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 5.0
product-lines/minepump_spec5_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 12000    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .047 4.8
product-lines/minepump_spec5_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 9200    error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec5_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 11000    error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .023 4.8
product-lines/minepump_spec5_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 8800    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
product-lines/minepump_spec5_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9100    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .033 4.9
product-lines/minepump_spec5_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 10000    error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8
product-lines/minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 9900    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .017 5.0
recursive/Primes_true-unreach-call_true-no-overflow_false-termination.c out of memory 0 wit inspect 470     15000 5500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .034 4.9
recursive/Ackermann02_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 410     15000 4900    - wit inspect - wit inspect
recursive/Addition01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 460     15000 5300    - wit inspect - wit inspect
recursive/Addition02_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 470     15000 4700    - wit inspect - wit inspect
recursive/Addition03_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 470     15000 5200    - wit inspect - wit inspect
recursive/BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .077 26 .77 - wit inspect - wit inspect
recursive/EvenOdd01_true-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900     2300 11000    - wit inspect - wit inspect
recursive/EvenOdd03_false-unreach-call_true-no-overflow_true-termination.c timeout 0 wit inspect 900     2300 9700    - wit inspect - wit inspect
recursive/Fibonacci02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .13  26 1.1  - wit inspect - wit inspect
recursive/Fibonacci03_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 340     15000 3200    - wit inspect - wit inspect
recursive/Fibonacci04_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 340     15000 4600    - wit inspect - wit inspect
recursive/Fibonacci05_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 340     15000 4300    - wit inspect - wit inspect
recursive/McCarthy91_false-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 900     15000 9200    - wit inspect - wit inspect
recursive/McCarthy91_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 890     15000 9600    - wit inspect - wit inspect
recursive/MultCommutative_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 560     15000 5800    - wit inspect - wit inspect
recursive/gcd01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 400     15000 3900    - wit inspect - wit inspect
recursive/gcd02_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 430     15000 3900    - wit inspect - wit inspect
recursive/recHanoi01_true-unreach-call_true-no-overflow_true-termination.c out of memory 0 wit inspect 530     15000 6000    - wit inspect - wit inspect
recursive/recHanoi02_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .15  26 2.4  - wit inspect - wit inspect
recursive/recHanoi03_true-unreach-call_true-no-overflow_true-termination.c true 2 wit inspect .16  26 2.2  - wit inspect - wit inspect
recursive-simple/afterrec_2calls_false-unreach-call_true-termination.c true 2 wit inspect .087 26 .86 - wit inspect - wit inspect
recursive-simple/afterrec_2calls_true-unreach-call_true-termination.c true 2 wit inspect .074 26 .71 - wit inspect - wit inspect
recursive-simple/afterrec_false-unreach-call_true-termination.c true 2 wit inspect .098 26 .80 - wit inspect - wit inspect
recursive-simple/afterrec_true-unreach-call_true-termination.c true 2 wit inspect .086 26 .78 - wit inspect - wit inspect
recursive-simple/fibo_10_false-unreach-call_true-termination.c true 2 wit inspect .12  26 1.2  - wit inspect - wit inspect
recursive-simple/fibo_10_true-unreach-call_true-termination.c true 2 wit inspect .14  26 1.3  - wit inspect - wit inspect
recursive-simple/fibo_2calls_2_false-unreach-call_true-termination.c true 2 wit inspect .076 26 .98 - wit inspect - wit inspect
recursive-simple/fibo_2calls_2_true-unreach-call_true-termination.c true 2 wit inspect .098 26 .74 - wit inspect - wit inspect
recursive-simple/fibo_2calls_4_false-unreach-call_true-termination.c true 2 wit inspect .086 26 .76 - wit inspect - wit inspect
recursive-simple/fibo_2calls_4_true-unreach-call_true-termination.c true 2 wit inspect .087 26 .77 - wit inspect - wit inspect
recursive-simple/fibo_2calls_5_false-unreach-call_true-termination.c true 2 wit inspect .077 26 .77 - wit inspect - wit inspect
recursive-simple/fibo_2calls_5_true-unreach-call_true-termination.c true 2 wit inspect .072 26 .76 - wit inspect - wit inspect
recursive-simple/fibo_2calls_6_false-unreach-call_true-termination.c true 2 wit inspect .10  26 .77 - wit inspect - wit inspect
recursive-simple/fibo_2calls_6_true-unreach-call_true-termination.c true 2 wit inspect .078 26 .73 - wit inspect - wit inspect
recursive-simple/fibo_2calls_8_false-unreach-call_true-termination.c true 2 wit inspect .12  26 .75 - wit inspect - wit inspect
recursive-simple/fibo_2calls_8_true-unreach-call_true-termination.c true 2 wit inspect .081 26 .86 - wit inspect - wit inspect
recursive-simple/fibo_5_false-unreach-call_true-termination.c true 2 wit inspect .099 26 .80 - wit inspect - wit inspect
recursive-simple/fibo_5_true-unreach-call_true-termination.c true 2 wit inspect .074 26 .94 - wit inspect - wit inspect
recursive-simple/fibo_7_false-unreach-call_true-termination.c true 2 wit inspect .11  26 .84 - wit inspect - wit inspect
recursive-simple/fibo_7_true-unreach-call_true-termination.c true 2 wit inspect .11  26 .79 - wit inspect - wit inspect
recursive-simple/id2_b2_o3_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 8500    - wit inspect - wit inspect
recursive-simple/id2_b3_o2_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 10000    - wit inspect - wit inspect
recursive-simple/id2_b3_o5_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 8900    - wit inspect - wit inspect
recursive-simple/id2_b5_o10_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 9600    - wit inspect - wit inspect
recursive-simple/id2_i5_o5_false-unreach-call_true-termination.c true 2 wit inspect .11  26 .61 - wit inspect - wit inspect
recursive-simple/id2_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .074 26 .71 - wit inspect - wit inspect
recursive-simple/id_b2_o3_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 9500    - wit inspect - wit inspect
recursive-simple/id_b3_o2_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 12000    - wit inspect - wit inspect
recursive-simple/id_b3_o5_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 8800    - wit inspect - wit inspect
recursive-simple/id_b5_o10_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 8400    - wit inspect - wit inspect
recursive-simple/id_i10_o10_false-unreach-call_true-termination.c true 2 wit inspect .080 26 .81 - wit inspect - wit inspect
recursive-simple/id_i10_o10_true-unreach-call_true-termination.c true 2 wit inspect .093 26 .73 - wit inspect - wit inspect
recursive-simple/id_i15_o15_false-unreach-call_true-termination.c true 2 wit inspect .12  26 .69 - wit inspect - wit inspect
recursive-simple/id_i15_o15_true-unreach-call_true-termination.c true 2 wit inspect .081 26 1.1  - wit inspect - wit inspect
recursive-simple/id_i20_o20_false-unreach-call_true-termination.c true 2 wit inspect .098 26 .95 - wit inspect - wit inspect
recursive-simple/id_i20_o20_true-unreach-call_true-termination.c true 2 wit inspect .11  26 1.0  - wit inspect - wit inspect
recursive-simple/id_i25_o25_false-unreach-call_true-termination.c true 2 wit inspect .12  26 1.0  - wit inspect - wit inspect
recursive-simple/id_i25_o25_true-unreach-call_true-termination.c true 2 wit inspect .10  26 1.0  - wit inspect - wit inspect
recursive-simple/id_i5_o5_false-unreach-call_true-termination.c true 2 wit inspect .096 26 .91 - wit inspect - wit inspect
recursive-simple/id_i5_o5_true-unreach-call_true-termination.c true 2 wit inspect .11  26 .70 - wit inspect - wit inspect
recursive-simple/id_o1000_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 9100    - wit inspect - wit inspect
recursive-simple/id_o100_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 10000    - wit inspect - wit inspect
recursive-simple/id_o10_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 11000    - wit inspect - wit inspect
recursive-simple/id_o200_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1600 11000    - wit inspect - wit inspect
recursive-simple/id_o20_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 9100    - wit inspect - wit inspect
recursive-simple/id_o3_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1500 11000    - wit inspect - wit inspect
recursive-simple/sum_10x0_false-unreach-call_true-termination.c true 2 wit inspect .10  27 .90 - wit inspect - wit inspect
recursive-simple/sum_10x0_true-unreach-call_true-termination.c true 2 wit inspect .10  26 .82 - wit inspect - wit inspect
recursive-simple/sum_15x0_false-unreach-call_true-termination.c true 2 wit inspect .097 26 .99 - wit inspect - wit inspect
recursive-simple/sum_15x0_true-unreach-call_true-termination.c true 2 wit inspect .12  26 .75 - wit inspect - wit inspect
recursive-simple/sum_20x0_false-unreach-call_true-termination.c true 2 wit inspect .087 26 1.1  - wit inspect - wit inspect
recursive-simple/sum_20x0_true-unreach-call_true-termination.c true 2 wit inspect .087 26 .96 - wit inspect - wit inspect
recursive-simple/sum_25x0_false-unreach-call_true-termination.c true 2 wit inspect .13  26 1.0  - wit inspect - wit inspect
recursive-simple/sum_25x0_true-unreach-call_true-termination.c true 2 wit inspect .12  26 1.1  - wit inspect - wit inspect
recursive-simple/sum_2x3_false-unreach-call_true-termination.c true 2 wit inspect .071 26 .88 - wit inspect - wit inspect
recursive-simple/sum_2x3_true-unreach-call_true-termination.c true 2 wit inspect .085 26 .81 - wit inspect - wit inspect
recursive-simple/sum_non_eq_false-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 11000    - wit inspect - wit inspect
recursive-simple/sum_non_eq_true-unreach-call_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1200 8900    - wit inspect - wit inspect
systemc/bist_cell_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 8800    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .024 4.8
systemc/kundu1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2100 7800    error (invalid witness file) 0 wit inspect .70 45 error (2) 0 wit inspect .023 5.0
systemc/kundu2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 7800    error (invalid witness file) 0 wit inspect .65 45 error (2) 0 wit inspect .019 4.9
systemc/kundu_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 9900    error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .017 4.9
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 8000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.9
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 9500    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .028 4.9
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 8200    error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 4.8
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 12000    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .023 4.9
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .037 4.9
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1900 9700    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     1500 10000    error (invalid witness file) 0 wit inspect .49 42 error (2) 0 wit inspect .027 5.0
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 9400    error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.9
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9300    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .023 4.9
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3800 10000    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .047 4.8
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2000 8500    error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .048 4.9
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3300 8200    error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .017 4.8
systemc/token_ring.01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3100 9800    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 4.9
systemc/token_ring.01_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 8800    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 9100    error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .023 4.9
systemc/token_ring.02_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 10000    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .022 4.8
systemc/token_ring.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 7600    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.9
systemc/token_ring.03_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 7900    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 8600    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.04_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 6700    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 8000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .023 4.8
systemc/token_ring.05_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 10000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .034 5.0
systemc/token_ring.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 7200    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 4.9
systemc/token_ring.06_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 8600    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 6900    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 7300    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 7100    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .046 4.9
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 7000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 5.0
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 7400    error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .018 4.8
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 7000    error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 5.0
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 5600    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .048 4.9
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 6900    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .025 4.8
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2400 10000    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .025 4.8
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 6500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 7900    error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .018 4.9
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 6500    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.8
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7500    error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7100    error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .023 4.8
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 7500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7500    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .023 4.8
systemc/toy1_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2300 7800    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9
systemc/toy2_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 8000    error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .018 4.9
systemc/toy_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2200 11000    error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .044 4.8
systemc/transmitter.01_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 7900    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9
systemc/transmitter.02_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     3200 9400    error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.9
systemc/transmitter.03_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7600    error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .046 4.9
systemc/transmitter.04_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 9500    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.9
systemc/transmitter.05_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 7200    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.9
systemc/transmitter.06_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 7900    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .022 5.0
systemc/transmitter.07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 6500    error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .018 4.8
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2500 7000    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .047 4.9
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 7700    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .024 4.8
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2800 7400    error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 5300    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .023 4.8
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2900 6700    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2600 8200    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .025 4.9
systemc/transmitter.15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 7000    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .030 5.0
systemc/transmitter.16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900     2700 7100    error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .49  29 6.4  - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .48  29 6.7  - wit inspect - wit inspect
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .49  29 6.0  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .22  29 2.3  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .22  29 2.4  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .20  29 2.5  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .19  29 2.4  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .20  29 2.4  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .63  32 6.3  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .65  32 9.1  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .64  32 9.5  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .65  32 8.9  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .64  32 6.2  - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.3   48 30    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   50 29    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   50 34    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   50 30    - wit inspect - wit inspect
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   50 36    - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .14  28 1.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .16  28 1.7  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .17  28 1.5  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .23  28 2.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .25  28 2.7  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .22  28 2.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .38  29 4.1  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .38  29 4.3  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .36  29 4.1  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect .57  29 6.1  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect .54  29 7.4  - wit inspect - wit inspect
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect .55  29 6.2  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .14  28 1.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .13  28 1.7  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .20  28 2.3  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .20  28 2.8  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .30  28 4.0  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect .30  28 3.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect .45  29 6.6  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 2 wit inspect .47  29 5.7  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c true 2 wit inspect .69  29 8.2  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 2 wit inspect .69  29 8.1  - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c true 2 wit inspect .99  31 12    - wit inspect - wit inspect
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 2 wit inspect .99  30 11    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .24  29 2.4  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .23  29 2.9  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .23  29 2.7  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .23  29 2.8  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 2 wit inspect .22  29 2.7  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .70  32 8.9  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .71  33 10    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .75  33 8.2  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .74  33 9.3  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2 wit inspect .73  33 8.7  - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.5   51 31    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.8   51 32    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.7   51 33    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.7   51 38    - wit inspect - wit inspect
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 2 wit inspect 2.7   52 34    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c true 2 wit inspect 5.6   210 79    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c true 2 wit inspect 12     350 150    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c true 2 wit inspect 6.0   210 67    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c true 2 wit inspect 5.7   210 65    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c true 2 wit inspect 12     350 130    - wit inspect - wit inspect
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c true 2 wit inspect 20     540 220    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c true 2 wit inspect 4.0   120 53    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c true 2 wit inspect 6.3   150 72    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 2 wit inspect 4.2   130 53    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 2 wit inspect 4.1   120 49    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 2 wit inspect 6.4   150 87    - wit inspect - wit inspect
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c true 2 wit inspect 8.5   180 120    - wit inspect - wit inspect
seq-pthread/cs_lazy_false-unreach-call_true-termination.i true 2 wit inspect .14  29 1.6  - wit inspect - wit inspect
seq-pthread/cs_stateful_false-unreach-call_true-termination.i true 2 wit inspect .17  29 1.5  - wit inspect - wit inspect
reducercommutativity/avg05_true-unreach-call_true-termination.i true 2 wit inspect .097 26 1.0  - wit inspect - wit inspect
reducercommutativity/avg10_true-unreach-call_true-termination.i true 2 wit inspect .092 26 .97 - wit inspect - wit inspect
reducercommutativity/avg_true-unreach-call_true-termination.i timeout 0 wit inspect 900     2500 11000    - wit inspect - wit inspect
reducercommutativity/max05_true-unreach-call_true-termination.i true 2 wit inspect .083 27 .91 - wit inspect - wit inspect
reducercommutativity/max10_true-unreach-call_true-termination.i true 2 wit inspect .090 26 1.1  - wit inspect - wit inspect
reducercommutativity/max_true-unreach-call_true-termination.i timeout 0 wit inspect 900     420 12000    - wit inspect - wit inspect
reducercommutativity/rangesum05_false-unreach-call_true-termination.i true 2 wit inspect .12  27 .84 - wit inspect - wit inspect
reducercommutativity/rangesum10_false-unreach-call_true-termination.i true 2 wit inspect .088 27 .97 - wit inspect - wit inspect
reducercommutativity/rangesum_false-unreach-call_true-termination.i timeout 0 wit inspect 900     270 14000    - wit inspect - wit inspect
reducercommutativity/sep05_true-unreach-call_true-termination.i true 2 wit inspect .11  26 .75 - wit inspect - wit inspect
reducercommutativity/sep_true-unreach-call_true-termination.i timeout 0 wit inspect 900     350 12000    - wit inspect - wit inspect
reducercommutativity/sum05_true-unreach-call_true-termination.i true 2 wit inspect .11  27 .85 - wit inspect - wit inspect
reducercommutativity/sum10_true-unreach-call_true-termination.i true 2 wit inspect .12  26 .89 - wit inspect - wit inspect
reducercommutativity/sum_true-unreach-call_true-termination.i timeout 0 wit inspect 900     310 12000    - wit inspect - wit inspect
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     910 10000    - wit inspect - wit inspect
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     600 11000    - wit inspect - wit inspect
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     330 12000    - wit inspect - wit inspect
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1900 11000    - wit inspect - wit inspect
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     7500 9800    - wit inspect - wit inspect
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     380 14000    - wit inspect - wit inspect
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2000 11000    - wit inspect - wit inspect
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1200 10000    - wit inspect - wit inspect
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3400 8600    - wit inspect - wit inspect
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3000 9900    - wit inspect - wit inspect
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1400 8900    - wit inspect - wit inspect
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2400 10000    - wit inspect - wit inspect
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2100 11000    - wit inspect - wit inspect
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1600 11000    - wit inspect - wit inspect
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     6000 9600    - wit inspect - wit inspect
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1800 8600    - wit inspect - wit inspect
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1700 8600    - wit inspect - wit inspect
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     270 10000    - wit inspect - wit inspect
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     420 12000    - wit inspect - wit inspect
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     4100 9600    - wit inspect - wit inspect
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     10000 10000    - wit inspect - wit inspect
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3800 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3400 12000    - wit inspect - wit inspect
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1300 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     850 12000    - wit inspect - wit inspect
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3700 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2400 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     6600 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1900 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2300 9200    - wit inspect - wit inspect
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2400 9900    - wit inspect - wit inspect
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1700 10000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     830 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2000 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2200 11000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2400 10000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     6400 10000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2000 10000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     620 12000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     490 12000    - wit inspect - wit inspect
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     690 12000    - wit inspect - wit inspect
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1900 9100    - wit inspect - wit inspect
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     3200 9200    - wit inspect - wit inspect
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1500 11000    - wit inspect - wit inspect
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     1300 13000    - wit inspect - wit inspect
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     170 11000    - wit inspect - wit inspect
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     830 12000    - wit inspect - wit inspect
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     840 11000    - wit inspect - wit inspect
memsafety/test-0019_false-valid-memtrack_true-termination.i true 2 wit inspect .11  27 .86 - wit inspect - wit inspect
memsafety/test-0019_true-valid-memsafety_true-termination.i true 2 wit inspect .078 27 .81 - wit inspect - wit inspect
memsafety/test-0158_false-valid-memtrack_true-termination.i true 2 wit inspect .11  27 .78 - wit inspect - wit inspect
memsafety/test-0158_true-valid-memsafety_true-termination.i true 2 wit inspect .11  27 .73 - wit inspect - wit inspect
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 2 wit inspect .11  27 .99 - wit inspect - wit inspect
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     2000 12000    error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .018 4.8
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     3100 12000    error (invalid witness file) 0 wit inspect .57 45 error (2) 0 wit inspect .022 5.0
memsafety/test-0218_true-valid-memsafety_false-termination.i out of memory 0 wit inspect 830     15000 8300    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .049 4.8
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     2600 11000    error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     1700 9200    error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 4.9
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     2700 9300    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 0 wit inspect 900     1900 10000    error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 2 wit inspect .31  26 3.6  - wit inspect - wit inspect
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 2 wit inspect .29  26 3.5  - wit inspect - wit inspect
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 2 wit inspect .67  26 7.5  - wit inspect - wit inspect
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 2 wit inspect .084 26 .79 - wit inspect - wit inspect
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 2 wit inspect .84  30 9.2  - wit inspect - wit inspect
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2 wit inspect 9.0   190 130    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 2 wit inspect .82  30 11    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 2 wit inspect 9.1   190 120    - wit inspect - wit inspect
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 2 wit inspect 9.0   190 130    - wit inspect - wit inspect
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 2 wit inspect 9.0   190 130    - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i true 2 wit inspect .092 28 1.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 2 wit inspect .092 28 1.1  - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i true 2 wit inspect .096 28 .91 - wit inspect - wit inspect
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 2 wit inspect .091 28 1.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i true 2 wit inspect .095 28 .89 - wit inspect - wit inspect
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i true 2 wit inspect .11  28 .98 - wit inspect - wit inspect
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 2 wit inspect .94  29 11    - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i true 2 wit inspect .12  28 .83 - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i true 2 wit inspect .084 28 .92 - wit inspect - wit inspect
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 2 wit inspect .10  28 1.1  - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 2 wit inspect .21  33 2.1  - wit inspect - wit inspect
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 0 wit inspect 900     2100 8900    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i true 2 wit inspect 1.1   34 15    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i true 2 wit inspect 1.1   34 13    - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i true 2 wit inspect .15  27 1.6  - wit inspect - wit inspect
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 2 wit inspect 1.1   34 12    - wit inspect - wit inspect
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 2 wit inspect .086 28 1.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i true 2 wit inspect .11  28 .88 - wit inspect - wit inspect
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 2 wit inspect .089 28 .88 - wit inspect - wit inspect
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i true 2 wit inspect .089 28 .97 - wit inspect - wit inspect
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 2 wit inspect .088 28 .99 - wit inspect - wit inspect
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i true 2 wit inspect .097 28 .85 - wit inspect - wit inspect
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 2 wit inspect .12  28 .88 - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i true 2 wit inspect .20  28 3.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 2 wit inspect .19  28 2.3  - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i true 2 wit inspect .18  28 2.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 2 wit inspect .24  28 2.3  - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 2 wit inspect .25  28 2.4  - wit inspect - wit inspect
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i true 2 wit inspect .23  28 2.7  - wit inspect - wit inspect
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 2 wit inspect .12  28 .87 - wit inspect - wit inspect
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i true 2 wit inspect .12  28 .80 - wit inspect - wit inspect
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 2 wit inspect .083 28 .91 - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i true 2 wit inspect .086 28 .92 - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i true 2 wit inspect .10  28 .81 - wit inspect - wit inspect
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 2 wit inspect .085 28 .99 - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i true 2 wit inspect .11  28 1.1  - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i true 2 wit inspect .086 28 .89 - wit inspect - wit inspect
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 2 wit inspect .11  28 .94 - wit inspect - wit inspect
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i true 2 wit inspect .11  28 .97 - wit inspect - wit inspect
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 2 wit inspect .096 28 .99 - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i true 2 wit inspect .090 28 1.0  - wit inspect - wit inspect
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 2 wit inspect .087 28 .90 - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i true 2 wit inspect .093 28 .85 - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i true 2 wit inspect .11  28 .92 - wit inspect - wit inspect
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 2 wit inspect .087 28 .97 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 2 wit inspect .072 26 .89 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 2 wit inspect .11  26 .73 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 2 wit inspect .11  26 .85 - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 2 wit inspect .11  26 1.3  - wit inspect - wit inspect
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 2 wit inspect .15  27 1.4  - wit inspect - wit inspect
pthread-atomic/gcd_true-unreach-call_true-termination.i timeout 0 wit inspect 900     98 10000    - wit inspect - wit inspect
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
total 1499 1346 740000 2900000 8300000 663 0 340 28000 663 0 17 3200
    correct results 673 1346 2200 35000 26000 0 0
        correct true 673 1346 2200 35000 26000 0 0
        correct false 0 0 0
    incorrect results 0 0 0
        incorrect true 0 0 0
        incorrect false 0 0 0
score (1500 tasks, max score: 2337) 1346 0 0
Run set esbmc-incr.sv-comp18.Termination-Other cpa-seq-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.Termination-Other uautomizer-validate-violation-witnesses-esbmc-incr.sv-comp18-violation-witness.Termination-Other