Tool BLAST 2.7.1 CBMC 4.5 CPAchecker 1.2.11-svcomp14b CPAlien ESBMC 1.22.1 FrankenBit LLBMC Predator 2013-10-30 Symbiotic UFO UltimateAutomizer UltimateKojak
Limits timelimit: 900 s, memlimit: 15360 MB, CPU core limit: 8
OS Linux 3.2.0-56-generic x86_64 Linux 3.2.0-57-generic x86_64 Linux 3.2.0-56-generic x86_64
System CPU: Intel Core i7-2600 CPU @ 3.40GHz with 8 cores, frequency: 3401 MHz; RAM: 32827640 kB
Date of execution 13-11-22 09:28 13-11-18 23:43 13-11-18 14:59 13-11-22 09:12 13-11-18 23:26 13-12-04 17:02 13-11-21 13:28 13-11-19 22:09 13-11-24 22:54 13-11-21 15:51 13-11-19 23:49 13-11-21 12:52
Options -alias empty
-enable-recursion
-noprofile
-cref
-sv-comp
-lattice
-include-lattice symb
-nosserr
-errorpathfile ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-propertyfile ${sourcefile_path}/ALL.prp
--propertyfile ${sourcefile_path}/ALL.prp
--32
-sv-comp14
-heap 10000M
-spec ${sourcefile_path}/ALL.prp
-disable-java-assertions
-c ${sourcefile_path}/ALL.prp --spec=${sourcefile_path}/ALL.prp
--cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-spec ${sourcefile_path}/ALL.prp
-witness ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
--propertyfile ${sourcefile_path}/ALL.prp
--trace ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
-m32
--spec=${sourcefile_path}/ALL.prp
--cex=${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt ${sourcefile_path}/ALL.prp ${logfile_path}/${rundefinition_name}.${sourcefile_name}_errorpath.txt
../../sv-benchmarks/c/product-lines/ status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB)
elevator_spec14_product20_false.cil.c false(label) 760    420   false(label) 0.33 28   false(label) 5.2  370   false(label) 2.9  140   false(label) 0.68 37   false(label) 1.1  54   false(label) 1.2  100   false(label) 0.40 10.0 false(label) 2.1  61   false(label) 1.2  55   unknown 2.7  110   unknown 2.3  120  
elevator_spec14_product24_false.cil.c exception (gremlins) 2.0  32   false(label) 0.31 28   false(label) 5.1  410   false(label) 3.0  150   false(label) 0.71 38   false(label) 1.5  69   false(label) 1.5  150   false(label) 0.42 10.0 false(label) 2.2  65   false(label) 1.7  69   unknown 3.0  120   unknown 2.5  130  
elevator_spec14_product28_false.cil.c false(label) 820    420   false(label) 0.30 28   false(label) 6.0  370   false(label) 3.0  140   false(label) 0.69 38   false(label) 1.1  53   false(label) 1.1  110   false(label) 0.38 10.0 false(label) 2.3  63   false(label) 1.3  53   unknown 2.8  120   unknown 2.5  130  
elevator_spec14_product32_false.cil.c exception (gremlins) 2.0  32   false(label) 0.32 28   false(label) 5.1  410   false(label) 3.0  150   false(label) 0.67 38   false(label) 1.6  71   false(label) 1.5  150   false(label) 0.42 10.0 false(label) 2.3  67   false(label) 1.7  71   unknown 3.0  110   unknown 2.4  120  
elevator_spec14_productSimulator_false.cil.c exception (gremlins) 210    300   false(label) 38    170   false(label) 6.8  450   false(label) 3.1  170   false(label) 900    880   false(label) 5.6  210   false(label) 20    500   false(label) 0.40 11   false(label) 3.1  77   false(label) 14    460   unknown 3.1  120   unknown 2.6  130  
elevator_spec1_product18_false.cil.c timeout 920    300   false(label) 0.53 28   false(label) 4.9  390   false(label) 3.4  190   false(label) 0.69 38   false(label) 1.7  37   false(label) 1.9  80   false(label) 0.41 11   false(label) 2.0  60   false(label) 5.5  190   unknown 2.6  110   unknown 2.4  120  
elevator_spec1_product20_false.cil.c timeout 920    390   false(label) 0.58 28   false(label) 5.8  430   false(label) 3.4  190   false(label) 0.68 38   false(label) 1.8  38   false(label) 1.6  83   false(label) 0.37 11   false(label) 2.3  65   false(label) 5.6  190   unknown 2.8  120   unknown 2.4  120  
elevator_spec1_product22_false.cil.c exception (gremlins) 3.4  52   false(label) 0.54 28   false(label) 5.9  430   false(label) 3.5  190   false(label) 0.68 38   false(label) 2.4  44   false(label) 2.4  120   false(label) 0.38 11   false(label) 2.2  64   false(label) 7.3  210   unknown 2.8  110   unknown 2.3  120  
elevator_spec1_product24_false.cil.c exception (gremlins) 3.3  47   false(label) 0.56 29   false(label) 6.8  490   false(label) 3.5  190   false(label) 0.72 39   false(label) 2.4  45   false(label) 2.5  120   false(label) 0.38 11   false(label) 2.3  70   false(label) 7.5  220   unknown 2.9  110   unknown 2.6  120  
elevator_spec1_product26_false.cil.c timeout 920    290   false(label) 0.54 28   false(label) 6.3  390   false(label) 3.4  190   false(label) 0.67 38   false(label) 2.0  38   false(label) 1.6  83   false(label) 0.42 11   false(label) 2.1  61   false(label) 5.7  190   unknown 2.9  120   unknown 2.5  120  
elevator_spec1_product28_false.cil.c timeout 920    290   false(label) 0.54 28   false(label) 6.1  430   false(label) 3.5  190   false(label) 0.72 39   false(label) 1.8  38   false(label) 2.1  86   false(label) 0.42 11   false(label) 2.3  67   false(label) 5.8  190   unknown 2.7  120   unknown 2.5  130  
elevator_spec1_product30_false.cil.c exception (gremlins) 3.8  64   false(label) 0.54 28   false(label) 6.0  430   false(label) 3.4  190   false(label) 0.70 39   false(label) 3.0  46   false(label) 2.5  120   false(label) 0.38 11   false(label) 2.3  66   false(label) 7.4  210   unknown 2.4  110   unknown 2.3  120  
elevator_spec1_product32_false.cil.c exception (gremlins) 3.6  53   false(label) 0.55 29   false(label) 6.9  490   false(label) 3.5  190   false(label) 0.74 39   false(label) 2.8  48   false(label) 2.5  120   false(label) 0.38 11   false(label) 2.4  72   false(label) 7.4  230   unknown 2.5  120   unknown 2.5  130  
elevator_spec1_productSimulator_false.cil.c timeout 920    810   false(label) 310    420   false(label) 6.3  550   false(label) 3.7  190   false(label) 900    1000   false(label) 20    120   false(label) 18    370   false(label) 0.32 12   false(label) 3.5  81   false(label) 30    450   unknown 2.4  110   unknown 2.4  120  
elevator_spec2_product18_false.cil.c timeout 920    410   false(label) 0.54 28   false(label) 5.7  400   false(label) 3.3  190   false(label) 0.68 38   false(label) 1.2  33   false(label) 1.5  82   false(label) 0.43 10.0 false(label) 1.9  60   false(label) 3.5  160   unknown 2.4  120   unknown 2.5  130  
elevator_spec2_product20_false.cil.c timeout 920    370   false(label) 0.54 28   false(label) 5.7  420   false(label) 3.4  190   false(label) 0.69 39   false(label) 1.3  33   false(label) 1.6  84   false(label) 0.37 11   false(label) 2.1  65   false(label) 3.5  160   unknown 2.9  120   unknown 2.5  120  
elevator_spec2_product22_false.cil.c exception (gremlins) 3.4  49   false(label) 0.54 28   false(label) 5.5  430   false(label) 3.4  190   false(label) 0.68 38   false(label) 1.7  41   false(label) 2.8  120   false(label) 0.39 11   false(label) 2.0  64   false(label) 5.0  180   unknown 2.6  120   unknown 2.5  120  
elevator_spec2_product24_false.cil.c exception (gremlins) 3.5  45   false(label) 0.54 28   false(label) 8.4  490   false(label) 3.5  190   false(label) 0.71 39   false(label) 1.8  42   false(label) 3.2  120   false(label) 0.37 11   false(label) 2.2  70   false(label) 4.6  190   unknown 2.8  120   unknown 2.6  130  
elevator_spec2_product26_false.cil.c timeout 920    410   false(label) 0.54 28   false(label) 5.0  400   false(label) 3.3  190   false(label) 0.67 38   false(label) 1.2  33   false(label) 1.7  85   false(label) 0.38 11   false(label) 2.0  61   false(label) 2.9  160   unknown 3.1  120   unknown 2.5  130  
elevator_spec2_product28_false.cil.c timeout 920    370   false(label) 0.54 28   false(label) 5.3  420   false(label) 3.4  190   false(label) 0.68 39   false(label) 1.4  33   false(label) 2.0  88   false(label) 0.39 11   false(label) 2.3  67   false(label) 3.6  170   unknown 3.0  120   unknown 3.2  130  
elevator_spec2_product30_false.cil.c exception (gremlins) 3.9  58   false(label) 0.54 28   false(label) 5.9  430   false(label) 3.4  190   false(label) 0.69 39   false(label) 1.8  42   false(label) 3.2  120   false(label) 0.39 11   false(label) 2.1  66   false(label) 4.8  190   unknown 2.7  120   unknown 2.6  130  
elevator_spec2_product32_false.cil.c exception (gremlins) 3.8  50   false(label) 0.55 28   false(label) 6.1  490   false(label) 3.5  190   false(label) 0.72 39   false(label) 1.7  43   false(label) 3.1  130   false(label) 0.37 11   false(label) 2.3  72   false(label) 4.7  190   unknown 2.9  120   unknown 2.5  120  
elevator_spec2_productSimulator_false.cil.c timeout 920    700   false(label) 230    320   false(label) 5.9  530   false(label) 3.6  190   false(label) 900    1000   false(label) 8.4  110   false(label) 22    380   false(label) 0.36 13   false(label) 3.3  81   false(label) 11    320   unknown 2.6  120   unknown 2.4  120  
elevator_spec3_product03_false.cil.c false(label) 0.40 63   false(label) 0.42 29   false(label) 5.1  420   false(label) 3.2  180   false(label) 0.90 40   false(label) 0.61 30   false(label) 0.62 52   false(label) 0.31 11   false(label) 2.0  62   false(label) 0.79 43   unknown 2.8  110   unknown 2.3  120  
elevator_spec3_product11_false.cil.c false(label) 0.42 63   false(label) 0.40 28   false(label) 6.0  420   false(label) 3.2  180   false(label) 0.89 40   false(label) 0.69 31   false(label) 0.63 55   false(label) 0.32 11   false(label) 2.0  63   false(label) 0.82 36   unknown 2.9  110   unknown 2.3  120  
elevator_spec3_product19_false.cil.c false(label) 0.43 64   false(label) 0.39 29   false(label) 5.3  400   false(label) 3.2  180   false(label) 0.89 40   false(label) 0.64 32   false(label) 0.62 56   false(label) 0.30 11   false(label) 2.2  63   false(label) 0.83 38   unknown 2.9  110   unknown 2.5  120  
elevator_spec3_product20_false.cil.c false(label) 0.48 69   false(label) 0.41 29   false(label) 5.6  440   false(label) 3.3  180   false(label) 0.91 41   false(label) 1.1  52   false(label) 0.98 110   false(label) 0.35 11   false(label) 2.3  66   false(label) 1.3  52   unknown 3.1  120   unknown 2.5  130  
elevator_spec3_product23_false.cil.c exception (gremlins) 0.99 28   false(label) 0.42 29   false(label) 7.3  460   false(label) 3.3  180   false(label) 0.95 41   false(label) 0.86 45   false(label) 0.86 78   false(label) 0.30 11   false(label) 2.3  69   false(label) 1.0  45   unknown 2.7  120   unknown 2.5  130  
elevator_spec3_product24_false.cil.c exception (gremlins) 1.0  28   false(label) 0.44 29   false(label) 6.5  510   false(label) 3.3  180   false(label) 0.97 42   false(label) 1.6  70   false(label) 1.3  150   false(label) 0.39 11   false(label) 2.5  71   false(label) 1.7  71   unknown 2.9  120   unknown 2.5  130  
elevator_spec3_product27_false.cil.c false(label) 0.43 64   false(label) 0.40 29   false(label) 5.8  420   false(label) 3.2  180   false(label) 0.93 40   false(label) 0.67 33   false(label) 0.65 58   false(label) 0.29 11   false(label) 2.1  65   false(label) 0.82 37   unknown 2.7  120   unknown 2.5  130  
elevator_spec3_product28_false.cil.c false(label) 0.43 70   false(label) 0.41 29   false(label) 5.9  440   false(label) 3.3  180   false(label) 0.95 41   false(label) 1.1  54   false(label) 1.0  110   false(label) 0.35 11   false(label) 2.3  68   false(label) 1.3  54   unknown 2.9  120   unknown 3.1  130  
elevator_spec3_product31_false.cil.c exception (gremlins) 0.98 28   false(label) 0.42 29   false(label) 5.8  460   false(label) 3.3  180   false(label) 0.94 41   false(label) 0.89 46   false(label) 0.83 80   false(label) 0.30 11   false(label) 2.3  71   false(label) 1.1  47   unknown 2.7  110   unknown 2.4  120  
elevator_spec3_product32_false.cil.c exception (gremlins) 1.0  28   false(label) 0.43 29   false(label) 6.6  500   false(label) 3.3  180   false(label) 0.95 42   false(label) 1.6  72   false(label) 1.4  150   false(label) 0.36 11   false(label) 2.5  73   false(label) 1.8  72   unknown 2.8  110   unknown 2.4  120  
elevator_spec3_productSimulator_false.cil.c exception (gremlins) 760    270   false(label) 200    320   false(label) 6.6  510   false(label) 3.4  180   unknown 900    1100   false(label) 6.1  210   false(label) 31    510   false(label) 0.59 17   false(label) 3.2  82   false(label) 12    300   unknown 2.8  110   unknown 2.4  120  
elevator_spec9_product26_false.cil.c timeout 920    560   false(label) 0.52 28   false(label) 4.8  390   false(label) 3.4  190   false(label) 0.68 38   false(label) 1.2  33   false(label) 1.6  85   false(label) 0.40 11   false(label) 1.9  61   false(label) 3.5  170   unknown 2.5  110   unknown 2.4  120  
elevator_spec9_product28_false.cil.c timeout 920    400   false(label) 0.54 28   false(label) 5.4  410   false(label) 3.4  190   false(label) 0.69 38   false(label) 1.2  33   false(label) 2.3  88   false(label) 0.38 11   false(label) 2.1  66   false(label) 3.9  160   unknown 2.6  120   unknown 2.5  130  
elevator_spec9_product30_false.cil.c exception (gremlins) 110    150   false(label) 0.55 28   false(label) 5.7  420   false(label) 3.4  190   false(label) 0.68 38   false(label) 1.8  42   false(label) 2.2  120   false(label) 0.42 11   false(label) 2.0  65   false(label) 4.7  190   unknown 2.9  110   unknown 2.4  120  
elevator_spec9_product32_false.cil.c exception (gremlins) 160    170   false(label) 0.56 29   false(label) 7.0  480   false(label) 3.5  190   false(label) 0.70 39   false(label) 2.0  43   false(label) 3.4  130   false(label) 0.38 11   false(label) 2.3  71   false(label) 4.8  180   unknown 2.9  120   unknown 2.5  130  
elevator_spec9_productSimulator_false.cil.c timeout 920    1000   false(label) 220    320   false(label) 7.4  520   false(label) 3.6  190   false(label) 900    1000   false(label) 9.0  110   false(label) 21    380   false(label) 0.35 12   false(label) 3.2  80   false(label) 15    350   unknown 2.5  110   unknown 2.3  120  
elevator_spec13_product21_true.cil.c exception (gremlins) 1.9  37   true 1.9  27   true 2.6  120   unknown 900    1300   true 0.70 37   timeout 920    15000   true 32    1200   true 1.5  11   timeout 900    62   true 190    970   unknown 2.9  120   unknown 2.5  130  
elevator_spec13_product22_true.cil.c exception (gremlins) 1.9  37   true 2.0  27   true 2.6  120   unknown 900    1300   true 0.72 37   timeout 920    15000   true 39    1400   true 1.5  12   timeout 900    64   true 170    1000   unknown 2.7  110   unknown 2.4  120  
elevator_spec13_product23_true.cil.c exception (gremlins) 2.0  36   true 2.0  28   true 2.7  120   false(label) 68    740   true 0.73 38   timeout 920    15000   true 32    1200   true 1.4  12   timeout 900    68   true 170    1000   unknown 2.7  120   unknown 2.5  130  
elevator_spec13_product24_true.cil.c exception (gremlins) 2.0  36   true 2.0  28   true 2.7  120   false(label) 48    670   true 0.70 38   timeout 920    15000   true 40    1400   true 1.5  12   timeout 900    70   true 190    1200   unknown 2.9  110   unknown 2.3  120  
elevator_spec13_product29_true.cil.c exception (gremlins) 2.4  40   true 1.9  27   true 2.7  120   timeout 900    1300   true 0.69 37   timeout 920    15000   true 33    1200   true 1.5  11   timeout 900    64   true 180    1000   unknown 2.7  120   unknown 2.6  130  
elevator_spec13_product30_true.cil.c exception (gremlins) 2.3  41   true 2.0  27   true 2.6  120   unknown 900    1300   true 0.69 38   timeout 920    15000   true 48    1400   true 1.5  12   timeout 900    66   true 150    1000   unknown 2.8  120   unknown 2.5  130  
elevator_spec13_product31_true.cil.c exception (gremlins) 2.3  39   true 1.9  27   true 2.7  120   false(label) 69    710   true 0.70 38   timeout 920    15000   true 28    1200   true 1.4  12   timeout 900    70   true 150    970   unknown 2.7  110   unknown 2.5  120  
elevator_spec13_product32_true.cil.c exception (gremlins) 2.4  39   true 2.0  28   true 2.7  120   false(label) 48    670   true 0.71 38   timeout 920    15000   true 44    1400   true 1.5  12   timeout 900    72   true 260    1200   unknown 3.0  120   unknown 2.4  120  
elevator_spec13_productSimulator_true.cil.c exception (gremlins) 2.9  66   true 850    510   true 4.7  180   false(label) 57    730   true 490    4600   timeout 920    11000   timeout 920    840   true 3.4  14   timeout 900    81   timeout 920    3300   unknown 2.6  110   unknown 2.3  120  
elevator_spec14_product03_true.cil.c timeout 920    370   true 2.8  27   true 2.9  120   true 5.6  400   true 0.82 37   true 1.8  36   true 5.2  140   true 0.29 12   true 2.1  57   true 3.9  180   unknown 2.8  120   unknown 2.4  120  
elevator_spec14_product11_true.cil.c timeout 920    380   true 2.7  27   true 2.9  120   true 5.7  380   true 0.82 37   true 2.1  37   true 4.5  150   true 0.28 12   true 1.9  58   true 8.4  210   unknown 2.6  110   unknown 2.4  120  
elevator_spec14_product19_true.cil.c timeout 920    560   true 2.8  27   true 3.0  130   true 5.8  380   true 0.83 37   true 1.9  36   true 4.0  150   true 0.28 13   true 2.1  59   true 6.5  200   unknown 2.9  120   unknown 2.4  120  
elevator_spec14_product23_true.cil.c exception (gremlins) 2.0  31   true 3.5  27   true 3.0  130   true 140    1000   true 0.86 38   true 2.5  43   true 8.0  240   true 0.28 12   true 2.1  64   true 6.8  270   unknown 2.9  110   unknown 2.4  120  
elevator_spec14_product27_true.cil.c timeout 920    410   true 2.9  27   true 3.0  130   true 5.7  370   true 0.84 37   true 2.0  37   true 4.4  160   true 0.29 12   true 2.1  60   true 7.7  210   unknown 2.5  120   unknown 2.6  130  
elevator_spec14_product31_true.cil.c exception (gremlins) 1.9  32   true 3.5  27   true 3.0  130   true 140    1000   true 0.83 38   true 4.7  59   true 9.5  240   true 0.29 12   true 2.1  66   true 7.9  290   unknown 2.9  110   unknown 2.5  120  
elevator_spec1_product01_true.cil.c timeout 920    380   true 2.2  27   true 2.8  120   true 6.0  400   true 0.77 37   true 5.4  36   true 3.0  110   true 0.30 12   true 1.6  55   true 48    270   unknown 2.6  120   unknown 2.5  130  
elevator_spec1_product03_true.cil.c timeout 920    300   true 2.5  27   true 2.9  120   true 6.1  410   true 0.78 38   true 5.5  37   true 2.6  120   true 0.28 12   true 2.0  61   true 40    290   unknown 2.5  110   unknown 2.4  120  
elevator_spec1_product09_true.cil.c timeout 920    380   true 2.2  27   true 3.1  120   true 6.0  400   true 0.77 37   true 6.4  40   true 3.0  120   true 0.29 12   true 1.5  56   true 61    290   unknown 2.6  110   unknown 2.3  120  
elevator_spec1_product11_true.cil.c timeout 920    280   true 2.5  28   true 2.9  120   true 6.1  410   true 0.79 38   timeout 920    1100   true 3.0  120   true 0.28 13   true 2.0  63   true 78    270   unknown 2.6  120   unknown 2.5  130  
elevator_spec1_product17_true.cil.c timeout 920    400   true 2.3  27   true 2.8  120   true 5.8  380   true 0.79 37   true 5.0  36   true 3.6  120   true 0.30 12   true 1.7  56   true 46    240   unknown 2.5  120   unknown 2.4  120  
elevator_spec1_product19_true.cil.c timeout 920    280   true 2.6  28   true 2.9  120   true 5.7  380   true 0.84 38   true 5.5  37   true 3.7  130   true 0.27 13   true 2.3  63   true 59    260   unknown 2.7  120   unknown 2.6  130  
elevator_spec1_product21_true.cil.c exception (gremlins) 4.5  77   true 2.5  28   true 2.9  120   false(label) 14    560   true 0.83 38   timeout 920    930   true 4.1  170   true 0.28 13   true 2.0  63   true 210    340   unknown 2.6  120   unknown 2.5  130  
elevator_spec1_product23_true.cil.c exception (gremlins) 37    150   true 2.8  28   true 2.9  130   false(label) 15    580   true 0.85 38   true 53    120   true 4.1  180   true 0.28 13   true 2.3  68   true 50    290   unknown 2.4  110   unknown 2.3  120  
elevator_spec1_product25_true.cil.c timeout 920    300   true 2.3  27   true 2.8  120   true 5.9  380   true 0.77 37   true 6.4  38   true 3.3  130   true 0.30 12   true 1.6  58   true 68    290   unknown 2.5  110   unknown 2.4  120  
elevator_spec1_product27_true.cil.c timeout 920    340   true 2.6  28   true 3.0  120   true 5.9  400   true 0.83 38   true 4.9  38   true 3.9  130   true 0.27 13   true 2.1  64   true 45    240   unknown 2.4  120   unknown 3.0  120  
elevator_spec1_product29_true.cil.c exception (gremlins) 4.5  79   true 2.5  28   true 2.9  130   false(label) 14    570   true 0.80 38   true 22    50   true 5.6  180   true 0.27 13   true 2.0  65   true 180    320   unknown 2.5  120   unknown 2.5  130  
elevator_spec1_product31_true.cil.c exception (gremlins) 37    160   true 2.9  28   true 3.0  130   false(label) 15    580   true 0.89 39   true 51    120   true 4.3  190   true 0.28 13   true 2.5  70   true 36    280   unknown 2.4  110   unknown 2.4  120  
elevator_spec2_product01_true.cil.c timeout 920    380   true 1.7  27   true 2.7  120   true 3.9  210   true 0.66 37   true 27    92   true 1.1  69   true 0.35 11   true 1.5  55   true 16    230   unknown 2.9  110   unknown 2.5  120  
elevator_spec2_product03_true.cil.c timeout 920    400   true 1.8  27   true 2.7  120   true 3.9  220   true 0.72 38   true 2.9  33   true 1.6  71   true 0.32 12   true 1.9  61   true 24    240   unknown 2.7  110   unknown 2.4  120  
elevator_spec2_product09_true.cil.c timeout 920    290   true 1.7  27   true 2.7  120   true 3.9  210   true 0.69 37   true 2.5  33   true 1.7  72   true 0.33 12   true 1.6  56   true 20    250   unknown 2.9  120   unknown 2.5  130  
elevator_spec2_product11_true.cil.c timeout 920    400   true 1.8  27   true 2.7  120   true 4.1  220   true 0.73 38   true 3.0  33   true 1.2  75   true 0.34 12   true 2.0  62   true 25    260   unknown 3.0  110   unknown 2.4  120  
elevator_spec2_product17_true.cil.c timeout 920    390   true 1.7  27   true 2.7  120   true 3.8  210   true 0.66 37   true 2.8  33   true 1.7  73   true 0.33 12   true 1.6  56   true 24    250   unknown 2.8  120   unknown 2.5  130  
elevator_spec2_product19_true.cil.c timeout 920    540   true 1.9  27   true 2.8  120   true 4.0  220   true 0.72 38   true 2.2  32   true 1.6  76   true 0.31 12   true 2.0  63   true 16    240   unknown 2.6  120   unknown 2.5  130  
elevator_spec2_product21_true.cil.c exception (gremlins) 4.5  67   true 1.7  27   true 2.7  120   false(label) 19    570   true 0.67 38   timeout 920    1100   true 2.0  110   true 0.33 12   true 2.0  63   true 30    270   unknown 2.4  110   unknown 2.3  120  
elevator_spec2_product23_true.cil.c exception (gremlins) 55    220   true 1.8  28   true 2.7  120   false(label) 20    590   true 0.71 38   true 6.0  37   true 2.5  110   true 0.32 12   true 2.4  68   true 22    230   unknown 2.5  110   unknown 2.4  120  
elevator_spec2_product25_true.cil.c timeout 920    420   true 1.7  27   true 2.7  120   true 3.9  210   true 0.69 37   true 2.6  33   true 1.6  77   true 0.33 12   true 1.7  58   true 19    250   unknown 2.4  120   unknown 2.5  130  
elevator_spec2_product27_true.cil.c timeout 920    400   true 1.9  27   true 2.7  120   true 4.0  220   true 0.71 38   true 2.5  34   true 1.3  79   true 0.33 12   true 2.2  65   true 19    250   unknown 2.3  110   unknown 2.4  120  
elevator_spec2_product29_true.cil.c exception (gremlins) 4.4  70   true 1.8  27   true 2.7  120   false(label) 18    570   true 0.72 38   true 5.6  37   true 2.6  110   true 0.32 12   true 2.1  65   true 35    270   unknown 2.5  120   unknown 2.5  130  
elevator_spec2_product31_true.cil.c exception (gremlins) 58    270   true 1.9  28   true 2.7  120   false(label) 20    600   true 0.74 39   true 4.9  36   true 2.7  110   true 0.31 12   true 2.6  70   true 42    280   unknown 2.6  120   unknown 2.5  130  
elevator_spec3_product01_true.cil.c timeout 920    380   true 3.2  27   true 3.1  130   true 7.8  490   true 0.86 37   true 1.3  32   true 4.7  160   true 0.29 13   true 1.6  56   true 1.6  130   unknown 2.6  120   unknown 2.5  120  
elevator_spec3_product09_true.cil.c timeout 920    380   true 3.2  27   true 3.1  130   true 7.9  490   true 0.88 37   true 1.3  32   true 5.1  170   true 0.30 13   true 1.6  58   true 1.7  130   unknown 2.6  120   unknown 2.5  130  
elevator_spec3_product17_true.cil.c timeout 920    390   true 3.2  27   true 3.0  130   true 6.7  480   true 0.84 37   true 1.3  32   true 5.0  170   true 0.30 13   true 1.7  58   true 1.7  130   unknown 2.4  120   unknown 2.4  120  
elevator_spec3_product18_true.cil.c timeout 920    270   true 3.4  27   true 3.1  130   true 6.7  480   true 0.86 38   true 2.4  47   true 9.6  320   true 0.34 14   true 2.1  61   true 2.8  150   unknown 2.8  110   unknown 2.4  120  
elevator_spec3_product21_true.cil.c exception (gremlins) 2.9  44   true 3.8  28   true 3.1  130   true 50    830   true 0.91 38   true 1.9  43   true 7.3  240   true 0.32 14   true 2.0  64   true 2.2  140   unknown 2.4  120   unknown 2.5  130  
elevator_spec3_product22_true.cil.c exception (gremlins) 3.0  46   true 4.0  28   true 3.1  130   true 51    870   true 0.94 38   true 3.4  68   true 15    460   true 0.35 14   true 2.2  65   true 3.7  160   unknown 2.4  110   unknown 2.3  120  
elevator_spec3_product25_true.cil.c timeout 920    390   true 3.2  27   true 3.0  130   true 6.7  480   true 0.86 38   true 1.4  33   true 5.4  180   true 0.30 13   true 1.7  59   true 1.7  130   unknown 3.0  110   unknown 2.3  120  
elevator_spec3_product26_true.cil.c timeout 920    270   true 3.4  27   true 3.1  130   true 6.7  480   true 0.86 38   true 2.4  52   true 11    330   true 0.35 14   true 2.1  62   true 2.8  160   unknown 2.8  120   unknown 2.5  130  
elevator_spec3_product29_true.cil.c exception (gremlins) 2.9  44   true 3.9  28   true 3.1  130   true 51    840   true 0.93 38   true 1.9  44   true 7.7  250   true 0.32 14   true 2.0  65   true 2.4  140   unknown 2.8  110   unknown 2.4  120  
elevator_spec3_product30_true.cil.c exception (gremlins) 3.0  45   true 4.0  28   true 3.1  130   true 50    850   true 0.92 38   true 3.5  70   true 15    470   true 0.35 14   true 2.2  67   true 4.1  180   unknown 2.9  120   unknown 2.5  130  
elevator_spec9_product09_true.cil.c timeout 920    390   true 1.7  27   true 2.7  120   true 4.0  220   true 0.68 37   true 3.9  35   true 1.8  72   true 0.35 11   true 1.5  57   true 17    220   unknown 2.7  120   unknown 2.5  130  
elevator_spec9_product11_true.cil.c timeout 920    370   true 1.8  27   true 2.7  120   true 4.2  220   true 0.70 38   true 3.1  34   true 1.3  75   true 0.34 12   true 1.8  62   true 25    260   unknown 2.9  110   unknown 2.4  120  
elevator_spec9_product25_true.cil.c timeout 920    430   true 1.7  27   true 2.7  120   true 4.0  220   true 0.71 37   true 2.6  34   true 1.5  77   true 0.33 11   true 1.5  58   true 16    240   unknown 2.8  110   unknown 2.3  120  
elevator_spec9_product27_true.cil.c timeout 920    280   true 1.9  27   true 2.7  120   true 4.1  220   true 0.72 38   true 3.5  34   true 1.3  79   true 0.33 12   true 1.9  64   true 15    210   unknown 2.7  110   unknown 2.4  120  
elevator_spec9_product29_true.cil.c exception (gremlins) 30    100   true 1.8  27   true 2.7  120   false(label) 20    570   true 0.69 38   true 6.4  37   true 2.5  110   true 0.32 12   true 2.0  64   true 19    220   unknown 2.8  120   unknown 2.4  120  
elevator_spec9_product31_true.cil.c exception (gremlins) 46    270   true 2.0  28   true 2.7  120   false(label) 21    590   true 0.75 38   true 6.5  37   true 2.8  110   true 0.34 12   true 2.4  69   true 20    240   unknown 2.9  120   unknown 2.6  130  
email_spec0_product16_false.cil.c false(label) 660    330   false(label) 1.6  36   false(label) 4.6  330   false(label) 5.5  360   false(label) 2.1  63   false(label) 0.72 28   false(label) 1.7  85   false(label) 0.77 20   false(label) 120    150   false(label) 2.2  150   unknown 2.7  110   unknown 2.4  120  
email_spec0_product21_false.cil.c timeout 920    370   false(label) 2.9  41   false(label) 4.8  340   false(label) 6.1  370   false(label) 4.2  75   false(label) 1.7  44   false(label) 6.5  130   false(label) 0.88 21   false(label) 110    150   false(label) 7.9  250   unknown 2.7  120   unknown 2.5  120  
email_spec0_product22_false.cil.c timeout 920    350   false(label) 1.7  36   false(label) 4.9  340   false(label) 5.6  380   false(label) 2.3  65   false(label) 0.86 32   false(label) 1.8  91   false(label) 1.2  24   false(label) 110    150   false(label) 3.8  180   unknown 2.6  110   unknown 3.2  120  
email_spec0_product26_false.cil.c timeout 920    380   false(label) 3.3  44   false(label) 5.3  400   false(label) 5.7  380   false(label) 4.7  80   false(label) 1.8  47   false(label) 6.5  130   false(label) 1.3  25   false(label) 110    150   false(label) 11    290   unknown 2.9  120   unknown 2.5  130  
email_spec0_product31_false.cil.c timeout 920    330   false(label) 1.9  36   false(label) 5.1  360   false(label) 5.6  370   false(label) 2.7  71   false(label) 0.82 29   false(label) 2.3  100   false(label) 0.99 22   false(label) 120    150   false(label) 2.8  160   unknown 2.6  110   unknown 2.4  120  
email_spec0_product33_false.cil.c timeout 920    340   false(label) 2.0  36   false(label) 5.8  420   false(label) 5.8  380   false(label) 2.9  77   false(label) 0.93 35   false(label) 2.8  120   false(label) 1.7  26   false(label) 110    150   false(label) 4.3  200   unknown 2.9  120   unknown 2.5  130  
email_spec0_product34_false.cil.c timeout 920    410   false(label) 4.2  48   false(label) 6.5  420   false(label) 5.7  370   false(label) 5.8  90   false(label) 2.3  52   false(label) 7.8  140   false(label) 1.1  22   false(label) 120    150   false(label) 10    310   unknown 3.0  120   unknown 2.5  120  
email_spec0_product35_false.cil.c timeout 920    400   false(label) 4.6  51   false(label) 5.9  450   false(label) 5.9  380   false(label) 6.5  91   false(label) 2.7  56   false(label) 8.0  150   false(label) 1.9  27   false(label) 110    150   false(label) 11    320   unknown 2.6  110   unknown 2.4  120  
email_spec0_productSimulator_false.cil.c timeout 920    4200   unknown 850    440   false(label) 11    560   false(label) 6.1  400   false(label) 480    530   false(label) 40    370   false(label) 820    660   false(label) 5.8  43   timeout 900    630   false(label) 110    920   unknown 2.6  120   unknown 2.5  130  
email_spec11_product15_false.cil.c timeout 920    290   false(label) 1.5  35   false(label) 4.7  320   false(label) 4.7  260   false(label) 1.9  54   false(label) 0.65 27   false(label) 2.0  94   false(label) 0.97 23   false(label) 120    150   false(label) 1.7  130   unknown 2.7  120   unknown 2.5  130  
email_spec11_product20_false.cil.c timeout 920    400   false(label) 2.6  40   false(label) 5.2  350   false(label) 4.7  260   false(label) 3.7  63   false(label) 1.5  41   false(label) 6.1  130   false(label) 1.1  23   false(label) 110    150   false(label) 7.0  240   unknown 3.3  120   unknown 2.4  120  
email_spec11_product22_false.cil.c timeout 920    510   false(label) 1.6  35   false(label) 4.8  330   false(label) 4.8  260   false(label) 2.4  66   false(label) 1.00 32   false(label) 1.9  94   false(label) 1.2  25   false(label) 110    150   false(label) 3.6  180   unknown 2.8  120   unknown 2.5  120  
email_spec11_product26_false.cil.c timeout 920    330   false(label) 3.3  43   false(label) 5.8  390   false(label) 4.7  250   false(label) 4.6  81   false(label) 1.7  46   false(label) 6.3  130   false(label) 1.4  25   false(label) 110    150   false(label) 6.4  280   unknown 2.7  120   unknown 2.4  120  
email_spec11_product30_false.cil.c timeout 920    400   false(label) 1.7  36   false(label) 5.0  370   false(label) 4.7  260   false(label) 2.3  56   false(label) 0.67 27   false(label) 2.1  97   false(label) 1.4  25   false(label) 120    150   false(label) 1.8  140   unknown 3.0  120   unknown 2.8  120  
email_spec11_product32_false.cil.c timeout 920    400   false(label) 3.5  46   false(label) 5.9  410   false(label) 4.9  260   false(label) 4.9  69   false(label) 1.8  47   false(label) 8.0  140   false(label) 1.6  25   false(label) 110    150   false(label) 8.7  280   unknown 2.5  120   unknown 2.5  120  
email_spec11_product33_false.cil.c timeout 920    330   false(label) 1.9  36   false(label) 5.3  390   false(label) 4.7  260   false(label) 2.8  76   false(label) 1.0  35   false(label) 2.6  110   false(label) 1.8  28   false(label) 110    150   false(label) 5.0  200   unknown 3.1  120   unknown 2.4  120  
email_spec11_product35_false.cil.c timeout 920    300   false(label) 4.7  50   false(label) 6.2  440   false(label) 4.8  340   false(label) 6.3  92   false(label) 2.1  54   false(label) 9.4  160   false(label) 2.0  28   false(label) 110    150   false(label) 13    320   unknown 2.8  120   unknown 2.5  120  
email_spec11_productSimulator_false.cil.c timeout 920    4700   unknown 850    460   false(label) 5.9  490   false(label) 4.9  290   false(label) 700    610   false(label) 43    2000   timeout 920    500   false(label) 6.4  47   timeout 900    610   false(label) 210    1600   unknown 2.6  120   unknown 2.4  120  
email_spec1_product14_false.cil.c timeout 920    380   false(label) 1.5  35   false(label) 5.0  330   false(label) 7.0  480   false(label) 1.9  55   false(label) 0.92 28   false(label) 2.2  76   false(label) 3.4  36   false(label) 110    140   false(label) 2.5  150   unknown 3.0  120   unknown 2.4  120  
email_spec1_product15_false.cil.c timeout 920    370   false(label) 1.5  35   false(label) 6.7  380   false(label) 24    590   false(label) 1.9  54   false(label) 0.72 27   false(label) 0.79 62   false(label) 0.37 15   false(label) 100    140   false(label) 1.9  140   unknown 3.1  120   unknown 2.5  130  
email_spec1_product16_false.cil.c timeout 920    320   false(label) 1.5  35   false(label) 5.2  350   false(label) 13    510   false(label) 2.1  63   false(label) 0.78 28   false(label) 0.81 62   false(label) 0.89 21   false(label) 110    140   false(label) 2.3  150   unknown 3.0  120   unknown 2.4  120  
email_spec1_product20_false.cil.c timeout 920    400   false(label) 2.6  39   false(label) 5.6  390   false(label) 7.1  480   false(label) 3.7  63   false(label) 1.5  40   false(label) 2.4  80   false(label) 0.38 15   false(label) 85    130   false(label) 6.1  230   unknown 3.1  120   unknown 2.5  130  
email_spec1_product21_false.cil.c timeout 920    380   false(label) 2.9  41   false(label) 5.5  380   false(label) 6.9  480   false(label) 4.2  76   false(label) 1.9  44   false(label) 2.4  80   false(label) 0.89 21   false(label) 95    140   false(label) 6.3  230   unknown 2.6  120   unknown 2.5  120  
email_spec1_product22_false.cil.c timeout 920    390   false(label) 1.6  35   false(label) 6.3  390   false(label) 13    560   false(label) 2.3  66   false(label) 1.00 31   false(label) 0.77 57   false(label) 0.45 16   false(label) 92    140   false(label) 3.2  170   unknown 2.4  110   unknown 2.4  120  
email_spec1_product26_false.cil.c timeout 920    400   false(label) 3.3  43   false(label) 5.8  420   false(label) 7.0  490   false(label) 4.7  79   false(label) 1.9  46   false(label) 2.6  84   false(label) 0.46 16   false(label) 81    130   false(label) 7.2  260   unknown 2.5  120   unknown 2.9  130  
email_spec1_product29_false.cil.c timeout 920    380   false(label) 1.7  35   false(label) 6.0  460   false(label) 7.4  490   false(label) 2.3  58   false(label) 1.00 30   false(label) 2.2  84   false(label) 3.8  39   false(label) 110    140   false(label) 2.1  160   unknown 2.6  110   unknown 2.5  120  
email_spec1_product30_false.cil.c timeout 920    390   false(label) 1.7  35   false(label) 8.7  440   false(label) 25    670   false(label) 2.3  56   false(label) 0.83 28   false(label) 0.80 59   false(label) 0.44 16   false(label) 100    140   false(label) 2.3  150   unknown 2.5  120   unknown 2.5  120  
email_spec1_product31_false.cil.c timeout 920    380   false(label) 1.8  36   false(label) 5.9  430   false(label) 13    530   false(label) 2.5  70   false(label) 1.1  28   false(label) 0.83 58   false(label) 1.1  23   false(label) 110    140   false(label) 2.5  160   unknown 2.6  110   unknown 2.5  120  
email_spec1_product32_false.cil.c timeout 920    390   false(label) 3.5  45   false(label) 6.3  460   false(label) 7.4  490   false(label) 5.1  69   false(label) 1.8  45   false(label) 3.4  95   false(label) 0.48 16   false(label) 84    130   false(label) 8.2  250   unknown 2.7  110   unknown 2.5  120  
email_spec1_product33_false.cil.c timeout 920    510   false(label) 1.9  36   false(label) 7.8  440   false(label) 14    590   false(label) 2.8  76   false(label) 1.4  34   false(label) 0.92 64   false(label) 0.55 17   false(label) 94    140   false(label) 3.5  180   unknown 3.0  110   unknown 2.5  120  
email_spec1_product34_false.cil.c timeout 920    390   false(label) 4.2  47   false(label) 6.2  460   false(label) 7.0  490   false(label) 5.8  88   false(label) 2.2  49   false(label) 3.5  97   false(label) 1.2  24   false(label) 96    140   false(label) 9.7  280   unknown 3.0  110   unknown 2.4  120  
email_spec1_product35_false.cil.c timeout 920    390   false(label) 4.6  49   false(label) 6.0  510   false(label) 7.1  500   false(label) 6.4  91   false(label) 3.0  55   false(label) 3.6  97   false(label) 0.59 17   false(label) 82    130   false(label) 9.6  290   unknown 2.5  110   unknown 2.4  120  
email_spec1_productSimulator_false.cil.c timeout 920    1500   false(label) 520    320   false(label) 12    600   false(label) 9.3  560   false(label) 140    270   false(label) 19    230   false(label) 56    480   false(label) 1.2  22   timeout 900    570   false(label) 47    770   unknown 2.7  120   unknown 2.5  130  
email_spec27_product17_false.cil.c false(label) 98    140   false(label) 1.6  35   false(label) 8.5  440   false(label) 59    550   false(label) 2.1  57   false(label) 0.99 30   false(label) 1.9  68   false(label) 1.5  26   false(label) 110    140   false(label) 2.5  170   unknown 2.7  120   unknown 2.5  120  
email_spec27_product18_false.cil.c false(label) 8.9  110   false(label) 1.5  35   false(label) 11    470   unknown 900    1300   false(label) 2.0  55   false(label) 0.72 27   false(label) 0.88 57   false(label) 0.42 15   false(label) 120    140   false(label) 2.3  150   unknown 2.7  110   unknown 2.3  120  
email_spec27_product19_false.cil.c false(label) 99    140   false(label) 1.6  35   false(label) 5.9  380   false(label) 13    510   false(label) 2.3  65   false(label) 0.87 28   false(label) 0.81 53   false(label) 2.0  30   false(label) 120    140   false(label) 2.5  170   unknown 2.6  110   unknown 2.4  120  
email_spec27_product23_false.cil.c false(label) 9.9  110   false(label) 2.8  41   false(label) 9.4  450   false(label) 66    830   false(label) 4.0  64   false(label) 1.8  43   false(label) 3.1  84   false(label) 0.44 16   false(label) 93    140   false(label) 7.0  240   unknown 3.0  120   unknown 2.5  130  
email_spec27_product24_false.cil.c false(label) 9.0  100   false(label) 1.7  35   false(label) 6.5  420   false(label) 13    560   false(label) 2.4  68   false(label) 1.2  32   false(label) 1.0  65   false(label) 0.49 16   false(label) 110    140   false(label) 3.5  180   unknown 2.7  120   unknown 2.5  130  
email_spec27_product25_false.cil.c false(label) 110    140   false(label) 3.2  43   false(label) 6.4  430   false(label) 12    520   false(label) 4.4  79   false(label) 1.7  44   false(label) 3.0  84   false(label) 2.0  29   false(label) 92    140   false(label) 7.5  240   unknown 2.5  120   unknown 2.5  130  
email_spec27_product27_false.cil.c false(label) 10    110   false(label) 3.5  44   false(label) 7.2  460   false(label) 13    570   false(label) 4.9  83   false(label) 2.8  51   false(label) 3.5  89   false(label) 0.50 16   false(label) 84    130   false(label) 8.3  250   unknown 2.6  110   unknown 2.4  120  
email_spec27_product29_false.cil.c false(label) 210    280   false(label) 1.9  36   false(label) 8.2  470   false(label) 61    610   false(label) 2.5  59   false(label) 1.1  32   false(label) 2.8  91   false(label) 1.7  28   false(label) 110    140   false(label) 3.3  180   unknown 2.5  110   unknown 2.4  120  
email_spec27_product30_false.cil.c false(label) 660    270   false(label) 1.8  36   false(label) 13    530   timeout 900    1300   false(label) 2.4  57   false(label) 0.87 28   false(label) 1.2  73   false(label) 0.46 16   false(label) 100    150   false(label) 2.4  160   unknown 2.6  120   unknown 2.5  130  
email_spec27_product31_false.cil.c timeout 920    360   false(label) 1.9  36   false(label) 7.1  450   false(label) 13    520   false(label) 2.7  72   false(label) 0.87 29   false(label) 1.2  71   false(label) 2.4  33   false(label) 110    150   false(label) 3.0  170   unknown 2.9  120   unknown 2.5  130  
email_spec27_product32_false.cil.c false(label) 670    270   false(label) 3.9  47   false(label) 9.8  530   false(label) 69    930   false(label) 5.6  72   false(label) 3.1  56   false(label) 4.5  110   false(label) 0.47 16   false(label) 89    140   false(label) 8.4  320   unknown 2.7  120   unknown 2.5  120  
email_spec27_product33_false.cil.c false(label) 450    210   false(label) 2.0  36   false(label) 7.5  450   false(label) 14    580   false(label) 3.0  77   false(label) 1.5  37   false(label) 1.1  66   false(label) 0.57 17   false(label) 97    140   false(label) 4.7  210   unknown 3.0  110   unknown 2.4  120  
email_spec27_product34_false.cil.c timeout 920    390   false(label) 4.6  50   false(label) 6.9  510   false(label) 13    540   false(label) 6.4  90   false(label) 3.5  57   false(label) 4.4  110   false(label) 2.3  31   false(label) 90    140   false(label) 13    380   unknown 3.1  120   unknown 2.5  130  
email_spec27_product35_false.cil.c false(label) 470    230   false(label) 5.1  52   false(label) 8.8  520   false(label) 14    610   false(label) 6.9  91   false(label) 3.6  62   false(label) 4.9  110   false(label) 0.60 18   false(label) 83    140   false(label) 15    380   unknown 2.8  120   unknown 2.5  120  
email_spec27_productSimulator_false.cil.c false(label) 71    400   true 850    470   timeout 900    3900   false(label) 18    740   false(label) 350    400   false(label) 42    700   timeout 920    460   false(label) 1.3  23   timeout 900    600   false(label) 190    1800   unknown 3.0  110   unknown 2.3  120  
email_spec3_product13_false.cil.c false(label) 120    140   false(label) 0.56 31   false(label) 4.5  330   false(label) 5.3  360   false(label) 1.6  52   false(label) 0.50 26   false(label) 0.41 27   false(label) 0.18 9.0 false(label) 22    64   false(label) 1.1  110   unknown 2.7  120   unknown 2.4  120  
email_spec3_product17_false.cil.c false(label) 130    140   false(label) 0.68 33   false(label) 5.3  360   false(label) 5.3  360   false(label) 2.2  60   false(label) 0.49 28   false(label) 0.29 33   false(label) 0.18 9.0 false(label) 19    62   false(label) 1.6  140   unknown 2.7  110   unknown 2.4  120  
email_spec3_product18_false.cil.c false(label) 6.7  90   false(label) 0.65 32   false(label) 5.1  370   false(label) 5.0  290   false(label) 2.2  58   false(label) 0.46 26   false(label) 0.28 38   false(label) 0.16 9.0 false(label) 17    60   false(label) 1.3  120   unknown 2.7  120   unknown 2.4  120  
email_spec3_product19_false.cil.c false(label) 120    140   false(label) 0.68 32   false(label) 5.0  330   false(label) 5.3  360   false(label) 2.4  69   false(label) 0.46 27   false(label) 0.27 32   false(label) 0.15 9.0 false(label) 17    59   false(label) 1.3  130   unknown 2.7  120   unknown 2.5  130  
email_spec3_product23_false.cil.c false(label) 7.5  90   false(label) 1.2  35   false(label) 6.2  420   false(label) 5.1  290   false(label) 4.2  67   false(label) 0.85 39   false(label) 0.29 34   false(label) 0.15 9.0 false(label) 16    62   false(label) 2.8  160   unknown 2.5  110   unknown 2.5  120  
email_spec3_product24_false.cil.c false(label) 6.8  88   false(label) 0.74 33   false(label) 5.9  370   false(label) 5.0  290   false(label) 2.5  74   false(label) 0.52 30   false(label) 0.26 35   false(label) 0.20 9.0 false(label) 14    56   false(label) 1.7  140   unknown 3.0  120   unknown 2.5  130  
email_spec3_product25_false.cil.c false(label) 130    140   false(label) 1.4  36   false(label) 5.3  370   false(label) 5.4  360   false(label) 4.8  85   false(label) 0.97 42   false(label) 0.38 46   false(label) 0.17 9.0 false(label) 16    61   false(label) 3.2  200   unknown 2.7  110   unknown 2.4  120  
email_spec3_product27_false.cil.c false(label) 7.7  92   false(label) 1.6  38   false(label) 5.7  430   false(label) 5.1  290   false(label) 5.3  89   false(label) 0.89 43   false(label) 0.31 36   false(label) 0.17 9.0 false(label) 14    58   false(label) 3.6  200   unknown 2.8  110   unknown 2.5  120  
email_spec3_product28_false.cil.c false(label) 200    140   false(label) 0.56 31   false(label) 4.9  330   false(label) 5.3  360   false(label) 1.7  54   false(label) 0.44 26   false(label) 0.27 31   false(label) 0.26 10.0 false(label) 22    64   false(label) 1.3  130   unknown 2.4  110   unknown 2.6  120  
email_spec3_product29_false.cil.c false(label) 210    140   false(label) 0.79 34   false(label) 5.8  420   false(label) 5.4  360   false(label) 2.5  63   false(label) 0.60 30   false(label) 0.38 46   false(label) 0.16 10.0 false(label) 19    67   false(label) 2.0  150   unknown 2.9  110   unknown 2.3  120  
email_spec3_product30_false.cil.c false(label) 8.0  100   false(label) 0.74 33   false(label) 5.3  430   false(label) 5.0  300   false(label) 2.5  60   false(label) 0.49 27   false(label) 0.27 31   false(label) 0.17 10.0 false(label) 18    68   false(label) 1.6  130   unknown 3.0  110   unknown 2.4  120  
email_spec3_product31_false.cil.c false(label) 210    140   false(label) 0.81 33   false(label) 5.2  370   false(label) 5.4  360   false(label) 2.9  79   false(label) 0.50 28   false(label) 0.29 42   false(label) 0.17 10.0 false(label) 17    67   false(label) 1.7  140   unknown 3.0  120   unknown 2.5  120  
email_spec3_product32_false.cil.c false(label) 8.8  110   false(label) 1.7  40   false(label) 5.8  510   false(label) 5.0  300   false(label) 6.0  76   false(label) 1.2  46   false(label) 0.40 45   false(label) 0.16 10.0 false(label) 17    68   false(label) 4.3  240   unknown 2.8  120   unknown 2.6  130  
email_spec3_product33_false.cil.c false(label) 8.0  100   false(label) 0.85 33   false(label) 6.9  460   false(label) 5.1  300   false(label) 3.1  82   false(label) 0.62 34   false(label) 0.32 43   false(label) 0.19 10.0 false(label) 15    65   false(label) 2.4  170   unknown 2.7  120   unknown 2.5  130  
email_spec3_product34_false.cil.c false(label) 220    140   false(label) 2.0  43   false(label) 6.1  420   false(label) 5.5  360   false(label) 6.7  93   false(label) 1.3  52   false(label) 0.40 46   false(label) 0.51 10.0 false(label) 16    67   false(label) 4.6  260   unknown 2.8  120   unknown 2.6  130  
email_spec3_product35_false.cil.c false(label) 9.1  110   false(label) 2.2  44   false(label) 6.7  510   false(label) 5.1  300   false(label) 7.3  99   false(label) 1.6  56   false(label) 0.43 46   false(label) 0.16 10.0 false(label) 15    66   false(label) 4.7  230   unknown 2.7  120   unknown 2.5  130  
email_spec3_productSimulator_false.cil.c false(label) 26    150   false(label) 270    320   false(label) 8.1  540   false(label) 5.0  320   false(label) 160    280   false(label) 15    270   false(label) 42    470   false(label) 0.19 11   timeout 900    520   false(label) 21    480   unknown 2.7  110   unknown 2.4  120  
email_spec4_product18_false.cil.c timeout 920    420   false(label) 1.5  35   false(label) 5.1  350   false(label) 4.9  260   false(label) 2.0  54   false(label) 0.64 27   false(label) 0.75 63   false(label) 0.40 15   false(label) 120    140   false(label) 2.1  150   unknown 2.8  120   unknown 2.5  130  
email_spec4_product19_false.cil.c timeout 920    410   false(label) 1.5  35   false(label) 5.5  350   false(label) 5.6  370   false(label) 2.2  65   false(label) 0.70 27   false(label) 0.64 50   false(label) 0.35 14   false(label) 110    140   false(label) 1.8  140   unknown 2.8  110   unknown 2.4  120  
email_spec4_product23_false.cil.c timeout 920    410   false(label) 2.6  39   false(label) 5.4  410   false(label) 4.9  270   false(label) 3.5  63   false(label) 1.4  38   false(label) 2.5  83   false(label) 0.46 16   false(label) 110    140   false(label) 4.7  200   unknown 2.6  120   unknown 2.6  120  
email_spec4_product24_false.cil.c timeout 920    400   false(label) 1.6  35   false(label) 4.9  360   false(label) 4.8  260   false(label) 2.3  67   false(label) 0.89 31   false(label) 0.79 67   false(label) 0.40 15   false(label) 100    130   false(label) 2.2  160   unknown 3.2  120   unknown 2.5  120  
email_spec4_product25_false.cil.c timeout 920    390   false(label) 2.9  41   false(label) 5.3  400   false(label) 5.6  370   false(label) 4.0  78   false(label) 1.6  40   false(label) 1.9  72   false(label) 0.34 15   false(label) 110    140   false(label) 5.8  200   unknown 2.9  110   unknown 2.4  120  
email_spec4_product27_false.cil.c timeout 920    810   false(label) 3.2  43   false(label) 5.9  410   false(label) 4.8  270   false(label) 4.4  80   false(label) 1.5  42   false(label) 2.9  93   false(label) 0.39 16   false(label) 93    140   false(label) 4.1  220   unknown 2.5  120   unknown 2.5  130  
email_spec4_product30_false.cil.c timeout 920    270   false(label) 1.7  36   false(label) 5.8  410   false(label) 4.9  270   false(label) 2.3  56   false(label) 0.70 28   false(label) 0.89 64   false(label) 0.46 16   false(label) 110    140   false(label) 1.9  140   unknown 2.7  120   unknown 2.6  130  
email_spec4_product31_false.cil.c timeout 920    390   false(label) 1.8  36   false(label) 5.3  410   false(label) 5.7  370   false(label) 2.6  69   false(label) 0.83 28   false(label) 0.93 70   false(label) 0.38 15   false(label) 110    140   false(label) 2.3  160   unknown 2.7  120   unknown 2.4  120  
email_spec4_product32_false.cil.c timeout 920    330   false(label) 3.5  45   false(label) 6.3  480   false(label) 5.1  270   false(label) 5.1  69   false(label) 1.7  45   false(label) 3.5  97   false(label) 0.51 16   false(label) 100    140   false(label) 8.1  250   unknown 2.6  120   unknown 2.5  130  
email_spec4_product33_false.cil.c timeout 920    410   false(label) 1.9  36   false(label) 5.6  400   false(label) 4.9  270   false(label) 2.9  78   false(label) 1.0  33   false(label) 0.90 65   false(label) 0.39 16   false(label) 92    140   false(label) 2.6  170   unknown 2.9  110   unknown 2.4  120  
email_spec4_product34_false.cil.c timeout 920    390   false(label) 4.2  48   false(label) 6.5  490   false(label) 5.9  370   false(label) 5.9  90   false(label) 2.2  48   false(label) 3.4  97   false(label) 0.40 15   false(label) 110    140   false(label) 10    280   unknown 2.7  120   unknown 2.5  130  
email_spec4_product35_false.cil.c timeout 920    340   false(label) 4.6  49   false(label) 5.9  480   false(label) 4.9  270   false(label) 6.5  92   false(label) 2.8  53   false(label) 4.1  110   false(label) 0.47 16   false(label) 90    140   false(label) 10    300   unknown 2.6  120   unknown 2.6  130  
email_spec4_productSimulator_false.cil.c timeout 920    1500   false(label) 490    310   false(label) 6.2  510   false(label) 4.9  300   false(label) 140    260   false(label) 19    270   false(label) 56    480   false(label) 1.0  21   timeout 900    540   false(label) 66    1000   unknown 2.8  120   unknown 2.5  130  
email_spec6_product12_false.cil.c timeout 920    640   false(label) 1.3  35   false(label) 4.3  320   false(label) 4.8  270   false(label) 1.5  51   false(label) 0.86 27   false(label) 0.68 52   false(label) 0.74 19   false(label) 100    130   false(label) 1.6  130   unknown 2.9  110   unknown 3.0  120  
email_spec6_product14_false.cil.c timeout 920    670   false(label) 1.6  35   false(label) 4.6  330   false(label) 4.9  280   false(label) 2.1  59   false(label) 0.72 29   false(label) 2.0  79   false(label) 0.74 20   false(label) 97    130   false(label) 1.9  150   unknown 2.9  120   unknown 2.5  130  
email_spec6_product15_false.cil.c timeout 920    400   false(label) 1.5  35   false(label) 4.8  330   false(label) 4.8  270   false(label) 2.1  57   false(label) 0.85 27   false(label) 0.89 64   false(label) 0.96 22   false(label) 89    130   false(label) 2.3  150   unknown 3.0  120   unknown 2.5  130  
email_spec6_product16_false.cil.c timeout 920    570   false(label) 1.6  35   false(label) 4.9  320   false(label) 4.9  270   false(label) 2.3  67   false(label) 0.74 28   false(label) 0.90 65   false(label) 0.85 21   false(label) 94    130   false(label) 2.4  150   unknown 2.5  120   unknown 2.5  120  
email_spec6_product20_false.cil.c timeout 920    400   false(label) 2.8  42   false(label) 5.7  390   false(label) 4.8  280   false(label) 4.1  67   false(label) 1.6  42   false(label) 3.5  93   false(label) 1.0  23   false(label) 86    130   false(label) 6.8  240   unknown 3.1  120   unknown 2.5  120  
email_spec6_product21_false.cil.c timeout 920    630   false(label) 3.2  43   false(label) 5.3  360   false(label) 4.9  280   false(label) 4.6  82   false(label) 1.7  45   false(label) 3.0  84   false(label) 0.92 21   false(label) 91    130   false(label) 7.6  260   unknown 2.6  120   unknown 2.5  130  
email_spec6_product22_false.cil.c timeout 920    460   false(label) 1.7  36   false(label) 4.6  340   false(label) 4.9  280   false(label) 2.4  69   false(label) 0.81 32   false(label) 1.00 70   false(label) 1.2  25   false(label) 87    130   false(label) 2.5  170   unknown 2.7  110   unknown 2.5  120  
email_spec6_product26_false.cil.c timeout 920    380   false(label) 3.5  45   false(label) 4.8  400   false(label) 4.9  280   false(label) 5.3  87   false(label) 1.7  46   false(label) 3.5  95   false(label) 1.4  25   false(label) 86    130   false(label) 9.3  280   unknown 2.5  110   unknown 2.3  120  
email_spec6_product28_false.cil.c timeout 920    360   false(label) 1.3  35   false(label) 4.8  340   false(label) 4.9  270   false(label) 1.7  53   false(label) 0.85 27   false(label) 0.70 57   false(label) 0.83 20   false(label) 100    130   false(label) 2.2  150   unknown 2.5  120   unknown 2.5  120  
email_spec6_product29_false.cil.c timeout 920    400   false(label) 1.9  37   false(label) 5.3  400   false(label) 4.9  280   false(label) 2.5  62   false(label) 0.93 31   false(label) 2.6  90   false(label) 0.88 21   false(label) 98    130   false(label) 2.3  170   unknown 2.5  110   unknown 2.4  120  
email_spec6_product30_false.cil.c timeout 920    400   false(label) 1.7  36   false(label) 5.0  360   false(label) 4.9  280   false(label) 2.4  59   false(label) 0.92 28   false(label) 1.1  79   false(label) 1.3  24   false(label) 91    130   false(label) 2.4  150   unknown 2.7  120   unknown 2.5  130  
email_spec6_product31_false.cil.c timeout 920    460   false(label) 1.9  36   false(label) 4.7  360   false(label) 4.9  280   false(label) 2.7  80   false(label) 0.69 28   false(label) 1.0  70   false(label) 1.1  22   false(label) 94    130   false(label) 2.5  170   unknown 2.6  120   unknown 2.5  120  
email_spec6_product32_false.cil.c timeout 920    390   false(label) 3.8  47   false(label) 5.7  410   false(label) 4.9  280   false(label) 5.5  75   false(label) 1.7  47   false(label) 4.5  110   false(label) 1.4  24   false(label) 87    130   false(label) 8.5  290   unknown 2.6  120   unknown 2.5  120  
email_spec6_product33_false.cil.c timeout 920    330   false(label) 2.1  36   false(label) 4.9  350   false(label) 5.0  280   false(label) 3.0  82   false(label) 1.0  34   false(label) 1.2  81   false(label) 1.7  27   false(label) 88    130   false(label) 3.7  180   unknown 2.8  120   unknown 2.5  130  
email_spec6_product34_false.cil.c timeout 920    400   false(label) 4.5  50   false(label) 6.1  410   false(label) 4.9  280   false(label) 6.4  92   false(label) 2.1  52   false(label) 3.5  95   false(label) 1.1  23   false(label) 92    130   false(label) 9.3  290   unknown 2.7  110   unknown 2.4  120  
email_spec6_product35_false.cil.c timeout 920    550   false(label) 5.0  52   false(label) 5.1  410   false(label) 4.9  280   false(label) 7.1  97   false(label) 1.9  55   false(label) 4.0  100   false(label) 1.9  27   false(label) 85    130   false(label) 12    330   unknown 2.9  120   unknown 2.5  130  
email_spec6_productSimulator_false.cil.c timeout 920    1400   false(label) 530    320   false(label) 5.6  450   false(label) 4.9  290   false(label) 150    280   false(label) 19    270   false(label) 83    500   false(label) 14    77   timeout 900    580   false(label) 36    710   unknown 2.5  110   unknown 2.4  120  
email_spec7_product28_false.cil.c timeout 920    380   false(label) 1.3  35   false(label) 4.6  320   false(label) 4.6  260   false(label) 1.6  49   false(label) 0.82 27   false(label) 0.74 53   false(label) 0.78 20   false(label) 100    130   false(label) 1.6  140   unknown 2.8  110   unknown 2.4  120  
email_spec7_product29_false.cil.c timeout 920    360   false(label) 1.8  36   false(label) 5.5  390   false(label) 4.7  250   false(label) 2.3  57   false(label) 1.0  29   false(label) 2.3  82   false(label) 0.85 20   false(label) 99    130   false(label) 2.8  170   unknown 2.8  110   unknown 2.4  120  
email_spec7_product30_false.cil.c timeout 920    400   false(label) 1.7  35   false(label) 5.1  340   false(label) 4.7  260   false(label) 2.2  55   false(label) 0.60 27   false(label) 1.0  69   false(label) 1.3  24   false(label) 90    130   false(label) 1.8  140   unknown 2.5  110   unknown 2.4  120  
email_spec7_product31_false.cil.c timeout 920    380   false(label) 1.9  36   false(label) 5.0  340   false(label) 4.8  260   false(label) 2.5  68   false(label) 0.69 28   false(label) 0.92 61   false(label) 1.0  22   false(label) 94    130   false(label) 2.6  170   unknown 2.7  120   unknown 2.5  120  
email_spec7_product32_false.cil.c timeout 920    270   false(label) 3.4  44   false(label) 5.1  420   false(label) 4.8  250   false(label) 4.9  66   false(label) 1.6  46   false(label) 3.5  89   false(label) 1.4  24   false(label) 88    130   false(label) 5.9  270   unknown 3.0  120   unknown 2.4  120  
email_spec7_product33_false.cil.c timeout 920    400   false(label) 1.9  36   false(label) 5.4  350   false(label) 4.8  260   false(label) 2.8  71   false(label) 0.96 34   false(label) 0.98 64   false(label) 1.7  27   false(label) 87    130   false(label) 2.9  180   unknown 3.2  110   unknown 2.4  120  
email_spec7_product34_false.cil.c timeout 920    400   false(label) 4.1  47   false(label) 5.1  420   false(label) 4.7  260   false(label) 5.6  85   false(label) 1.8  48   false(label) 3.5  90   false(label) 1.1  22   false(label) 91    130   false(label) 9.1  280   unknown 3.3  120   unknown 2.4  120  
email_spec7_product35_false.cil.c timeout 920    270   false(label) 4.6  49   false(label) 5.0  390   false(label) 4.8  260   false(label) 6.2  89   false(label) 2.1  52   false(label) 4.1  97   false(label) 1.9  27   false(label) 86    130   false(label) 12    300   unknown 3.3  120   unknown 2.5  130  
email_spec7_productSimulator_false.cil.c timeout 920    2500   false(label) 630    350   false(label) 6.4  500   false(label) 5.0  280   false(label) 170    290   false(label) 30    270   false(label) 190    490   false(label) 13    76   timeout 900    530   false(label) 84    1200   unknown 2.9  130   unknown 2.6  130  
email_spec8_product15_false.cil.c timeout 920    500   false(label) 1.5  35   false(label) 7.0  400   false(label) 25    590   false(label) 2.0  56   false(label) 0.84 27   false(label) 0.85 65   false(label) 1.00 23   false(label) 110    150   false(label) 2.2  150   unknown 3.2  120   unknown 2.5  130  
email_spec8_product16_false.cil.c timeout 920    390   false(label) 1.6  35   false(label) 5.6  350   false(label) 13    520   false(label) 2.2  66   false(label) 0.84 28   false(label) 0.82 64   false(label) 0.89 21   false(label) 110    140   false(label) 2.2  150   unknown 2.6  120   unknown 2.4  120  
email_spec8_product20_false.cil.c timeout 920    380   false(label) 2.6  40   false(label) 7.1  440   false(label) 23    630   false(label) 3.9  66   false(label) 1.7  42   false(label) 2.7  90   false(label) 1.1  23   false(label) 110    150   false(label) 6.3  230   unknown 3.1  110   unknown 2.4  120  
email_spec8_product21_false.cil.c timeout 920    370   false(label) 3.0  42   false(label) 5.6  390   false(label) 12    530   false(label) 4.3  81   false(label) 1.7  43   false(label) 2.2  78   false(label) 0.90 22   false(label) 110    150   false(label) 7.2  230   unknown 2.9  120   unknown 2.5  120  
email_spec8_product22_false.cil.c timeout 920    410   false(label) 1.7  35   false(label) 6.3  400   false(label) 13    570   false(label) 2.4  68   false(label) 0.89 31   false(label) 0.82 63   false(label) 1.2  25   false(label) 100    140   false(label) 2.8  180   unknown 2.4  110   unknown 2.3  120  
email_spec8_product26_false.cil.c timeout 920    380   false(label) 3.3  44   false(label) 6.9  440   false(label) 13    590   false(label) 4.9  85   false(label) 1.9  45   false(label) 2.5  86   false(label) 1.4  26   false(label) 100    140   false(label) 8.6  250   unknown 2.9  120   unknown 2.4  120  
email_spec8_product30_false.cil.c timeout 920    510   false(label) 1.7  36   false(label) 9.1  430   false(label) 25    660   false(label) 2.3  58   false(label) 0.64 28   false(label) 0.82 61   false(label) 1.4  25   false(label) 110    150   false(label) 2.2  150   unknown 2.8  120   unknown 2.4  120  
email_spec8_product31_false.cil.c timeout 920    340   false(label) 1.9  35   false(label) 7.5  430   false(label) 13    540   false(label) 2.7  78   false(label) 0.85 28   false(label) 0.97 74   false(label) 1.1  23   false(label) 110    150   false(label) 2.5  160   unknown 2.5  120   unknown 2.6  120  
email_spec8_product32_false.cil.c timeout 920    390   false(label) 3.6  45   false(label) 8.3  520   false(label) 23    710   false(label) 5.2  74   false(label) 1.7  46   false(label) 3.6  110   false(label) 1.5  25   false(label) 110    150   false(label) 6.1  250   unknown 2.8  120   unknown 2.4  120  
email_spec8_product33_false.cil.c timeout 920    630   false(label) 2.0  36   false(label) 7.5  450   false(label) 14    600   false(label) 2.9  81   false(label) 1.3  34   false(label) 1.00 75   false(label) 1.8  28   false(label) 100    140   false(label) 3.4  180   unknown 2.6  110   unknown 2.4  120  
email_spec8_product34_false.cil.c timeout 920    390   false(label) 4.3  48   false(label) 8.1  510   false(label) 13    550   false(label) 5.9  91   false(label) 2.0  48   false(label) 3.7  110   false(label) 1.2  24   false(label) 110    150   false(label) 8.6  270   unknown 2.9  120   unknown 2.4  120  
email_spec8_product35_false.cil.c timeout 920    390   false(label) 4.7  50   false(label) 8.5  530   false(label) 14    620   false(label) 6.6  96   false(label) 2.5  55   false(label) 3.6  110   false(label) 2.0  28   false(label) 100    140   false(label) 7.4  280   unknown 3.2  120   unknown 2.4  120  
email_spec8_productSimulator_false.cil.c timeout 920    1400   false(label) 510    320   false(label) 540    4600   false(label) 19    730   false(label) 140    270   false(label) 17    270   false(label) 63    510   false(label) 45    190   timeout 900    570   false(label) 71    1100   unknown 2.9  110   unknown 2.4  120  
email_spec9_product15_false.cil.c timeout 920    510   false(label) 1.5  35   false(label) 7.1  400   false(label) 25    600   false(label) 2.0  56   false(label) 0.75 27   false(label) 0.85 65   false(label) 0.97 23   false(label) 110    150   false(label) 2.2  150   unknown 3.0  110   unknown 2.5  120  
email_spec9_product16_false.cil.c timeout 920    390   false(label) 1.6  35   false(label) 5.2  350   false(label) 13    520   false(label) 2.2  66   false(label) 0.67 27   false(label) 0.71 55   false(label) 0.85 21   false(label) 110    140   false(label) 2.2  150   unknown 2.9  110   unknown 2.4  120  
email_spec9_product20_false.cil.c timeout 920    380   false(label) 2.6  40   false(label) 7.1  450   false(label) 22    640   false(label) 4.1  66   false(label) 1.5  40   false(label) 2.6  86   false(label) 1.1  24   false(label) 110    150   false(label) 4.1  220   unknown 3.1  120   unknown 2.4  120  
email_spec9_product21_false.cil.c timeout 920    380   false(label) 3.0  42   false(label) 6.2  390   false(label) 12    530   false(label) 4.3  81   false(label) 1.5  43   false(label) 2.6  86   false(label) 0.93 22   false(label) 110    150   false(label) 7.1  230   unknown 3.0  120   unknown 2.5  130  
email_spec9_product22_false.cil.c timeout 920    510   false(label) 1.7  36   false(label) 6.1  400   false(label) 13    570   false(label) 2.4  68   false(label) 1.1  31   false(label) 0.88 68   false(label) 1.3  25   false(label) 100    140   false(label) 3.2  170   unknown 2.7  120   unknown 2.5  130  
email_spec9_product26_false.cil.c timeout 920    380   false(label) 3.3  44   false(label) 6.9  450   false(label) 13    590   false(label) 5.0  84   false(label) 1.7  45   false(label) 2.4  84   false(label) 1.4  26   false(label) 100    140   false(label) 7.9  240   unknown 2.4  110   unknown 2.5  120  
email_spec9_product30_false.cil.c timeout 920    510   false(label) 1.7  35   false(label) 7.8  410   false(label) 25    670   false(label) 2.3  58   false(label) 0.62 28   false(label) 0.87 66   false(label) 1.4  25   false(label) 110    150   false(label) 2.2  150   unknown 2.8  120   unknown 2.5  130  
email_spec9_product31_false.cil.c timeout 920    340   false(label) 1.9  35   false(label) 7.4  430   false(label) 13    530   false(label) 2.7  78   false(label) 0.88 28   false(label) 0.97 75   false(label) 1.1  23   false(label) 110    140   false(label) 2.5  160   unknown 2.5  110   unknown 2.5  120  
email_spec9_product32_false.cil.c timeout 920    390   false(label) 3.6  45   false(label) 8.2  520   false(label) 23    710   false(label) 5.2  74   false(label) 2.6  50   false(label) 3.2  98   false(label) 1.5  25   false(label) 110    150   false(label) 8.3  250   unknown 2.4  120   unknown 2.5  130  
email_spec9_product33_false.cil.c timeout 920    630   false(label) 2.0  36   false(label) 7.5  450   false(label) 14    590   false(label) 2.9  81   false(label) 1.5  34   false(label) 0.92 67   false(label) 1.8  28   false(label) 100    140   false(label) 3.7  180   unknown 3.2  120   unknown 2.5  120  
email_spec9_product34_false.cil.c timeout 920    390   false(label) 4.3  48   false(label) 7.0  510   false(label) 13    560   false(label) 6.3  91   false(label) 2.3  51   false(label) 3.2  99   false(label) 1.2  23   false(label) 110    150   false(label) 9.5  310   unknown 3.2  120   unknown 2.4  120  
email_spec9_product35_false.cil.c timeout 920    390   false(label) 4.7  50   false(label) 8.4  530   false(label) 14    620   false(label) 6.6  97   false(label) 2.5  54   false(label) 3.9  110   false(label) 2.0  28   false(label) 100    140   false(label) 11    290   unknown 2.9  120   unknown 2.5  130  
email_spec9_productSimulator_false.cil.c timeout 920    1400   false(label) 520    310   false(label) 160    4700   false(label) 19    740   false(label) 140    280   false(label) 17    270   false(label) 56    500   false(label) 45    190   timeout 900    570   false(label) 55    960   unknown 3.3  120   unknown 2.4  120  
email_spec0_product05_true.cil.c true 0.51 30   true 2.5  28   true 20    270   timeout 900    690   true 0.69 33   true 0.40 18   true 0.30 6.0 true 5.4  20   true 130    150   true 0.48 36   unknown 2.4  120   unknown 2.4  120  
email_spec0_product09_true.cil.c true 0.87 46   true 4.2  28   true 17    420   unknown 900    920   true 0.93 34   true 0.33 18   true 0.31 9.0 true 6.2  27   true 130    150   true 0.58 36   unknown 2.7  110   unknown 2.4  120  
email_spec0_product10_true.cil.c true 0.70 37   true 2.8  28   true 19    420   timeout 900    850   true 0.76 34   true 0.31 18   true 0.26 6.0 true 5.3  23   true 130    150   true 0.49 42   unknown 2.9  110   unknown 2.3  120  
email_spec0_product11_true.cil.c true 0.97 48   true 4.0  29   true 17    470   timeout 900    960   true 0.95 35   true 0.35 18   true 0.34 15   true 12    58   true 130    150   true 0.53 36   unknown 2.9  120   unknown 2.5  120  
email_spec0_product19_true.cil.c true 1.3  62   true 4.7  29   true 20    800   timeout 900    1300   true 1.0  36   true 0.32 18   true 0.38 16   true 15    66   true 130    150   true 0.57 36   unknown 2.7  120   unknown 2.5  130  
email_spec0_product24_true.cil.c true 1.5  72   true 5.0  29   true 22    830   timeout 900    1300   true 1.1  37   true 0.34 18   true 0.40 16   true 19    82   true 120    150   true 0.51 37   unknown 3.0  120   unknown 2.4  120  
email_spec0_product25_true.cil.c true 2.2  110   true 8.8  32   true 21    830   timeout 900    1300   true 1.4  40   true 0.35 18   true 0.53 21   true 26    99   true 130    150   true 0.54 38   unknown 2.7  120   unknown 2.5  130  
email_spec0_product27_true.cil.c true 2.9  130   true 9.8  33   true 24    970   timeout 900    1300   true 1.5  40   true 0.35 18   true 0.47 22   true 30    110   true 120    150   true 0.56 36   unknown 2.6  110   unknown 2.5  120  
email_spec0_product36_true.cil.c true 1.1  59   true 4.9  28   true 18    470   timeout 900    1100   true 1.00 34   true 0.33 18   true 0.32 10.0 true 8.0  31   true 120    150   true 0.51 35   unknown 2.9  110   unknown 2.3  120  
email_spec0_product37_true.cil.c true 1.3  64   true 4.3  29   true 18    510   unknown 900    1100   true 0.99 35   true 0.30 18   true 0.38 15   true 15    70   true 140    150   true 0.46 35   unknown 2.8  120   unknown 2.5  130  
email_spec0_product38_true.cil.c true 1.4  66   true 6.1  29   true 17    560   unknown 900    1200   true 1.1  37   true 0.31 18   true 0.47 19   true 19    84   true 130    150   true 0.49 36   unknown 2.9  110   unknown 2.5  120  
email_spec0_product40_true.cil.c true 2.2  100   true 7.0  29   true 19    800   timeout 900    1300   true 1.2  38   true 0.34 18   true 0.43 19   true 24    95   true 120    150   true 0.49 37   unknown 2.5  120   unknown 2.5  130  
email_spec11_product03_true.cil.c true 0.50 29   true 2.5  28   true 19    330   timeout 900    720   true 0.70 33   true 0.30 18   true 0.26 5.0 true 5.7  22   true 130    150   true 0.45 33   unknown 2.8  110   unknown 2.4  120  
email_spec11_product07_true.cil.c true 0.78 42   true 3.9  28   true 17    420   unknown 900    900   true 0.89 34   true 0.33 18   true 0.32 9.0 true 8.6  30   true 120    150   true 0.43 30   unknown 2.6  120   unknown 2.6  130  
email_spec11_product08_true.cil.c true 1.1  52   true 3.9  29   true 16    460   timeout 900    920   true 0.93 35   true 0.31 18   true 0.38 15   true 12    55   true 130    150   true 0.51 37   unknown 2.7  120   unknown 2.5  120  
email_spec11_product10_true.cil.c true 0.64 35   true 2.8  28   true 19    420   timeout 900    880   true 0.71 34   true 0.28 18   true 0.25 6.0 true 5.5  23   true 130    150   true 0.47 33   unknown 2.8  120   unknown 2.5  120  
email_spec11_product18_true.cil.c true 1.2  62   true 4.4  29   true 19    660   unknown 900    1300   true 1.0  36   true 0.31 18   true 0.37 15   true 13    61   true 130    150   true 0.54 36   unknown 2.7  120   unknown 2.5  130  
email_spec11_product23_true.cil.c true 2.1  100   true 7.7  30   true 21    820   unknown 900    1300   true 1.3  39   true 0.34 18   true 0.44 20   true 23    88   true 120    150   true 0.53 36   unknown 2.8  110   unknown 2.4  120  
email_spec11_product24_true.cil.c true 1.5  72   true 5.0  29   true 21    840   timeout 900    1300   true 1.1  37   true 0.32 18   true 0.39 16   true 19    83   true 120    150   true 0.50 38   unknown 2.8  110   unknown 2.4  120  
email_spec11_product27_true.cil.c true 2.9  130   true 9.9  33   true 23    850   unknown 900    1300   true 1.5  40   true 0.37 18   true 0.52 22   true 32    110   true 120    150   true 0.55 38   unknown 2.7  120   unknown 2.5  130  
email_spec11_product36_true.cil.c true 1.1  56   true 4.9  28   true 18    470   unknown 900    1100   true 1.00 34   true 0.31 18   true 0.32 10.0 true 6.5  30   true 120    150   true 0.49 37   unknown 2.4  110   unknown 2.4  120  
email_spec11_product37_true.cil.c true 1.3  62   true 4.2  29   true 18    520   unknown 900    1100   true 0.98 35   true 0.33 18   true 0.36 15   true 14    70   true 140    150   true 0.47 37   unknown 2.5  110   unknown 2.4  120  
email_spec11_product39_true.cil.c true 1.6  74   true 5.7  29   true 17    530   unknown 900    1100   true 1.1  37   true 0.32 18   true 0.41 19   true 20    76   true 120    150   true 0.49 36   unknown 2.9  110   unknown 2.4  120  
email_spec11_product40_true.cil.c true 2.1  99   true 7.0  29   true 19    800   unknown 900    1300   true 1.2  38   true 0.35 18   true 0.45 20   true 22    94   true 120    150   true 0.53 37   unknown 2.6  110   unknown 2.4  120  
email_spec1_product12_true.cil.c true 0.93 47   true 3.6  29   true 17    470   unknown 900    1100   true 0.91 35   true 0.32 18   true 1.1  37   true 10    48   true 130    150   true 0.51 35   unknown 2.8  120   unknown 2.5  130  
email_spec1_product28_true.cil.c true 1.1  55   true 3.8  29   true 20    680   unknown 900    1300   true 0.95 36   true 0.36 18   true 1.3  44   true 12    51   true 130    150   true 0.52 36   unknown 3.1  110   unknown 2.4  120  
email_spec27_product13_true.cil.c false(label) 94    140   true 3.9  34   true 18    530   timeout 900    1100   true 1.2  48   true 0.70 28   true 1.1  37   true 12    50   true 130    150   true 1.1  110   unknown 2.7  110   unknown 2.4  120  
email_spec27_product28_true.cil.c false(label) 190    280   true 4.1  34   true 20    800   unknown 900    1300   true 1.2  49   true 0.75 28   true 1.3  42   true 12    52   true 130    150   true 1.1  110   unknown 2.5  110   unknown 2.4  120  
email_spec4_product13_true.cil.c true 31    120   true 3.9  33   true 18    510   unknown 900    1100   true 1.2  47   true 0.32 18   true 0.91 34   true 12    49   true 130    150   true 0.50 37   unknown 2.5  110   unknown 2.3  120  
email_spec4_product17_true.cil.c true 180    170   true 4.9  34   true 20    800   unknown 900    1300   true 1.4  53   true 0.32 18   true 4.0  63   true 20    72   true 130    150   true 0.50 37   unknown 3.1  120   unknown 2.6  130  
email_spec4_product28_true.cil.c true 230    140   true 4.1  34   true 20    800   unknown 900    1300   true 1.2  49   true 0.34 18   true 1.3  44   true 11    51   true 130    150   true 0.53 36   unknown 2.9  120   unknown 2.5  130  
email_spec4_product29_true.cil.c timeout 920    270   true 5.6  35   true 22    830   unknown 900    1300   true 1.5  56   true 0.33 18   true 4.3  62   true 22    78   true 130    150   true 0.53 37   unknown 2.6  110   unknown 2.4  120  
email_spec7_product13_true.cil.c true 0.96 48   true 3.7  29   true 18    480   unknown 900    1100   true 0.88 35   true 0.31 18   true 0.37 15   true 12    49   true 130    150   true 0.48 35   unknown 2.8  110   unknown 2.3  120  
email_spec7_product17_true.cil.c true 1.2  58   true 4.5  29   true 19    800   unknown 900    1300   true 1.0  36   true 0.34 18   true 0.49 19   true 19    71   true 130    150   true 0.50 35   unknown 2.6  110   unknown 2.4  120  
email_spec7_product18_true.cil.c true 1.3  62   true 4.3  29   true 20    800   timeout 900    1300   true 1.0  36   true 0.32 18   true 0.38 15   true 14    62   true 130    150   true 0.53 37   unknown 2.7  110   unknown 2.4  120  
email_spec7_product19_true.cil.c true 1.3  62   true 4.7  29   true 20    810   unknown 900    1300   true 1.0  36   true 0.32 18   true 0.38 16   true 14    66   true 130    150   true 0.53 36   unknown 2.6  110   unknown 2.4  120  
email_spec7_product23_true.cil.c true 2.2  100   true 7.5  29   true 21    830   unknown 900    1300   true 1.3  39   true 0.36 18   true 0.43 20   true 23    88   true 120    150   true 0.53 37   unknown 3.1  120   unknown 2.5  120  
email_spec7_product24_true.cil.c true 1.6  72   true 5.0  29   true 22    840   unknown 900    1300   true 1.1  37   true 0.34 18   true 0.39 16   true 19    83   true 120    150   true 0.52 37   unknown 3.1  110   unknown 2.4  120  
email_spec7_product25_true.cil.c true 2.3  110   true 8.7  32   true 22    840   unknown 900    1300   true 1.4  39   true 0.35 18   true 0.50 21   true 24    99   true 130    150   true 0.53 34   unknown 2.8  120   unknown 2.5  130  
email_spec7_product27_true.cil.c true 2.9  130   true 9.7  33   true 24    980   timeout 900    1300   true 1.5  40   true 0.36 18   true 0.52 22   true 30    110   true 120    150   true 0.53 38   unknown 2.6  120   unknown 2.5  130  
email_spec8_product12_true.cil.c true 0.98 48   true 3.7  29   true 17    470   unknown 900    1100   true 0.93 35   true 0.29 18   true 0.93 35   true 11    49   true 130    150   true 0.55 41   unknown 2.7  110   unknown 2.3  120  
email_spec8_product14_true.cil.c timeout 920    380   true 5.1  35   true 18    660   unknown 900    1300   true 1.4  56   true 0.99 30   true 3.6  56   true 17    71   true 130    150   true 1.8  140   unknown 2.4  110   unknown 2.3  120  
email_spec8_product28_true.cil.c true 1.1  56   true 3.9  29   true 20    800   unknown 900    1300   true 0.93 37   true 0.34 18   true 1.1  40   true 11    51   true 140    150   true 0.53 37   unknown 2.8  110   unknown 2.5  120  
email_spec8_product29_true.cil.c timeout 920    390   true 5.9  36   true 22    830   timeout 900    1300   true 1.6  59   true 1.3  32   true 4.1  62   true 19    78   true 130    150   true 2.2  160   unknown 2.3  120   unknown 2.4  120  
email_spec9_product12_true.cil.c true 0.97 49   true 3.6  29   true 17    470   unknown 900    1100   true 0.92 35   true 0.32 18   true 0.96 36   true 12    49   true 130    150   true 0.52 36   unknown 2.6  120   unknown 2.4  120  
email_spec9_product14_true.cil.c timeout 920    380   true 5.1  35   true 18    660   timeout 900    1300   true 1.4  56   true 0.94 30   true 3.5  55   true 17    70   true 130    150   true 1.9  140   unknown 2.5  110   unknown 2.5  120  
email_spec9_product28_true.cil.c true 1.2  56   true 4.0  30   true 20    800   unknown 900    1300   true 0.96 37   true 0.35 18   true 1.3  44   true 11    51   true 140    150   true 0.52 37   unknown 2.4  120   unknown 2.5  120  
email_spec9_product29_true.cil.c timeout 920    390   true 5.9  35   true 22    840   unknown 900    1300   true 1.6  59   true 1.3  32   true 4.2  63   true 19    78   true 130    150   true 3.2  170   unknown 2.4  110   unknown 2.4  120  
minepump_spec1_product33_false.cil.c false(label) 1.4  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 1.9  110   false(label) 0.88 26   false(label) 0.31 24   false(label) 0.15 4.0 false(label) 0.13 5.0 timeout 900    580   false(label) 0.78 99   unknown 2.1  110   unknown 2.3  110  
minepump_spec1_product34_false.cil.c false(label) 1.4  15   false(label) 0.20 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 0.90 26   false(label) 0.29 24   false(label) 0.13 4.0 false(label) 0.12 5.0 timeout 900    760   false(label) 0.78 99   unknown 2.3  110   unknown 2.3  110  
minepump_spec1_product35_false.cil.c false(label) 1.6  16   false(label) 0.20 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 1.00 26   false(label) 0.30 24   false(label) 0.14 6.0 false(label) 0.15 5.0 timeout 900    670   false(label) 0.85 110   unknown 2.2  110   unknown 2.3  120  
minepump_spec1_product36_false.cil.c false(label) 1.7  16   false(label) 0.20 19   false(label) 2.4  140   false(label) 1.9  110   false(label) 1.1  27   false(label) 0.34 24   false(label) 0.15 6.0 false(label) 0.12 5.0 timeout 900    660   false(label) 0.96 110   unknown 2.3  110   unknown 2.2  120  
minepump_spec1_product37_false.cil.c false(label) 1.4  15   false(label) 0.21 19   false(label) 2.3  140   false(label) 1.9  110   false(label) 1.1  27   false(label) 0.30 24   false(label) 0.13 5.0 false(label) 0.12 5.0 timeout 900    430   false(label) 0.76 110   unknown 2.5  110   unknown 2.4  110  
minepump_spec1_product38_false.cil.c false(label) 1.4  16   false(label) 0.21 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 1.1  27   false(label) 0.30 24   false(label) 0.14 5.0 false(label) 0.17 5.0 timeout 900    470   false(label) 0.77 91   unknown 2.4  110   unknown 2.4  110  
minepump_spec1_product39_false.cil.c false(label) 1.7  16   false(label) 0.20 19   false(label) 2.2  140   false(label) 1.9  100   false(label) 1.3  27   false(label) 0.31 25   false(label) 0.14 6.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.92 110   unknown 2.3  110   unknown 2.2  110  
minepump_spec1_product40_false.cil.c false(label) 1.7  16   false(label) 0.21 19   false(label) 2.2  140   false(label) 1.9  100   false(label) 1.3  27   false(label) 0.33 25   false(label) 0.15 6.0 false(label) 0.12 5.0 timeout 900    640   false(label) 0.88 110   unknown 2.4  110   unknown 2.3  120  
minepump_spec1_product41_false.cil.c false(label) 16    24   false(label) 0.21 19   false(label) 2.3  140   false(label) 2.1  120   false(label) 0.86 26   false(label) 0.32 25   false(label) 0.17 6.0 false(label) 0.11 5.0 timeout 900    750   false(label) 0.91 110   unknown 2.3  110   unknown 2.3  110  
minepump_spec1_product42_false.cil.c false(label) 16    25   false(label) 0.21 19   false(label) 2.3  140   false(label) 2.1  120   false(label) 0.87 25   false(label) 0.33 25   false(label) 0.23 6.0 false(label) 0.11 5.0 timeout 900    830   false(label) 0.84 110   unknown 2.3  110   unknown 2.2  110  
minepump_spec1_product43_false.cil.c false(label) 34    32   false(label) 0.20 19   false(label) 2.4  140   false(label) 2.1  120   false(label) 1.1  25   false(label) 0.36 25   false(label) 0.17 6.0 false(label) 0.12 6.0 timeout 900    670   false(label) 1.00 120   unknown 2.3  110   unknown 2.4  120  
minepump_spec1_product44_false.cil.c false(label) 35    35   false(label) 0.21 19   false(label) 2.4  140   false(label) 2.1  120   false(label) 1.1  26   false(label) 0.35 25   false(label) 0.19 6.0 false(label) 0.13 6.0 timeout 900    670   false(label) 1.0  120   unknown 2.8  110   unknown 2.2  110  
minepump_spec1_product49_false.cil.c false(label) 1.4  15   false(label) 0.21 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 1.3  27   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    340   false(label) 0.79 97   unknown 2.4  110   unknown 2.2  120  
minepump_spec1_product50_false.cil.c false(label) 1.5  15   false(label) 0.21 19   false(label) 2.3  140   false(label) 1.9  110   false(label) 1.3  27   false(label) 0.34 24   false(label) 0.14 5.0 false(label) 0.16 5.0 timeout 900    370   false(label) 0.83 120   unknown 2.4  110   unknown 2.3  120  
minepump_spec1_product51_false.cil.c false(label) 1.7  16   false(label) 0.22 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 1.4  28   false(label) 0.33 25   false(label) 0.18 6.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.92 110   unknown 2.4  110   unknown 2.3  110  
minepump_spec1_product52_false.cil.c false(label) 1.7  16   false(label) 0.20 19   false(label) 2.2  140   false(label) 1.9  100   false(label) 1.5  28   false(label) 0.31 25   false(label) 0.18 6.0 false(label) 0.12 5.0 timeout 900    630   false(label) 0.92 110   unknown 2.6  110   unknown 2.2  120  
minepump_spec1_product53_false.cil.c false(label) 1.4  15   false(label) 0.22 20   false(label) 2.2  140   false(label) 1.9  100   false(label) 1.5  32   false(label) 0.31 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    450   false(label) 0.87 110   unknown 2.3  110   unknown 2.2  120  
minepump_spec1_product54_false.cil.c false(label) 1.4  16   false(label) 0.22 20   false(label) 2.3  140   false(label) 1.9  110   false(label) 1.5  33   false(label) 0.30 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    510   false(label) 0.78 100   unknown 2.9  110   unknown 2.3  120  
minepump_spec1_product55_false.cil.c false(label) 1.7  16   false(label) 0.22 20   false(label) 2.3  140   false(label) 1.9  110   false(label) 1.6  33   false(label) 0.34 25   false(label) 0.16 7.0 false(label) 0.12 6.0 timeout 900    660   false(label) 0.90 110   unknown 3.3  110   unknown 2.3  120  
minepump_spec1_product56_false.cil.c false(label) 1.7  17   false(label) 0.21 20   false(label) 2.2  140   false(label) 2.0  110   false(label) 1.8  33   false(label) 0.31 25   false(label) 0.15 6.0 false(label) 0.12 5.0 timeout 900    620   false(label) 0.89 110   unknown 2.9  110   unknown 2.3  110  
minepump_spec1_productSimulator_false.cil.c false(label) 2.9  24   false(label) 0.27 21   false(label) 4.5  220   false(label) 5.0  240   false(label) 6.4  58   false(label) 0.38 26   false(label) 0.22 11   false(label) 0.84 13   timeout 900    830   false(label) 1.1  120   unknown 2.4  110   unknown 2.3  120  
minepump_spec2_product33_false.cil.c false(label) 13    24   false(label) 0.22 19   false(label) 2.7  150   false(label) 2.6  170   false(label) 0.83 26   false(label) 0.34 25   false(label) 0.20 6.0 false(label) 0.12 5.0 timeout 900    930   false(label) 0.88 110   unknown 2.7  110   unknown 2.3  120  
minepump_spec2_product34_false.cil.c false(label) 14    26   false(label) 0.21 19   false(label) 2.6  150   false(label) 2.7  180   false(label) 0.90 25   false(label) 0.32 24   false(label) 0.18 6.0 false(label) 0.12 5.0 timeout 900    1100   false(label) 0.98 120   unknown 2.7  110   unknown 2.3  110  
minepump_spec2_product35_false.cil.c false(label) 38    37   false(label) 0.21 19   false(label) 2.7  150   false(label) 3.8  230   false(label) 1.2  26   false(label) 0.36 25   false(label) 0.18 6.0 false(label) 0.11 5.0 timeout 900    700   false(label) 1.1  120   unknown 2.5  110   unknown 2.3  110  
minepump_spec2_product36_false.cil.c false(label) 37    40   false(label) 0.21 19   false(label) 2.8  150   false(label) 4.4  230   false(label) 1.3  26   false(label) 0.39 25   false(label) 0.18 7.0 false(label) 0.13 5.0 timeout 900    660   false(label) 1.1  120   unknown 2.6  110   unknown 2.3  110  
minepump_spec2_product41_false.cil.c false(label) 41    37   false(label) 0.36 20   false(label) 2.7  150   false(label) 3.2  200   false(label) 0.97 25   false(label) 0.34 25   false(label) 0.26 7.0 false(label) 0.12 6.0 timeout 900    730   false(label) 1.1  130   unknown 2.9  110   unknown 2.3  110  
minepump_spec2_product42_false.cil.c false(label) 42    48   false(label) 0.35 20   false(label) 2.9  160   false(label) 3.2  200   false(label) 1.1  26   false(label) 0.40 25   false(label) 0.23 7.0 false(label) 0.13 6.0 timeout 900    840   false(label) 1.2  130   unknown 2.7  110   unknown 2.2  110  
minepump_spec2_product43_false.cil.c false(label) 130    68   false(label) 0.36 20   false(label) 2.9  150   false(label) 5.1  350   false(label) 1.3  27   false(label) 0.39 25   false(label) 0.23 8.0 false(label) 0.14 6.0 timeout 900    670   false(label) 1.3  130   unknown 2.4  110   unknown 2.2  120  
minepump_spec2_product44_false.cil.c false(label) 110    60   false(label) 0.39 20   false(label) 3.1  170   false(label) 5.4  370   false(label) 1.2  27   false(label) 0.39 25   false(label) 0.26 8.0 false(label) 0.14 6.0 timeout 900    640   false(label) 1.5  130   unknown 3.0  110   unknown 2.2  110  
minepump_spec2_productSimulator_false.cil.c timeout 920    160   false(label) 0.27 21   false(label) 12    380   true 6.1  360   false(label) 6.9  59   false(label) 0.47 27   false(label) 0.31 16   false(label) 1.3  16   timeout 900    830   false(label) 1.5  130   unknown 2.5  110   unknown 2.3  120  
minepump_spec3_product01_false.cil.c false(label) 0.15 12   false(label) 0.19 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.59 23   false(label) 0.27 24   false(label) 0.13 4.0 false(label) 0.11 5.0 timeout 900    590   false(label) 0.63 88   unknown 2.4  110   unknown 2.4  110  
minepump_spec3_product02_false.cil.c false(label) 0.15 13   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.60 23   false(label) 0.29 24   false(label) 0.12 4.0 false(label) 0.11 5.0 timeout 900    580   false(label) 0.63 85   unknown 2.4  110   unknown 2.2  110  
minepump_spec3_product03_false.cil.c false(label) 0.14 12   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.63 23   false(label) 0.29 24   false(label) 0.13 4.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.62 83   unknown 2.3  110   unknown 2.3  110  
minepump_spec3_product04_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.62 23   false(label) 0.28 24   false(label) 0.15 4.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.70 99   unknown 2.3  110   unknown 3.2  120  
minepump_spec3_product05_false.cil.c false(label) 0.16 12   false(label) 0.21 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.56 23   false(label) 0.29 24   false(label) 0.13 4.0 false(label) 0.12 5.0 timeout 900    590   false(label) 0.73 110   unknown 2.5  110   unknown 2.4  110  
minepump_spec3_product06_false.cil.c false(label) 0.15 12   false(label) 0.19 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.61 22   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.10 5.0 timeout 900    600   false(label) 0.69 99   unknown 2.7  110   unknown 2.2  120  
minepump_spec3_product07_false.cil.c false(label) 2.0  15   false(label) 0.19 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.66 23   false(label) 0.33 24   false(label) 0.16 4.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.65 87   unknown 2.6  110   unknown 2.3  110  
minepump_spec3_product08_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.72 24   false(label) 0.29 24   false(label) 0.15 4.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.66 87   unknown 2.7  110   unknown 2.3  110  
minepump_spec3_product09_false.cil.c false(label) 0.15 13   false(label) 0.19 19   false(label) 2.2  140   false(label) 1.9  110   false(label) 0.59 23   false(label) 0.29 24   false(label) 0.13 4.0 false(label) 0.11 5.0 timeout 900    590   false(label) 0.66 92   unknown 2.7  110   unknown 2.4  110  
minepump_spec3_product10_false.cil.c false(label) 0.15 12   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.60 23   false(label) 0.29 24   false(label) 0.15 4.0 false(label) 0.11 5.0 timeout 900    590   false(label) 0.64 86   unknown 2.3  110   unknown 2.3  110  
minepump_spec3_product11_false.cil.c false(label) 0.18 13   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.62 23   false(label) 0.27 24   false(label) 0.13 4.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.75 87   unknown 2.2  110   unknown 2.2  120  
minepump_spec3_product12_false.cil.c false(label) 2.0  15   false(label) 0.21 19   false(label) 2.4  140   false(label) 2.0  110   false(label) 0.79 23   false(label) 0.26 24   false(label) 0.13 5.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.65 85   unknown 2.4  110   unknown 2.3  120  
minepump_spec3_product13_false.cil.c false(label) 0.16 12   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.60 23   false(label) 0.28 24   false(label) 0.16 4.0 false(label) 0.11 5.0 timeout 900    590   false(label) 0.66 91   unknown 2.8  110   unknown 2.4  120  
minepump_spec3_product14_false.cil.c false(label) 0.17 12   false(label) 0.21 19   false(label) 2.3  140   false(label) 2.1  110   false(label) 0.58 23   false(label) 0.28 24   false(label) 0.13 5.0 false(label) 0.12 5.0 timeout 900    600   false(label) 0.63 88   unknown 2.6  110   unknown 2.2  110  
minepump_spec3_product15_false.cil.c false(label) 2.0  15   false(label) 0.24 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.66 23   false(label) 0.28 24   false(label) 0.14 5.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.77 110   unknown 2.5  110   unknown 2.3  110  
minepump_spec3_product16_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.69 24   false(label) 0.29 24   false(label) 0.14 4.0 false(label) 0.14 5.0 timeout 900    670   false(label) 0.65 88   unknown 2.6  110   unknown 2.6  120  
minepump_spec3_product17_false.cil.c false(label) 0.15 12   false(label) 0.21 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.69 23   false(label) 0.29 24   false(label) 0.13 4.0 false(label) 0.12 5.0 timeout 900    580   false(label) 0.70 90   unknown 2.6  110   unknown 2.3  110  
minepump_spec3_product18_false.cil.c false(label) 0.17 12   false(label) 0.24 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.58 23   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.11 5.0 timeout 900    600   false(label) 0.64 85   unknown 3.1  110   unknown 2.3  120  
minepump_spec3_product19_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.62 23   false(label) 0.29 24   false(label) 0.14 4.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.74 96   unknown 3.1  110   unknown 2.3  120  
minepump_spec3_product20_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.67 24   false(label) 0.28 24   false(label) 0.14 4.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.71 90   unknown 3.2  110   unknown 2.3  110  
minepump_spec3_product21_false.cil.c false(label) 0.16 12   false(label) 0.19 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.60 23   false(label) 0.28 24   false(label) 0.14 4.0 false(label) 0.11 5.0 timeout 900    580   false(label) 0.71 91   unknown 3.2  110   unknown 2.3  110  
minepump_spec3_product22_false.cil.c false(label) 0.15 12   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.62 23   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.11 5.0 timeout 900    600   false(label) 0.65 85   unknown 2.9  110   unknown 2.3  120  
minepump_spec3_product23_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.2  140   false(label) 2.0  110   false(label) 0.65 24   false(label) 0.28 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.80 110   unknown 2.7  110   unknown 2.4  120  
minepump_spec3_product24_false.cil.c false(label) 2.0  15   false(label) 0.21 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.70 24   false(label) 0.30 24   false(label) 0.15 5.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.67 96   unknown 2.6  110   unknown 2.4  120  
minepump_spec3_product25_false.cil.c false(label) 0.16 12   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.58 23   false(label) 0.32 24   false(label) 0.16 4.0 false(label) 0.11 5.0 timeout 900    590   false(label) 0.70 110   unknown 2.7  110   unknown 2.3  110  
minepump_spec3_product26_false.cil.c false(label) 0.17 13   false(label) 0.21 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.57 22   false(label) 0.31 24   false(label) 0.14 5.0 false(label) 0.10 5.0 timeout 900    600   false(label) 0.69 87   unknown 2.3  110   unknown 2.4  120  
minepump_spec3_product27_false.cil.c false(label) 2.0  15   false(label) 0.22 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.63 23   false(label) 0.30 24   false(label) 0.18 5.0 false(label) 0.14 5.0 timeout 900    670   false(label) 0.74 100   unknown 2.5  110   unknown 2.4  110  
minepump_spec3_product28_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.65 24   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.68 87   unknown 3.1  110   unknown 2.5  120  
minepump_spec3_product29_false.cil.c false(label) 0.16 12   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.58 23   false(label) 0.30 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    580   false(label) 0.78 110   unknown 2.9  110   unknown 2.4  110  
minepump_spec3_product30_false.cil.c false(label) 0.15 13   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.59 24   false(label) 0.32 24   false(label) 0.17 5.0 false(label) 0.11 5.0 timeout 900    600   false(label) 0.73 91   unknown 2.6  110   unknown 2.3  120  
minepump_spec3_product31_false.cil.c false(label) 2.0  15   false(label) 0.20 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.70 24   false(label) 0.29 24   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    670   false(label) 0.69 94   unknown 2.8  110   unknown 2.3  110  
minepump_spec3_product32_false.cil.c false(label) 2.0  15   false(label) 0.22 19   false(label) 2.3  140   false(label) 2.0  110   false(label) 0.68 24   false(label) 0.29 24   false(label) 0.13 5.0 false(label) 0.11 5.0 timeout 900    670   false(label) 0.68 98   unknown 2.6  110   unknown 2.4  120  
minepump_spec3_product35_false.cil.c false(label) 2.3  15   false(label) 0.21 19   false(label) 2.8  170   false(label) 2.9  190   false(label) 1.0  27   false(label) 0.30 25   false(label) 0.16 5.0 false(label) 0.12 5.0 timeout 900    640   false(label) 0.80 100   unknown 2.8  110   unknown 2.3  120  
minepump_spec3_product36_false.cil.c false(label) 2.3  16   false(label) 0.20 19   false(label) 2.8  160   false(label) 3.0  190   false(label) 1.0  27   false(label) 0.30 25   false(label) 0.13 4.0 false(label) 0.12 5.0 timeout 900    600   false(label) 0.92 110   unknown 2.9  110   unknown 2.3  110  
minepump_spec3_product39_false.cil.c false(label) 2.2  15   false(label) 0.24 19   false(label) 2.5  140   false(label) 2.3  150   false(label) 1.3  27   false(label) 0.32 25   false(label) 0.15 6.0 false(label) 0.12 5.0 timeout 900    610   false(label) 0.79 100   unknown 3.1  110   unknown 2.3  120  
minepump_spec3_product40_false.cil.c false(label) 2.2  16   false(label) 0.20 19   false(label) 2.4  140   false(label) 2.4  150   false(label) 1.3  28   false(label) 0.35 25   false(label) 0.15 6.0 false(label) 0.12 5.0 timeout 900    590   false(label) 0.93 110   unknown 2.7  110   unknown 2.4  120  
minepump_spec3_product43_false.cil.c false(label) 2.3  15   false(label) 0.21 19   false(label) 2.8  160   false(label) 2.9  190   false(label) 1.2  26   false(label) 0.32 25   false(label) 0.14 5.0 false(label) 0.11 5.0 timeout 900    640   false(label) 0.87 100   unknown 2.9  110   unknown 2.4  110  
minepump_spec3_product44_false.cil.c false(label) 2.3  15   false(label) 0.21 19   false(label) 2.9  170   false(label) 3.0  190   false(label) 1.2  27   false(label) 0.39 25   false(label) 0.14 5.0 false(label) 0.12 5.0 timeout 900    600   false(label) 0.78 100   unknown 2.4  110   unknown 2.8  110  
minepump_spec3_product47_false.cil.c false(label) 2.2  15   false(label) 0.23 19   false(label) 2.6  150   false(label) 2.7  170   false(label) 1.4  28   false(label) 0.35 25   false(label) 0.15 6.0 false(label) 0.11 5.0 timeout 900    620   false(label) 1.0  120   unknown 2.4  110   unknown 2.5  120  
minepump_spec3_product48_false.cil.c false(label) 2.3  16   false(label) 0.23 20   false(label) 2.6  150   false(label) 2.7  170   false(label) 1.4  29   false(label) 0.35 25   false(label) 0.14 6.0 false(label) 0.12 5.0 timeout 900    580   false(label) 0.93 110   unknown 2.5  110   unknown 2.4  120  
minepump_spec3_product51_false.cil.c false(label) 2.3  15   false(label) 0.21 20   false(label) 2.3  140   false(label) 2.0  110   false(label) 1.5  28   false(label) 0.31 25   false(label) 0.14 6.0 false(label) 0.11 5.0 timeout 900    570   false(label) 0.88 100   unknown 2.9  110   unknown 2.5  120  
minepump_spec3_product52_false.cil.c false(label) 2.3  15   false(label) 0.22 20   false(label) 2.3  140   false(label) 2.0  110   false(label) 1.5  28   false(label) 0.32 25   false(label) 0.15 6.0 false(label) 0.12 6.0 timeout 900    540   false(label) 0.82 100   unknown 3.0  110   unknown 2.4  110  
minepump_spec3_product55_false.cil.c false(label) 2.3  15   false(label) 0.25 20   false(label) 2.3  140   false(label) 2.1  110   false(label) 1.9  34   false(label) 0.32 25   false(label) 0.17 7.0 false(label) 0.11 5.0 timeout 900    580   false(label) 0.90 110   unknown 2.9  110   unknown 2.5  110  
minepump_spec3_product56_false.cil.c false(label) 2.3  16   false(label) 0.22 20   false(label) 2.3  140   false(label) 2.1  110   false(label) 1.8  34   false(label) 0.32 25   false(label) 0.15 6.0 false(label) 0.12 6.0 timeout 900    550   false(label) 0.82 100   unknown 2.6  110   unknown 2.4  110  
minepump_spec3_product59_false.cil.c false(label) 2.2  15   false(label) 0.24 20   false(label) 2.6  150   false(label) 2.7  170   false(label) 1.5  29   false(label) 0.32 25   false(label) 0.14 6.0 false(label) 0.12 6.0 timeout 900    610   false(label) 0.98 110   unknown 2.8  110   unknown 2.5  120  
minepump_spec3_product60_false.cil.c false(label) 2.2  16   false(label) 0.21 20   false(label) 2.9  170   false(label) 2.7  170   false(label) 1.6  29   false(label) 0.31 25   false(label) 0.14 6.0 false(label) 0.12 6.0 timeout 900    560   false(label) 0.90 110   unknown 2.9  110   unknown 3.0  120  
minepump_spec3_product63_false.cil.c false(label) 2.3  15   false(label) 0.22 20   false(label) 2.6  150   false(label) 2.7  170   false(label) 2.0  35   false(label) 0.31 25   false(label) 0.18 7.0 false(label) 0.12 6.0 timeout 900    610   false(label) 0.80 100   unknown 2.4  110   unknown 2.4  120  
minepump_spec3_product64_false.cil.c false(label) 2.3  15   false(label) 0.25 20   false(label) 2.8  160   false(label) 2.7  170   false(label) 2.0  35   false(label) 0.32 25   false(label) 0.15 7.0 false(label) 0.12 6.0 timeout 900    570   false(label) 0.96 110   unknown 2.3  110   unknown 2.5  120  
minepump_spec3_productSimulator_false.cil.c false(label) 3.2  20   false(label) 0.27 21   false(label) 3.2  180   false(label) 3.2  200   false(label) 6.5  58   false(label) 0.36 26   false(label) 0.21 10.0 false(label) 0.23 7.0 timeout 900    770   false(label) 1.2  120   unknown 2.3  110   unknown 2.9  110  
minepump_spec4_product33_false.cil.c false(label) 46    34   false(label) 0.36 20   false(label) 2.4  140   false(label) 2.1  130   false(label) 0.86 26   false(label) 0.34 24   false(label) 0.24 6.0 false(label) 0.11 5.0 timeout 900    190   false(label) 0.89 110   unknown 2.5  110   unknown 2.4  110  
minepump_spec4_product34_false.cil.c false(label) 40    34   false(label) 0.34 20   false(label) 2.4  150   false(label) 2.1  130   false(label) 0.85 26   false(label) 0.33 24   false(label) 0.22 7.0 false(label) 0.12 5.0 timeout 900    180   false(label) 0.90 110   unknown 2.5  110   unknown 2.6  120  
minepump_spec4_product35_false.cil.c false(label) 76    62   false(label) 0.35 20   false(label) 2.3  140   false(label) 2.1  130   false(label) 1.1  27   false(label) 0.36 25   false(label) 0.22 7.0 false(label) 0.13 5.0 timeout 900    710   false(label) 1.1  120   unknown 2.5  110   unknown 2.9  120  
minepump_spec4_product36_false.cil.c false(label) 61    59   false(label) 0.34 20   false(label) 2.3  140   false(label) 2.1  130   false(label) 0.94 26   false(label) 0.36 25   false(label) 0.23 7.0 false(label) 0.13 6.0 timeout 900    500   false(label) 1.1  110   unknown 2.5  110   unknown 2.6  120  
minepump_spec4_product37_false.cil.c false(label) 81    38   false(label) 0.36 20   false(label) 2.6  150   false(label) 3.5  210   false(label) 1.1  26   false(label) 0.34 25   false(label) 0.22 8.0 false(label) 0.12 5.0 timeout 900    320   false(label) 1.1  120   unknown 2.6  110   unknown 2.4  120  
minepump_spec4_product38_false.cil.c false(label) 81    42   false(label) 0.39 20   false(label) 2.7  150   false(label) 3.6  220   false(label) 1.0  26   false(label) 0.34 25   false(label) 0.23 8.0 false(label) 0.11 5.0 timeout 900    350   false(label) 0.94 120   unknown 2.9  110   unknown 2.5  120  
minepump_spec4_product39_false.cil.c false(label) 160    77   false(label) 0.37 20   false(label) 2.8  150   false(label) 5.2  350   false(label) 1.2  27   false(label) 0.38 26   false(label) 0.24 8.0 false(label) 0.12 5.0 timeout 900    640   false(label) 1.4  120   unknown 2.7  110   unknown 2.7  110  
minepump_spec4_product40_false.cil.c false(label) 67    66   false(label) 0.37 20   false(label) 2.8  150   false(label) 4.8  240   false(label) 1.4  27   false(label) 0.42 25   false(label) 0.24 8.0 false(label) 0.12 6.0 timeout 900    600   false(label) 1.3  140   unknown 2.7  110   unknown 2.8  120  
minepump_spec4_product41_false.cil.c false(label) 54    35   false(label) 0.35 20   false(label) 2.4  140   false(label) 2.3  150   false(label) 0.97 26   false(label) 0.35 25   false(label) 0.22 7.0 false(label) 0.12 5.0 timeout 900    390   false(label) 1.1  120   unknown 2.6  110   unknown 2.5  120  
minepump_spec4_product42_false.cil.c false(label) 65    49   false(label) 0.34 20   false(label) 2.5  140   false(label) 2.4  150   false(label) 0.95 26   false(label) 0.33 25   false(label) 0.22 7.0 false(label) 0.11 5.0 timeout 900    410   false(label) 1.2  120   unknown 2.5  110   unknown 3.1  110  
minepump_spec4_product43_false.cil.c false(label) 190    74   false(label) 0.36 20   false(label) 2.4  150   false(label) 2.4  150   false(label) 1.2  26   false(label) 0.40 25   false(label) 0.28 7.0 false(label) 0.13 5.0 timeout 900    650   false(label) 1.3  140   unknown 2.8  110   unknown 2.5  120  
minepump_spec4_product44_false.cil.c false(label) 230    100   false(label) 0.34 20   false(label) 2.5  150   false(label) 2.4  150   false(label) 1.1  27   false(label) 0.36 25   false(label) 0.25 7.0 false(label) 0.13 6.0 timeout 900    610   false(label) 1.2  130   unknown 2.8  110   unknown 3.0  110  
minepump_spec4_product45_false.cil.c false(label) 99    44   false(label) 0.38 21   false(label) 2.7  150   false(label) 3.4  200   false(label) 1.2  26   false(label) 0.36 25   false(label) 0.25 8.0 false(label) 0.11 5.0 timeout 900    320   false(label) 1.1  120   unknown 2.8  110   unknown 2.4  110  
minepump_spec4_product46_false.cil.c false(label) 110    54   false(label) 0.37 21   false(label) 2.7  150   false(label) 3.5  210   false(label) 1.2  27   false(label) 0.38 25   false(label) 0.22 8.0 false(label) 0.12 5.0 timeout 900    350   false(label) 1.2  130   unknown 2.9  110   unknown 2.7  110  
minepump_spec4_product47_false.cil.c false(label) 95    52   false(label) 0.40 21   false(label) 2.9  150   false(label) 5.0  350   false(label) 1.5  28   false(label) 0.41 25   false(label) 0.27 8.0 false(label) 0.12 6.0 timeout 900    660   false(label) 1.5  130   unknown 2.7  110   unknown 3.0  120  
minepump_spec4_product48_false.cil.c false(label) 370    120   false(label) 0.37 21   false(label) 2.9  150   false(label) 4.8  240   false(label) 1.4  28   false(label) 0.40 26   false(label) 0.24 8.0 false(label) 0.12 6.0 timeout 900    600   false(label) 1.6  150   unknown 2.7  110   unknown 2.4  110  
minepump_spec4_productSimulator_false.cil.c timeout 920    320   false(label) 0.95 24   false(label) 12    400   true 5.9  360   false(label) 6.4  58   false(label) 0.53 27   false(label) 0.44 20   false(label) 0.27 8.0 timeout 900    830   false(label) 2.3  150   unknown 2.8  110   unknown 2.3  120  
minepump_spec1_product01_true.cil.c true 0.13 11   true 0.90 19   true 1.9  100   true 2.1  130   true 0.32 18   true 0.27 17   true 0.65 6.0 true 0.41 5.0 timeout 900    14   true 0.45 38   unknown 2.6  110   unknown 2.3  120  
minepump_spec1_product02_true.cil.c true 0.12 11   true 0.92 19   true 1.9  100   true 2.2  130   true 0.35 19   true 0.28 17   true 0.73 7.0 true 0.40 5.0 timeout 900    14   true 0.44 40   unknown 2.9  110   unknown 2.6  110  
minepump_spec1_product03_true.cil.c true 0.13 11   true 0.94 19   true 2.0  100   true 3.2  210   true 0.33 19   true 0.23 17   true 0.75 8.0 true 0.41 5.0 timeout 900    800   true 0.46 36   unknown 2.9  110   unknown 2.8  120  
minepump_spec1_product04_true.cil.c true 0.11 11   true 1.0  19   true 1.9  110   true 2.9  200   true 0.33 19   true 0.26 18   true 0.80 8.0 true 0.39 5.0 timeout 900    800   true 0.46 36   unknown 2.9  110   unknown 2.6  110  
minepump_spec1_product05_true.cil.c true 0.15 11   true 0.96 19   true 1.9  100   true 2.1  130   true 0.31 18   true 0.23 17   true 0.78 7.0 true 0.41 5.0 timeout 900    14   true 0.43 37   unknown 2.8  110   unknown 2.4  110  
minepump_spec1_product06_true.cil.c true 0.12 11   true 0.97 19   true 1.9  100   true 2.2  130   true 0.33 19   true 0.25 18   true 0.78 8.0 true 0.41 5.0 timeout 900    14   true 0.44 37   unknown 3.2  110   unknown 2.3  110  
minepump_spec1_product07_true.cil.c true 0.12 11   true 0.98 19   true 2.0  110   true 3.3  210   true 0.33 19   true 0.25 18   true 1.0  10.0 true 0.41 5.0 timeout 900    790   true 0.44 35   unknown 2.5  110   unknown 2.4  120  
minepump_spec1_product08_true.cil.c true 0.14 11   true 1.0  19   true 2.0  110   true 3.0  190   true 0.36 19   true 0.25 17   true 0.99 10.0 true 0.41 5.0 timeout 900    790   true 0.47 36   unknown 2.5  110   unknown 2.5  120  
minepump_spec1_product09_true.cil.c true 0.13 11   true 0.92 19   true 1.9  100   true 2.1  130   true 0.30 19   true 0.27 17   true 0.63 6.0 true 0.40 5.0 timeout 900    14   true 0.46 36   unknown 3.3  110   unknown 2.4  110  
minepump_spec1_product10_true.cil.c true 0.12 11   true 0.91 19   true 1.9  100   true 2.2  130   true 0.33 19   true 0.24 17   true 0.70 7.0 true 0.40 5.0 timeout 900    14   true 0.45 36   unknown 3.2  110   unknown 2.4  120  
minepump_spec1_product11_true.cil.c true 0.14 11   true 0.95 19   true 2.0  110   true 3.2  210   true 0.35 19   true 0.24 17   true 0.81 8.0 true 0.42 5.0 timeout 900    800   true 0.44 39   unknown 2.5  110   unknown 2.4  120  
minepump_spec1_product12_true.cil.c true 0.13 11   true 1.00 19   true 2.0  110   true 3.0  200   true 0.33 19   true 0.24 18   true 0.77 8.0 true 0.41 5.0 timeout 900    790   true 0.42 34   unknown 2.7  110   unknown 2.5  120  
minepump_spec1_product13_true.cil.c true 0.12 11   true 0.95 19   true 1.9  110   true 2.2  130   true 0.34 19   true 0.25 17   true 0.72 7.0 true 0.42 5.0 timeout 900    14   true 0.41 35   unknown 2.5  110   unknown 2.4  110  
minepump_spec1_product14_true.cil.c true 0.13 11   true 0.99 19   true 1.9  100   true 2.2  130   true 0.37 19   true 0.24 18   true 0.83 8.0 true 0.43 5.0 timeout 900    14   true 0.40 35   unknown 2.6  110   unknown 2.4  110  
minepump_spec1_product15_true.cil.c true 0.12 11   true 0.98 19   true 2.0  100   true 3.2  210   true 0.34 19   true 0.24 17   true 0.96 10.0 true 0.41 5.0 timeout 900    790   true 0.48 36   unknown 3.0  110   unknown 2.5  120  
minepump_spec1_product16_true.cil.c true 0.12 11   true 1.00 19   true 2.0  100   true 3.0  190   true 0.34 19   true 0.25 18   true 0.98 10.0 true 0.41 5.0 timeout 900    790   true 0.41 36   unknown 3.1  110   unknown 2.4  110  
minepump_spec1_product17_true.cil.c true 0.14 11   true 0.99 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.25 17   true 0.76 7.0 true 0.40 5.0 timeout 900    14   true 0.44 37   unknown 3.0  110   unknown 2.5  110  
minepump_spec1_product18_true.cil.c true 0.12 11   true 0.97 19   true 1.9  100   true 2.2  130   true 0.37 19   true 0.30 17   true 0.81 8.0 true 0.41 5.0 timeout 900    13   true 0.44 34   unknown 2.9  110   unknown 2.5  120  
minepump_spec1_product19_true.cil.c true 0.15 11   true 0.99 19   true 2.0  100   true 3.3  210   true 0.32 19   true 0.25 17   true 0.99 10.0 true 0.41 5.0 timeout 900    1000   true 0.46 35   unknown 2.8  110   unknown 2.4  110  
minepump_spec1_product20_true.cil.c true 0.13 11   true 1.1  20   true 2.0  110   true 3.0  190   true 0.32 19   true 0.28 18   true 1.0  10.0 true 0.42 5.0 timeout 900    1000   true 0.41 36   unknown 2.5  110   unknown 2.4  120  
minepump_spec1_product21_true.cil.c true 0.14 11   true 0.97 19   true 1.9  100   true 2.2  130   true 0.33 19   true 0.25 17   true 0.86 9.0 true 0.45 5.0 timeout 900    14   true 0.43 36   unknown 2.7  110   unknown 2.4  110  
minepump_spec1_product22_true.cil.c true 0.15 11   true 1.0  19   true 1.9  100   true 2.2  130   true 0.34 19   true 0.25 18   true 0.92 9.0 true 0.41 5.0 timeout 900    14   true 0.46 36   unknown 2.8  110   unknown 2.4  110  
minepump_spec1_product23_true.cil.c true 0.12 11   true 1.00 19   true 2.0  100   true 3.3  210   true 0.32 19   true 0.27 17   true 1.0  10.0 true 0.43 5.0 timeout 900    1000   true 0.46 36   unknown 2.5  110   unknown 2.4  110  
minepump_spec1_product24_true.cil.c true 0.15 11   true 1.1  20   true 2.0  100   true 3.0  190   true 0.35 19   true 0.27 18   true 1.0  11   true 0.45 5.0 timeout 900    1000   true 0.42 35   unknown 2.3  110   unknown 2.3  110  
minepump_spec1_product25_true.cil.c true 0.14 11   true 0.96 19   true 1.9  100   true 2.1  130   true 0.34 19   true 0.24 18   true 0.81 8.0 true 0.41 5.0 timeout 900    14   true 0.46 35   unknown 2.3  110   unknown 2.4  120  
minepump_spec1_product26_true.cil.c true 0.16 11   true 0.97 19   true 1.9  110   true 2.2  130   true 0.37 19   true 0.25 18   true 0.84 8.0 true 0.44 5.0 timeout 900    14   true 0.47 34   unknown 2.2  110   unknown 2.4  120  
minepump_spec1_product27_true.cil.c true 0.15 11   true 0.99 19   true 2.0  110   true 3.2  210   true 0.33 19   true 0.24 17   true 0.96 10.0 true 0.40 5.0 timeout 900    1000   true 0.47 35   unknown 2.4  110   unknown 2.4  120  
minepump_spec1_product28_true.cil.c true 0.15 11   true 1.0  20   true 2.0  100   true 3.0  190   true 0.34 19   true 0.30 18   true 0.95 10.0 true 0.40 5.0 timeout 900    1000   true 0.46 36   unknown 2.4  110   unknown 2.5  110  
minepump_spec1_product29_true.cil.c true 0.15 11   true 0.96 19   true 1.9  100   true 2.2  130   true 0.35 19   true 0.26 18   true 0.85 9.0 true 0.42 5.0 timeout 900    14   true 0.44 35   unknown 2.4  110   unknown 2.4  110  
minepump_spec1_product30_true.cil.c true 0.15 11   true 1.0  19   true 1.9  100   true 2.3  130   true 0.36 19   true 0.24 18   true 0.86 9.0 true 0.42 5.0 timeout 900    14   true 0.46 36   unknown 2.3  110   unknown 2.4  110  
minepump_spec1_product31_true.cil.c true 0.14 11   true 1.0  19   true 2.0  110   true 3.3  210   true 0.37 19   true 0.25 17   true 1.1  11   true 0.42 5.0 timeout 900    1000   true 0.43 36   unknown 2.7  110   unknown 2.4  120  
minepump_spec1_product32_true.cil.c true 0.14 11   true 1.2  20   true 2.0  100   true 3.0  190   true 0.35 19   true 0.25 17   true 1.1  11   true 0.42 5.0 timeout 900    1000   true 0.44 32   unknown 2.3  110   unknown 2.4  110  
minepump_spec1_product45_true.cil.c true 3.5  16   true 3.0  35   true 2.2  110   true 4.0  230   true 0.64 26   true 0.41 27   true 1.0  12   true 0.45 6.0 timeout 900    490   true 0.93 110   unknown 2.4  110   unknown 2.4  110  
minepump_spec1_product46_true.cil.c true 3.5  17   true 3.1  35   true 2.2  110   true 4.2  230   true 0.68 26   true 0.42 27   true 1.1  12   true 0.45 6.0 timeout 900    540   true 0.77 99   unknown 2.2  110   unknown 2.3  120  
minepump_spec1_product47_true.cil.c true 110    57   true 3.2  37   true 2.4  110   true 5.3  370   true 0.78 27   true 0.51 28   true 1.6  16   true 0.47 6.0 timeout 900    680   true 1.2  110   unknown 2.3  110   unknown 2.3  120  
minepump_spec1_product48_true.cil.c true 120    63   true 3.3  37   true 2.4  110   true 5.1  350   true 0.77 27   true 0.49 28   true 1.5  16   true 0.46 6.0 timeout 900    650   true 1.4  130   unknown 2.2  110   unknown 2.4  110  
minepump_spec1_product57_true.cil.c true 16    25   true 3.3  37   true 2.0  100   true 2.6  170   true 0.95 26   true 0.45 27   true 1.3  13   true 0.43 5.0 timeout 900    410   true 1.1  110   unknown 2.3  110   unknown 2.6  120  
minepump_spec1_product58_true.cil.c true 17    27   true 3.3  37   true 2.0  100   true 2.7  180   true 0.98 27   true 0.45 27   true 1.4  13   true 0.44 5.0 timeout 900    450   true 1.2  130   unknown 2.3  110   unknown 2.4  110  
minepump_spec1_product59_true.cil.c true 110    64   true 3.5  38   true 2.1  110   true 3.7  220   true 1.1  27   true 0.52 28   true 1.7  16   true 0.42 5.0 timeout 900    670   true 1.3  140   unknown 2.3  110   unknown 2.3  120  
minepump_spec1_product60_true.cil.c true 190    90   true 3.6  38   true 2.1  110   true 3.5  220   true 1.2  28   true 0.52 28   true 1.6  16   true 0.42 6.0 timeout 900    640   true 1.4  130   unknown 2.2  110   unknown 2.4  110  
minepump_spec1_product61_true.cil.c true 3.8  18   true 7.8  57   true 2.0  100   true 2.6  170   true 0.86 32   true 0.42 27   true 1.4  19   true 0.42 5.0 timeout 900    510   true 0.84 100   unknown 2.2  110   unknown 2.4  120  
minepump_spec1_product62_true.cil.c true 3.8  18   true 7.8  57   true 2.0  100   true 2.7  180   true 0.91 32   true 0.43 27   true 1.4  19   true 0.43 6.0 timeout 900    550   true 0.76 90   unknown 2.2  110   unknown 2.5  120  
minepump_spec1_product63_true.cil.c true 83    57   true 8.2  59   true 2.1  110   true 3.7  230   true 0.99 33   true 0.55 28   true 1.9  21   true 0.43 5.0 timeout 900    670   true 1.1  110   unknown 2.5  110   unknown 2.3  110  
minepump_spec1_product64_true.cil.c true 140    76   true 8.4  59   true 2.1  110   true 3.5  220   true 1.0  33   true 0.54 28   true 1.9  21   true 0.46 6.0 timeout 900    640   true 1.4  120   unknown 2.2  110   unknown 2.4  110  
minepump_spec2_product01_true.cil.c true 0.12 11   true 0.96 19   true 1.9  100   true 2.2  130   true 0.33 19   true 0.27 18   true 0.68 6.0 true 0.43 5.0 timeout 900    14   true 0.45 35   unknown 2.3  110   unknown 2.5  120  
minepump_spec2_product02_true.cil.c true 0.14 11   true 0.98 19   true 1.9  100   true 2.2  140   true 0.37 19   true 0.24 18   true 0.76 7.0 true 0.44 5.0 timeout 900    14   true 0.46 36   unknown 2.4  110   unknown 2.6  110  
minepump_spec2_product03_true.cil.c true 0.15 11   true 0.98 19   true 2.0  110   true 3.4  220   true 0.36 19   true 0.24 18   true 0.80 7.0 true 0.45 5.0 timeout 900    800   true 0.45 35   unknown 2.4  110   unknown 2.9  120  
minepump_spec2_product04_true.cil.c true 0.15 11   true 1.0  19   true 2.0  100   true 3.1  200   true 0.34 19   true 0.24 18   true 0.78 7.0 true 0.42 5.0 timeout 900    790   true 0.43 35   unknown 2.4  110   unknown 2.7  110  
minepump_spec2_product05_true.cil.c true 0.14 11   true 0.98 19   true 1.9  100   true 2.2  140   true 0.35 19   true 0.25 17   true 0.82 7.0 true 0.40 5.0 timeout 900    14   true 0.44 37   unknown 2.3  110   unknown 2.6  120  
minepump_spec2_product06_true.cil.c true 0.16 11   true 0.99 19   true 1.9  100   true 2.3  140   true 0.35 19   true 0.25 17   true 0.87 8.0 true 0.41 5.0 timeout 900    14   true 0.43 38   unknown 2.3  110   unknown 2.5  110  
minepump_spec2_product07_true.cil.c true 0.16 11   true 1.0  19   true 2.0  100   true 3.4  220   true 0.33 19   true 0.23 17   true 1.0  9.0 true 0.41 5.0 timeout 900    790   true 0.42 35   unknown 2.4  110   unknown 2.5  120  
minepump_spec2_product08_true.cil.c true 0.15 11   true 1.0  19   true 2.0  100   true 3.1  200   true 0.34 19   true 0.25 18   true 0.98 9.0 true 0.45 5.0 timeout 900    790   true 0.46 35   unknown 2.3  110   unknown 2.5  110  
minepump_spec2_product09_true.cil.c true 0.12 11   true 0.95 19   true 1.9  110   true 2.2  130   true 0.33 19   true 0.25 17   true 0.67 6.0 true 0.41 5.0 timeout 900    14   true 0.42 35   unknown 2.3  110   unknown 2.4  110  
minepump_spec2_product10_true.cil.c true 0.15 11   true 0.98 19   true 1.9  110   true 2.3  140   true 0.33 19   true 0.27 18   true 0.77 7.0 true 0.44 5.0 timeout 900    14   true 0.44 32   unknown 2.7  110   unknown 2.5  110  
minepump_spec2_product11_true.cil.c true 0.13 11   true 1.00 19   true 2.0  100   true 3.4  220   true 0.37 19   true 0.24 18   true 0.75 7.0 true 0.46 5.0 timeout 900    790   true 0.46 36   unknown 2.3  110   unknown 2.4  110  
minepump_spec2_product12_true.cil.c true 0.12 11   true 1.0  19   true 2.1  110   true 3.1  200   true 0.33 19   true 0.25 17   true 0.82 7.0 true 0.46 5.0 timeout 900    790   true 0.43 34   unknown 2.2  110   unknown 2.4  120  
minepump_spec2_product13_true.cil.c true 0.13 11   true 0.98 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.27 18   true 0.78 7.0 true 0.40 5.0 timeout 900    14   true 0.46 35   unknown 2.3  110   unknown 2.4  110  
minepump_spec2_product14_true.cil.c true 0.13 11   true 0.98 19   true 1.9  100   true 2.2  140   true 0.33 19   true 0.27 18   true 0.86 8.0 true 0.41 5.0 timeout 900    14   true 0.42 36   unknown 2.3  110   unknown 2.7  120  
minepump_spec2_product15_true.cil.c true 0.12 11   true 1.0  19   true 2.0  110   true 3.5  220   true 0.38 19   true 0.27 17   true 1.1  9.0 true 0.41 5.0 timeout 900    790   true 0.45 35   unknown 2.3  110   unknown 2.8  120  
minepump_spec2_product16_true.cil.c true 0.12 11   true 1.0  19   true 2.0  110   true 3.1  190   true 0.37 19   true 0.24 17   true 0.98 9.0 true 0.43 5.0 timeout 900    790   true 0.46 36   unknown 2.2  110   unknown 2.3  110  
minepump_spec2_product17_true.cil.c true 0.14 11   true 0.99 19   true 1.9  100   true 2.3  140   true 0.32 19   true 0.24 17   true 0.86 8.0 true 0.44 5.0 timeout 900    14   true 0.45 36   unknown 2.2  110   unknown 2.4  120  
minepump_spec2_product18_true.cil.c true 0.14 11   true 1.0  19   true 1.9  100   true 2.3  140   true 0.34 19   true 0.26 17   true 0.90 8.0 true 0.41 5.0 timeout 900    14   true 0.44 36   unknown 2.1  110   unknown 2.4  120  
minepump_spec2_product19_true.cil.c true 0.12 11   true 1.1  19   true 2.0  100   true 3.4  220   true 0.33 19   true 0.25 17   true 0.97 9.0 true 0.41 5.0 timeout 900    1000   true 0.46 37   unknown 2.3  110   unknown 2.4  110  
minepump_spec2_product20_true.cil.c true 0.14 11   true 1.0  19   true 2.0  100   true 3.1  190   true 0.35 19   true 0.25 18   true 1.0  9.0 true 0.42 5.0 timeout 900    1000   true 0.46 35   unknown 2.2  110   unknown 2.4  110  
minepump_spec2_product21_true.cil.c true 0.12 11   true 1.00 19   true 1.9  100   true 2.2  140   true 0.33 19   true 0.24 17   true 0.86 9.0 true 0.42 5.0 timeout 900    14   true 0.43 36   unknown 2.2  110   unknown 2.4  110  
minepump_spec2_product22_true.cil.c true 0.16 11   true 1.0  19   true 1.9  110   true 2.2  140   true 0.34 19   true 0.26 18   true 0.91 9.0 true 0.44 5.0 timeout 900    14   true 0.47 35   unknown 2.2  110   unknown 2.5  110  
minepump_spec2_product23_true.cil.c true 0.12 11   true 1.0  19   true 2.0  110   true 3.5  220   true 0.36 19   true 0.24 17   true 1.1  11   true 0.42 5.0 timeout 900    1000   true 0.48 35   unknown 2.2  110   unknown 2.4  110  
minepump_spec2_product24_true.cil.c true 0.12 11   true 1.1  19   true 2.0  110   true 3.1  200   true 0.35 19   true 0.25 17   true 1.1  11   true 0.42 5.0 timeout 900    1000   true 0.44 35   unknown 2.2  110   unknown 2.3  110  
minepump_spec2_product25_true.cil.c true 0.14 11   true 1.00 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.28 17   true 0.82 8.0 true 0.44 5.0 timeout 900    14   true 0.41 35   unknown 2.1  110   unknown 2.4  120  
minepump_spec2_product26_true.cil.c true 0.12 11   true 1.00 19   true 1.9  100   true 2.2  140   true 0.36 19   true 0.25 18   true 0.84 8.0 true 0.41 5.0 timeout 900    14   true 0.45 35   unknown 2.2  110   unknown 2.3  120  
minepump_spec2_product27_true.cil.c true 0.14 11   true 1.1  19   true 2.0  100   true 3.5  220   true 0.34 19   true 0.25 17   true 0.95 9.0 true 0.41 5.0 timeout 900    1000   true 0.43 37   unknown 2.1  110   unknown 2.4  110  
minepump_spec2_product28_true.cil.c true 0.17 11   true 1.0  20   true 2.0  100   true 3.2  190   true 0.34 19   true 0.24 18   true 1.1  9.0 true 0.43 5.0 timeout 900    1000   true 0.43 33   unknown 2.2  110   unknown 2.7  120  
minepump_spec2_product29_true.cil.c true 0.14 11   true 0.99 19   true 1.9  100   true 2.2  140   true 0.34 19   true 0.25 18   true 0.91 9.0 true 0.44 5.0 timeout 900    14   true 0.46 36   unknown 2.1  110   unknown 2.3  120  
minepump_spec2_product30_true.cil.c true 0.16 11   true 1.0  19   true 1.9  100   true 2.3  140   true 0.33 19   true 0.25 18   true 0.89 9.0 true 0.42 5.0 timeout 900    14   true 0.47 36   unknown 2.1  110   unknown 2.4  110  
minepump_spec2_product31_true.cil.c true 0.15 11   true 1.1  19   true 2.0  110   true 3.5  220   true 0.39 19   true 0.24 18   true 1.1  11   true 0.43 5.0 timeout 900    1000   true 0.40 36   unknown 2.1  110   unknown 2.3  110  
minepump_spec2_product32_true.cil.c true 0.14 11   true 1.1  20   true 2.0  100   true 3.1  200   true 0.35 19   true 0.28 18   true 1.2  11   true 0.43 5.0 timeout 900    1000   true 0.48 35   unknown 2.2  110   unknown 2.3  120  
minepump_spec2_product37_true.cil.c true 47    37   true 2.7  33   true 2.3  110   true 4.4  230   true 0.65 25   true 0.43 27   true 1.2  12   true 0.43 5.0 timeout 900    450   true 1.1  110   unknown 2.1  110   unknown 2.6  120  
minepump_spec2_product38_true.cil.c true 52    46   true 2.7  33   true 2.3  110   true 4.6  230   true 0.67 26   true 0.42 27   true 1.2  13   true 0.43 6.0 timeout 900    500   true 1.1  110   unknown 3.1  110   unknown 2.3  120  
minepump_spec2_product39_true.cil.c true 210    110   true 2.9  35   true 2.4  110   true 5.7  420   true 0.89 27   true 0.55 28   true 1.6  14   true 0.45 6.0 timeout 900    650   true 1.6  140   unknown 2.2  110   unknown 2.3  120  
minepump_spec2_product40_true.cil.c true 260    140   true 2.9  35   true 2.4  110   true 5.4  370   true 0.88 27   true 0.56 28   true 1.6  14   true 0.47 6.0 timeout 900    620   true 1.5  130   unknown 2.2  110   unknown 2.5  110  
minepump_spec2_product45_true.cil.c true 9.9  18   true 3.1  36   true 2.2  110   true 4.4  230   true 0.65 26   true 0.43 27   true 1.2  12   true 0.42 6.0 timeout 900    570   true 0.66 83   unknown 2.2  110   unknown 2.6  110  
minepump_spec2_product46_true.cil.c true 9.9  20   true 3.2  37   true 2.3  110   true 4.4  230   true 0.67 26   true 0.42 27   true 1.2  12   true 0.43 6.0 timeout 900    610   true 0.91 100   unknown 2.2  110   unknown 2.3  110  
minepump_spec2_product47_true.cil.c true 160    85   true 3.4  38   true 2.4  110   true 5.7  370   true 0.80 27   true 0.55 28   true 1.6  14   true 0.43 6.0 timeout 900    660   true 1.5  140   unknown 2.2  110   unknown 2.4  110  
minepump_spec2_product48_true.cil.c true 200    89   true 3.5  38   true 2.4  110   true 5.5  350   true 0.80 27   true 0.59 28   true 1.7  15   true 0.44 6.0 timeout 900    630   true 1.8  150   unknown 2.3  110   unknown 2.4  110  
minepump_spec2_product49_true.cil.c true 130    80   true 2.9  34   true 2.0  110   true 3.0  190   true 0.95 27   true 0.56 28   true 1.3  12   true 0.42 5.0 timeout 900    350   true 1.8  140   unknown 2.2  110   unknown 2.3  120  
minepump_spec2_product50_true.cil.c true 140    140   true 2.9  35   true 2.0  110   true 3.1  190   true 0.98 27   true 0.51 28   true 1.4  13   true 0.42 5.0 timeout 900    390   true 1.4  130   unknown 2.2  110   unknown 2.4  120  
minepump_spec2_product51_true.cil.c true 190    100   true 3.1  36   true 2.2  110   true 4.4  230   true 1.1  27   true 0.66 28   true 1.7  14   true 0.42 6.0 timeout 900    640   true 2.2  150   unknown 2.3  110   unknown 2.7  120  
minepump_spec2_product52_true.cil.c true 370    150   true 3.1  36   true 2.2  110   true 3.9  230   true 1.1  27   true 0.61 28   true 1.8  14   true 0.46 6.0 timeout 900    580   true 2.3  160   unknown 2.3  110   unknown 2.7  120  
minepump_spec2_product53_true.cil.c true 120    71   true 6.1  51   true 2.1  110   true 3.1  190   true 0.84 31   true 0.44 27   true 1.4  15   true 0.42 5.0 timeout 900    370   true 1.2  120   unknown 2.2  110   unknown 2.6  110  
minepump_spec2_product54_true.cil.c true 130    84   true 6.3  52   true 2.1  110   true 3.1  190   true 0.81 31   true 0.44 27   true 1.5  16   true 0.44 6.0 timeout 900    410   true 1.1  110   unknown 2.4  110   unknown 2.7  110  
minepump_spec2_product55_true.cil.c true 240    130   true 6.5  53   true 2.2  110   true 4.5  230   true 0.96 32   true 0.59 28   true 1.9  18   true 0.43 6.0 timeout 900    640   true 1.7  130   unknown 2.2  110   unknown 2.9  120  
minepump_spec2_product56_true.cil.c true 250    140   true 6.6  53   true 2.2  110   true 3.9  230   true 1.1  32   true 0.68 28   true 1.9  18   true 0.43 6.0 timeout 900    590   true 1.8  140   unknown 2.3  110   unknown 3.2  110  
minepump_spec2_product57_true.cil.c true 81    63   true 3.6  38   true 2.0  100   true 2.7  170   true 0.98 27   true 0.54 28   true 1.5  14   true 0.42 6.0 timeout 900    500   true 1.5  140   unknown 2.2  110   unknown 2.9  120  
minepump_spec2_product58_true.cil.c true 120    93   true 3.6  38   true 2.0  100   true 2.8  180   true 0.92 27   true 0.52 28   true 1.5  14   true 0.45 6.0 timeout 900    540   true 1.6  140   unknown 2.2  110   unknown 2.8  110  
minepump_spec2_product59_true.cil.c true 110    57   true 3.7  39   true 2.1  110   true 3.9  230   true 1.00 28   true 0.61 29   true 1.7  15   true 0.42 6.0 timeout 900    660   true 2.2  150   unknown 2.2  110   unknown 2.7  120  
minepump_spec2_product60_true.cil.c true 280    130   true 3.8  40   true 2.1  110   true 3.6  230   true 0.97 28   true 0.58 28   true 1.8  16   true 0.43 6.0 timeout 900    620   true 1.9  150   unknown 2.2  110   unknown 2.7  120  
minepump_spec2_product61_true.cil.c true 10.0  19   true 8.1  58   true 2.0  110   true 2.7  170   true 0.85 32   true 0.47 27   true 1.5  19   true 0.43 6.0 timeout 900    510   true 0.78 92   unknown 2.2  110   unknown 2.7  110  
minepump_spec2_product62_true.cil.c true 10    20   true 8.3  59   true 2.0  100   true 2.8  180   true 0.90 32   true 0.44 27   true 1.5  18   true 0.45 6.0 timeout 900    550   true 0.78 92   unknown 2.2  110   unknown 2.7  110  
minepump_spec2_product63_true.cil.c true 110    60   true 8.6  60   true 2.1  110   true 3.9  230   true 0.99 33   true 0.57 28   true 2.1  20   true 0.44 6.0 timeout 900    650   true 1.8  140   unknown 2.2  110   unknown 2.6  120  
minepump_spec2_product64_true.cil.c true 200    100   true 8.6  61   true 2.1  110   true 3.6  230   true 0.99 33   true 0.56 29   true 2.1  20   true 0.44 6.0 timeout 900    610   true 1.7  130   unknown 2.2  110   unknown 2.6  120  
minepump_spec3_product33_true.cil.c true 13    21   true 1.7  28   true 2.1  110   true 3.5  220   true 0.56 25   true 0.45 27   true 1.1  10.0 true 0.45 5.0 timeout 900    760   true 0.75 92   unknown 2.2  110   unknown 2.9  110  
minepump_spec3_product34_true.cil.c true 13    22   true 1.8  28   true 2.1  110   true 3.6  230   true 0.58 24   true 0.40 27   true 1.1  10.0 true 0.42 6.0 timeout 900    740   true 0.92 110   unknown 2.2  110   unknown 2.6  110  
minepump_spec3_product37_true.cil.c true 150    46   true 2.7  34   true 2.2  110   true 4.0  230   true 0.65 26   true 0.43 27   true 1.2  12   true 0.42 5.0 timeout 900    430   true 0.79 110   unknown 2.2  110   unknown 2.6  110  
minepump_spec3_product38_true.cil.c true 150    49   true 2.7  35   true 2.2  110   true 4.2  230   true 0.67 25   true 0.43 27   true 1.2  13   true 0.42 6.0 timeout 900    480   true 0.76 90   unknown 2.3  110   unknown 2.6  120  
minepump_spec3_product41_true.cil.c true 80    33   true 2.0  28   true 2.1  110   true 3.4  210   true 0.57 25   true 0.40 27   true 1.1  11   true 0.43 5.0 timeout 900    680   true 0.77 89   unknown 2.2  110   unknown 2.6  120  
minepump_spec3_product42_true.cil.c true 66    33   true 2.0  29   true 2.1  110   true 3.5  220   true 0.60 24   true 0.40 27   true 1.2  11   true 0.43 6.0 timeout 900    700   true 0.92 110   unknown 2.1  110   unknown 2.6  120  
minepump_spec3_product45_true.cil.c true 260    63   true 3.3  38   true 2.2  110   true 4.1  230   true 0.71 26   true 0.41 27   true 1.3  14   true 0.42 5.0 timeout 900    460   true 0.77 91   unknown 2.2  110   unknown 2.8  120  
minepump_spec3_product46_true.cil.c true 160    55   true 3.4  38   true 2.2  110   true 4.2  230   true 0.71 26   true 0.42 27   true 1.3  14   true 0.43 6.0 timeout 900    500   true 0.76 90   unknown 2.4  110   unknown 2.6  110  
minepump_spec3_product49_true.cil.c true 120    43   true 3.1  36   true 2.0  100   true 2.8  180   true 1.4  27   true 0.45 27   true 1.3  13   true 0.42 5.0 timeout 900    310   true 1.1  120   unknown 2.3  110   unknown 2.6  120  
minepump_spec3_product50_true.cil.c true 120    48   true 3.2  36   true 2.0  110   true 2.8  190   true 1.1  26   true 0.45 27   true 1.3  13   true 0.42 5.0 timeout 900    350   true 1.1  120   unknown 2.2  110   unknown 2.6  110  
minepump_spec3_product53_true.cil.c exception (gremlins) 140    54   true 6.4  53   true 2.0  110   true 2.8  190   true 1.3  31   true 0.45 28   true 1.6  17   true 0.41 5.0 timeout 900    330   true 1.1  110   unknown 2.3  110   unknown 3.1  120  
minepump_spec3_product54_true.cil.c true 690    160   true 6.5  53   true 2.1  100   true 2.9  190   true 1.4  31   true 0.52 27   true 1.6  17   true 0.42 5.0 timeout 900    360   true 1.2  130   unknown 2.2  110   unknown 2.6  110  
minepump_spec3_product57_true.cil.c exception (gremlins) 74    38   true 3.8  40   true 2.0  100   true 2.6  170   true 1.4  27   true 0.49 28   true 1.4  15   true 0.42 5.0 timeout 900    380   true 1.2  130   unknown 2.4  110   unknown 2.6  120  
minepump_spec3_product58_true.cil.c exception (gremlins) 78    45   true 3.8  40   true 2.0  100   true 2.7  170   true 1.3  27   true 0.47 28   true 1.5  15   true 0.42 5.0 timeout 900    420   true 1.2  120   unknown 2.2  110   unknown 2.7  110  
minepump_spec3_product61_true.cil.c true 410    98   true 8.6  59   true 2.0  100   true 2.6  170   true 1.7  33   true 0.50 27   true 1.8  21   true 0.43 6.0 timeout 900    390   true 1.5  130   unknown 2.1  110   unknown 2.7  120  
minepump_spec3_product62_true.cil.c exception (gremlins) 72    46   true 8.8  60   true 2.0  100   true 2.7  170   true 1.6  33   true 0.54 28   true 1.7  21   true 0.42 6.0 timeout 900    430   true 1.4  130   unknown 2.3  110   unknown 2.6  110  
minepump_spec4_product01_true.cil.c true 0.14 11   true 0.89 19   true 1.8  100   true 2.1  130   true 0.34 18   true 0.23 17   true 0.63 6.0 true 0.40 5.0 timeout 900    53   true 0.45 35   unknown 2.3  110   unknown 2.6  110  
minepump_spec4_product02_true.cil.c true 0.12 11   true 0.93 19   true 1.9  100   true 2.1  130   true 0.35 19   true 0.24 18   true 0.66 7.0 true 0.41 5.0 timeout 900    53   true 0.46 35   unknown 2.1  110   unknown 2.6  110  
minepump_spec4_product03_true.cil.c true 0.12 11   true 0.95 19   true 2.0  100   true 3.2  200   true 0.31 19   true 0.25 18   true 0.72 7.0 true 0.41 5.0 timeout 900    760   true 0.44 36   unknown 2.2  110   unknown 2.6  110  
minepump_spec4_product04_true.cil.c true 0.13 11   true 1.0  19   true 1.9  100   true 2.9  200   true 0.33 19   true 0.23 18   true 0.77 7.0 true 0.45 5.0 timeout 900    760   true 0.44 36   unknown 2.2  110   unknown 2.7  110  
minepump_spec4_product05_true.cil.c true 0.15 11   true 0.96 19   true 1.9  100   true 2.1  130   true 0.33 19   true 0.25 18   true 0.75 7.0 true 0.42 5.0 timeout 900    14   true 0.41 35   unknown 2.1  110   unknown 3.2  110  
minepump_spec4_product06_true.cil.c true 0.11 11   true 0.94 19   true 1.9  100   true 2.2  130   true 0.34 19   true 0.24 17   true 0.79 8.0 true 0.41 5.0 timeout 900    14   true 0.47 35   unknown 2.3  110   unknown 2.6  120  
minepump_spec4_product07_true.cil.c true 0.15 11   true 0.95 19   true 2.0  110   true 3.2  200   true 0.33 19   true 0.24 17   true 0.89 8.0 true 0.45 5.0 timeout 900    1000   true 0.45 36   unknown 2.3  110   unknown 2.7  110  
minepump_spec4_product08_true.cil.c true 0.16 11   true 1.0  19   true 2.0  100   true 2.9  200   true 0.36 19   true 0.25 18   true 0.89 9.0 true 0.42 5.0 timeout 900    1000   true 0.45 35   unknown 2.2  110   unknown 2.7  110  
minepump_spec4_product09_true.cil.c true 0.12 11   true 0.91 19   true 1.9  110   true 2.1  130   true 0.36 19   true 0.27 17   true 0.59 6.0 true 0.43 5.0 timeout 900    53   true 0.43 34   unknown 2.2  110   unknown 2.8  110  
minepump_spec4_product10_true.cil.c true 0.13 11   true 0.94 19   true 1.9  100   true 2.1  130   true 0.36 19   true 0.26 17   true 0.64 6.0 true 0.41 5.0 timeout 900    53   true 0.44 32   unknown 2.3  110   unknown 2.7  110  
minepump_spec4_product11_true.cil.c true 0.12 11   true 0.97 19   true 2.0  110   true 3.2  210   true 0.32 19   true 0.24 17   true 0.78 7.0 true 0.41 5.0 timeout 900    760   true 0.42 37   unknown 2.2  110   unknown 2.7  120  
minepump_spec4_product12_true.cil.c true 0.12 11   true 0.99 19   true 2.0  110   true 2.9  190   true 0.33 19   true 0.25 17   true 0.79 7.0 true 0.42 5.0 timeout 900    760   true 0.43 37   unknown 2.2  110   unknown 2.6  120  
minepump_spec4_product13_true.cil.c true 0.12 11   true 0.93 19   true 1.9  110   true 2.1  130   true 0.36 19   true 0.26 18   true 0.74 7.0 true 0.41 5.0 timeout 900    14   true 0.41 35   unknown 2.3  110   unknown 2.6  110  
minepump_spec4_product14_true.cil.c true 0.15 11   true 0.99 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.25 18   true 0.80 8.0 true 0.42 5.0 timeout 900    14   true 0.42 35   unknown 2.2  110   unknown 3.0  110  
minepump_spec4_product15_true.cil.c true 0.12 11   true 0.98 19   true 2.0  100   true 3.3  210   true 0.32 19   true 0.25 17   true 0.90 8.0 true 0.41 5.0 timeout 900    1000   true 0.42 33   unknown 2.2  110   unknown 2.6  110  
minepump_spec4_product16_true.cil.c true 0.16 11   true 1.0  19   true 2.0  100   true 2.9  200   true 0.35 19   true 0.24 17   true 0.86 8.0 true 0.42 5.0 timeout 900    1000   true 0.45 36   unknown 2.1  110   unknown 2.6  110  
minepump_spec4_product17_true.cil.c true 0.15 11   true 0.95 19   true 1.9  100   true 2.1  130   true 0.33 19   true 0.28 17   true 0.79 8.0 true 0.41 5.0 timeout 900    53   true 0.45 36   unknown 2.3  110   unknown 2.7  120  
minepump_spec4_product18_true.cil.c true 0.12 11   true 0.95 19   true 1.9  100   true 2.2  130   true 0.35 19   true 0.25 17   true 0.85 8.0 true 0.41 5.0 timeout 900    14   true 0.44 37   unknown 2.1  110   unknown 2.7  120  
minepump_spec4_product19_true.cil.c true 0.15 11   true 0.99 19   true 2.0  100   true 3.2  210   true 0.36 19   true 0.24 18   true 0.90 8.0 true 0.44 5.0 timeout 900    750   true 0.46 37   unknown 2.2  110   unknown 2.7  120  
minepump_spec4_product20_true.cil.c true 0.12 11   true 1.0  19   true 2.0  100   true 2.9  200   true 0.37 19   true 0.25 18   true 0.91 9.0 true 0.42 5.0 timeout 900    760   true 0.44 35   unknown 2.1  110   unknown 2.7  110  
minepump_spec4_product21_true.cil.c true 0.12 11   true 1.00 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.24 17   true 0.83 10.0 true 0.42 5.0 timeout 900    14   true 0.47 34   unknown 2.1  110   unknown 2.7  110  
minepump_spec4_product22_true.cil.c true 0.13 11   true 1.00 19   true 2.0  100   true 2.2  130   true 0.34 19   true 0.25 18   true 0.92 10.0 true 0.42 5.0 timeout 900    14   true 0.44 41   unknown 2.2  110   unknown 2.6  120  
minepump_spec4_product23_true.cil.c true 0.13 11   true 1.0  19   true 2.0  100   true 3.4  210   true 0.33 19   true 0.25 18   true 0.97 10.0 true 0.44 5.0 timeout 900    1000   true 0.46 38   unknown 2.3  110   unknown 2.7  110  
minepump_spec4_product24_true.cil.c true 0.13 11   true 1.1  19   true 2.0  100   true 3.0  190   true 0.34 19   true 0.24 18   true 1.00 10.0 true 0.43 5.0 timeout 900    1000   true 0.48 35   unknown 2.2  110   unknown 2.9  110  
minepump_spec4_product25_true.cil.c true 0.14 11   true 0.95 19   true 1.9  100   true 2.2  130   true 0.34 19   true 0.28 17   true 0.77 8.0 true 0.41 5.0 timeout 900    53   true 0.45 36   unknown 2.1  110   unknown 4.2  110  
minepump_spec4_product26_true.cil.c true 0.11 11   true 0.94 19   true 1.9  100   true 2.2  130   true 0.36 19   true 0.25 17   true 0.81 8.0 true 0.44 5.0 timeout 900    14   true 0.43 38   unknown 2.2  110   unknown 4.3  110  
minepump_spec4_product27_true.cil.c true 0.12 11   true 0.99 19   true 2.0  110   true 3.2  210   true 0.33 19   true 0.26 18   true 0.93 9.0 true 0.42 5.0 timeout 900    760   true 0.46 35   unknown 2.2  110   unknown 3.6  110  
minepump_spec4_product28_true.cil.c true 0.15 11   true 1.00 19   true 2.0  110   true 3.0  200   true 0.33 19   true 0.25 18   true 0.90 8.0 true 0.41 5.0 timeout 900    750   true 0.43 36   unknown 2.2  110   unknown 4.0  110  
minepump_spec4_product29_true.cil.c true 0.13 11   true 0.99 19   true 1.9  100   true 2.2  130   true 0.32 19   true 0.25 17   true 0.86 10.0 true 0.42 5.0 timeout 900    14   true 0.47 35   unknown 2.1  110   unknown 4.1  110  
minepump_spec4_product30_true.cil.c true 0.14 11   true 0.99 19   true 1.9  100   true 2.2  130   true 0.37 19   true 0.24 18   true 0.91 10.0 true 0.41 5.0 timeout 900    14   true 0.46 35   unknown 2.2  110   unknown 4.3  120  
minepump_spec4_product31_true.cil.c true 0.13 11   true 1.0  19   true 2.0  100   true 3.3  210   true 0.35 19   true 0.28 18   true 0.94 10.0 true 0.45 5.0 timeout 900    1000   true 0.45 36   unknown 2.2  110   unknown 3.9  110  
minepump_spec4_product32_true.cil.c true 0.13 11   true 1.1  19   true 2.0  110   true 3.0  190   true 0.34 19   true 0.25 17   true 1.1  10.0 true 0.41 5.0 timeout 900    1000   true 0.46 37   unknown 2.1  110   unknown 4.0  120  
minepump_spec4_product49_true.cil.c true 76    42   true 2.7  33   true 2.0  110   true 2.8  180   true 0.89 26   true 0.41 27   true 1.2  11   true 0.45 5.0 timeout 900    280   true 1.1  110   unknown 2.2  110   unknown 3.9  120  
minepump_spec4_product50_true.cil.c true 57    46   true 2.8  34   true 2.0  110   true 2.8  190   true 0.96 26   true 0.40 27   true 1.2  10.0 true 0.43 5.0 timeout 900    290   true 1.1  120   unknown 2.5  110   unknown 4.0  110  
minepump_spec4_product51_true.cil.c true 44    50   true 2.9  35   true 2.1  110   true 4.0  230   true 1.1  27   true 0.55 28   true 1.5  13   true 0.42 5.0 timeout 900    640   true 1.7  140   unknown 2.2  110   unknown 3.5  120  
minepump_spec4_product52_true.cil.c true 54    52   true 3.0  35   true 2.1  110   true 3.5  220   true 1.00 27   true 0.52 28   true 1.6  13   true 0.44 6.0 timeout 900    480   true 1.4  140   unknown 2.1  110   unknown 3.6  120  
minepump_spec4_product53_true.cil.c true 270    86   true 5.9  51   true 2.0  100   true 3.0  180   true 1.1  31   true 0.43 27   true 1.4  16   true 0.45 6.0 timeout 900    360   true 1.1  110   unknown 2.1  110   unknown 4.0  120  
minepump_spec4_product54_true.cil.c true 100    52   true 6.0  50   true 2.0  100   true 2.9  190   true 0.99 31   true 0.43 27   true 1.5  16   true 0.43 6.0 timeout 900    400   true 1.1  110   unknown 2.1  110   unknown 3.6  120  
minepump_spec4_product55_true.cil.c true 40    48   true 6.2  52   true 2.2  110   true 4.0  230   true 1.2  32   true 0.59 28   true 1.8  18   true 0.46 6.0 timeout 900    620   true 1.4  120   unknown 2.1  110   unknown 3.8  120  
minepump_spec4_product56_true.cil.c true 54    53   true 6.3  52   true 2.1  110   true 3.5  220   true 1.3  32   true 0.60 28   true 1.8  18   true 0.42 6.0 timeout 900    570   true 1.9  150   unknown 2.1  110   unknown 3.9  120  
minepump_spec4_product57_true.cil.c true 130    56   true 3.3  37   true 2.0  110   true 2.7  170   true 0.91 27   true 0.46 27   true 1.3  13   true 0.43 6.0 timeout 900    290   true 1.1  120   unknown 2.1  110   unknown 3.7  120  
minepump_spec4_product58_true.cil.c true 67    47   true 3.3  37   true 2.0  100   true 2.6  170   true 0.85 26   true 0.46 27   true 1.3  13   true 0.44 6.0 timeout 900    320   true 0.93 110   unknown 2.1  110   unknown 3.5  120  
minepump_spec4_product59_true.cil.c true 80    45   true 3.6  38   true 2.1  110   true 3.6  220   true 1.1  27   true 0.66 28   true 1.6  14   true 0.42 6.0 timeout 900    660   true 1.8  150   unknown 2.1  110   unknown 3.9  120  
minepump_spec4_product60_true.cil.c true 120    54   true 3.6  39   true 2.1  110   true 3.4  220   true 1.1  27   true 0.57 28   true 1.5  14   true 0.42 6.0 timeout 900    610   true 1.7  140   unknown 2.2  110   unknown 4.2  110  
minepump_spec4_product61_true.cil.c true 140    55   true 7.9  57   true 2.0  100   true 2.7  170   true 1.1  32   true 0.47 27   true 1.7  20   true 0.41 6.0 timeout 900    420   true 1.1  120   unknown 2.2  110   unknown 4.5  110  
minepump_spec4_product62_true.cil.c true 150    67   true 7.9  57   true 2.0  100   true 2.6  180   true 1.1  32   true 0.48 27   true 1.6  20   true 0.42 6.0 timeout 900    460   true 1.4  130   unknown 2.2  110   unknown 4.3  120  
minepump_spec4_product63_true.cil.c true 83    47   true 8.4  59   true 2.1  110   true 3.7  220   true 1.3  33   true 0.62 28   true 1.8  20   true 0.43 6.0 timeout 900    660   true 1.5  140   unknown 2.3  110   unknown 2.9  110  
minepump_spec4_product64_true.cil.c true 400    110   true 8.5  60   true 2.1  110   true 3.5  220   true 1.3  33   true 0.59 28   true 1.9  21   true 0.46 6.0 timeout 900    600   true 1.8  150   unknown 2.2  110   unknown 3.1  120  
minepump_spec5_product01_true.cil.c true 0.13 11   true 0.94 19   true 1.9  100   true 2.2  140   true 0.32 19   true 0.23 17   true 0.70 7.0 true 0.46 5.0 timeout 900    14   true 0.45 35   unknown 2.4  110   unknown 2.4  110  
minepump_spec5_product02_true.cil.c true 0.12 11   true 1.00 19   true 1.9  110   true 2.2  140   true 0.33 19   true 0.26 17   true 0.73 7.0 true 0.42 5.0 timeout 900    14   true 0.46 35   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product03_true.cil.c true 0.13 11   true 1.00 19   true 2.0  110   true 3.5  220   true 0.37 19   true 0.24 18   true 0.75 7.0 true 0.43 5.0 timeout 900    760   true 0.42 32   unknown 2.1  110   unknown 2.5  110  
minepump_spec5_product04_true.cil.c true 0.16 11   true 1.0  19   true 2.0  100   true 3.1  200   true 0.34 19   true 0.23 18   true 0.76 7.0 true 0.42 5.0 timeout 900    750   true 0.46 36   unknown 2.2  110   unknown 2.5  110  
minepump_spec5_product05_true.cil.c true 0.11 11   true 0.97 19   true 1.9  110   true 2.3  140   true 0.36 19   true 0.24 17   true 0.77 8.0 true 0.45 5.0 timeout 900    14   true 0.44 36   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product06_true.cil.c true 0.12 12   true 1.0  19   true 1.9  100   true 2.2  140   true 0.37 19   true 0.28 17   true 0.85 8.0 true 0.41 5.0 timeout 900    14   true 0.47 35   unknown 2.1  110   unknown 2.2  120  
minepump_spec5_product07_true.cil.c true 0.13 11   true 1.0  19   true 2.0  110   true 3.5  220   true 0.37 19   true 0.24 17   true 1.00 9.0 true 0.42 5.0 timeout 900    1000   true 0.46 35   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product08_true.cil.c true 0.13 11   true 1.1  19   true 2.0  100   true 3.1  200   true 0.34 19   true 0.28 17   true 0.98 9.0 true 0.43 5.0 timeout 900    1000   true 0.44 35   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_product09_true.cil.c true 0.14 11   true 0.98 19   true 1.9  100   true 2.2  140   true 0.36 19   true 0.23 17   true 0.73 7.0 true 0.41 5.0 timeout 900    14   true 0.47 35   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product10_true.cil.c true 0.12 11   true 0.98 19   true 1.9  100   true 2.2  140   true 0.34 19   true 0.24 18   true 0.76 7.0 true 0.42 5.0 timeout 900    14   true 0.45 37   unknown 2.5  110   unknown 3.0  110  
minepump_spec5_product11_true.cil.c true 0.13 11   true 0.99 20   true 2.0  110   true 3.4  220   true 0.32 19   true 0.25 18   true 0.80 7.0 true 0.44 5.0 timeout 900    760   true 0.44 36   unknown 2.2  110   unknown 2.4  110  
minepump_spec5_product12_true.cil.c true 0.14 11   true 1.0  19   true 2.0  100   true 3.2  190   true 0.36 19   true 0.23 18   true 0.82 8.0 true 0.43 5.0 timeout 900    760   true 0.44 36   unknown 2.2  110   unknown 2.5  120  
minepump_spec5_product13_true.cil.c true 0.15 11   true 1.00 19   true 1.9  100   true 2.2  140   true 0.37 19   true 0.25 18   true 0.78 8.0 true 0.42 5.0 timeout 900    14   true 0.46 35   unknown 2.1  110   unknown 2.4  110  
minepump_spec5_product14_true.cil.c true 0.12 11   true 1.00 19   true 1.9  100   true 2.3  140   true 0.34 19   true 0.26 17   true 0.79 8.0 true 0.42 5.0 timeout 900    14   true 0.43 37   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product15_true.cil.c true 0.11 11   true 1.0  19   true 2.0  100   true 3.5  220   true 0.34 19   true 0.26 18   true 0.91 8.0 true 0.42 5.0 timeout 900    1000   true 0.43 33   unknown 2.1  110   unknown 2.4  110  
minepump_spec5_product16_true.cil.c true 0.16 11   true 1.1  19   true 2.0  100   true 3.1  200   true 0.34 19   true 0.27 18   true 0.92 9.0 true 0.42 5.0 timeout 900    1000   true 0.43 36   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product17_true.cil.c true 0.12 11   true 0.99 19   true 1.9  100   true 2.2  140   true 0.33 19   true 0.25 17   true 0.76 8.0 true 0.41 5.0 timeout 900    14   true 0.48 35   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product18_true.cil.c true 0.12 12   true 1.0  19   true 1.9  100   true 2.3  140   true 0.35 19   true 0.24 18   true 0.83 8.0 true 0.43 5.0 timeout 900    14   true 0.42 37   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_product19_true.cil.c true 0.15 11   true 1.1  19   true 2.0  110   true 3.5  220   true 0.34 19   true 0.25 18   true 0.99 9.0 true 0.42 5.0 timeout 900    760   true 0.47 37   unknown 2.4  110   unknown 2.3  110  
minepump_spec5_product20_true.cil.c true 0.13 11   true 1.0  19   true 2.0  110   true 3.1  200   true 0.37 19   true 0.24 18   true 0.98 9.0 true 0.45 5.0 timeout 900    760   true 0.47 35   unknown 2.3  110   unknown 2.3  110  
minepump_spec5_product21_true.cil.c true 0.11 11   true 1.0  19   true 1.9  100   true 2.3  140   true 0.34 19   true 0.25 18   true 0.90 10.0 true 0.43 5.0 timeout 900    14   true 0.46 34   unknown 2.3  110   unknown 2.6  110  
minepump_spec5_product22_true.cil.c true 0.16 12   true 1.0  19   true 2.0  100   true 2.3  140   true 0.37 19   true 0.26 17   true 0.93 10.0 true 0.46 5.0 timeout 900    14   true 0.45 35   unknown 2.7  110   unknown 2.5  120  
minepump_spec5_product23_true.cil.c true 0.14 11   true 1.1  20   true 2.1  110   true 3.5  220   true 0.35 19   true 0.28 17   true 1.0  10.0 true 0.43 5.0 timeout 900    1000   true 0.44 41   unknown 2.3  110   unknown 2.4  110  
minepump_spec5_product24_true.cil.c true 0.14 11   true 1.1  20   true 2.0  100   true 3.1  200   true 0.35 19   true 0.26 18   true 1.1  11   true 0.42 6.0 timeout 900    1000   true 0.45 35   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product25_true.cil.c true 0.15 11   true 0.99 19   true 1.9  100   true 2.2  140   true 0.33 19   true 0.24 17   true 0.82 8.0 true 0.41 5.0 timeout 900    14   true 0.46 35   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product26_true.cil.c true 0.15 11   true 1.0  20   true 1.9  100   true 2.3  140   true 0.36 19   true 0.26 18   true 0.85 8.0 true 0.42 5.0 timeout 900    14   true 0.44 37   unknown 2.3  110   unknown 2.4  110  
minepump_spec5_product27_true.cil.c true 0.15 11   true 1.0  20   true 2.0  110   true 3.5  220   true 0.35 19   true 0.28 17   true 0.92 8.0 true 0.45 5.0 timeout 900    760   true 0.42 34   unknown 2.3  110   unknown 2.5  110  
minepump_spec5_product28_true.cil.c true 0.13 11   true 1.1  20   true 2.0  100   true 3.1  200   true 0.34 19   true 0.24 18   true 0.99 9.0 true 0.46 6.0 timeout 900    760   true 0.44 36   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product29_true.cil.c true 0.11 11   true 1.1  20   true 1.9  100   true 2.3  140   true 0.34 19   true 0.25 18   true 0.91 10.0 true 0.42 5.0 timeout 900    14   true 0.44 35   unknown 2.3  110   unknown 2.4  120  
minepump_spec5_product30_true.cil.c true 0.12 11   true 1.1  19   true 1.9  100   true 2.3  140   true 0.35 19   true 0.28 17   true 0.93 10.0 true 0.42 5.0 timeout 900    14   true 0.44 36   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product31_true.cil.c true 0.13 11   true 1.1  20   true 2.0  100   true 3.5  220   true 0.35 19   true 0.26 17   true 1.1  11   true 0.42 5.0 timeout 900    1000   true 0.44 35   unknown 2.5  110   unknown 2.6  120  
minepump_spec5_product32_true.cil.c true 0.16 12   true 1.1  20   true 2.0  100   true 3.1  200   true 0.35 19   true 0.26 17   true 1.1  10.0 true 0.42 6.0 timeout 900    1000   true 0.43 36   unknown 2.3  110   unknown 2.9  120  
minepump_spec5_product33_true.cil.c true 110    59   true 1.7  27   true 2.2  110   true 3.9  230   true 0.66 24   true 0.40 27   true 1.1  10.0 true 0.44 6.0 timeout 900    410   true 1.1  120   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product34_true.cil.c true 56    38   true 1.7  27   true 2.2  110   true 4.0  230   true 0.63 25   true 0.47 27   true 1.1  10.0 true 0.44 6.0 timeout 900    410   true 0.85 110   unknown 2.4  110   unknown 2.3  110  
minepump_spec5_product35_true.cil.c true 170    110   true 1.8  28   true 2.4  110   true 5.3  350   true 0.81 26   true 0.50 27   true 1.3  11   true 0.45 6.0 timeout 900    600   true 1.4  130   unknown 2.3  110   unknown 2.3  110  
minepump_spec5_product36_true.cil.c exception (gremlins) 250    150   true 2.1  28   true 2.4  110   true 5.5  370   true 1.5  25   true 0.48 27   true 1.4  11   true 0.49 6.0 timeout 900    500   true 1.1  110   unknown 2.3  110   unknown 2.4  110  
minepump_spec5_product37_true.cil.c true 330    130   true 2.9  33   true 2.4  110   true 4.9  300   true 1.3  27   true 0.44 27   true 1.3  13   true 0.44 6.0 timeout 900    480   true 1.1  110   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product38_true.cil.c true 430    150   true 3.0  34   true 2.4  110   true 5.1  360   true 1.5  26   true 0.47 27   true 1.3  12   true 0.44 6.0 timeout 900    540   true 1.1  130   unknown 2.2  110   unknown 2.5  120  
minepump_spec5_product39_true.cil.c true 210    130   true 3.1  35   true 2.6  120   true 6.9  470   true 1.6  27   true 0.53 28   true 1.6  14   true 0.45 6.0 timeout 900    610   true 1.1  120   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product40_true.cil.c exception (gremlins) 370    150   true 3.1  35   true 2.6  120   true 6.8  470   true 1.5  27   true 0.52 28   true 1.6  14   true 0.48 6.0 timeout 900    590   true 1.1  120   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product41_true.cil.c true 230    89   true 1.9  28   true 2.2  110   true 3.7  230   true 0.74 25   true 0.46 27   true 1.2  11   true 0.42 6.0 timeout 900    770   true 1.1  120   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product42_true.cil.c true 110    64   true 1.9  28   true 2.2  110   true 3.8  230   true 0.91 26   true 0.51 27   true 1.2  11   true 0.46 6.0 timeout 900    790   true 1.1  120   unknown 2.1  110   unknown 2.2  120  
minepump_spec5_product43_true.cil.c true 550    160   true 2.1  29   true 2.4  110   true 5.2  350   true 0.94 26   true 0.50 28   true 1.4  12   true 0.47 6.0 timeout 900    690   true 1.1  120   unknown 2.1  110   unknown 2.8  120  
minepump_spec5_product44_true.cil.c exception (gremlins) 670    160   true 2.3  30   true 2.4  120   true 5.5  370   true 1.3  26   true 0.51 28   true 1.5  13   true 0.45 6.0 timeout 900    690   true 1.0  120   unknown 2.1  110   unknown 2.5  110  
minepump_spec5_product45_true.cil.c true 630    150   true 3.4  37   true 2.4  120   true 5.0  280   true 1.6  27   true 0.45 27   true 1.6  14   true 0.45 6.0 timeout 900    700   true 1.1  120   unknown 2.2  110   unknown 2.7  120  
minepump_spec5_product46_true.cil.c true 510    140   true 3.5  37   true 2.4  110   true 5.0  330   true 1.5  27   true 0.45 27   true 1.6  14   true 0.45 6.0 timeout 900    730   true 1.1  120   unknown 2.5  110   unknown 2.4  110  
minepump_spec5_product47_true.cil.c true 780    150   true 3.7  38   true 2.6  120   true 6.2  470   true 1.5  28   true 0.53 28   true 1.6  15   true 0.46 6.0 timeout 900    680   true 1.1  120   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_product48_true.cil.c exception (gremlins) 870    230   true 3.9  38   true 2.5  120   true 5.9  470   true 1.7  28   true 0.59 28   true 1.6  15   true 0.48 6.0 timeout 900    670   true 1.4  120   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product49_true.cil.c true 36    30   true 2.9  34   true 2.2  110   true 3.9  230   true 0.96 26   true 0.42 27   true 1.3  11   true 0.46 6.0 timeout 900    250   true 0.88 100   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product50_true.cil.c true 50    60   true 3.0  35   true 2.2  110   true 4.0  230   true 1.1  27   true 0.41 27   true 1.4  11   true 0.43 6.0 timeout 900    270   true 1.1  110   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_product51_true.cil.c true 210    140   true 3.1  36   true 2.3  110   true 5.1  290   true 1.2  27   true 0.54 28   true 1.6  14   true 0.47 6.0 timeout 900    580   true 1.1  110   unknown 2.3  110   unknown 2.4  120  
minepump_spec5_product52_true.cil.c true 270    140   true 3.2  36   true 2.3  110   true 4.8  240   true 1.7  28   true 0.51 28   true 1.6  13   true 0.44 6.0 timeout 900    490   true 1.2  120   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product53_true.cil.c true 75    36   true 6.1  51   true 2.2  110   true 4.0  230   true 1.2  31   true 0.43 27   true 1.5  16   true 0.43 6.0 timeout 900    340   true 1.1  110   unknown 2.1  110   unknown 2.3  110  
minepump_spec5_product54_true.cil.c true 160    80   true 6.2  52   true 2.2  110   true 4.0  230   true 1.3  32   true 0.44 27   true 1.6  17   true 0.43 6.0 timeout 900    390   true 1.1  120   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product55_true.cil.c true 420    150   true 6.5  53   true 2.3  110   true 4.9  280   true 1.4  32   true 0.52 28   true 1.8  18   true 0.44 6.0 timeout 900    600   true 1.1  110   unknown 2.2  110   unknown 2.5  110  
minepump_spec5_product56_true.cil.c timeout 920    250   true 6.7  53   true 2.3  110   true 5.0  240   true 1.7  33   true 0.53 28   true 1.9  19   true 0.48 6.0 timeout 900    570   true 1.2  120   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_product57_true.cil.c true 39    27   true 3.5  38   true 2.2  110   true 3.9  230   true 1.3  27   true 0.48 27   true 1.4  14   true 0.43 6.0 timeout 900    720   true 1.1  120   unknown 2.2  110   unknown 2.3  110  
minepump_spec5_product58_true.cil.c true 39    30   true 3.6  38   true 2.2  110   true 4.0  230   true 1.2  27   true 0.47 27   true 1.5  14   true 0.43 6.0 timeout 900    760   true 1.2  130   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product59_true.cil.c true 630    150   true 3.9  39   true 2.3  110   true 4.7  240   true 1.4  28   true 0.56 28   true 1.7  15   true 0.43 6.0 timeout 900    680   true 1.4  120   unknown 2.3  110   unknown 2.3  120  
minepump_spec5_product60_true.cil.c exception (gremlins) 830    240   true 3.9  40   true 2.3  110   true 4.6  240   true 1.5  28   true 0.59 28   true 1.7  15   true 0.44 6.0 timeout 900    670   true 1.2  120   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product61_true.cil.c true 41    27   true 8.3  58   true 2.2  110   true 3.9  230   true 1.5  33   true 3.3  29   true 1.7  20   true 0.42 6.0 timeout 900    720   true 0.93 120   unknown 2.3  110   unknown 2.5  120  
minepump_spec5_product62_true.cil.c true 41    31   true 8.4  59   true 2.2  110   true 4.0  230   true 1.5  33   true 3.3  29   true 1.8  21   true 0.43 6.0 timeout 900    760   true 1.1  120   unknown 2.2  110   unknown 2.2  120  
minepump_spec5_product63_true.cil.c timeout 920    160   true 8.8  60   true 2.3  110   true 4.8  240   true 1.7  34   true 0.58 28   true 2.1  21   true 0.46 6.0 timeout 900    680   true 1.4  120   unknown 2.2  110   unknown 2.3  120  
minepump_spec5_product64_true.cil.c timeout 920    160   true 9.0  61   true 2.3  110   true 5.1  240   true 1.8  34   true 0.59 28   true 2.1  21   true 0.44 6.0 timeout 900    680   true 1.1  120   unknown 2.2  110   unknown 2.4  120  
minepump_spec5_productSimulator_true.cil.c timeout 920    230   true 47    110   true 4.4  190   true 8.3  480   true 3.9  54   true 0.87 30   true 4.9  43   true 6.3  29   timeout 900    830   true 1.8  130   unknown 2.2  110   unknown 2.9  110  
../../sv-benchmarks/c/product-lines/ status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB) status time(s) memory(MB)
total files 597 170000 100000 597 9200 23000 597 4400 160000 597 52000 210000 597 8400 35000 597 12000 160000 597 5400 43000 597 1200 9100 597 330000 210000 597 5700 93000 597 1500 66000 597 1500 70000
correct results 390 24000 19000 594 6600 21000 596 3500 160000 526 3100 140000 596 7500 34000 585 950 22000 594 2600 41000 597 1200 9100 253 17000 28000 596 4800 89000 0 0 0 0 0 0
false negatives 0 0 0 1 850 470 0 0 0 2 12 720 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
false positives 2 290 420 0 0 0 0 0 0 15 460 9300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
score (597 files, max score: 929) 639 918 928 715 928 905 925 929 347 927 0 0