Tool HipTNT+
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System 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-01-13 10:46:53 CET
Run set sv-comp17.Termination-Other
../../sv-benchmarks/c/ verifier status score witness inspect witness cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu wall energy mem validator uautomizer violation t<90s status cpu wall energy mem validator cpachecker correctness t<900s status cpu wall energy mem validator uautomizer correctness t<900s status cpu wall energy mem
pthread-atomic/gcd_true-unreach-call_true-termination.i unknown 0 wit inspect .054 .054 .45 13 .0041 0      - - - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .072 .072 .84 13 .074  0      - - - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .092 .092 .85 14 .074  0      - - - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .089 .089 .51 13 .037  0      - - - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .093 .092 .50 13 .037  0      - - - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .062 .063 .70 14 .037  0      - - - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .097 .098 .54 13 .057  0      - - - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .072 .072 .54 13 .057  0      - - - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .082 .082 .44 14 .025  0      - - - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .058 .057 .66 13 .037  0      - - - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 0 wit inspect .058 .058 .72 14 .037  0      - - - -
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c unknown 0 wit inspect .075 .076 .37 14 .020  .020  - - - -
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c unknown 0 wit inspect .053 .053 .47 14 .016  0      - - - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .066 .067 .45 13 .045  .037  - - - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .56 13 .045  0      - - - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .078 .078 .39 13 .012  0      - - - -
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .081 .081 .40 13 .012  0      - - - -
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .082 .082 .34 13 .012  0      - - - -
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .083 .084 .31 13 .012  0      - - - -
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .083 .083 .32 13 .012  0      - - - -
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .060 .060 .41 14 .012  0      - - - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .079 .081 .39 13 .012  0      - - - -
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .055 .057 .44 14 .012  0      - - - -
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .078 .079 .41 13 .012  0      - - - -
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .062 .063 .33 13 .012  0      - - - -
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .059 .059 .34 14 .012  0      - - - -
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .076 .077 .39 14 .012  0      - - - -
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 0 wit inspect .053 .055 .47 14 .012  0      - - - -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c unknown 0 wit inspect .085 .085 .44 13 .045  0      - - - -
loops/for_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect .12  .12  1.4  41 .0041 0      - - - -
loops/for_infinite_loop_2_true-unreach-call_false-termination.i unknown 0 wit inspect .12  .12  1.5  41 .0041 .016  - - - -
loops/n.c11_true-unreach-call_false-termination.i unknown 0 wit inspect .093 .092 .49 35 .0041 0      - - - -
loops/nec11_false-unreach-call_false-termination.i unknown 0 wit inspect .069 .069 .59 35 .0041 0      - - - -
loops/sum03_true-unreach-call_false-termination.i unknown 0 wit inspect .066 .066 .69 35 .0041 0      - - - -
loops/trex04_true-unreach-call_false-termination.i unknown 0 wit inspect .070 .069 .76 34 .0041 0      - - - -
loops/while_infinite_loop_1_true-unreach-call_false-termination.i unknown 0 wit inspect .15  .15  1.1  41 .0041 0      - - - -
loops/while_infinite_loop_2_true-unreach-call_false-termination.i unknown 0 wit inspect .14  .14  1.4  41 .0041 0      - - - -
loops/while_infinite_loop_3_true-unreach-call_false-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loops/array_false-unreach-call_true-termination.i true 2 wit inspect .36  .36  3.9  46 0      0      - - - -
loops/array_true-unreach-call_true-termination.i true 2 wit inspect .39  .39  3.9  46 0      0      - - - -
loops/count_up_down_false-unreach-call_true-termination.i unknown 0 wit inspect .092 .091 .51 34 .0041 0      - - - -
loops/count_up_down_true-unreach-call_true-termination.i unknown 0 wit inspect .091 .091 .53 34 .0041 0      - - - -
loops/eureka_05_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loops/for_bounded_loop1_false-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.1  41 .0041 0      - - - -
loops/insertion_sort_false-unreach-call_true-termination.i unknown 0 wit inspect .095 .096 .51 34 .0041 0      - - - -
loops/insertion_sort_true-unreach-call_true-termination.i unknown 0 wit inspect .095 .094 .65 35 .0041 0      - - - -
loops/invert_string_false-unreach-call_true-termination.i unknown 0 wit inspect .074 .074 .59 34 .0041 0      - - - -
loops/invert_string_true-unreach-call_true-termination.i unknown 0 wit inspect .097 .097 .60 35 .0041 0      - - - -
loops/matrix_false-unreach-call_true-termination.i unknown 0 wit inspect .037 .037 .43 10 .0041 0      - - - -
loops/matrix_true-unreach-call_true-termination.i unknown 0 wit inspect .068 .068 .26 12 .0041 0      - - - -
loops/n.c40_true-unreach-call_true-termination.i unknown 0 wit inspect .12  .12  1.6  41 .0041 0      - - - -
loops/nec20_false-unreach-call_true-termination.i unknown 0 wit inspect .085 .084 .49 35 .0041 0      - - - -
loops/nec40_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.5  41 .0041 0      - - - -
loops/string_false-unreach-call_true-termination.i unknown 0 wit inspect .076 .076 .19 13 .0041 0      - - - -
loops/string_true-unreach-call_true-termination.i unknown 0 wit inspect .074 .074 .68 35 .0041 0      - - - -
loops/sum01_bug02_false-unreach-call_true-termination.i unknown 0 wit inspect .080 .081 .66 34 .0041 0      - - - -
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i unknown 0 wit inspect .082 .082 .70 34 .0041 0      - - - -
loops/sum01_false-unreach-call_true-termination.i unknown 0 wit inspect .095 .096 .49 34 .0041 0      - - - -
loops/sum01_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loops/sum03_false-unreach-call_true-termination.i unknown 0 wit inspect .092 .091 .58 35 .0041 0      - - - -
loops/sum04_false-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loops/sum04_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loops/terminator_01_false-unreach-call_true-termination.i unknown 0 wit inspect .12  .12  1.2  41 .0041 0      - - - -
loops/terminator_02_false-unreach-call_true-termination.i unknown 0 wit inspect .066 .066 .79 35 .0041 0      - - - -
loops/terminator_02_true-unreach-call_true-termination.i unknown 0 wit inspect .097 .097 .60 34 .0041 0      - - - -
loops/terminator_03_false-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.5  41 .0041 0      - - - -
loops/terminator_03_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.6  41 .0041 0      - - - -
loops/trex01_false-unreach-call_true-termination.i unknown 0 wit inspect .039 .039 .32 13 .0041 0      - - - -
loops/trex01_true-unreach-call_true-termination.i unknown 0 wit inspect .072 .072 .29 13 .0041 0      - - - -
loops/trex02_false-unreach-call_true-termination.i unknown 0 wit inspect .076 .076 .70 35 .0041 0      - - - -
loops/trex02_true-unreach-call_true-termination.i unknown 0 wit inspect .064 .065 .70 35 .0041 0      - - - -
loops/trex03_false-unreach-call_true-termination.i unknown 0 wit inspect .094 .094 .48 35 .0041 0      - - - -
loops/trex03_true-unreach-call_true-termination.i unknown 0 wit inspect .094 .094 .58 35 .0041 0      - - - -
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i unknown 0 wit inspect .16  .16  1.4  41 .0041 0      - - - -
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i unknown 0 wit inspect .075 .074 .71 35 .0041 0      - - - -
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i unknown 0 wit inspect .065 .065 .76 35 .0041 0      - - - -
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i unknown 0 wit inspect .13  .13  1.3  41 .0041 0      - - - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i unknown 0 wit inspect .097 .096 .56 35 .0041 0      - - - -
loops/while_infinite_loop_4_false-unreach-call_true-termination.i unknown 0 wit inspect .13  .13  1.5  41 .0041 0      - - - -
loop-acceleration/array_false-unreach-call1_true-termination.i unknown 0 wit inspect .13  .13  1.3  40 .0041 0      - - - -
loop-acceleration/array_false-unreach-call2_true-termination.i unknown 0 wit inspect .12  .12  1.2  41 .0041 0      - - - -
loop-acceleration/array_false-unreach-call3_true-termination.i unknown 0 wit inspect .14  .14  1.5  41 .0041 0      - - - -
loop-acceleration/array_true-unreach-call1_true-termination.i unknown 0 wit inspect .15  .15  1.2  40 .0041 0      - - - -
loop-acceleration/array_true-unreach-call2_true-termination.i unknown 0 wit inspect .15  .15  1.1  41 .0041 0      - - - -
loop-acceleration/array_true-unreach-call3_true-termination.i unknown 0 wit inspect .15  .15  1.1  41 .0041 0      - - - -
loop-acceleration/array_true-unreach-call4_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loop-acceleration/diamond_true-unreach-call1_true-termination.i unknown 0 wit inspect .082 .081 .62 35 .0041 0      - - - -
loop-acceleration/functions_false-unreach-call1_true-termination.i unknown 0 wit inspect .14  .14  1.4  41 .0041 0      - - - -
loop-acceleration/functions_true-unreach-call1_true-termination.i unknown 0 wit inspect .12  .12  1.6  41 .0041 0      - - - -
loop-acceleration/multivar_false-unreach-call1_true-termination.i unknown 0 wit inspect .067 .066 .60 35 .0041 0      - - - -
loop-acceleration/multivar_true-unreach-call1_true-termination.i unknown 0 wit inspect .070 .069 .52 34 .0041 0      - - - -
loop-acceleration/simple_false-unreach-call2_true-termination.i unknown 0 wit inspect .13  .13  1.1  41 .0041 0      - - - -
loop-acceleration/simple_false-unreach-call3_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-acceleration/simple_true-unreach-call2_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-acceleration/simple_true-unreach-call3_true-termination.i unknown 0 wit inspect .067 .067 .60 35 .0041 0      - - - -
loop-acceleration/underapprox_false-unreach-call1_true-termination.i unknown 0 wit inspect .13  .13  1.3  41 .0041 0      - - - -
loop-acceleration/underapprox_false-unreach-call2_true-termination.i unknown 0 wit inspect .14  .14  1.6  41 .0041 0      - - - -
loop-acceleration/underapprox_true-unreach-call1_true-termination.i unknown 0 wit inspect .14  .14  1.3  41 .0041 0      - - - -
loop-acceleration/underapprox_true-unreach-call2_true-termination.i unknown 0 wit inspect .12  .12  1.4  41 .0041 0      - - - -
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i unknown 0 wit inspect .072 .072 .26 12 .0041 0      - - - -
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i unknown 0 wit inspect .063 .063 .29 12 .0041 0      - - - -
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i unknown 0 wit inspect .048 .050 .28 13 .0041 0      - - - -
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i unknown 0 wit inspect .046 .045 .33 13 .0041 0      - - - -
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i unknown 0 wit inspect .066 .065 .22 12 .0041 0      - - - -
loop-invgen/down_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i unknown 0 wit inspect .12  .12  1.4  41 .0041 0      - - - -
loop-invgen/half_2_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.4  41 .0041 0      - - - -
loop-invgen/heapsort_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.4  41 .0041 0      - - - -
loop-invgen/id_build_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-invgen/id_trans_false-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.3  41 .0041 0      - - - -
loop-invgen/large_const_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.5  40 .0041 0      - - - -
loop-invgen/nest-if3_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loop-invgen/nested6_true-unreach-call_true-termination.i unknown 0 wit inspect .068 .068 .25 13 .0041 0      - - - -
loop-invgen/nested9_true-unreach-call_true-termination.i unknown 0 wit inspect .041 .042 .39 11 .0041 0      - - - -
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i unknown 0 wit inspect .043 .042 .35 12 .0041 0      - - - -
loop-invgen/seq_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .14  1.2  40 .0041 0      - - - -
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i unknown 0 wit inspect .043 .043 .31 13 .0041 0      - - - -
loop-invgen/up_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.4  41 .0041 0      - - - -
loop-lit/afnp2014_true-unreach-call_true-termination.c.i unknown 0 wit inspect .13  .13  1.5  41 .0041 0      - - - -
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i unknown 0 wit inspect .13  .13  1.2  41 .0041 0      - - - -
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i unknown 0 wit inspect .15  .15  1.1  41 .0041 0      - - - -
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i unknown 0 wit inspect .12  .12  1.2  40 .0041 0      - - - -
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i unknown 0 wit inspect .14  .14  1.3  41 .0041 .016  - - - -
loop-lit/css2003_true-unreach-call_true-termination.c.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-lit/gj2007_true-unreach-call_true-termination.c.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-lit/gj2007b_true-unreach-call_true-termination.c.i unknown 0 wit inspect .14  .14  1.6  41 .0041 0      - - - -
loop-lit/gr2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect .12  .13  1.3  41 .0041 0      - - - -
loop-lit/gsv2008_true-unreach-call_true-termination.c.i unknown 0 wit inspect .15  .15  1.3  41 .0041 0      - - - -
loop-lit/hhk2008_true-unreach-call_true-termination.c.i unknown 0 wit inspect .12  .12  1.1  40 .0041 0      - - - -
loop-lit/jm2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect .12  .12  1.3  41 .0041 0      - - - -
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i unknown 0 wit inspect .14  .14  1.3  40 .0041 .016  - - - -
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i unknown 0 wit inspect .073 .073 .61 34 .0041 0      - - - -
loop-lit/gcnr2008_false-unreach-call_false-termination.i unknown 0 wit inspect .14  .14  1.7  41 .0041 0      - - - -
loop-new/count_by_1_true-unreach-call_true-termination.i unknown 0 wit inspect .13  .13  1.3  41 .0041 .016  - - - -
loop-new/count_by_1_variant_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  40 .0041 0      - - - -
loop-new/count_by_2_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loop-new/count_by_k_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.4  41 .0041 0      - - - -
loop-new/count_by_nondet_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.3  41 .0041 .016  - - - -
loop-new/gauss_sum_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
loop-new/half_true-unreach-call_true-termination.i unknown 0 wit inspect .14  .14  1.5  41 .0041 0      - - - -
loop-new/nested_true-unreach-call_true-termination.i unknown 0 wit inspect .15  .15  1.2  41 .0041 0      - - - -
product-lines/elevator_spec13_productSimulator_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .092 .092 1.0  14 .086  0      - - - -
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .075 .076 1.0  14 .078  0      - - - -
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .085 .085 .78 14 .078  0      - - - -
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .11  .86 14 .078  0      - - - -
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .77 14 .078  0      - - - -
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .85 14 .078  0      - - - -
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .75 14 .078  0      - - - -
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .85 14 .078  0      - - - -
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .077 .077 .99 14 .078  0      - - - -
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .083 .81 14 .078  0      - - - -
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .086 .087 .72 14 .078  0      - - - -
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .095 .095 .92 14 .086  0      - - - -
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .83 14 .078  0      - - - -
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .77 14 .078  0      - - - -
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .078  0      - - - -
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .078 1.0  14 .078  0      - - - -
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .89 14 .078  0      - - - -
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .083 .85 14 .078  0      - - - -
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .11  .78 14 .082  .037  - - - -
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .85 14 .082  0      - - - -
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .70 14 .082  0      - - - -
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .77 14 .082  0      - - - -
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .080 .97 14 .082  0      - - - -
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .79 14 .082  0      - - - -
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .078  0      - - - -
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .80 14 .078  0      - - - -
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .077 .88 14 .082  0      - - - -
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .65 14 .082  0      - - - -
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .082  0      - - - -
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .76 14 .082  .037  - - - -
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .079 .88 14 .082  0      - - - -
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .085 .084 .75 14 .082  0      - - - -
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .085 .82 14 .086  0      - - - -
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .081 .76 14 .078  0      - - - -
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .087 .79 14 .078  .037  - - - -
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .88 14 .078  0      - - - -
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .084 .81 14 .078  0      - - - -
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .085 .085 .73 14 .078  .037  - - - -
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .083 .78 14 .078  0      - - - -
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .082 .70 14 .082  0      - - - -
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .084 .83 14 .082  0      - - - -
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .78 14 .078  0      - - - -
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .79 14 .082  0      - - - -
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .79 14 .082  0      - - - -
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .79 14 .082  0      - - - -
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .74 14 .078  0      - - - -
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .84 14 .078  0      - - - -
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .077 .96 14 .082  0      - - - -
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .70 14 .082  0      - - - -
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .077 1.1  14 .082  .037  - - - -
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .69 14 .082  0      - - - -
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .76 14 .082  0      - - - -
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .083 .85 14 .082  0      - - - -
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .089 .089 1.1  14 .086  0      - - - -
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .086 .086 .75 14 .078  0      - - - -
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .78 14 .078  .020  - - - -
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .078  0      - - - -
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .89 14 .082  0      - - - -
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .93 14 .078  0      - - - -
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .71 14 .078  0      - - - -
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .79 14 .082  0      - - - -
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .69 14 .082  0      - - - -
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .090 .090 .89 14 .082  0      - - - -
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .70 14 .082  0      - - - -
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .92 14 .082  0      - - - -
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .76 14 .082  0      - - - -
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .70 14 .078  0      - - - -
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .72 14 .078  0      - - - -
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .76 14 .082  0      - - - -
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .70 14 .082  0      - - - -
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .78 14 .082  0      - - - -
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .087 .088 .76 14 .082  0      - - - -
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .94 14 .082  0      - - - -
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .70 14 .082  0      - - - -
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .080 1.1  14 .086  0      - - - -
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .76 14 .078  0      - - - -
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .11  .76 14 .078  0      - - - -
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .089 .090 .73 14 .078  0      - - - -
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .083 .83 14 .078  0      - - - -
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .095 .095 .89 14 .082  0      - - - -
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .082  0      - - - -
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .083 .88 14 .078  0      - - - -
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .077 1.1  14 .082  0      - - - -
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .088 .088 .71 14 .082  0      - - - -
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .081 .93 14 .082  0      - - - -
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .82 14 .086  0      - - - -
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .074 .074 .82 14 .066  0      - - - -
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 13 .066  0      - - - -
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .078 .80 13 .066  0      - - - -
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .076 .86 14 .066  0      - - - -
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .76 14 .070  0      - - - -
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .71 14 .070  .020  - - - -
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .77 14 .070  0      - - - -
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .078 .84 14 .070  0      - - - -
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .088 .088 .89 14 .070  0      - - - -
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .79 14 .070  0      - - - -
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .091 .091 .87 14 .070  0      - - - -
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .74 14 .070  0      - - - -
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .086 .086 .99 14 .070  0      - - - -
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .083 .76 14 .074  0      - - - -
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .68 14 .074  0      - - - -
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .083 .85 14 .074  0      - - - -
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .68 14 .066  0      - - - -
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .075 .075 .85 14 .070  .020  - - - -
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .67 14 .070  0      - - - -
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .70 14 .070  0      - - - -
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .084 .94 14 .082  .037  - - - -
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .073 .073 .87 14 .066  0      - - - -
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .68 14 .066  0      - - - -
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .076 .88 14 .066  0      - - - -
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .098 .098 .73 14 .066  0      - - - -
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .082 .65 14 .070  0      - - - -
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .72 13 .070  0      - - - -
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .93 13 .070  0      - - - -
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .070  0      - - - -
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .71 14 .070  0      - - - -
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .070  0      - - - -
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .090 .090 .61 14 .070  0      - - - -
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .077 .95 14 .070  .037  - - - -
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .091 .091 .86 14 .070  0      - - - -
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .63 14 .074  0      - - - -
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .75 14 .074  0      - - - -
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .72 14 .074  0      - - - -
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .63 14 .066  0      - - - -
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .79 14 .070  0      - - - -
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .79 14 .070  0      - - - -
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .078 .95 14 .070  0      - - - -
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .094 .095 1.0  14 .082  0      - - - -
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .69 14 .070  0      - - - -
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .079 .76 14 .070  0      - - - -
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .69 14 .070  0      - - - -
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .077 .078 .78 14 .070  0      - - - -
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .086 .086 .90 14 .070  0      - - - -
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .74 14 .070  0      - - - -
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .63 14 .070  0      - - - -
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .76 14 .070  0      - - - -
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .73 14 .070  0      - - - -
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .77 14 .074  0      - - - -
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .085 .085 .68 14 .070  0      - - - -
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .089 .088 .62 14 .070  0      - - - -
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .74 14 .074  0      - - - -
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .75 14 .074  0      - - - -
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .077 .077 .86 14 .074  0      - - - -
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .077 .077 .90 14 .074  0      - - - -
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .98 14 .082  0      - - - -
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .84 14 .070  0      - - - -
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .087 .088 .74 14 .070  .037  - - - -
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .077 .86 14 .070  0      - - - -
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .68 14 .070  0      - - - -
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .085 .084 .71 14 .070  0      - - - -
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .070  0      - - - -
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .77 14 .070  0      - - - -
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .77 14 .070  0      - - - -
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .63 14 .070  0      - - - -
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .090 .090 .97 14 .074  0      - - - -
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .084 .79 14 .070  0      - - - -
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .081 .77 14 .070  0      - - - -
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .074  0      - - - -
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .65 14 .074  0      - - - -
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .67 14 .074  0      - - - -
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .78 14 .074  0      - - - -
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 1.0  14 .082  0      - - - -
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .082 .081 .81 14 .070  0      - - - -
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .070  0      - - - -
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .084 .084 .75 14 .070  0      - - - -
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .75 14 .070  0      - - - -
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .079 .079 .88 14 .070  0      - - - -
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .099 .099 .77 14 .070  .037  - - - -
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .083 .083 .77 14 .074  0      - - - -
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .089 .088 .78 14 .074  0      - - - -
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .71 14 .070  0      - - - -
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .087 .088 .72 14 .074  0      - - - -
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .090 .090 .70 14 .074  .020  - - - -
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .091 .091 .72 14 .074  0      - - - -
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .078 .078 .90 14 .074  0      - - - -
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .098 .097 .97 14 .074  0      - - - -
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .74 14 .074  0      - - - -
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .77 14 .074  0      - - - -
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .71 14 .082  0      - - - -
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .70 13 .070  0      - - - -
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .076 .88 14 .070  0      - - - -
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .77 14 .070  0      - - - -
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .089 .090 .81 14 .070  0      - - - -
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .070  0      - - - -
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .72 14 .070  0      - - - -
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .076 .076 .92 14 .070  0      - - - -
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .83 14 .070  0      - - - -
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .081 .82 14 .070  0      - - - -
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .80 14 .074  0      - - - -
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .82 14 .070  .037  - - - -
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .077 .078 .90 14 .070  0      - - - -
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .74 14 .074  0      - - - -
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .90 14 .074  0      - - - -
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .73 14 .074  0      - - - -
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .74 14 .074  0      - - - -
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .81 14 .082  0      - - - -
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .088 .088 .93 14 .070  0      - - - -
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .081 .73 14 .070  0      - - - -
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .099 .10  .75 14 .070  0      - - - -
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .080 .080 .70 14 .070  0      - - - -
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .11  .11  .76 14 .070  0      - - - -
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .10  .10  .75 14 .070  0      - - - -
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect .081 .081 .80 14 .070  0      - - - -
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c unknown 0 wit