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