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