Tool AProVE
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-57-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-10 17:21:21 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 error (1) 0 wit inspect 7.2 2.3  51 680 .033 0      - - - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3700 0     0      - - - -
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    12000 3700 0     0      - - - -
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3700 0     0      - - - -
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3500 0     0      - - - -
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3700 0     0      - - - -
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3500 0     0      - - - -
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    13000 3700 0     0      - - - -
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3600 0     1.1    - - - -
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    13000 3800 0     0      - - - -
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 0 wit inspect 900   860    14000 3800 0     .41   - - - -
ssh-simplified/s3_srvr_1a_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 49   13    330 3800 .35  0      - - - -
ssh-simplified/s3_srvr_1b_true-unreach-call_false-termination.cil.c false(termination) 1 wit inspect 12   2.9  82 880 .16  0      - - - -
ssh-simplified/s3_clnt_2_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3700 0     0      - - - -
ssh-simplified/s3_clnt_2_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3500 0     0      - - - -
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    11000 3900 0     0      - - - -
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    10000 3900 0     0      - - - -
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    13000 3600 0     0      - - - -
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    9500 3800 0     0      - - - -
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   870    11000 3000 0     0      - - - -
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    10000 3800 0     0      - - - -
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    11000 3600 0     0      - - - -
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   860    11000 3600 0     0      - - - -
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 140   28    930 5600 .70  0      - - - -
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 240   67    1500 5900 1.4   1.1    - - - -
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c false(termination) 1 wit inspect 710   210    5000 9600 5.6   0      - - - -
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 910   560    9100 8700 5.2   0      - - - -
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 0 wit inspect 900   850    11000 2600 0     0      - - - -
ssh-simplified/s3_clnt_3.cil_true-unreach-call_true-termination.c timeout 0 wit inspect 900   860    11000 3800 0     0      - - - -
loops/for_infinite_loop_1_true-unreach-call_false-termination.i false(termination) 1 wit inspect 5.5 1.6  40 450 .045 0      - - - -
loops/for_infinite_loop_2_true-unreach-call_false-termination.i false(termination) 1 wit inspect 5.9 1.7  44 380 .045 0      - - - -
loops/n.c11_true-unreach-call_false-termination.i error (1) 0 wit inspect 5.2 1.6  40 390 .033 0      - - - -
loops/nec11_false-unreach-call_false-termination.i error (1) 0 wit inspect 10   2.8  82 620 .25  0      - - - -
loops/sum03_true-unreach-call_false-termination.i false(termination) 1 wit inspect 7.2 2.3  54 520 .049 51      - - - -
loops/trex04_true-unreach-call_false-termination.i false(termination) 1 wit inspect 24   5.6  160 1900 .12  0      - - - -
loops/while_infinite_loop_1_true-unreach-call_false-termination.i false(termination) 1 wit inspect 2.7 .99 25 240 .033 0      - - - -
loops/while_infinite_loop_2_true-unreach-call_false-termination.i false(termination) 1 wit inspect 2.9 1.0  25 230 .033 .025  - - - -
loops/while_infinite_loop_3_true-unreach-call_false-termination.i false(termination) 1 wit inspect 2.8 1.0  24 240 .033 0      - - - -
loops/array_false-unreach-call_true-termination.i true 2 wit inspect 3.4 1.1  26 260 .033 .13   - - - -
loops/array_true-unreach-call_true-termination.i true 2 wit inspect 3.7 1.2  28 270 .033 .13   - - - -
loops/count_up_down_false-unreach-call_true-termination.i true 2 wit inspect 6.3 1.7  46 490 .074 0      - - - -
loops/count_up_down_true-unreach-call_true-termination.i true 2 wit inspect 6.3 1.7  50 490 .066 0      - - - -
loops/eureka_05_true-unreach-call_true-termination.i timeout 0 wit inspect 900   230    5900 11000 3.3   0      - - - -
loops/for_bounded_loop1_false-unreach-call_true-termination.i true 2 wit inspect 12   3.1  82 750 .066 0      - - - -
loops/insertion_sort_false-unreach-call_true-termination.i error (1) 0 wit inspect 9.6 2.6  83 720 .033 .13   - - - -
loops/insertion_sort_true-unreach-call_true-termination.i error (1) 0 wit inspect 9.3 2.6  69 690 .033 .13   - - - -
loops/invert_string_false-unreach-call_true-termination.i timeout 0 wit inspect 900   870    13000 3500 0     .13   - - - -
loops/invert_string_true-unreach-call_true-termination.i error (1) 0 wit inspect 28   9.0  210 3600 .033 .13   - - - -
loops/matrix_false-unreach-call_true-termination.i error (1) 0 wit inspect 3.2 1.1  28 260 .033 .13   - - - -
loops/matrix_true-unreach-call_true-termination.i true 2 wit inspect 3.7 1.2  31 340 .033 .13   - - - -
loops/n.c40_true-unreach-call_true-termination.i error (1) 0 wit inspect 55   18    470 3700 .18  0      - - - -
loops/nec20_false-unreach-call_true-termination.i true 2 wit inspect 16   4.2  130 1300 .070 0      - - - -
loops/nec40_true-unreach-call_true-termination.i error (1) 0 wit inspect 43   19    370 2500 .17  0      - - - -
loops/string_false-unreach-call_true-termination.i error (1) 0 wit inspect 19   5.5  130 1900 .033 0      - - - -
loops/string_true-unreach-call_true-termination.i timeout 0 wit inspect 900   610    9200 8900 .71  0      - - - -
loops/sum01_bug02_false-unreach-call_true-termination.i true 2 wit inspect 15   3.7  110 1300 .12  0      - - - -
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i true 2 wit inspect 9.8 2.5  67 770 .13  14      - - - -
loops/sum01_false-unreach-call_true-termination.i true 2 wit inspect 9.9 2.5  69 770 .11  0      - - - -
loops/sum01_true-unreach-call_true-termination.i true 2 wit inspect 7.5 2.0  60 520 .066 0      - - - -
loops/sum03_false-unreach-call_true-termination.i true 2 wit inspect 11   2.9  81 770 .082 0      - - - -
loops/sum04_false-unreach-call_true-termination.i true 2 wit inspect 7.9 1.9  53 500 .13  0      - - - -
loops/sum04_true-unreach-call_true-termination.i true 2 wit inspect 4.8 1.4  39 430 .078 0      - - - -
loops/terminator_01_false-unreach-call_true-termination.i true 2 wit inspect 4.6 1.3  35 340 .082 0      - - - -
loops/terminator_02_false-unreach-call_true-termination.i true 2 wit inspect 22   4.3  150 1400 .18  0      - - - -
loops/terminator_02_true-unreach-call_true-termination.i true 2 wit inspect 3.2 1.1  24 240 .033 0      - - - -
loops/terminator_03_false-unreach-call_true-termination.i true 2 wit inspect 5.2 1.4  37 360 .13  14      - - - -
loops/terminator_03_true-unreach-call_true-termination.i true 2 wit inspect 5.8 1.5  40 370 .12  0      - - - -
loops/trex01_false-unreach-call_true-termination.i true 2 wit inspect 54   13    330 4200 .50  0      - - - -
loops/trex01_true-unreach-call_true-termination.i true 2 wit inspect 79   22    570 5800 .45  0      - - - -
loops/trex02_false-unreach-call_true-termination.i true 2 wit inspect 9.3 2.0  61 800 .14  0      - - - -
loops/trex02_true-unreach-call_true-termination.i true 2 wit inspect 8.8 2.0  54 810 .14  0      - - - -
loops/trex03_false-unreach-call_true-termination.i true 2 wit inspect 82   16    490 6400 .29  0      - - - -
loops/trex03_true-unreach-call_true-termination.i true 2 wit inspect 190   29    950 8800 .71  .025  - - - -
loops/veris.c_NetBSD-libc__loop_true-unreach-call_true-termination.i error (1) 0 wit inspect 4.6 1.4  38 330 .033 0      - - - -
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination.i timeout 0 wit inspect 900   830    13000 3600 0     0      - - - -
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call_true-termination.i error (1) 0 wit inspect 14   4.2  130 1200 .033 0      - - - -
loops/verisec_NetBSD-libc__loop_false-unreach-call_true-termination.i error (1) 0 wit inspect 3.5 1.2  29 270 .033 0      - - - -
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination.i timeout 0 wit inspect 900   830    12000 3500 0     .094  - - - -
loops/while_infinite_loop_4_false-unreach-call_true-termination.i true 2 wit inspect 2.2 .88 17 220 .033 0      - - - -
loop-acceleration/array_false-unreach-call1_true-termination.i true 2 wit inspect 6.4 1.7  54 500 .057 0      - - - -
loop-acceleration/array_false-unreach-call2_true-termination.i true 2 wit inspect 9.8 2.6  78 770 .094 0      - - - -
loop-acceleration/array_false-unreach-call3_true-termination.i true 2 wit inspect 15   3.3  93 930 .14  0      - - - -
loop-acceleration/array_true-unreach-call1_true-termination.i true 2 wit inspect 7.7 2.1  58 490 .086 0      - - - -
loop-acceleration/array_true-unreach-call2_true-termination.i true 2 wit inspect 10   2.6  81 760 .090 0      - - - -
loop-acceleration/array_true-unreach-call3_true-termination.i true 2 wit inspect 14   3.6  110 800 .15  0      - - - -
loop-acceleration/array_true-unreach-call4_true-termination.i error (1) 0 wit inspect 16   4.1  130 830 .20  0      - - - -
loop-acceleration/diamond_true-unreach-call1_true-termination.i error (1) 0 wit inspect 2.1 .88 17 220 .033 0      - - - -
loop-acceleration/functions_false-unreach-call1_true-termination.i error (1) 0 wit inspect 2.7 1.0  25 230 .033 0      - - - -
loop-acceleration/functions_true-unreach-call1_true-termination.i error (1) 0 wit inspect 2.7 1.0  27 240 .033 0      - - - -
loop-acceleration/multivar_false-unreach-call1_true-termination.i true 2 wit inspect 4.9 1.4  37 430 .082 0      - - - -
loop-acceleration/multivar_true-unreach-call1_true-termination.i true 2 wit inspect 4.8 1.3  39 370 .074 0      - - - -
loop-acceleration/simple_false-unreach-call2_true-termination.i error (1) 0 wit inspect 2.2 .83 21 190 .033 0      - - - -
loop-acceleration/simple_false-unreach-call3_true-termination.i error (1) 0 wit inspect 2.0 .88 16 220 .033 .23   - - - -
loop-acceleration/simple_true-unreach-call2_true-termination.i error (1) 0 wit inspect 1.8 .83 14 190 .033 0      - - - -
loop-acceleration/simple_true-unreach-call3_true-termination.i error (1) 0 wit inspect 2.2 .93 21 220 .033 0      - - - -
loop-acceleration/underapprox_false-unreach-call1_true-termination.i true 2 wit inspect 7.1 1.9  50 490 .086 0      - - - -
loop-acceleration/underapprox_false-unreach-call2_true-termination.i true 2 wit inspect 6.3 1.7  47 500 .086 0      - - - -
loop-acceleration/underapprox_true-unreach-call1_true-termination.i error (1) 0 wit inspect 3.1 1.3  27 280 .033 33      - - - -
loop-acceleration/underapprox_true-unreach-call2_true-termination.i true 2 wit inspect 6.8 1.8  52 500 .086 0      - - - -
loop-invgen/SpamAssassin-loop_true-unreach-call_false-termination.i false(termination) 1 wit inspect 80   21    480 5600 .32  0      - - - -
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call_true-termination.i true 2 wit inspect 78   40    780 5100 .11  0      - - - -
loop-invgen/NetBSD_loop_true-unreach-call_true-termination.i true 2 wit inspect 11   2.7  70 760 .070 0      - - - -
loop-invgen/apache-escape-absolute_true-unreach-call_true-termination.i error (1) 0 wit inspect 7.6 2.2  62 660 .033 0      - - - -
loop-invgen/apache-get-tag_true-unreach-call_true-termination.i timeout 0 wit inspect 900   840    13000 3500 0     0      - - - -
loop-invgen/down_true-unreach-call_true-termination.i true 2 wit inspect 9.2 2.3  71 530 .11  14      - - - -
loop-invgen/fragtest_simple_true-unreach-call_true-termination.i true 2 wit inspect 64   21    460 3900 .54  0      - - - -
loop-invgen/half_2_true-unreach-call_true-termination.i true 2 wit inspect 30   7.4  210 1500 .19  0      - - - -
loop-invgen/heapsort_true-unreach-call_true-termination.i error (1) 0 wit inspect 1.7 .75 16 170 .033 0      - - - -
loop-invgen/id_build_true-unreach-call_true-termination.i error (1) 0 wit inspect 9.3 2.5  70 690 .033 0      - - - -
loop-invgen/id_trans_false-unreach-call_true-termination.i true 2 wit inspect 17   4.2  140 1300 .10  0      - - - -
loop-invgen/large_const_true-unreach-call_true-termination.i error (1) 0 wit inspect 1.7 .75 16 170 .033 0      - - - -
loop-invgen/nest-if3_true-unreach-call_true-termination.i true 2 wit inspect 42   11    270 4000 .23  0      - - - -
loop-invgen/nested6_true-unreach-call_true-termination.i error (1) 0 wit inspect 26   7.9  200 2300 .033 0      - - - -
loop-invgen/nested9_true-unreach-call_true-termination.i timeout 0 wit inspect 900   850    12000 5100 0     0      - - - -
loop-invgen/sendmail-close-angle_true-unreach-call_true-termination.i timeout 0 wit inspect 900   840    9900 3700 0     0      - - - -
loop-invgen/seq_true-unreach-call_true-termination.i true 2 wit inspect 70   35    700 3700 .24  0      - - - -
loop-invgen/string_concat-noarr_true-unreach-call_true-termination.i error (1) 0 wit inspect 65   15    380 1900 1.5   0      - - - -
loop-invgen/up_true-unreach-call_true-termination.i true 2 wit inspect 14   3.4  100 1100 .082 0      - - - -
loop-lit/afnp2014_true-unreach-call_true-termination.c.i true 2 wit inspect 11   2.8  79 750 .074 0      - - - -
loop-lit/bhmr2007_true-unreach-call_true-termination.c.i true 2 wit inspect 63   25    590 4000 .18  0      - - - -
loop-lit/cggmp2005_true-unreach-call_true-termination.c.i true 2 wit inspect 4.9 1.5  36 400 .090 0      - - - -
loop-lit/cggmp2005_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 11   2.7  92 770 .074 0      - - - -
loop-lit/cggmp2005b_true-unreach-call_true-termination.c.i true 2 wit inspect 8.7 2.2  62 580 .13  0      - - - -
loop-lit/css2003_true-unreach-call_true-termination.c.i true 2 wit inspect 84   60    870 3600 .053 .23   - - - -
loop-lit/gj2007_true-unreach-call_true-termination.c.i true 2 wit inspect 7.3 1.8  50 410 .13  0      - - - -
loop-lit/gj2007b_true-unreach-call_true-termination.c.i true 2 wit inspect 21   4.0  140 1600 .18  0      - - - -
loop-lit/gr2006_true-unreach-call_true-termination.c.i true 2 wit inspect 8.0 2.2  59 500 .13  0      - - - -
loop-lit/gsv2008_true-unreach-call_true-termination.c.i true 2 wit inspect 17   3.8  120 1400 .22  0      - - - -
loop-lit/hhk2008_true-unreach-call_true-termination.c.i true 2 wit inspect 7.6 2.1  51 520 .061 0      - - - -
loop-lit/jm2006_true-unreach-call_true-termination.c.i true 2 wit inspect 6.4 1.8  47 460 .061 0      - - - -
loop-lit/jm2006_variant_true-unreach-call_true-termination.c.i true 2 wit inspect 13   3.2  100 820 .074 0      - - - -
loop-lit/mcmillan2006_true-unreach-call_true-termination.c.i error (1) 0 wit inspect 2.5 .94 22 230 .033 0      - - - -
loop-lit/gcnr2008_false-unreach-call_false-termination.i timeout 0 wit inspect 900   800    13000 3700 0     0      - - - -
loop-new/count_by_1_true-unreach-call_true-termination.i true 2 wit inspect 4.7 1.3  33 340 .086 0      - - - -
loop-new/count_by_1_variant_true-unreach-call_true-termination.i true 2 wit inspect 5.2 1.5  42 410 .086 0      - - - -
loop-new/count_by_2_true-unreach-call_true-termination.i true 2 wit inspect 3.8 1.2  29 330 .086 12      - - - -
loop-new/count_by_k_true-unreach-call_true-termination.i true 2 wit inspect 6.1 1.6  46 450 .074 1.1    - - - -
loop-new/count_by_nondet_true-unreach-call_true-termination.i true 2 wit inspect 9.4 2.4  76 760 .074 0      - - - -
loop-new/gauss_sum_true-unreach-call_true-termination.i true 2 wit inspect 23   6.8  170 2300 .074 0      - - - -
loop-new/half_true-unreach-call_true-termination.i true 2 wit inspect 22   4.5  140 1800 .48  0      - - - -
loop-new/nested_true-unreach-call_true-termination.i true 2 wit inspect 31   8.5  240 3000 .15  16      - - - -
product-lines/elevator_spec13_productSimulator_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec14_product03_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec14_product11_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3500 0     0      - - - -
product-lines/elevator_spec14_product19_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    14000 3700 0     0      - - - -
product-lines/elevator_spec14_product20_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    13000 3500 0     0      - - - -
product-lines/elevator_spec14_product23_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3500 0     0      - - - -
product-lines/elevator_spec14_product24_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec14_product27_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 5100 0     0      - - - -
product-lines/elevator_spec14_product28_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec14_product31_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    10000 3500 0     0      - - - -
product-lines/elevator_spec14_product32_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3700 0     0      - - - -
product-lines/elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec1_product01_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3700 0     0      - - - -
product-lines/elevator_spec1_product03_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product09_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product11_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product17_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3500 0     0      - - - -
product-lines/elevator_spec1_product18_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec1_product19_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product20_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3500 0     0      - - - -
product-lines/elevator_spec1_product21_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product22_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec1_product23_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3500 0     0      - - - -
product-lines/elevator_spec1_product24_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3500 0     0      - - - -
product-lines/elevator_spec1_product25_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    10000 3500 0     0      - - - -
product-lines/elevator_spec1_product26_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_product27_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec1_product28_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3500 0     0      - - - -
product-lines/elevator_spec1_product29_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3500 0     0      - - - -
product-lines/elevator_spec1_product30_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec1_product31_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec1_product32_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec2_product01_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product03_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3500 0     0      - - - -
product-lines/elevator_spec2_product09_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   830    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product11_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec2_product17_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product18_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec2_product19_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3500 0     0      - - - -
product-lines/elevator_spec2_product20_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3700 0     0      - - - -
product-lines/elevator_spec2_product21_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3500 0     0      - - - -
product-lines/elevator_spec2_product22_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product23_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     .12   - - - -
product-lines/elevator_spec2_product24_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product25_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product26_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3700 0     0      - - - -
product-lines/elevator_spec2_product27_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3500 0     0      - - - -
product-lines/elevator_spec2_product28_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3500 0     0      - - - -
product-lines/elevator_spec2_product29_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product30_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3500 0     0      - - - -
product-lines/elevator_spec2_product31_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec2_product32_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3700 0     0      - - - -
product-lines/elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3500 0     0      - - - -
product-lines/elevator_spec3_product01_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   870    11000 3600 0     0      - - - -
product-lines/elevator_spec3_product03_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3500 0     0      - - - -
product-lines/elevator_spec3_product09_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   870    13000 5100 0     0      - - - -
product-lines/elevator_spec3_product11_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3500 0     0      - - - -
product-lines/elevator_spec3_product17_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   870    12000 3500 0     0      - - - -
product-lines/elevator_spec3_product18_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    12000 3600 0     0      - - - -
product-lines/elevator_spec3_product19_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec3_product20_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3600 0     0      - - - -
product-lines/elevator_spec3_product21_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    11000 3600 0     0      - - - -
product-lines/elevator_spec3_product22_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec3_product23_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec3_product24_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec3_product25_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   870    14000 3500 0     0      - - - -
product-lines/elevator_spec3_product26_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    10000 3600 0     0      - - - -
product-lines/elevator_spec3_product27_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec3_product28_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3600 0     0      - - - -
product-lines/elevator_spec3_product29_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    10000 3700 0     0      - - - -
product-lines/elevator_spec3_product30_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   860    9700 3500 0     0      - - - -
product-lines/elevator_spec3_product31_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec3_product32_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 5100 0     0      - - - -
product-lines/elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    9700 5100 0     0      - - - -
product-lines/elevator_spec9_product09_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    14000 3700 0     0      - - - -
product-lines/elevator_spec9_product11_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    12000 3700 0     0      - - - -
product-lines/elevator_spec9_product25_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3700 0     0      - - - -
product-lines/elevator_spec9_product26_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    12000 3500 0     0      - - - -
product-lines/elevator_spec9_product27_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    13000 3700 0     0      - - - -
product-lines/elevator_spec9_product28_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   840    11000 3500 0     0      - - - -
product-lines/elevator_spec9_product29_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     0      - - - -
product-lines/elevator_spec9_product30_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    13000 3700 0     1.2    - - - -
product-lines/elevator_spec9_product31_true-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec9_product32_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900   850    11000 3700 0     0      - - - -
product-lines/email_spec0_product05_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 62   51    680 3500 0     0      - - - -
product-lines/email_spec0_product09_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 64   52    760 3500 0     0      - - - -
product-lines/email_spec0_product10_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 59   49    650 3500 0     0      - - - -
product-lines/email_spec0_product11_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 77   64    910 3500 0     0      - - - -
product-lines/email_spec0_product16_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 79   66    920 3500 0     0      - - - -
product-lines/email_spec0_product19_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 78   66    910 3500 0     0      - - - -
product-lines/email_spec0_product21_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 81   68    1000 3500 0     0      - - - -
product-lines/email_spec0_product22_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 77   66    970 3500 0     0      - - - -
product-lines/email_spec0_product24_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   71    1000 3500 0     0      - - - -
product-lines/email_spec0_product25_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   75    1000 3600 0     0      - - - -
product-lines/email_spec0_product26_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   73    1200 3500 0     0      - - - -
product-lines/email_spec0_product27_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   75    1300 3500 0     0      - - - -
product-lines/email_spec0_product31_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    1100 3500 0     0      - - - -
product-lines/email_spec0_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    940 3500 0     0      - - - -
product-lines/email_spec0_product34_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   73    1200 2300 0     .025  - - - -
product-lines/email_spec0_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   75    1200 3500 0     0      - - - -
product-lines/email_spec0_product36_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 68   55    900 3500 0     0      - - - -
product-lines/email_spec0_product37_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 79   67    910 3500 0     0      - - - -
product-lines/email_spec0_product38_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 78   65    980 3500 0     0      - - - -
product-lines/email_spec0_product40_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   71    960 3600 0     0      - - - -
product-lines/email_spec0_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 370   340    4600 3500 0     0      - - - -
product-lines/email_spec11_product03_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 61   51    850 3500 0     .53   - - - -
product-lines/email_spec11_product07_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 67   55    770 3500 0     0      - - - -
product-lines/email_spec11_product08_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 78   65    950 3500 0     0      - - - -
product-lines/email_spec11_product10_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 63   50    740 3500 0     0      - - - -
product-lines/email_spec11_product15_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   67    980 3600 0     0      - - - -
product-lines/email_spec11_product18_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    1100 2900 0     42      - - - -
product-lines/email_spec11_product20_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 81   68    1000 3500 0     0      - - - -
product-lines/email_spec11_product22_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   67    950 3600 0     0      - - - -
product-lines/email_spec11_product23_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   73    1100 2900 0     42      - - - -
product-lines/email_spec11_product24_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    1200 3500 0     0      - - - -
product-lines/email_spec11_product26_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    1000 3500 0     0      - - - -
product-lines/email_spec11_product27_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   75    1000 3500 0     0      - - - -
product-lines/email_spec11_product30_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    970 3500 0     .16   - - - -
product-lines/email_spec11_product32_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   74    1100 3500 0     0      - - - -
product-lines/email_spec11_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   72    1200 3500 0     .48   - - - -
product-lines/email_spec11_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   75    1100 3500 0     0      - - - -
product-lines/email_spec11_product36_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 69   56    900 3500 0     0      - - - -
product-lines/email_spec11_product37_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 77   64    1100 3500 0     0      - - - -
product-lines/email_spec11_product39_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   67    1000 3500 0     0      - - - -
product-lines/email_spec11_product40_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   68    1100 3600 0     0      - - - -
product-lines/email_spec11_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 370   340    4100 3600 0     0      - - - -
product-lines/email_spec1_product12_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    950 3500 0     0      - - - -
product-lines/email_spec1_product14_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    1000 3500 0     0      - - - -
product-lines/email_spec1_product15_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    850 3500 0     0      - - - -
product-lines/email_spec1_product16_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   67    850 3500 0     0      - - - -
product-lines/email_spec1_product20_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   71    990 3500 0     0      - - - -
product-lines/email_spec1_product21_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   72    1100 3600 0     0      - - - -
product-lines/email_spec1_product22_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   67    920 3500 0     0      - - - -
product-lines/email_spec1_product26_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   73    1000 3500 0     0      - - - -
product-lines/email_spec1_product28_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   73    980 3500 0     0      - - - -
product-lines/email_spec1_product29_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 90   75    1000 3500 0     0      - - - -
product-lines/email_spec1_product30_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    1000 3500 0     0      - - - -
product-lines/email_spec1_product31_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   71    960 3500 0     0      - - - -
product-lines/email_spec1_product32_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   77    1100 3500 0     0      - - - -
product-lines/email_spec1_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   74    1300 3500 0     0      - - - -
product-lines/email_spec1_product34_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   75    1100 3500 0     0      - - - -
product-lines/email_spec1_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   75    1100 3500 0     .025  - - - -
product-lines/email_spec1_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 270   250    3400 3500 0     .18   - - - -
product-lines/email_spec27_product13_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 79   67    910 3500 0     0      - - - -
product-lines/email_spec27_product17_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   70    1000 3500 0     0      - - - -
product-lines/email_spec27_product18_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   68    930 3500 0     0      - - - -
product-lines/email_spec27_product19_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   66    840 3500 0     0      - - - -
product-lines/email_spec27_product23_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   68    1000 3500 0     0      - - - -
product-lines/email_spec27_product24_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   66    880 3500 0     0      - - - -
product-lines/email_spec27_product25_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   73    980 3500 0     0      - - - -
product-lines/email_spec27_product27_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 86   71    1000 3500 0     0      - - - -
product-lines/email_spec27_product28_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   68    1000 3500 0     0      - - - -
product-lines/email_spec27_product29_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   74    1000 3500 0     0      - - - -
product-lines/email_spec27_product30_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    980 3500 0     0      - - - -
product-lines/email_spec27_product31_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   71    1000 3500 0     0      - - - -
product-lines/email_spec27_product32_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   75    990 3500 0     0      - - - -
product-lines/email_spec27_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    1100 3500 0     0      - - - -
product-lines/email_spec27_product34_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1100 3500 0     0      - - - -
product-lines/email_spec27_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 91   77    1000 3500 0     .12   - - - -
product-lines/email_spec27_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 290   260    4100 3500 0     0      - - - -
product-lines/email_spec3_product13_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 80   66    990 3500 0     .29   - - - -
product-lines/email_spec3_product17_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   76    1000 3500 0     0      - - - -
product-lines/email_spec3_product18_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   76    1000 3500 0     0      - - - -
product-lines/email_spec3_product19_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   73    1100 3500 0     .025  - - - -
product-lines/email_spec3_product23_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   71    1000 3500 0     0      - - - -
product-lines/email_spec3_product24_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 92   80    970 3500 0     0      - - - -
product-lines/email_spec3_product25_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   77    1000 3500 0     0      - - - -
product-lines/email_spec3_product27_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    980 3500 0     0      - - - -
product-lines/email_spec3_product28_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    1100 3500 0     0      - - - -
product-lines/email_spec3_product29_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 90   76    1200 3500 0     0      - - - -
product-lines/email_spec3_product30_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 90   78    1100 3500 0     .12   - - - -
product-lines/email_spec3_product31_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 88   76    990 3500 0     0      - - - -
product-lines/email_spec3_product32_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 96   83    1200 3500 0     0      - - - -
product-lines/email_spec3_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 90   77    1100 3500 0     0      - - - -
product-lines/email_spec3_product34_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   75    1200 3500 0     0      - - - -
product-lines/email_spec3_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 93   79    1300 3500 0     0      - - - -
product-lines/email_spec3_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 300   280    4100 3600 0     0      - - - -
product-lines/email_spec4_product13_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 77   65    940 3500 0     0      - - - -
product-lines/email_spec4_product17_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 81   68    1100 3600 0     0      - - - -
product-lines/email_spec4_product18_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    1000 3500 0     0      - - - -
product-lines/email_spec4_product19_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    920 3500 0     0      - - - -
product-lines/email_spec4_product23_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   69    970 3500 0     0      - - - -
product-lines/email_spec4_product24_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 82   68    1100 3500 0     0      - - - -
product-lines/email_spec4_product25_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1100 3500 0     0      - - - -
product-lines/email_spec4_product27_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1100 3500 0     1.2    - - - -
product-lines/email_spec4_product28_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   74    1200 3500 0     0      - - - -
product-lines/email_spec4_product29_true-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1200 3500 0     0      - - - -
product-lines/email_spec4_product30_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 81   70    1000 3500 0     0      - - - -
product-lines/email_spec4_product31_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1300 3500 0     0      - - - -
product-lines/email_spec4_product32_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1100 3500 0     0      - - - -
product-lines/email_spec4_product33_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 87   74    1100 3600 0     0      - - - -
product-lines/email_spec4_product34_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 90   76    1300 3500 0     0      - - - -
product-lines/email_spec4_product35_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 89   76    1000 3500 0     0      - - - -
product-lines/email_spec4_productSimulator_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 290   260    3400 3500 0     0      - - - -
product-lines/email_spec6_product12_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   69    1000 2300 0     0      - - - -
product-lines/email_spec6_product14_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   70    990 3500 0     0      - - - -
product-lines/email_spec6_product15_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 85   72    920 3500 0     0      - - - -
product-lines/email_spec6_product16_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 79   65    1100 3500 0     0      - - - -
product-lines/email_spec6_product20_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   69    950 3500 0     0      - - - -
product-lines/email_spec6_product21_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 83   71    970 3600 0     0      - - - -
product-lines/email_spec6_product22_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 79   66    1000 3500 0     0      - - - -
product-lines/email_spec6_product26_false-unreach-call_true-termination.cil.c error (1) 0 wit inspect 84   70    1200 3500 0     0      - - - -
product-lines/email_spec6_product28_false-unreach-call_true-termination.cil.c