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