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