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