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