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