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