Tool impara 0.45
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]]
Run set sv-comp16.ProductLines
Options --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/product-lines/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
elevator_spec14_product20_false-unreach-call.cil.c .81 .82 37 15   8.2 600 16 9.1 350
elevator_spec14_product24_false-unreach-call.cil.c 1.3  1.3  37 15   8.0 610 17 10   370
elevator_spec14_product28_false-unreach-call.cil.c .99 .99 36 15   7.9 630 17 9.4 380
elevator_spec14_product32_false-unreach-call.cil.c 1.2  1.2  38 14   7.5 610 18 11   390
elevator_spec14_productSimulator_false-unreach-call.cil.c 1.7  1.7  39 82   56   4100 17 10   390
elevator_spec1_product18_false-unreach-call.cil.c 1.1  1.1  37 16   8.2 610 17 9.7 360
elevator_spec1_product20_false-unreach-call.cil.c 1.4  1.4  38 16   8.7 640 17 11   370
elevator_spec1_product22_false-unreach-call.cil.c 1.4  1.4  37 16   8.6 660 18 9.7 380
elevator_spec1_product24_false-unreach-call.cil.c 1.6  1.6  38 16   8.5 640 16 10   370
elevator_spec1_product26_false-unreach-call.cil.c 1.2  1.2  37 13   7.0 610 18 10   360
elevator_spec1_product28_false-unreach-call.cil.c 1.1  1.1  38 15   8.3 620 17 9.6 380
elevator_spec1_product30_false-unreach-call.cil.c 1.3  1.3  40 15   8.1 620 18 11   340
elevator_spec1_product32_false-unreach-call.cil.c 1.6  1.6  38 17   9.1 690 17 9.5 380
elevator_spec1_productSimulator_false-unreach-call.cil.c 41    41    58 82   59   4200 18 9.9 410
elevator_spec2_product18_false-unreach-call.cil.c 1.1  1.1  37 14   7.7 600 17 9.9 370
elevator_spec2_product20_false-unreach-call.cil.c 1.3  1.3  37 15   8.1 610 19 11   380
elevator_spec2_product22_false-unreach-call.cil.c 1.3  1.3  38 16   8.6 650 17 10   340
elevator_spec2_product24_false-unreach-call.cil.c 1.3  1.3  38 15   7.8 660 19 10   390
elevator_spec2_product26_false-unreach-call.cil.c 1.1  1.1  37 15   8.0 620 18 12   370
elevator_spec2_product28_false-unreach-call.cil.c 1.3  1.3  37 16   8.6 660 17 9.6 370
elevator_spec2_product30_false-unreach-call.cil.c 1.3  1.3  38 16   8.7 650 17 11   410
elevator_spec2_product32_false-unreach-call.cil.c 1.7  1.7  38 15   7.9 680 16 8.9 390
elevator_spec2_productSimulator_false-unreach-call.cil.c 45    45    69 83   59   4200 17 9.5 410
elevator_spec3_product03_false-unreach-call.cil.c 2.1  2.1  38 13   7.1 630 19 12   400
elevator_spec3_product11_false-unreach-call.cil.c 2.1  2.1  38 15   8.2 660 18 10   380
elevator_spec3_product19_false-unreach-call.cil.c 2.1  2.1  38 18   9.3 660 18 11   390
elevator_spec3_product20_false-unreach-call.cil.c 2.4  2.4  38 17   9.1 660 17 10   390
elevator_spec3_product23_false-unreach-call.cil.c 2.5  2.5  39 15   8.1 670 20 12   410
elevator_spec3_product24_false-unreach-call.cil.c 2.7  2.7  39 17   9.1 680 19 11   410
elevator_spec3_product27_false-unreach-call.cil.c 1.9  1.9  38 18   9.3 650 18 10   390
elevator_spec3_product28_false-unreach-call.cil.c 2.4  2.4  38 17   9.3 660 18 11   400
elevator_spec3_product31_false-unreach-call.cil.c 2.4  2.4  39 16   8.4 640 18 10   410
elevator_spec3_product32_false-unreach-call.cil.c 2.7  2.7  39 17   8.9 670 19 10   410
elevator_spec3_productSimulator_false-unreach-call.cil.c 8.8  8.8  43 90   64   4100 19 12   440
elevator_spec9_product26_false-unreach-call.cil.c 1.3  1.3  37 16   8.3 620 18 10   360
elevator_spec9_product28_false-unreach-call.cil.c 1.5  1.5  38 16   8.7 630 18 10   390
elevator_spec9_product30_false-unreach-call.cil.c 1.5  1.5  38 14   7.5 620 16 9.3 370
elevator_spec9_product32_false-unreach-call.cil.c 1.8  1.8  38 16   8.6 640 18 11   400
elevator_spec9_productSimulator_false-unreach-call.cil.c 47    47    67 88   61   4200 17 10   400
elevator_spec13_product21_true-unreach-call.cil.c 3.8  3.8  36
elevator_spec13_product22_true-unreach-call.cil.c 4.2  4.2  36
elevator_spec13_product23_true-unreach-call.cil.c 5.4  5.4  37
elevator_spec13_product24_true-unreach-call.cil.c 5.8  5.8  37
elevator_spec13_product29_true-unreach-call.cil.c 3.8  3.8  36
elevator_spec13_product30_true-unreach-call.cil.c 4.3  4.3  36
elevator_spec13_product31_true-unreach-call.cil.c 5.3  5.3  38
elevator_spec13_product32_true-unreach-call.cil.c 6.0  6.0  37
elevator_spec13_productSimulator_true-unreach-call.cil.c 32    32    50
elevator_spec14_product03_true-unreach-call.cil.c 22    22    38
elevator_spec14_product11_true-unreach-call.cil.c 22    22    39
elevator_spec14_product19_true-unreach-call.cil.c 23    23    39
elevator_spec14_product23_true-unreach-call.cil.c 37    37    39
elevator_spec14_product27_true-unreach-call.cil.c 23    23    40
elevator_spec14_product31_true-unreach-call.cil.c 36    36    39
elevator_spec1_product01_true-unreach-call.cil.c 14    14    37
elevator_spec1_product03_true-unreach-call.cil.c 21    21    40
elevator_spec1_product09_true-unreach-call.cil.c 14    14    37
elevator_spec1_product11_true-unreach-call.cil.c 22    22    40
elevator_spec1_product17_true-unreach-call.cil.c 15    15    37
elevator_spec1_product19_true-unreach-call.cil.c 22    22    41
elevator_spec1_product21_true-unreach-call.cil.c 19    19    39
elevator_spec1_product23_true-unreach-call.cil.c 28    28    46
elevator_spec1_product25_true-unreach-call.cil.c 15    15    37
elevator_spec1_product27_true-unreach-call.cil.c 22    22    41
elevator_spec1_product29_true-unreach-call.cil.c 19    19    38
elevator_spec1_product31_true-unreach-call.cil.c 27    27    45
elevator_spec2_product01_true-unreach-call.cil.c 4.1  4.1  36
elevator_spec2_product03_true-unreach-call.cil.c 5.6  5.6  36
elevator_spec2_product09_true-unreach-call.cil.c 4.3  4.3  36
elevator_spec2_product11_true-unreach-call.cil.c 5.9  5.9  36
elevator_spec2_product17_true-unreach-call.cil.c 4.3  4.3  36
elevator_spec2_product19_true-unreach-call.cil.c 6.2  6.2  36
elevator_spec2_product21_true-unreach-call.cil.c 4.9  4.9  38
elevator_spec2_product23_true-unreach-call.cil.c 7.0  7.0  37
elevator_spec2_product25_true-unreach-call.cil.c 4.4  4.4  36
elevator_spec2_product27_true-unreach-call.cil.c 6.0  6.0  37
elevator_spec2_product29_true-unreach-call.cil.c 5.0  5.0  37
elevator_spec2_product31_true-unreach-call.cil.c 7.2  7.2  37
elevator_spec3_product01_true-unreach-call.cil.c 29    29    48
elevator_spec3_product09_true-unreach-call.cil.c 26    26    46
elevator_spec3_product17_true-unreach-call.cil.c 27    27    48
elevator_spec3_product18_true-unreach-call.cil.c 33    33    51
elevator_spec3_product21_true-unreach-call.cil.c 39    39    62
elevator_spec3_product22_true-unreach-call.cil.c 45    45    65
elevator_spec3_product25_true-unreach-call.cil.c 27    27    46
elevator_spec3_product26_true-unreach-call.cil.c 30    30    49
elevator_spec3_product29_true-unreach-call.cil.c 37    37    57
elevator_spec3_product30_true-unreach-call.cil.c 38    38    62
elevator_spec9_product09_true-unreach-call.cil.c 4.3  4.3  36
elevator_spec9_product11_true-unreach-call.cil.c 6.3  6.3  36
elevator_spec9_product25_true-unreach-call.cil.c 4.8  4.8  36
elevator_spec9_product27_true-unreach-call.cil.c 6.4  6.4  37
elevator_spec9_product29_true-unreach-call.cil.c 5.3  5.3  36
elevator_spec9_product31_true-unreach-call.cil.c 7.3  7.3  37
email_spec0_product16_false-unreach-call.cil.c 74    74    130 28   15   950 29 17   540
email_spec0_product21_false-unreach-call.cil.c 240    240    240 35   19   1500 30 16   560
email_spec0_product22_false-unreach-call.cil.c 120    120    170 31   16   1000 31 17   540
email_spec0_product26_false-unreach-call.cil.c 250    250    270 36   20   1500 33 17   540
email_spec0_product31_false-unreach-call.cil.c 120    120    220 33   17   1000 30 16   530
email_spec0_product33_false-unreach-call.cil.c 140    140    180 34   18   1200 21 12   440
email_spec0_product34_false-unreach-call.cil.c 290    290    320 42   23   1500 31 17   550
email_spec0_product35_false-unreach-call.cil.c 370    370    460
email_spec0_productSimulator_false-unreach-call.cil.c 900    900    400
email_spec11_product15_false-unreach-call.cil.c 68    68    130 26   14   1000 29 16   520
email_spec11_product20_false-unreach-call.cil.c 270    270    280 36   19   1400 32 17   560
email_spec11_product22_false-unreach-call.cil.c 160    160    180 26   14   1000 31 17   540
email_spec11_product26_false-unreach-call.cil.c 240    240    270 32   18   1400 31 17   540
email_spec11_product30_false-unreach-call.cil.c 21    21    76
email_spec11_product32_false-unreach-call.cil.c 310    310    310 36   20   1500 33 18   570
email_spec11_product33_false-unreach-call.cil.c 170    170    200 34   18   1200 19 11   430
email_spec11_product35_false-unreach-call.cil.c 380    380    460
email_spec11_productSimulator_false-unreach-call.cil.c 900    900    400
email_spec1_product14_false-unreach-call.cil.c 120    120    150 26   14   960 19 11   430
email_spec1_product15_false-unreach-call.cil.c 9.3  9.3  41 27   14   960 18 11   400
email_spec1_product16_false-unreach-call.cil.c 12    12    48 25   13   970 20 12   430
email_spec1_product20_false-unreach-call.cil.c 140    140    160 35   19   1400 19 12   430
email_spec1_product21_false-unreach-call.cil.c 130    130    160 34   18   1400 18 9.7 460
email_spec1_product22_false-unreach-call.cil.c 150    150    170 29   15   1000 18 12   410
email_spec1_product26_false-unreach-call.cil.c 210    210    210 38   21   1500 19 11   450
email_spec1_product29_false-unreach-call.cil.c 320    320    290 35   19   1100 22 13   490
email_spec1_product30_false-unreach-call.cil.c 12    12    50 31   16   1000 19 11   400
email_spec1_product31_false-unreach-call.cil.c 20    20    64 35   19   1100 20 12   460
email_spec1_product32_false-unreach-call.cil.c 220    220    230 34   19   1500 20 12   450
email_spec1_product33_false-unreach-call.cil.c 170    170    190 34   18   1100 19 12   410
email_spec1_product34_false-unreach-call.cil.c 320    320    340 41   23   1500 23 12   480
email_spec1_product35_false-unreach-call.cil.c 66    66    110 37   21   1500 20 11   470
email_spec1_productSimulator_false-unreach-call.cil.c 900    900    510
email_spec27_product17_false-unreach-call.cil.c 190    190    210 24   13   970 18 11   450
email_spec27_product18_false-unreach-call.cil.c 14    14    52 27   14   940 19 10   410
email_spec27_product19_false-unreach-call.cil.c 16    16    55 31   16   1000 19 10   430
email_spec27_product23_false-unreach-call.cil.c 240    240    260 36   20   1400 19 12   450
email_spec27_product24_false-unreach-call.cil.c 230    230    270 33   17   1000 19 11   420
email_spec27_product25_false-unreach-call.cil.c 270    270    270 38   21   1400 20 12   450
email_spec27_product27_false-unreach-call.cil.c 75    75    120 38   21   1500 19 11   460
email_spec27_product29_false-unreach-call.cil.c 240    240    270 35   19   1100 21 12   470
email_spec27_product30_false-unreach-call.cil.c 20    20    73 35   18   1200 19 11   410
email_spec27_product31_false-unreach-call.cil.c 29    29    83 29   16   1000 20 11   440
email_spec27_product32_false-unreach-call.cil.c 240    240    230 40   22   1600 20 11   460
email_spec27_product33_false-unreach-call.cil.c 140    140    190 36   19   1300 20 11   440
email_spec27_product34_false-unreach-call.cil.c 200    200    230 43   24   1500 19 11   470
email_spec27_product35_false-unreach-call.cil.c 86    86    140 46   26   1500 22 12   480
email_spec27_productSimulator_false-unreach-call.cil.c 900    900    480
email_spec3_product13_false-unreach-call.cil.c .43 .43 37 17   9.3 780 24 13   520
email_spec3_product17_false-unreach-call.cil.c .54 .55 38 33   17   1000 27 15   500
email_spec3_product18_false-unreach-call.cil.c .58 .58 37 26   14   970 27 16   530
email_spec3_product19_false-unreach-call.cil.c .56 .57 37 29   15   1100 27 15   520
email_spec3_product23_false-unreach-call.cil.c .59 .59 37 33   18   1400 28 15   530
email_spec3_product24_false-unreach-call.cil.c .59 .59 37 33   18   1000 26 16   520
email_spec3_product25_false-unreach-call.cil.c .55 .56 37 38   21   1600 28 16   510
email_spec3_product27_false-unreach-call.cil.c .55 .55 37 39   22   1400 27 15   520
email_spec3_product28_false-unreach-call.cil.c .63 .63 37 22   12   810 27 15   530
email_spec3_product29_false-unreach-call.cil.c .62 .62 38 34   19   1300 28 15   520
email_spec3_product30_false-unreach-call.cil.c .62 .63 38 34   18   1100 28 16   510
email_spec3_product31_false-unreach-call.cil.c .61 .62 37 33   18   1200 28 16   510
email_spec3_product32_false-unreach-call.cil.c .62 .63 38 41   23   1600 26 15   520
email_spec3_product33_false-unreach-call.cil.c .61 .61 37 29   16   1300 29 16   530
email_spec3_product34_false-unreach-call.cil.c .61 .62 38 42   24   1600 29 15   520
email_spec3_product35_false-unreach-call.cil.c .61 .61 38 45   26   1600 30 17   530
email_spec3_productSimulator_false-unreach-call.cil.c .82 .82 39 90   62   4300 16 9.1 440
email_spec4_product18_false-unreach-call.cil.c 8.8  8.8  41 26   14   990 18 11   380
email_spec4_product19_false-unreach-call.cil.c 14    14    51 32   17   1000 19 11   420
email_spec4_product23_false-unreach-call.cil.c 220    220    230 30   17   1400 21 11   440
email_spec4_product24_false-unreach-call.cil.c 210    210    230 28   15   1100 16 8.8 430
email_spec4_product25_false-unreach-call.cil.c 210    210    230 35   19   1400 19 11   440
email_spec4_product27_false-unreach-call.cil.c 120    120    170 40   22   1500 19 12   450
email_spec4_product30_false-unreach-call.cil.c 12    12    50 31   16   1000 20 11   430
email_spec4_product31_false-unreach-call.cil.c 25    25    73 36   19   1100 19 12   420
email_spec4_product32_false-unreach-call.cil.c 250    250    230 33   18   1500 19 11   440
email_spec4_product33_false-unreach-call.cil.c 170    170    190 29   16   1100 19 12   380
email_spec4_product34_false-unreach-call.cil.c 220    220    220 41   23   1500 21 13   470
email_spec4_product35_false-unreach-call.cil.c 170    170    230 39   22   1500 19 11   450
email_spec4_productSimulator_false-unreach-call.cil.c 900    900    480
email_spec6_product12_false-unreach-call.cil.c 8.8  8.8  39 21   11   810 27 15   480
email_spec6_product14_false-unreach-call.cil.c 120    120    150 36   19   980 19 11   430
email_spec6_product15_false-unreach-call.cil.c 8.8  8.8  39 23   12   940 28 15   540
email_spec6_product16_false-unreach-call.cil.c 9.2  9.2  40 30   16   1000 28 15   510
email_spec6_product20_false-unreach-call.cil.c 140    140    170 39   21   1300 19 11   430
email_spec6_product21_false-unreach-call.cil.c 140    140    170 40   22   1400 20 12   460
email_spec6_product22_false-unreach-call.cil.c 140    140    170 33   18   1100 29 17   550
email_spec6_product26_false-unreach-call.cil.c 210    210    240 33   19   1600 18 10   430
email_spec6_product28_false-unreach-call.cil.c 12    12    45 18   10   830 27 15   520
email_spec6_product29_false-unreach-call.cil.c 220    220    220 29   16   1200 33 19   560
email_spec6_product30_false-unreach-call.cil.c 11    11    48 33   17   1100 28 16   520
email_spec6_product31_false-unreach-call.cil.c 15    15    51 34   18   1200 30 17   550
email_spec6_product32_false-unreach-call.cil.c 260    260    280 36   20   1500 19 11   450
email_spec6_product33_false-unreach-call.cil.c 160    160    180 33   18   1200 32 17   530
email_spec6_product34_false-unreach-call.cil.c 340    340    350 41   23   1500 32 17   550
email_spec6_product35_false-unreach-call.cil.c 81    81    120 43   24   1600 21 12   480
email_spec6_productSimulator_false-unreach-call.cil.c 900    900    390
email_spec7_product28_false-unreach-call.cil.c 11    11    44 21   11   800 30 16   530
email_spec7_product29_false-unreach-call.cil.c 230    230    220 31   16   1100 31 17   560
email_spec7_product30_false-unreach-call.cil.c 10    10    44 30   16   1000 29 17   520
email_spec7_product31_false-unreach-call.cil.c 13    13    50 33   18   1000 29 16   540
email_spec7_product32_false-unreach-call.cil.c 240    240    280 37   20   1500 19 11   460
email_spec7_product33_false-unreach-call.cil.c 160    160    180 30   16   1200 34 18   570
email_spec7_product34_false-unreach-call.cil.c 300    300    320 40   23   1500 34 20   570
email_spec7_product35_false-unreach-call.cil.c 77    77    120 41   23   1500 20 12   470
email_spec7_productSimulator_false-unreach-call.cil.c 900    900    410
email_spec8_product15_false-unreach-call.cil.c 9.6  9.6  42 28   15   970 18 10   350
email_spec8_product16_false-unreach-call.cil.c 13    13    48 27   15   1000 18 9.7 410
email_spec8_product20_false-unreach-call.cil.c 160    160    200 38   20   1400 20 11   440
email_spec8_product21_false-unreach-call.cil.c 200    200    230 37   20   1400 20 11   440
email_spec8_product22_false-unreach-call.cil.c 140    140    180 28   15   1000 19 11   430
email_spec8_product26_false-unreach-call.cil.c 270    270    290 40   22   1600 20 12   480
email_spec8_product30_false-unreach-call.cil.c 13    13    54 30   16   1000 19 12   430
email_spec8_product31_false-unreach-call.cil.c 21    21    67 34   18   1100 19 11   440
email_spec8_product32_false-unreach-call.cil.c 330    330    350 40   22   1400 20 11   450
email_spec8_product33_false-unreach-call.cil.c 170    170    200 32   17   1200 21 12   440
email_spec8_product34_false-unreach-call.cil.c 310    310    340 42   24   1600 21 12   480
email_spec8_product35_false-unreach-call.cil.c 74    74    120 44   25   1500 21 13   490
email_spec8_productSimulator_false-unreach-call.cil.c 900    900    520
email_spec9_product15_false-unreach-call.cil.c 9.4  9.4  41 27   14   1000 18 9.6 370
email_spec9_product16_false-unreach-call.cil.c 13    13    49 27   14   990 19 11   430
email_spec9_product20_false-unreach-call.cil.c 140    140    200 36   19   1400 20 12   440
email_spec9_product21_false-unreach-call.cil.c 220    220    230 39   22   1400 19 10   460
email_spec9_product22_false-unreach-call.cil.c 140    140    180 30   16   1000 19 10   430
email_spec9_product26_false-unreach-call.cil.c 270    270    290 38   21   1500 21 12   460
email_spec9_product30_false-unreach-call.cil.c 13    13    54 30   16   990 19 10   400
email_spec9_product31_false-unreach-call.cil.c 21    21    66 37   19   1100 19 12   440
email_spec9_product32_false-unreach-call.cil.c 320    330    350 38   21   1500 20 11   470
email_spec9_product33_false-unreach-call.cil.c 170    170    200 31   17   1100 20 11   450
email_spec9_product34_false-unreach-call.cil.c 300    300    340 40   22   1500 21 13   480
email_spec9_product35_false-unreach-call.cil.c 75    75    120 38   22   1500 22 12   500
email_spec9_productSimulator_false-unreach-call.cil.c 900    900    470
email_spec0_product05_true-unreach-call.cil.c 460    460    150
email_spec0_product09_true-unreach-call.cil.c 630    630    200
email_spec0_product10_true-unreach-call.cil.c 630    630    320
email_spec0_product11_true-unreach-call.cil.c 370    370    310
email_spec0_product19_true-unreach-call.cil.c 900    900    720
email_spec0_product24_true-unreach-call.cil.c 900    900    750
email_spec0_product25_true-unreach-call.cil.c 900    900    800
email_spec0_product27_true-unreach-call.cil.c 900    900    910
email_spec0_product36_true-unreach-call.cil.c 850    850    520
email_spec0_product37_true-unreach-call.cil.c 480    480    450
email_spec0_product38_true-unreach-call.cil.c 410    410    390
email_spec0_product40_true-unreach-call.cil.c 890    890    740
email_spec11_product03_true-unreach-call.cil.c 490    490    160
email_spec11_product07_true-unreach-call.cil.c 650    650    200
email_spec11_product08_true-unreach-call.cil.c 350    350    300
email_spec11_product10_true-unreach-call.cil.c 660    660    330
email_spec11_product18_true-unreach-call.cil.c 900    900    670
email_spec11_product23_true-unreach-call.cil.c 900    900    770
email_spec11_product24_true-unreach-call.cil.c 900    900    750
email_spec11_product27_true-unreach-call.cil.c 900    900    890
email_spec11_product36_true-unreach-call.cil.c 810    810    530
email_spec11_product37_true-unreach-call.cil.c 570    570    450
email_spec11_product39_true-unreach-call.cil.c 450    450    390
email_spec11_product40_true-unreach-call.cil.c 830    830    740
email_spec1_product12_true-unreach-call.cil.c 900    900    550
email_spec1_product28_true-unreach-call.cil.c 900    900    610
email_spec27_product13_true-unreach-call.cil.c 520    520    400
email_spec27_product28_true-unreach-call.cil.c 900    900    640
email_spec4_product13_true-unreach-call.cil.c 530    530    410
email_spec4_product17_true-unreach-call.cil.c 900    900    740
email_spec4_product28_true-unreach-call.cil.c 900    900    640
email_spec4_product29_true-unreach-call.cil.c 900    900    690
email_spec7_product13_true-unreach-call.cil.c 490    490    400
email_spec7_product17_true-unreach-call.cil.c 900    900    660
email_spec7_product18_true-unreach-call.cil.c 900    900    700
email_spec7_product19_true-unreach-call.cil.c 900    900    710
email_spec7_product23_true-unreach-call.cil.c 900    900    790
email_spec7_product24_true-unreach-call.cil.c 900    900    760
email_spec7_product25_true-unreach-call.cil.c 900    900    790
email_spec7_product27_true-unreach-call.cil.c 900    900    900
email_spec8_product12_true-unreach-call.cil.c 900    900    520
email_spec8_product14_true-unreach-call.cil.c 900    900    740
email_spec8_product28_true-unreach-call.cil.c 900    900    650
email_spec8_product29_true-unreach-call.cil.c 900    900    700
email_spec9_product12_true-unreach-call.cil.c 900    900    560
email_spec9_product14_true-unreach-call.cil.c 900    900    730
email_spec9_product28_true-unreach-call.cil.c 900    900    630
email_spec9_product29_true-unreach-call.cil.c 900    900    730
minepump_spec1_product33_false-unreach-call.cil.c .26 .26 27 7.7 4.2 300 13 7.5 340
minepump_spec1_product34_false-unreach-call.cil.c .16 .16 29 7.8 4.4 290 12 7.2 330
minepump_spec1_product35_false-unreach-call.cil.c .23 .23 27 8.4 4.6 300 11 7.4 310
minepump_spec1_product36_false-unreach-call.cil.c .26 .27 27 7.6 4.2 290 12 6.9 340
minepump_spec1_product37_false-unreach-call.cil.c .24 .24 27 8.3 4.7 310 11 6.7 310
minepump_spec1_product38_false-unreach-call.cil.c .20 .21 27 8.7 4.9 310 13 7.9 340
minepump_spec1_product39_false-unreach-call.cil.c .33 .34 27 8.8 4.8 300 12 6.7 330
minepump_spec1_product40_false-unreach-call.cil.c .23 .24 27 9.2 5.2 310 13 7.3 330
minepump_spec1_product41_false-unreach-call.cil.c .30 .30 27 8.3 4.7 300 12 6.7 320
minepump_spec1_product42_false-unreach-call.cil.c .40 .41 27 8.0 4.6 290 12 6.8 320
minepump_spec1_product43_false-unreach-call.cil.c .37 .38 27 8.5 4.7 310 12 8.1 340
minepump_spec1_product44_false-unreach-call.cil.c 1.5  1.5  27 9.4 5.1 310 13 8.5 350
minepump_spec1_product49_false-unreach-call.cil.c .19 .20 27 8.5 4.7 310 12 7.0 330
minepump_spec1_product50_false-unreach-call.cil.c .23 .23 27 8.6 4.8 310 13 7.1 340
minepump_spec1_product51_false-unreach-call.cil.c .31 .32 27 8.2 4.7 300 13 6.9 330
minepump_spec1_product52_false-unreach-call.cil.c .23 .24 27 9.1 5.0 330 12 6.9 330
minepump_spec1_product53_false-unreach-call.cil.c .29 .30 27 7.3 4.1 310 13 7.5 360
minepump_spec1_product54_false-unreach-call.cil.c .23 .24 27 8.6 4.7 320 12 8.2 330
minepump_spec1_product55_false-unreach-call.cil.c .31 .31 29 8.1 4.5 310 13 8.3 320
minepump_spec1_product56_false-unreach-call.cil.c .24 .24 27 8.7 4.8 310 13 7.7 340
minepump_spec1_productSimulator_false-unreach-call.cil.c .61 .62 28 12   6.6 480 14 8.1 330
minepump_spec2_product33_false-unreach-call.cil.c .33 .33 27 8.3 4.6 310 11 7.4 330
minepump_spec2_product34_false-unreach-call.cil.c .53 .53 27 9.0 4.9 330 12 6.9 320
minepump_spec2_product35_false-unreach-call.cil.c .65 .66 27 8.2 4.6 300 12 6.9 320
minepump_spec2_product36_false-unreach-call.cil.c .79 .79 27 9.1 5.1 310 12 7.7 330
minepump_spec2_product41_false-unreach-call.cil.c .47 .47 29 8.0 4.4 290 12 8.7 330
minepump_spec2_product42_false-unreach-call.cil.c .41 .41 27 8.7 4.8 320 13 7.3 340
minepump_spec2_product43_false-unreach-call.cil.c 1.0  1.0  27 9.0 4.9 320 13 7.7 340
minepump_spec2_product44_false-unreach-call.cil.c 1.7  1.7  29 9.0 4.9 320 12 6.9 350
minepump_spec2_productSimulator_false-unreach-call.cil.c .93 .94 32 10   5.5 470 14 9.0 340
minepump_spec3_product01_false-unreach-call.cil.c .20 .20 26 7.7 4.2 290 13 7.0 330
minepump_spec3_product02_false-unreach-call.cil.c .13 .13 27 7.9 4.3 280 14 8.0 360
minepump_spec3_product03_false-unreach-call.cil.c .23 .24 27 7.6 4.3 300 13 7.3 350
minepump_spec3_product04_false-unreach-call.cil.c .19 .20 29 7.7 4.3 280 14 8.9 340
minepump_spec3_product05_false-unreach-call.cil.c .13 .13 27 6.9 3.8 290 13 9.3 320
minepump_spec3_product06_false-unreach-call.cil.c .17 .18 26 8.0 4.4 280 13 7.8 340
minepump_spec3_product07_false-unreach-call.cil.c .21 .21 26 8.0 4.6 290 13 8.6 320
minepump_spec3_product08_false-unreach-call.cil.c .21 .22 27 7.4 4.1 290 13 7.8 330
minepump_spec3_product09_false-unreach-call.cil.c .21 .21 27 7.9 4.4 290 15 8.7 340
minepump_spec3_product10_false-unreach-call.cil.c .14 .15 27 8.1 4.5 300 13 7.6 330
minepump_spec3_product11_false-unreach-call.cil.c .15 .15 27 7.0 3.8 290 14 8.2 330
minepump_spec3_product12_false-unreach-call.cil.c .19 .20 27 8.3 4.6 280 14 8.2 340
minepump_spec3_product13_false-unreach-call.cil.c .19 .20 27 7.6 4.2 290 13 8.1 340
minepump_spec3_product14_false-unreach-call.cil.c .19 .20 27 8.2 4.6 300 13 9.9 320
minepump_spec3_product15_false-unreach-call.cil.c .19 .19 27 7.4 4.0 290 13 7.9 330
minepump_spec3_product16_false-unreach-call.cil.c .19 .19 27 6.7 3.7 300 14 7.7 340
minepump_spec3_product17_false-unreach-call.cil.c .19 .20 27 8.1 4.5 290 13 7.7 330
minepump_spec3_product18_false-unreach-call.cil.c .20 .20 29 7.0 3.9 290 13 9.7 330
minepump_spec3_product19_false-unreach-call.cil.c .23 .23 29 7.5 4.2 290 13 7.6 350
minepump_spec3_product20_false-unreach-call.cil.c .19 .19 27 8.3 4.6 300 13 7.6 330
minepump_spec3_product21_false-unreach-call.cil.c .13 .14 27 8.2 4.7 290 13 9.5 320
minepump_spec3_product22_false-unreach-call.cil.c .20 .21 27 6.4 3.6 280 14 8.8 350
minepump_spec3_product23_false-unreach-call.cil.c .16 .16 29 8.3 4.6 300 13 7.8 340
minepump_spec3_product24_false-unreach-call.cil.c .25 .25 27 8.9 4.9 300 13 8.8 340
minepump_spec3_product25_false-unreach-call.cil.c .21 .21 27 8.2 4.5 290 13 7.1 330
minepump_spec3_product26_false-unreach-call.cil.c .17 .18 27 8.2 4.5 300 13 7.3 330
minepump_spec3_product27_false-unreach-call.cil.c .19 .19 27 7.5 4.2 300 12 7.0 330
minepump_spec3_product28_false-unreach-call.cil.c .19 .20 27 8.0 4.5 290 14 9.7 340
minepump_spec3_product29_false-unreach-call.cil.c .14 .14 27 8.1 4.5 300 14 8.6 380
minepump_spec3_product30_false-unreach-call.cil.c .17 .18 27 7.0 4.0 300 13 8.0 350
minepump_spec3_product31_false-unreach-call.cil.c .19 .20 27 8.5 4.8 300 15 8.6 350
minepump_spec3_product32_false-unreach-call.cil.c .23 .23 27 8.7 4.8 310 13 8.2 350
minepump_spec3_product35_false-unreach-call.cil.c .28 .28 27 9.1 4.9 300 15 8.8 340
minepump_spec3_product36_false-unreach-call.cil.c .28 .28 29 8.0 4.5 290 14 8.1 340
minepump_spec3_product39_false-unreach-call.cil.c .28 .29 27 8.7 4.8 310 14 8.1 340
minepump_spec3_product40_false-unreach-call.cil.c .18 .19 27 7.8 4.3 310 14 8.8 330
minepump_spec3_product43_false-unreach-call.cil.c .27 .28 27 8.6 4.7 300 14 7.8 320
minepump_spec3_product44_false-unreach-call.cil.c .26 .26 27 8.6 4.8 300 14 8.7 320
minepump_spec3_product47_false-unreach-call.cil.c .31 .31 27 8.8 5.0 300 14 9.9 340
minepump_spec3_product48_false-unreach-call.cil.c .18 .19 27 8.7 4.8 300 15 8.4 330
minepump_spec3_product51_false-unreach-call.cil.c .28 .29 27 8.0 4.5 300 14 7.8 340
minepump_spec3_product52_false-unreach-call.cil.c .25 .25 27 9.2 5.0 320 14 8.8 350
minepump_spec3_product55_false-unreach-call.cil.c .30 .30 29 8.8 4.9 320 14 8.1 340
minepump_spec3_product56_false-unreach-call.cil.c .24 .25 27 7.8 4.3 320 15 9.1 350
minepump_spec3_product59_false-unreach-call.cil.c .29 .30 27 9.3 5.1 320 13 7.8 330
minepump_spec3_product60_false-unreach-call.cil.c .28 .28 27 7.7 4.3 300 14 8.9 330
minepump_spec3_product63_false-unreach-call.cil.c .29 .29 27 9.2 5.1 330 15 9.6 340
minepump_spec3_product64_false-unreach-call.cil.c .24 .24 27 9.5 5.4 320 14 8.0 340
minepump_spec3_productSimulator_false-unreach-call.cil.c .33 .33 28 10   5.6 470 15 8.7 350
minepump_spec4_product33_false-unreach-call.cil.c .25 .26 27 8.2 4.5 310 14 7.8 340
minepump_spec4_product34_false-unreach-call.cil.c .19 .20 27 8.8 4.9 310 12 6.9 330
minepump_spec4_product35_false-unreach-call.cil.c .33 .34 27 8.5 4.8 320 14 7.7 360
minepump_spec4_product36_false-unreach-call.cil.c .29 .29 27 6.8 3.8 280 11 6.4 340
minepump_spec4_product37_false-unreach-call.cil.c .30 .31 27 8.6 4.7 310 12 6.9 340
minepump_spec4_product38_false-unreach-call.cil.c .43 .43 27 8.1 4.4 310 12 6.9 330
minepump_spec4_product39_false-unreach-call.cil.c .48 .49 27 8.4 4.6 300 12 7.0 330
minepump_spec4_product40_false-unreach-call.cil.c .86 .87 27 8.5 4.7 310 12 7.8 320
minepump_spec4_product41_false-unreach-call.cil.c .31 .32 27 8.3 4.6 300 12 7.1 330
minepump_spec4_product42_false-unreach-call.cil.c .32 .33 27 8.8 4.8 320 13 7.5 350
minepump_spec4_product43_false-unreach-call.cil.c .39 .39 27 7.6 4.2 290 13 7.0 330
minepump_spec4_product44_false-unreach-call.cil.c .43 .43 27 8.4 4.7 300 12 8.0 320
minepump_spec4_product45_false-unreach-call.cil.c .36 .36 29 9.1 5.0 310 13 7.7 340
minepump_spec4_product46_false-unreach-call.cil.c .38 .39 29 9.3 5.0 310 12 7.4 330
minepump_spec4_product47_false-unreach-call.cil.c .42 .42 27 8.1 4.4 310 13 7.9 340
minepump_spec4_product48_false-unreach-call.cil.c .47 .47 27 9.0 5.0 320 12 7.7 320
minepump_spec4_productSimulator_false-unreach-call.cil.c 2.4  2.4  28 11   6.1 460 14 8.8 340
minepump_spec1_product01_true-unreach-call.cil.c .26 .26 26
minepump_spec1_product02_true-unreach-call.cil.c .25 .25 26
minepump_spec1_product03_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec1_product04_true-unreach-call.cil.c 900    900    100
minepump_spec1_product05_true-unreach-call.cil.c .28 .29 26
minepump_spec1_product06_true-unreach-call.cil.c .20 .21 26
minepump_spec1_product07_true-unreach-call.cil.c 1.2  1.2  26
minepump_spec1_product08_true-unreach-call.cil.c 900    900    100
minepump_spec1_product09_true-unreach-call.cil.c .24 .25 26
minepump_spec1_product10_true-unreach-call.cil.c .30 .30 26
minepump_spec1_product11_true-unreach-call.cil.c 1.1  1.1  29
minepump_spec1_product12_true-unreach-call.cil.c 900    900    110
minepump_spec1_product13_true-unreach-call.cil.c .25 .25 26
minepump_spec1_product14_true-unreach-call.cil.c .29 .30 26
minepump_spec1_product15_true-unreach-call.cil.c 1.3  1.3  28
minepump_spec1_product16_true-unreach-call.cil.c 340    340    67
minepump_spec1_product17_true-unreach-call.cil.c .27 .27 29
minepump_spec1_product18_true-unreach-call.cil.c .21 .22 27
minepump_spec1_product19_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec1_product20_true-unreach-call.cil.c 900    900    110
minepump_spec1_product21_true-unreach-call.cil.c .25 .26 26
minepump_spec1_product22_true-unreach-call.cil.c .30 .31 27
minepump_spec1_product23_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec1_product24_true-unreach-call.cil.c 900    900    100
minepump_spec1_product25_true-unreach-call.cil.c .26 .26 26
minepump_spec1_product26_true-unreach-call.cil.c .26 .27 27
minepump_spec1_product27_true-unreach-call.cil.c .94 .94 29
minepump_spec1_product28_true-unreach-call.cil.c 900    900    100
minepump_spec1_product29_true-unreach-call.cil.c .25 .25 26
minepump_spec1_product30_true-unreach-call.cil.c .23 .23 27
minepump_spec1_product31_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec1_product32_true-unreach-call.cil.c 900    900    100
minepump_spec1_product45_true-unreach-call.cil.c .91 .91 27
minepump_spec1_product46_true-unreach-call.cil.c 1.4  1.4  27
minepump_spec1_product47_true-unreach-call.cil.c 7.7  7.7  32
minepump_spec1_product48_true-unreach-call.cil.c 900    900    140
minepump_spec1_product57_true-unreach-call.cil.c .40 .40 29
minepump_spec1_product58_true-unreach-call.cil.c .39 .40 28
minepump_spec1_product59_true-unreach-call.cil.c 1.5  1.5  29
minepump_spec1_product60_true-unreach-call.cil.c 1.8  1.8  27
minepump_spec1_product61_true-unreach-call.cil.c .42 .43 27
minepump_spec1_product62_true-unreach-call.cil.c .40 .41 27
minepump_spec1_product63_true-unreach-call.cil.c 1.4  1.4  31
minepump_spec1_product64_true-unreach-call.cil.c 1.7  1.7  27
minepump_spec2_product01_true-unreach-call.cil.c .22 .22 26
minepump_spec2_product02_true-unreach-call.cil.c .23 .24 28
minepump_spec2_product03_true-unreach-call.cil.c .55 .55 28
minepump_spec2_product04_true-unreach-call.cil.c 900    900    100
minepump_spec2_product05_true-unreach-call.cil.c .20 .21 26
minepump_spec2_product06_true-unreach-call.cil.c .26 .27 26
minepump_spec2_product07_true-unreach-call.cil.c .62 .62 27
minepump_spec2_product08_true-unreach-call.cil.c 900    900    100
minepump_spec2_product09_true-unreach-call.cil.c .16 .17 26
minepump_spec2_product10_true-unreach-call.cil.c .21 .22 26
minepump_spec2_product11_true-unreach-call.cil.c .57 .58 26
minepump_spec2_product12_true-unreach-call.cil.c 900    900    100
minepump_spec2_product13_true-unreach-call.cil.c .21 .21 26
minepump_spec2_product14_true-unreach-call.cil.c .25 .26 26
minepump_spec2_product15_true-unreach-call.cil.c .61 .61 27
minepump_spec2_product16_true-unreach-call.cil.c 900    900    97
minepump_spec2_product17_true-unreach-call.cil.c .21 .22 28
minepump_spec2_product18_true-unreach-call.cil.c .22 .23 26
minepump_spec2_product19_true-unreach-call.cil.c .54 .54 26
minepump_spec2_product20_true-unreach-call.cil.c 900    900    110
minepump_spec2_product21_true-unreach-call.cil.c .23 .24 26
minepump_spec2_product22_true-unreach-call.cil.c .27 .28 26
minepump_spec2_product23_true-unreach-call.cil.c .54 .55 27
minepump_spec2_product24_true-unreach-call.cil.c 380    380    75
minepump_spec2_product25_true-unreach-call.cil.c .21 .21 27
minepump_spec2_product26_true-unreach-call.cil.c .25 .25 27
minepump_spec2_product27_true-unreach-call.cil.c .52 .53 27
minepump_spec2_product28_true-unreach-call.cil.c 900    900    100
minepump_spec2_product29_true-unreach-call.cil.c .25 .25 26
minepump_spec2_product30_true-unreach-call.cil.c .24 .24 27
minepump_spec2_product31_true-unreach-call.cil.c .62 .62 27
minepump_spec2_product32_true-unreach-call.cil.c 410    410    79
minepump_spec2_product37_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec2_product38_true-unreach-call.cil.c 1.2  1.2  31
minepump_spec2_product39_true-unreach-call.cil.c 18    18    31
minepump_spec2_product40_true-unreach-call.cil.c 900    900    140
minepump_spec2_product45_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec2_product46_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec2_product47_true-unreach-call.cil.c 4.4  4.4  30
minepump_spec2_product48_true-unreach-call.cil.c 900    900    130
minepump_spec2_product49_true-unreach-call.cil.c .36 .37 29
minepump_spec2_product50_true-unreach-call.cil.c .39 .40 27
minepump_spec2_product51_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec2_product52_true-unreach-call.cil.c 1.4  1.4  27
minepump_spec2_product53_true-unreach-call.cil.c .36 .36 27
minepump_spec2_product54_true-unreach-call.cil.c .41 .42 27
minepump_spec2_product55_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec2_product56_true-unreach-call.cil.c 1.4  1.4  27
minepump_spec2_product57_true-unreach-call.cil.c .33 .34 27
minepump_spec2_product58_true-unreach-call.cil.c .34 .34 27
minepump_spec2_product59_true-unreach-call.cil.c .99 .99 27
minepump_spec2_product60_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec2_product61_true-unreach-call.cil.c .37 .37 29
minepump_spec2_product62_true-unreach-call.cil.c .36 .36 27
minepump_spec2_product63_true-unreach-call.cil.c 1.0  1.0  27
minepump_spec2_product64_true-unreach-call.cil.c 1.1  1.1  29
minepump_spec3_product33_true-unreach-call.cil.c .79 .79 27
minepump_spec3_product34_true-unreach-call.cil.c .69 .70 29
minepump_spec3_product37_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec3_product38_true-unreach-call.cil.c 1.6  1.6  27
minepump_spec3_product41_true-unreach-call.cil.c .60 .60 26
minepump_spec3_product42_true-unreach-call.cil.c .67 .68 27
minepump_spec3_product45_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec3_product46_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec3_product49_true-unreach-call.cil.c .44 .44 27
minepump_spec3_product50_true-unreach-call.cil.c .42 .43 27
minepump_spec3_product53_true-unreach-call.cil.c .41 .42 27
minepump_spec3_product54_true-unreach-call.cil.c .48 .48 27
minepump_spec3_product57_true-unreach-call.cil.c .34 .35 27
minepump_spec3_product58_true-unreach-call.cil.c .39 .39 27
minepump_spec3_product61_true-unreach-call.cil.c .38 .38 27
minepump_spec3_product62_true-unreach-call.cil.c .38 .39 27
minepump_spec4_product01_true-unreach-call.cil.c .25 .25 26
minepump_spec4_product02_true-unreach-call.cil.c .31 .31 26
minepump_spec4_product03_true-unreach-call.cil.c 900    900    64
minepump_spec4_product04_true-unreach-call.cil.c 900    900    110
minepump_spec4_product05_true-unreach-call.cil.c .28 .28 26
minepump_spec4_product06_true-unreach-call.cil.c .23 .24 26
minepump_spec4_product07_true-unreach-call.cil.c 900    900    66
minepump_spec4_product08_true-unreach-call.cil.c 900    900    110
minepump_spec4_product09_true-unreach-call.cil.c .22 .22 26
minepump_spec4_product10_true-unreach-call.cil.c .28 .29 26
minepump_spec4_product11_true-unreach-call.cil.c 900    900    65
minepump_spec4_product12_true-unreach-call.cil.c 900    900    96
minepump_spec4_product13_true-unreach-call.cil.c .27 .27 26
minepump_spec4_product14_true-unreach-call.cil.c .35 .36 26
minepump_spec4_product15_true-unreach-call.cil.c 900    900    65
minepump_spec4_product16_true-unreach-call.cil.c 900    900    110
minepump_spec4_product17_true-unreach-call.cil.c .21 .22 26
minepump_spec4_product18_true-unreach-call.cil.c .31 .31 27
minepump_spec4_product19_true-unreach-call.cil.c 900    900    67
minepump_spec4_product20_true-unreach-call.cil.c 900    900    110
minepump_spec4_product21_true-unreach-call.cil.c .32 .32 29
minepump_spec4_product22_true-unreach-call.cil.c .35 .36 27
minepump_spec4_product23_true-unreach-call.cil.c 900    900    64
minepump_spec4_product24_true-unreach-call.cil.c 900    900    110
minepump_spec4_product25_true-unreach-call.cil.c .21 .22 29
minepump_spec4_product26_true-unreach-call.cil.c .31 .31 26
minepump_spec4_product27_true-unreach-call.cil.c 900    900    68
minepump_spec4_product28_true-unreach-call.cil.c 900    900    110
minepump_spec4_product29_true-unreach-call.cil.c .23 .23 29
minepump_spec4_product30_true-unreach-call.cil.c .36 .36 27
minepump_spec4_product31_true-unreach-call.cil.c 900    900    68
minepump_spec4_product32_true-unreach-call.cil.c 900    900    110
minepump_spec4_product49_true-unreach-call.cil.c .46 .46 27
minepump_spec4_product50_true-unreach-call.cil.c .57 .57 27
minepump_spec4_product51_true-unreach-call.cil.c 1.5  1.5  27
minepump_spec4_product52_true-unreach-call.cil.c 1.6  1.6  27
minepump_spec4_product53_true-unreach-call.cil.c .42 .42 27
minepump_spec4_product54_true-unreach-call.cil.c .47 .48 27
minepump_spec4_product55_true-unreach-call.cil.c 1.6  1.6  27
minepump_spec4_product56_true-unreach-call.cil.c 2.6  2.6  27
minepump_spec4_product57_true-unreach-call.cil.c .48 .49 27
minepump_spec4_product58_true-unreach-call.cil.c .37 .37 27
minepump_spec4_product59_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec4_product60_true-unreach-call.cil.c 900    900    83
minepump_spec4_product61_true-unreach-call.cil.c .52 .53 27
minepump_spec4_product62_true-unreach-call.cil.c .54 .54 29
minepump_spec4_product63_true-unreach-call.cil.c 1.2  1.2  29
minepump_spec4_product64_true-unreach-call.cil.c 900    900    89
minepump_spec5_product01_true-unreach-call.cil.c .20 .21 26
minepump_spec5_product02_true-unreach-call.cil.c .16 .17 26
minepump_spec5_product03_true-unreach-call.cil.c 1.2  1.2  26
minepump_spec5_product04_true-unreach-call.cil.c 97    97    42
minepump_spec5_product05_true-unreach-call.cil.c .21 .22 26
minepump_spec5_product06_true-unreach-call.cil.c .23 .24 27
minepump_spec5_product07_true-unreach-call.cil.c 14    14    32
minepump_spec5_product08_true-unreach-call.cil.c 6.1  6.1  31
minepump_spec5_product09_true-unreach-call.cil.c .22 .22 26
minepump_spec5_product10_true-unreach-call.cil.c .22 .22 27
minepump_spec5_product11_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec5_product12_true-unreach-call.cil.c 100    100    42
minepump_spec5_product13_true-unreach-call.cil.c .25 .26 26
minepump_spec5_product14_true-unreach-call.cil.c .17 .18 26
minepump_spec5_product15_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec5_product16_true-unreach-call.cil.c 13    13    32
minepump_spec5_product17_true-unreach-call.cil.c .22 .22 26
minepump_spec5_product18_true-unreach-call.cil.c .20 .21 26
minepump_spec5_product19_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec5_product20_true-unreach-call.cil.c 13    13    32
minepump_spec5_product21_true-unreach-call.cil.c .23 .23 27
minepump_spec5_product22_true-unreach-call.cil.c .23 .23 27
minepump_spec5_product23_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec5_product24_true-unreach-call.cil.c 6.3  6.3  31
minepump_spec5_product25_true-unreach-call.cil.c .21 .21 27
minepump_spec5_product26_true-unreach-call.cil.c .21 .21 27
minepump_spec5_product27_true-unreach-call.cil.c 14    14    32
minepump_spec5_product28_true-unreach-call.cil.c 13    13    33
minepump_spec5_product29_true-unreach-call.cil.c .22 .22 27
minepump_spec5_product30_true-unreach-call.cil.c .24 .25 27
minepump_spec5_product31_true-unreach-call.cil.c 1.4  1.4  27
minepump_spec5_product32_true-unreach-call.cil.c 6.1  6.2  32
minepump_spec5_product33_true-unreach-call.cil.c 29    29    32
minepump_spec5_product34_true-unreach-call.cil.c 13    13    31
minepump_spec5_product35_true-unreach-call.cil.c 15    15    31
minepump_spec5_product36_true-unreach-call.cil.c 900    900    180
minepump_spec5_product37_true-unreach-call.cil.c 1.9  1.9  31
minepump_spec5_product38_true-unreach-call.cil.c 1.7  1.7  27
minepump_spec5_product39_true-unreach-call.cil.c 15    15    32
minepump_spec5_product40_true-unreach-call.cil.c 900    900    150
minepump_spec5_product41_true-unreach-call.cil.c 83    83    38
minepump_spec5_product42_true-unreach-call.cil.c 3.0  3.0  27
minepump_spec5_product43_true-unreach-call.cil.c 25    25    32
minepump_spec5_product44_true-unreach-call.cil.c 900    900    180
minepump_spec5_product45_true-unreach-call.cil.c 1.9  1.9  27
minepump_spec5_product46_true-unreach-call.cil.c 1.8  1.9  27
minepump_spec5_product47_true-unreach-call.cil.c 53    53    36
minepump_spec5_product48_true-unreach-call.cil.c 900    900    170
minepump_spec5_product49_true-unreach-call.cil.c .34 .34 27
minepump_spec5_product50_true-unreach-call.cil.c .35 .35 27
minepump_spec5_product51_true-unreach-call.cil.c .98 .98 31
minepump_spec5_product52_true-unreach-call.cil.c .93 .93 29
minepump_spec5_product53_true-unreach-call.cil.c .28 .28 27
minepump_spec5_product54_true-unreach-call.cil.c .36 .37 27
minepump_spec5_product55_true-unreach-call.cil.c .85 .85 27
minepump_spec5_product56_true-unreach-call.cil.c 1.1  1.1  27
minepump_spec5_product57_true-unreach-call.cil.c .25 .25 27
minepump_spec5_product58_true-unreach-call.cil.c .24 .24 27
minepump_spec5_product59_true-unreach-call.cil.c 1.3  1.3  27
minepump_spec5_product60_true-unreach-call.cil.c 1.5  1.5  27
minepump_spec5_product61_true-unreach-call.cil.c .35 .35 27
minepump_spec5_product62_true-unreach-call.cil.c .35 .36 27
minepump_spec5_product63_true-unreach-call.cil.c 1.4  1.4  27
minepump_spec5_product64_true-unreach-call.cil.c 1.2  1.2  27
minepump_spec5_productSimulator_true-unreach-call.cil.c 900    900    180
../../sv-benchmarks/c/product-lines/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 597 98000 98000 67000 597 5800   3200   220000   597 4700   2700   100000  
    correct results 332 18000 18000 22000 67 1600   860   58000   67 1600   900   31000  
        correct true 265 15000 15000 16000 67 0   0   0   0 0   0   0  
        correct false 67 3800 3800 5800 0 1600   860   58000   67 1600   900   31000  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (597 tasks, max score: 929) 597
Run set sv-comp16.ProductLines