Tool VeriAbs CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CPA-witness2test 1.6.1-svn 26773 CProver witness2test 0.1 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon020; apollon077; apollon078; apollon084; apollon149; apollon164] apollon* [apollon037; apollon065; apollon077; apollon078; apollon155; apollon159] apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 18:04:04 CET 2017-12-03 04:46:33 CET 2017-12-03 06:08:30 CET 2017-12-03 06:21:09 CET 2017-12-03 06:27:12 CET 2017-12-03 03:55:53 CET 2017-12-03 04:55:47 CET
Run set veriabs.sv-comp18.ReachSafety-ProductLines cpa-seq-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines uautomizer-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines cpa-seq-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-ProductLines uautomizer-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-ProductLines
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witness2test -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true --graphml-witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true --full-output --validate ../../results-verified/veriabs.2017-12-02_1804.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/product-lines/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
elevator_spec14_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 380 1200 2800 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
elevator_spec14_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 400 1400 3800 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
elevator_spec14_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 400 1200 2800 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
elevator_spec14_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 400 1400 3500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0030 .26 - wit inspect - wit inspect
elevator_spec14_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 5900 6900 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec1_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 750 2000 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
elevator_spec1_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 770 2000 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
elevator_spec1_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2200 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0012 .33 - wit inspect - wit inspect
elevator_spec1_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2300 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
elevator_spec1_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
elevator_spec1_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 780 1900 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
elevator_spec1_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 780 2100 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec1_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2400 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
elevator_spec1_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 690 6800 4800 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
elevator_spec2_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 850 2500 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0010 .34 - wit inspect - wit inspect
elevator_spec2_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 810 2100 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec2_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 790 1900 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .026 4.9 error (invalid witness file) 0 wit inspect .80 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec2_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 820 2300 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
elevator_spec2_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0023 .35 - wit inspect - wit inspect
elevator_spec2_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 2200 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
elevator_spec2_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 840 2600 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
elevator_spec2_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 830 2300 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
elevator_spec2_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 890 7900 6000 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .69 51 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
elevator_spec3_product03_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 790 1400 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec3_product11_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 770 1600 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0023 .29 - wit inspect - wit inspect
elevator_spec3_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 760 1900 error (invalid witness file) 0 wit inspect .63 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .76 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
elevator_spec3_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 770 1400 error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
elevator_spec3_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 780 1500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
elevator_spec3_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 770 1400 error (invalid witness file) 0 wit inspect .62 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
elevator_spec3_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 760 1500 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
elevator_spec3_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 760 1600 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .045 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
elevator_spec3_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 210 750 1600 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .87 51 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
elevator_spec3_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 220 810 1500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .71 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
elevator_spec3_productSimulator_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 810 7900 6400 error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
elevator_spec9_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 440 1400 3200 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
elevator_spec9_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 440 1600 3700 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0036 .34 - wit inspect - wit inspect
elevator_spec9_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 440 1400 2900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
elevator_spec9_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 440 1500 3100 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .030 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
elevator_spec9_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 3100 6700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
elevator_spec13_product21_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 480 1600 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 44 error (2) 0 wit inspect .022 4.8
elevator_spec13_product22_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 470 1600 3800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 5.0
elevator_spec13_product23_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 460 2100 2500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .020 4.9
elevator_spec13_product24_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 460 2000 2700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 44 error (2) 0 wit inspect .019 4.9
elevator_spec13_product29_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 480 1600 2900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
elevator_spec13_product30_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 480 1600 3100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .024 4.8
elevator_spec13_product31_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 460 2100 2600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .020 4.9
elevator_spec13_product32_true-unreach-call_false-termination.cil.c unknown 0 wit inspect 470 2000 3300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .025 5.0
elevator_spec13_productSimulator_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2500 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .76 41 error (2) 0 wit inspect .019 4.9
elevator_spec14_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1000 1300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    570 out of memory 0 wit inspect 240     7000  
elevator_spec14_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1000 1100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 18    640 out of memory 0 wit inspect 320     7000  
elevator_spec14_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1100 1100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    660 out of memory 0 wit inspect 320     7000  
elevator_spec14_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1300 1600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 29    1100 out of memory 0 wit inspect 200     7000  
elevator_spec14_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 130 1100 1100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    720 out of memory 0 wit inspect 310     7000  
elevator_spec14_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1300 1500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 26    1100 out of memory 0 wit inspect 230     7000  
elevator_spec1_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1500 1100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 86    1500 timeout 0 wit inspect 960     5300  
elevator_spec1_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 86    1500 timeout 0 wit inspect 960     4600  
elevator_spec1_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 69    1400 out of memory 0 wit inspect 220     7000  
elevator_spec1_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 100    1600 out of memory 0 wit inspect 250     7000  
elevator_spec1_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1600 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 81    1500 out of memory 0 wit inspect 200     7000  
elevator_spec1_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 86    1700 out of memory 0 wit inspect 210     7000  
elevator_spec1_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 170    1900 out of memory 0 wit inspect 210     7000  
elevator_spec1_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1700 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 120    2000 out of memory 0 wit inspect 240     7000  
elevator_spec1_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1700 1200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 67    1600 out of memory 0 wit inspect 170     7000  
elevator_spec1_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1700 1300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 92    1800 out of memory 0 wit inspect 280     7000  
elevator_spec1_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 170 1500 1300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 200    2000 out of memory 0 wit inspect 190     7000  
elevator_spec1_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect 160 1800 1400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 140    2100 out of memory 0 wit inspect 220     7000  
elevator_spec2_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 980 800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    890 out of memory 0 wit inspect 140     7000  
elevator_spec2_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1000 890 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 47    1100 timeout 0 wit inspect 960     4600  
elevator_spec2_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 1000 720 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    890 out of memory 0 wit inspect 100     7000  
elevator_spec2_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1100 930 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 46    1100 timeout 0 wit inspect 960     4600  
elevator_spec2_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 1000 810 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 34    910 out of memory 0 wit inspect 140     7000  
elevator_spec2_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1100 790 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    1000 out of memory 0 wit inspect 150     7000  
elevator_spec2_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect 130 1200 1000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 53    1000 out of memory 0 wit inspect 130     7000  
elevator_spec2_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1200 910 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 37    1200 out of memory 0 wit inspect 230     7000  
elevator_spec2_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 1000 860 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 33    950 out of memory 0 wit inspect 140     7000  
elevator_spec2_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 120 1100 910 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 35    1000 out of memory 0 wit inspect 150     7000  
elevator_spec2_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 130 1200 890 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 54    1200 out of memory 0 wit inspect 150     7000  
elevator_spec2_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect 130 1300 940 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 49    1100 out of memory 0 wit inspect 220     7000  
elevator_spec3_product01_true-unreach-call_true-termination.cil.c true 2 wit inspect 93 750 640 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    660 out of memory 0 wit inspect 190     7000  
elevator_spec3_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect 100 770 780 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 18    650 out of memory 0 wit inspect 150     7000  
elevator_spec3_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect 95 780 700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 22    620 out of memory 0 wit inspect 160     7000  
elevator_spec3_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect 100 860 800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 29    990 out of memory 0 wit inspect 160     7000  
elevator_spec3_product21_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 840 780 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    780 out of memory 0 wit inspect 130     7000  
elevator_spec3_product22_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 1000 790 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    1300 out of memory 0 wit inspect 200     7000  
elevator_spec3_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 95 770 700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 23    730 out of memory 0 wit inspect 160     7000  
elevator_spec3_product26_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 920 740 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    1100 out of memory 0 wit inspect 180     7000  
elevator_spec3_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 100 830 810 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 24    920 out of memory 0 wit inspect 120     7000  
elevator_spec3_product30_true-unreach-call_true-termination.cil.c true 2 wit inspect 110 1000 830 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 38    1700 out of memory 0 wit inspect 210     7000  
elevator_spec9_product09_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 1000 2000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    810 out of memory 0 wit inspect 160     7000  
elevator_spec9_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect 340 1100 2000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 32    930 out of memory 0 wit inspect 100     7000  
elevator_spec9_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 1100 2300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    940 out of memory 0 wit inspect 140     7000  
elevator_spec9_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 1100 2000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 36    1100 out of memory 0 wit inspect 170     7000  
elevator_spec9_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 1200 2200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 37    1200 out of memory 0 wit inspect 190     7000  
elevator_spec9_product31_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 1300 2200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 38    1200 out of memory 0 wit inspect 140     7000  
email_spec0_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5500 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec0_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5900 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
email_spec0_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 5900 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
email_spec0_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 4000 5500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
email_spec0_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec0_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
email_spec0_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5600 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
email_spec0_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 4000 6200 error (invalid witness file) 0 wit inspect .51 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .81 48 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec0_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 2500 6300 error (invalid witness file) 0 wit inspect .61 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .72 50 error (invalid witness file) 0 wit inspect .0017 .30 - wit inspect - wit inspect
email_spec11_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 6100 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
email_spec11_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 6800 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0033 .28 - wit inspect - wit inspect
email_spec11_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 5300 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
email_spec11_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
email_spec11_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5700 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec11_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5100 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect - wit inspect
email_spec11_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5400 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
email_spec11_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 3900 6600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec11_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 2500 5700 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec1_product14_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 4900 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .81 51 error (invalid witness file) 0 wit inspect .0018 .28 - wit inspect - wit inspect
email_spec1_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .59 45 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 50 error (invalid witness file) 0 wit inspect .0010 .29 - wit inspect - wit inspect
email_spec1_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5200 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0035 .26 - wit inspect - wit inspect
email_spec1_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 6600 error (invalid witness file) 0 wit inspect .60 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
email_spec1_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6100 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .81 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec1_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 6200 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0028 .26 - wit inspect - wit inspect
email_spec1_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 6500 error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec1_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5700 error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
email_spec1_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5300 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
email_spec1_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5400 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 52 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec1_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5700 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
email_spec1_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5800 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec1_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5800 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec1_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 4000 6500 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0042 .34 - wit inspect - wit inspect
email_spec1_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 4500 8100 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0036 .31 - wit inspect - wit inspect
email_spec27_product17_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5500 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .82 47 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
email_spec27_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 6200 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec27_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5300 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
email_spec27_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5600 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec27_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5500 error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .31 - wit inspect - wit inspect
email_spec27_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5500 error (invalid witness file) 0 wit inspect .69 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .88 47 error (invalid witness file) 0 wit inspect .0015 .29 - wit inspect - wit inspect
email_spec27_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 4000 6500 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .93 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec27_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5300 error (invalid witness file) 0 wit inspect .39 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec27_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6300 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
email_spec27_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5400 error (invalid witness file) 0 wit inspect .58 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec27_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 7400 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec27_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5000 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
email_spec27_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 6600 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
email_spec27_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 560 3900 5700 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
email_spec27_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 2500 5700 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
email_spec3_product13_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5500 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .71 50 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec3_product17_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5300 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .63 51 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec3_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6000 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
email_spec3_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5700 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec3_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5400 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
email_spec3_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 6700 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0038 .34 - wit inspect - wit inspect
email_spec3_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 6100 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
email_spec3_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 4000 6900 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec3_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5400 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
email_spec3_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 6200 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0037 .28 - wit inspect - wit inspect
email_spec3_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6200 error (invalid witness file) 0 wit inspect .61 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec3_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5400 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .044 4.8 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
email_spec3_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5700 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0027 .26 - wit inspect - wit inspect
email_spec3_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5800 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec3_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 3900 5700 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec3_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 560 3900 6900 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0018 .30 - wit inspect - wit inspect
email_spec3_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 10000 8100 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
email_spec4_product18_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 6300 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
email_spec4_product19_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5500 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .63 50 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
email_spec4_product23_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6700 error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0035 .34 - wit inspect - wit inspect
email_spec4_product24_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5500 error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .89 50 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
email_spec4_product25_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6400 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
email_spec4_product27_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 4000 6300 error (invalid witness file) 0 wit inspect .44 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 51 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
email_spec4_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5600 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .27 - wit inspect - wit inspect
email_spec4_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 50 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect - wit inspect
email_spec4_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6000 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0045 .28 - wit inspect - wit inspect
email_spec4_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3800 6200 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec4_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5500 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec4_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 4000 6000 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
email_spec4_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 4800 9600 error (invalid witness file) 0 wit inspect .40 45 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec6_product12_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5200 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
email_spec6_product14_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 5400 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0037 .32 - wit inspect - wit inspect
email_spec6_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5700 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
email_spec6_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5700 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec6_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5400 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0033 .28 - wit inspect - wit inspect
email_spec6_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5800 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
email_spec6_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 5200 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .71 48 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect - wit inspect
email_spec6_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 5200 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .64 50 error (invalid witness file) 0 wit inspect .0011 .28 - wit inspect - wit inspect
email_spec6_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5200 error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec6_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5500 error (invalid witness file) 0 wit inspect .50 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
email_spec6_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5700 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .83 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
email_spec6_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5300 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0033 .30 - wit inspect - wit inspect
email_spec6_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6000 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec6_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5800 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0023 .28 - wit inspect - wit inspect
email_spec6_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 5400 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .94 50 error (invalid witness file) 0 wit inspect .0030 .28 - wit inspect - wit inspect
email_spec6_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 560 4000 5800 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
email_spec6_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 4600 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .31 - wit inspect - wit inspect
email_spec7_product28_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5100 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0027 .30 - wit inspect - wit inspect
email_spec7_product29_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3900 5700 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
email_spec7_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5400 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .85 50 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
email_spec7_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6700 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
email_spec7_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .35 - wit inspect - wit inspect
email_spec7_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5400 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
email_spec7_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 3900 5900 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0033 .26 - wit inspect - wit inspect
email_spec7_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 3900 6800 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec7_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 9100 9700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .83 48 error (invalid witness file) 0 wit inspect .0040 .26 - wit inspect - wit inspect
email_spec8_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6300 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec8_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5600 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec8_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 6200 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .90 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
email_spec8_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 6100 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
email_spec8_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 6200 error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec8_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 4000 6700 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec8_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5200 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .34 - wit inspect - wit inspect
email_spec8_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5700 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
email_spec8_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6700 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0017 .28 - wit inspect - wit inspect
email_spec8_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
email_spec8_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 6100 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
email_spec8_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 560 4000 7200 error (invalid witness file) 0 wit inspect .64 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .63 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
email_spec8_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 4500 7300 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec9_product15_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5800 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .90 50 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
email_spec9_product16_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 6200 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
email_spec9_product20_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5500 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
email_spec9_product21_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5700 error (invalid witness file) 0 wit inspect .59 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .28 - wit inspect - wit inspect
email_spec9_product22_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3900 5600 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
email_spec9_product26_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 4000 6000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .88 50 error (invalid witness file) 0 wit inspect .0044 .26 - wit inspect - wit inspect
email_spec9_product30_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 500 3800 5800 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .85 51 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec9_product31_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 510 3800 5800 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect - wit inspect
email_spec9_product32_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 530 3900 6000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
email_spec9_product33_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 520 3900 5700 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 50 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
email_spec9_product34_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 540 3900 6500 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
email_spec9_product35_false-unreach-call_true-termination.cil.c unknown 0 wit inspect 550 4000 5600 error (invalid witness file) 0 wit inspect .53 44 error (2) 0 wit inspect .028 4.9 error (invalid witness file) 0 wit inspect .89 49 error (invalid witness file) 0 wit inspect .0010 .26 - wit inspect - wit inspect
email_spec9_productSimulator_false-unreach-call_true-termination.cil.c timeout 0 wit inspect 900 4500 8100 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .84 48 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
email_spec0_product05_true-unreach-call_true-termination.cil.c true 2 wit inspect 330 1800 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 210    2300 unknown 0 wit inspect 35     560  
email_spec0_product09_true-unreach-call_true-termination.cil.c true 1 wit inspect 340 2500 3100 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    1500 timeout 0 wit inspect 960     1900  
email_spec0_product10_true-unreach-call_true-termination.cil.c true 2 wit inspect 330 1800 3600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.4  410 true 2 wit inspect 9.6   390  
email_spec0_product11_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 3800 3600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    340 true 2 wit inspect 12     500  
email_spec0_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 4400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    450 true 2 wit inspect 17     590  
email_spec0_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 4400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    440 true 2 wit inspect 30     720  
email_spec0_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3900 4100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    490 true 2 wit inspect 19     600  
email_spec0_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3900 4100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    450 true 2 wit inspect 32     750  
email_spec0_product36_true-unreach-call_true-termination.cil.c true 2 wit inspect 340 2400 4400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    440 true 2 wit inspect 6.8   440  
email_spec0_product37_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 3900 4400 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    330 true 2 wit inspect 24     720  
email_spec0_product38_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 16    470 true 2 wit inspect 12     510  
email_spec0_product40_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 4200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    390 true 2 wit inspect 26     730  
email_spec11_product03_true-unreach-call_true-termination.cil.c true 2 wit inspect 330 1800 4300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 210    1900 unknown 0 wit inspect 37     580  
email_spec11_product07_true-unreach-call_true-termination.cil.c true 2 wit inspect 340 2500 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    430 true 2 wit inspect 11     380  
email_spec11_product08_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 3800 4000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    330 true 2 wit inspect 13     510  
email_spec11_product10_true-unreach-call_true-termination.cil.c true 2 wit inspect 330 1800 3500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.1  420 true 2 wit inspect 13     360  
email_spec11_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 3600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    460 true 2 wit inspect 21     630  
email_spec11_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3900 4100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 18    390 true 2 wit inspect 22     710  
email_spec11_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    460 true 2 wit inspect 24     600  
email_spec11_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 4000 4000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 19    430 true 2 wit inspect 16     690  
email_spec11_product36_true-unreach-call_true-termination.cil.c true 2 wit inspect 340 2400 3700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    360 true 2 wit inspect 11     430  
email_spec11_product37_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    450 true 2 wit inspect 18     550  
email_spec11_product39_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 4300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    460 true 2 wit inspect 14     520  
email_spec11_product40_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 4000 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    460 true 2 wit inspect 15     520  
email_spec1_product12_true-unreach-call_true-termination.cil.c true 1 wit inspect 370 3800 4200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    1300 out of memory 0 wit inspect 230     7000  
email_spec1_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 3800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    610 out of memory 0 wit inspect 160     7000  
email_spec27_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 4500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 360    2200 out of memory 0 wit inspect 180     7000  
email_spec27_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect 380 3800 4500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 16    760 out of memory 0 wit inspect 210     7000  
email_spec4_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 4000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 340    2400 unknown 0 wit inspect 57     770  
email_spec4_product17_true-unreach-call_true-termination.cil.c true 1 wit inspect 390 3900 4200 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 930    5500 out of memory 0 wit inspect 170     7000  
email_spec4_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    710 true 2 wit inspect 83     2400  
email_spec4_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 390 3900 4900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 27    900 out of memory 0 wit inspect 150     7000  
email_spec7_product13_true-unreach-call_true-termination.cil.c true 2 wit inspect 350 3800 3800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    450 true 2 wit inspect 7.5   490  
email_spec7_product17_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 4100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 16    470 true 2 wit inspect 12     510  
email_spec7_product18_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 14    350 true 2 wit inspect 12     520  
email_spec7_product19_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 3800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    360 true 2 wit inspect 11     470  
email_spec7_product23_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3900 3700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 16    460 true 2 wit inspect 17     490  
email_spec7_product24_true-unreach-call_true-termination.cil.c true 2 wit inspect 360 3800 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 16    370 true 2 wit inspect 13     520  
email_spec7_product25_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3900 3900 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 15    390 true 2 wit inspect 14     520  
email_spec7_product27_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 4000 5000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    440 true 2 wit inspect 15     530  
email_spec8_product12_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 4800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 17    640 true 2 wit inspect 85     4600  
email_spec8_product14_true-unreach-call_true-termination.cil.c true 1 wit inspect 390 3900 5000 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    1900 out of memory 0 wit inspect 240     7000  
email_spec8_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect 380 3800 3700 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 20    710 out of memory 0 wit inspect 140     7000  
email_spec8_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 400 3900 4200 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 31    1000 out of memory 0 wit inspect 270     7000  
email_spec9_product12_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 4000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 21    610 true 2 wit inspect 60     4800  
email_spec9_product14_true-unreach-call_true-termination.cil.c true 1 wit inspect 390 3900 4700 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 940    5500 out of memory 0 wit inspect 310     7000  
email_spec9_product28_true-unreach-call_true-termination.cil.c true 2 wit inspect 370 3800 3800 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 23    600 out of memory 0 wit inspect 150     7000  
email_spec9_product29_true-unreach-call_true-termination.cil.c true 2 wit inspect 400 3900 4000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 30    860 out of memory 0 wit inspect 170     7000  
minepump_spec1_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 9700 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
minepump_spec1_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 7100 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0049 .30 - wit inspect - wit inspect
minepump_spec1_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 980 8800 error (invalid witness file) 0 wit inspect .60 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
minepump_spec1_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 11000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0016 .29 - wit inspect - wit inspect
minepump_spec1_product37_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 8700 error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec1_product38_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 880 8900 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
minepump_spec1_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 930 8600 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0018 .34 - wit inspect - wit inspect
minepump_spec1_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 940 8100 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
minepump_spec1_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 11000 error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec1_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 8900 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0039 .26 - wit inspect - wit inspect
minepump_spec1_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 7800 error (invalid witness file) 0 wit inspect .55 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 51 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
minepump_spec1_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 9600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
minepump_spec1_product49_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 950 9500 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
minepump_spec1_product50_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 970 8200 error (invalid witness file) 0 wit inspect .40 42 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec1_product51_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 800 7900 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0013 .29 - wit inspect - wit inspect
minepump_spec1_product52_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 700 7800 error (invalid witness file) 0 wit inspect .55 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .68 52 error (invalid witness file) 0 wit inspect .0012 .27 - wit inspect - wit inspect
minepump_spec1_product53_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 820 8300 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
minepump_spec1_product54_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 830 7800 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0042 .28 - wit inspect - wit inspect
minepump_spec1_product55_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 8100 error (invalid witness file) 0 wit inspect .60 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .31 - wit inspect - wit inspect
minepump_spec1_product56_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 9800 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
minepump_spec1_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 930 7700 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .027 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
minepump_spec2_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 8600 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .74 48 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
minepump_spec2_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect - wit inspect
minepump_spec2_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 7100 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect - wit inspect
minepump_spec2_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 9400 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
minepump_spec2_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 8800 error (invalid witness file) 0 wit inspect .39 44 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
minepump_spec2_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 660 8600 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect - wit inspect
minepump_spec2_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 720 8300 error (invalid witness file) 0 wit inspect .39 44 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
minepump_spec2_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 730 8400 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
minepump_spec2_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 960 7400 error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .017 5.0 error (invalid witness file) 0 wit inspect .86 51 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect - wit inspect
minepump_spec3_product01_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 780 1900 7800 error (invalid witness file) 0 wit inspect .39 42 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec3_product02_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 790 2000 8000 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0013 .30 - wit inspect - wit inspect
minepump_spec3_product03_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 810 2000 8000 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
minepump_spec3_product04_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 810 1800 9700 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0018 .28 - wit inspect - wit inspect
minepump_spec3_product05_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 880 2000 10000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0038 .29 - wit inspect - wit inspect
minepump_spec3_product06_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 890 2000 9600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 51 error (invalid witness file) 0 wit inspect .0012 .32 - wit inspect - wit inspect
minepump_spec3_product07_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1700 9600 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .84 49 error (invalid witness file) 0 wit inspect .0013 .28 - wit inspect - wit inspect
minepump_spec3_product08_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1200 7400 error (invalid witness file) 0 wit inspect .60 42 error (2) 0 wit inspect .043 4.8 error (invalid witness file) 0 wit inspect .72 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
minepump_spec3_product09_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 790 1900 8100 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect - wit inspect
minepump_spec3_product10_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 790 2000 11000 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0017 .33 - wit inspect - wit inspect
minepump_spec3_product11_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 810 2000 8500 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
minepump_spec3_product12_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 820 1300 8700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect - wit inspect
minepump_spec3_product13_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 880 2000 9600 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .028 5.0 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
minepump_spec3_product14_false-unreach-call_false-termination.cil.c unknown 0 wit inspect 890 2000 9100 error (invalid witness file) 0 wit inspect .64 45 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec3_product15_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1800 9600 error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0035 .34 - wit inspect - wit inspect
minepump_spec3_product16_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 9100 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .72 49 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect - wit inspect
minepump_spec3_product17_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 9500 error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
minepump_spec3_product18_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 11000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec3_product19_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1500 9200 error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect - wit inspect
minepump_spec3_product20_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 9100 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0036 .30 - wit inspect - wit inspect
minepump_spec3_product21_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 9100 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .65 50 error (invalid witness file) 0 wit inspect .0025 .31 - wit inspect - wit inspect
minepump_spec3_product22_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 10000 error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .64 49 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect - wit inspect
minepump_spec3_product23_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1200 9600 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 47 error (invalid witness file) 0 wit inspect .0022 .34 - wit inspect - wit inspect
minepump_spec3_product24_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 9700 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
minepump_spec3_product25_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1900 9600 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .027 4.9 error (invalid witness file) 0 wit inspect .66 48 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec3_product26_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 12000 error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .86 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
minepump_spec3_product27_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1200 9300 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
minepump_spec3_product28_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1200 9000 error (invalid witness file) 0 wit inspect .61 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
minepump_spec3_product29_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 9300 error (invalid witness file) 0 wit inspect .58 42 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .88 49 error (invalid witness file) 0 wit inspect .0036 .30 - wit inspect - wit inspect
minepump_spec3_product30_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 2000 9800 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .021 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0018 .27 - wit inspect - wit inspect
minepump_spec3_product31_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1200 11000 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0028 .31 - wit inspect - wit inspect
minepump_spec3_product32_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 8200 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect - wit inspect
minepump_spec3_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 8300 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .65 49 error (invalid witness file) 0 wit inspect .0036 .29 - wit inspect - wit inspect
minepump_spec3_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 730 8700 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0035 .27 - wit inspect - wit inspect
minepump_spec3_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 700 8600 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .83 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
minepump_spec3_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 710 7900 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .73 49 error (invalid witness file) 0 wit inspect .0031 .26 - wit inspect - wit inspect
minepump_spec3_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 770 11000 error (invalid witness file) 0 wit inspect .64 44 error (2) 0 wit inspect .021 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
minepump_spec3_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 780 8000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect - wit inspect
minepump_spec3_product47_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 840 9700 error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
minepump_spec3_product48_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 850 8100 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0016 .31 - wit inspect - wit inspect
minepump_spec3_product51_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 720 9300 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0033 .29 - wit inspect - wit inspect
minepump_spec3_product52_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 730 10000 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0025 .26 - wit inspect - wit inspect
minepump_spec3_product55_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 7800 error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0018 .29 - wit inspect - wit inspect
minepump_spec3_product56_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 9700 error (invalid witness file) 0 wit inspect .54 42 error (2) 0 wit inspect .017 4.8 error (invalid witness file) 0 wit inspect .66 51 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec3_product59_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 650 7300 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec3_product60_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 660 7500 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .026 4.8 error (invalid witness file) 0 wit inspect .69 50 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec3_product63_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 820 7300 error (invalid witness file) 0 wit inspect .59 42 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 50 error (invalid witness file) 0 wit inspect .0012 .29 - wit inspect - wit inspect
minepump_spec3_product64_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 820 9000 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .68 49 error (invalid witness file) 0 wit inspect .0012 .30 - wit inspect - wit inspect
minepump_spec3_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 940 7300 error (invalid witness file) 0 wit inspect .53 42 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
minepump_spec4_product33_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 970 9900 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 4.8 error (invalid witness file) 0 wit inspect .85 49 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec4_product34_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 990 9700 error (invalid witness file) 0 wit inspect .57 41 error (2) 0 wit inspect .019 5.0 error (invalid witness file) 0 wit inspect .85 47 error (invalid witness file) 0 wit inspect .0011 .34 - wit inspect - wit inspect
minepump_spec4_product35_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 9000 error (invalid witness file) 0 wit inspect .59 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .67 49 error (invalid witness file) 0 wit inspect .0013 .27 - wit inspect - wit inspect
minepump_spec4_product36_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 8800 error (invalid witness file) 0 wit inspect .40 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .82 49 error (invalid witness file) 0 wit inspect .0038 .29 - wit inspect - wit inspect
minepump_spec4_product37_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 8600 error (invalid witness file) 0 wit inspect .41 45 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .84 47 error (invalid witness file) 0 wit inspect .0018 .26 - wit inspect - wit inspect
minepump_spec4_product38_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 930 8300 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .65 51 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
minepump_spec4_product39_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 990 7600 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .73 49 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec4_product40_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 9100 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .025 5.0 error (invalid witness file) 0 wit inspect .70 50 error (invalid witness file) 0 wit inspect .0016 .27 - wit inspect - wit inspect
minepump_spec4_product41_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1100 8000 error (invalid witness file) 0 wit inspect .51 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .87 49 error (invalid witness file) 0 wit inspect .0015 .28 - wit inspect - wit inspect
minepump_spec4_product42_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1500 11000 error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .68 50 error (invalid witness file) 0 wit inspect .0012 .34 - wit inspect - wit inspect
minepump_spec4_product43_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 940 8200 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0032 .31 - wit inspect - wit inspect
minepump_spec4_product44_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 730 9700 error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .036 4.8 error (invalid witness file) 0 wit inspect .69 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
minepump_spec4_product45_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 740 9200 error (invalid witness file) 0 wit inspect .42 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .86 47 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect - wit inspect
minepump_spec4_product46_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 740 9000 error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .66 49 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect - wit inspect
minepump_spec4_product47_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 810 8500 error (invalid witness file) 0 wit inspect .39 43 error (2) 0 wit inspect .021 5.0 error (invalid witness file) 0 wit inspect .81 49 error (invalid witness file) 0 wit inspect .0011 .29 - wit inspect - wit inspect
minepump_spec4_product48_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 820 8700 error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .70 49 error (invalid witness file) 0 wit inspect .0013 .26 - wit inspect - wit inspect
minepump_spec4_productSimulator_false-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 930 7300 error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .87 50 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect - wit inspect
minepump_spec1_product01_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.0  300 true 2 wit inspect 18     600  
minepump_spec1_product02_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.9  320 true 2 wit inspect 23     660  
minepump_spec1_product03_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  300 true 2 wit inspect 51     750  
minepump_spec1_product04_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  300 true 2 wit inspect 38     780  
minepump_spec1_product05_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  310 true 2 wit inspect 17     570  
minepump_spec1_product06_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  300 true 2 wit inspect 20     610  
minepump_spec1_product07_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.8  300 true 2 wit inspect 42     770  
minepump_spec1_product08_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 320 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  320 true 2 wit inspect 40     780  
minepump_spec1_product09_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.5  290 true 2 wit inspect 21     600  
minepump_spec1_product10_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.1  290 true 2 wit inspect 25     640  
minepump_spec1_product11_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1  300 true 2 wit inspect 41     770  
minepump_spec1_product12_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  300 true 2 wit inspect 39     770  
minepump_spec1_product13_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.1  320 true 2 wit inspect 21     610  
minepump_spec1_product14_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  300 true 2 wit inspect 20     610  
minepump_spec1_product15_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.3  300 true 2 wit inspect 39     780  
minepump_spec1_product16_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.0  300 true 2 wit inspect 41     780  
minepump_spec1_product17_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.3  320 true 2 wit inspect 23     620  
minepump_spec1_product18_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  300 true 2 wit inspect 23     590  
minepump_spec1_product19_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.1  310 true 2 wit inspect 40     780  
minepump_spec1_product20_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  300 true 2 wit inspect 39     790  
minepump_spec1_product21_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  310 true 2 wit inspect 20     590  
minepump_spec1_product22_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2  380 true 2 wit inspect 20     520  
minepump_spec1_product23_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    370 true 2 wit inspect 40     790  
minepump_spec1_product24_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 320 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  370 true 2 wit inspect 48     800  
minepump_spec1_product25_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  300 true 2 wit inspect 20     620  
minepump_spec1_product26_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  330 true 2 wit inspect 23     600  
minepump_spec1_product27_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  320 true 2 wit inspect 28     790  
minepump_spec1_product28_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.3  310 true 2 wit inspect 52     790  
minepump_spec1_product29_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.8  310 true 2 wit inspect 20     610  
minepump_spec1_product30_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  320 true 2 wit inspect 24     650  
minepump_spec1_product31_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  300 true 2 wit inspect 50     810  
minepump_spec1_product32_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8  380 true 2 wit inspect 48     870  
minepump_spec1_product45_true-unreach-call_false-termination.cil.c true 2 wit inspect 26 500 190 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 120     1400  
minepump_spec1_product46_true-unreach-call_false-termination.cil.c true 2 wit inspect 30 470 260 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  340 true 2 wit inspect 110     1300  
minepump_spec1_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 810 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .019 4.9
minepump_spec1_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 820 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .72 43 error (2) 0 wit inspect .019 4.9
minepump_spec1_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 770 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .43 44 error (2) 0 wit inspect .018 4.8
minepump_spec1_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 790 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .019 4.9
minepump_spec1_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 850 8900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .019 4.8
minepump_spec1_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 850 6600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 41 error (2) 0 wit inspect .019 4.8
minepump_spec1_product61_true-unreach-call_false-termination.cil.c true 2 wit inspect 29 500 280 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    450 true 2 wit inspect 81     990  
minepump_spec1_product62_true-unreach-call_false-termination.cil.c true 2 wit inspect 33 500 300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.4  450 true 2 wit inspect 89     1100  
minepump_spec1_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 800 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .021 4.8
minepump_spec1_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 810 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .59 44 error (2) 0 wit inspect .018 4.8
minepump_spec2_product01_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  300 true 2 wit inspect 27     660  
minepump_spec2_product02_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  300 true 2 wit inspect 25     670  
minepump_spec2_product03_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.1  300 true 2 wit inspect 28     750  
minepump_spec2_product04_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.0  300 true 2 wit inspect 51     830  
minepump_spec2_product05_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.9  300 true 2 wit inspect 27     690  
minepump_spec2_product06_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.9  360 true 2 wit inspect 24     700  
minepump_spec2_product07_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.1  310 true 2 wit inspect 52     870  
minepump_spec2_product08_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  300 true 2 wit inspect 49     860  
minepump_spec2_product09_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.1  300 true 2 wit inspect 28     640  
minepump_spec2_product10_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  290 true 2 wit inspect 26     690  
minepump_spec2_product11_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.0  290 true 2 wit inspect 31     800  
minepump_spec2_product12_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  310 true 2 wit inspect 46     820  
minepump_spec2_product13_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  330 true 2 wit inspect 27     700  
minepump_spec2_product14_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.5  330 true 2 wit inspect 25     710  
minepump_spec2_product15_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1  330 true 2 wit inspect 52     860  
minepump_spec2_product16_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.0  330 true 2 wit inspect 50     860  
minepump_spec2_product17_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.2  300 true 2 wit inspect 27     710  
minepump_spec2_product18_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.5  300 true 2 wit inspect 26     700  
minepump_spec2_product19_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6  350 true 2 wit inspect 53     850  
minepump_spec2_product20_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 63     910  
minepump_spec2_product21_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.4  310 true 2 wit inspect 38     720  
minepump_spec2_product22_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.9  390 true 2 wit inspect 38     730  
minepump_spec2_product23_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    320 true 2 wit inspect 40     860  
minepump_spec2_product24_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.5  390 true 2 wit inspect 58     940  
minepump_spec2_product25_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.5  330 true 2 wit inspect 28     700  
minepump_spec2_product26_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1  310 true 2 wit inspect 26     690  
minepump_spec2_product27_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    310 true 2 wit inspect 69     860  
minepump_spec2_product28_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  350 true 2 wit inspect 52     820  
minepump_spec2_product29_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  380 true 2 wit inspect 29     720  
minepump_spec2_product30_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 310 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  450 true 2 wit inspect 29     710  
minepump_spec2_product31_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.8  320 true 2 wit inspect 48     840  
minepump_spec2_product32_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2  390 true 2 wit inspect 71     880  
minepump_spec2_product37_true-unreach-call_false-termination.cil.c true 2 wit inspect 37 490 320 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    420 true 2 wit inspect 140     1500  
minepump_spec2_product38_true-unreach-call_false-termination.cil.c true 2 wit inspect 37 490 320 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.5  330 true 2 wit inspect 160     1400  
minepump_spec2_product39_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 980 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .018 4.8
minepump_spec2_product40_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 990 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .73 43 error (2) 0 wit inspect .019 4.9
minepump_spec2_product45_true-unreach-call_false-termination.cil.c true 2 wit inspect 27 490 230 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 140     1500  
minepump_spec2_product46_true-unreach-call_false-termination.cil.c true 2 wit inspect 30 490 260 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 140     2200  
minepump_spec2_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .020 4.9
minepump_spec2_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 910 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .024 5.0
minepump_spec2_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 7200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .020 4.9
minepump_spec2_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 7900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .019 4.9
minepump_spec2_product51_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 44 error (2) 0 wit inspect .020 4.9
minepump_spec2_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .020 4.9
minepump_spec2_product53_true-unreach-call_false-termination.cil.c true 2 wit inspect 45 490 500 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    320 true 2 wit inspect 91     1100  
minepump_spec2_product54_true-unreach-call_false-termination.cil.c true 2 wit inspect 45 500 410 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 87     1100  
minepump_spec2_product55_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .019 4.9
minepump_spec2_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.9
minepump_spec2_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 960 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .021 5.0
minepump_spec2_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 970 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.9
minepump_spec2_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 620 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 41 error (2) 0 wit inspect .042 4.9
minepump_spec2_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 630 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .019 4.8
minepump_spec2_product61_true-unreach-call_false-termination.cil.c true 2 wit inspect 30 510 260 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    350 true 2 wit inspect 110     1600  
minepump_spec2_product62_true-unreach-call_false-termination.cil.c true 2 wit inspect 35 510 330 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    340 true 2 wit inspect 99     1500  
minepump_spec2_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 880 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.9
minepump_spec2_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 44 error (2) 0 wit inspect .021 4.9
minepump_spec3_product33_true-unreach-call_false-termination.cil.c true 2 wit inspect 26 480 210 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6  340 true 2 wit inspect 86     1000  
minepump_spec3_product34_true-unreach-call_false-termination.cil.c true 2 wit inspect 26 480 220 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    360 true 2 wit inspect 110     1100  
minepump_spec3_product37_true-unreach-call_false-termination.cil.c true 2 wit inspect 32 480 310 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  410 true 2 wit inspect 82     1100  
minepump_spec3_product38_true-unreach-call_false-termination.cil.c true 2 wit inspect 33 510 300 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    330 true 2 wit inspect 100     1100  
minepump_spec3_product41_true-unreach-call_false-termination.cil.c true 2 wit inspect 27 490 230 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    310 true 2 wit inspect 110     1300  
minepump_spec3_product42_true-unreach-call_false-termination.cil.c true 2 wit inspect 28 450 230 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.7  310 true 2 wit inspect 130     1400  
minepump_spec3_product45_true-unreach-call_false-termination.cil.c true 2 wit inspect 34 490 360 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.9  320 true 2 wit inspect 160     1500  
minepump_spec3_product46_true-unreach-call_false-termination.cil.c true 2 wit inspect 34 500 330 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    460 true 2 wit inspect 140     1700  
minepump_spec3_product49_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 660 8000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 44 error (2) 0 wit inspect .018 4.9
minepump_spec3_product50_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 680 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .020 4.9
minepump_spec3_product53_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 44 error (2) 0 wit inspect .019 5.0
minepump_spec3_product54_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 880 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .019 5.0
minepump_spec3_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 810 8600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .58 41 error (2) 0 wit inspect .028 4.9
minepump_spec3_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 650 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9
minepump_spec3_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 780 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .019 4.9
minepump_spec3_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 790 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .74 43 error (2) 0 wit inspect .019 4.9
minepump_spec4_product01_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  300 true 2 wit inspect 17     540  
minepump_spec4_product02_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  300 true 2 wit inspect 13     590  
minepump_spec4_product03_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  300 true 2 wit inspect 40     740  
minepump_spec4_product04_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.6  290 true 2 wit inspect 41     800  
minepump_spec4_product05_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1  320 true 2 wit inspect 18     630  
minepump_spec4_product06_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  310 true 2 wit inspect 25     660  
minepump_spec4_product07_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  340 true 2 wit inspect 48     610  
minepump_spec4_product08_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6  300 true 2 wit inspect 42     640  
minepump_spec4_product09_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  300 true 2 wit inspect 20     620  
minepump_spec4_product10_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  290 true 2 wit inspect 25     590  
minepump_spec4_product11_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  300 true 2 wit inspect 38     760  
minepump_spec4_product12_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  300 true 2 wit inspect 37     760  
minepump_spec4_product13_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  310 true 2 wit inspect 24     600  
minepump_spec4_product14_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  300 true 2 wit inspect 24     670  
minepump_spec4_product15_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  300 true 2 wit inspect 41     760  
minepump_spec4_product16_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    350 true 2 wit inspect 58     670  
minepump_spec4_product17_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.7  320 true 2 wit inspect 19     500  
minepump_spec4_product18_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.3  330 true 2 wit inspect 17     650  
minepump_spec4_product19_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  310 true 2 wit inspect 43     790  
minepump_spec4_product20_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 280 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  330 true 2 wit inspect 45     770  
minepump_spec4_product21_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.0  310 true 2 wit inspect 25     650  
minepump_spec4_product22_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 160 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  360 true 2 wit inspect 18     650  
minepump_spec4_product23_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8  420 true 2 wit inspect 51     750  
minepump_spec4_product24_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    320 true 2 wit inspect 50     840  
minepump_spec4_product25_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.1  300 true 2 wit inspect 24     640  
minepump_spec4_product26_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3  330 true 2 wit inspect 21     600  
minepump_spec4_product27_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.2  330 true 2 wit inspect 50     810  
minepump_spec4_product28_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.8  300 true 2 wit inspect 47     760  
minepump_spec4_product29_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2  310 true 2 wit inspect 21     610  
minepump_spec4_product30_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  320 true 2 wit inspect 25     650  
minepump_spec4_product31_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 40     760  
minepump_spec4_product32_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  310 true 2 wit inspect 42     770  
minepump_spec4_product49_true-unreach-call_false-termination.cil.c true 2 wit inspect 53 490 550 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 59     940  
minepump_spec4_product50_true-unreach-call_false-termination.cil.c true 2 wit inspect 53 470 550 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    330 true 2 wit inspect 71     970  
minepump_spec4_product51_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 690 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .63 43 error (2) 0 wit inspect .027 4.8
minepump_spec4_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 700 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .62 41 error (2) 0 wit inspect .020 4.9
minepump_spec4_product53_true-unreach-call_false-termination.cil.c true 2 wit inspect 62 500 620 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.7  440 true 2 wit inspect 49     980  
minepump_spec4_product54_true-unreach-call_false-termination.cil.c true 2 wit inspect 62 500 650 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.7  330 true 2 wit inspect 81     1000  
minepump_spec4_product55_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 42 error (2) 0 wit inspect .017 4.8
minepump_spec4_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 880 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 43 error (2) 0 wit inspect .017 4.9
minepump_spec4_product57_true-unreach-call_false-termination.cil.c true 2 wit inspect 61 510 580 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    320 true 2 wit inspect 91     1000  
minepump_spec4_product58_true-unreach-call_false-termination.cil.c true 2 wit inspect 61 500 600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    460 true 2 wit inspect 89     1300  
minepump_spec4_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 840 9100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 41 error (2) 0 wit inspect .024 4.8
minepump_spec4_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 600 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .020 4.8
minepump_spec4_product61_true-unreach-call_false-termination.cil.c true 2 wit inspect 66 510 720 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    460 true 2 wit inspect 69     1100  
minepump_spec4_product62_true-unreach-call_false-termination.cil.c true 2 wit inspect 66 500 660 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    340 true 2 wit inspect 74     1200  
minepump_spec4_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 800 7500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 5.0
minepump_spec4_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 800 7800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .70 42 error (2) 0 wit inspect .019 4.9
minepump_spec5_product01_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.8  300 true 2 wit inspect 17     560  
minepump_spec5_product02_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.6  290 true 2 wit inspect 19     560  
minepump_spec5_product03_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.2  300 true 2 wit inspect 69     860  
minepump_spec5_product04_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6  300 true 2 wit inspect 58     880  
minepump_spec5_product05_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.0  310 true 2 wit inspect 17     610  
minepump_spec5_product06_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.4  320 true 2 wit inspect 19     600  
minepump_spec5_product07_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.1  330 true 2 wit inspect 51     860  
minepump_spec5_product08_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  330 true 2 wit inspect 67     810  
minepump_spec5_product09_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.7  300 true 2 wit inspect 18     580  
minepump_spec5_product10_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 120 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.0  310 true 2 wit inspect 12     570  
minepump_spec5_product11_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8  310 true 2 wit inspect 48     840  
minepump_spec5_product12_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.2  300 true 2 wit inspect 51     850  
minepump_spec5_product13_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4  310 true 2 wit inspect 25     610  
minepump_spec5_product14_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 280 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.7  310 true 2 wit inspect 23     500  
minepump_spec5_product15_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.3  310 true 2 wit inspect 83     910  
minepump_spec5_product16_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2  350 true 2 wit inspect 63     960  
minepump_spec5_product17_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.0  330 true 2 wit inspect 16     590  
minepump_spec5_product18_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2  300 true 2 wit inspect 19     600  
minepump_spec5_product19_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 300 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  310 true 2 wit inspect 58     910  
minepump_spec5_product20_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 310 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.0  340 true 2 wit inspect 61     870  
minepump_spec5_product21_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  330 true 2 wit inspect 19     610  
minepump_spec5_product22_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.2  310 true 2 wit inspect 22     600  
minepump_spec5_product23_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 300 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  390 true 2 wit inspect 45     900  
minepump_spec5_product24_true-unreach-call_false-termination.cil.c true 2 wit inspect 20 320 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 11    330 true 2 wit inspect 67     900  
minepump_spec5_product25_true-unreach-call_false-termination.cil.c true 2 wit inspect 17 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.8  310 true 2 wit inspect 19     610  
minepump_spec5_product26_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 290 150 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.0  340 true 2 wit inspect 20     650  
minepump_spec5_product27_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.2  300 true 2 wit inspect 42     880  
minepump_spec5_product28_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 300 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  310 true 2 wit inspect 70     950  
minepump_spec5_product29_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    310 true 2 wit inspect 19     600  
minepump_spec5_product30_true-unreach-call_false-termination.cil.c true 2 wit inspect 18 290 140 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.6  380 true 2 wit inspect 21     620  
minepump_spec5_product31_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 300 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    330 true 2 wit inspect 88     920  
minepump_spec5_product32_true-unreach-call_false-termination.cil.c true 2 wit inspect 19 310 130 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  330 true 2 wit inspect 60     950  
minepump_spec5_product33_true-unreach-call_false-termination.cil.c true 2 wit inspect 43 490 380 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.4  340 true 2 wit inspect 96     1300  
minepump_spec5_product34_true-unreach-call_false-termination.cil.c true 2 wit inspect 43 470 410 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.9  310 true 2 wit inspect 98     1300  
minepump_spec5_product35_true-unreach-call_false-termination.cil.c true 2 wit inspect 42 430 490 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 10    370 true 2 wit inspect 120     1300  
minepump_spec5_product36_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1500 11000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 42 error (2) 0 wit inspect .020 5.0
minepump_spec5_product37_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .018 4.8
minepump_spec5_product38_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 920 8700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 41 error (2) 0 wit inspect .018 5.0
minepump_spec5_product39_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 830 7400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .020 4.9
minepump_spec5_product40_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 800 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .67 41 error (2) 0 wit inspect .020 4.8
minepump_spec5_product41_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 710 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .66 44 error (2) 0 wit inspect .024 5.0
minepump_spec5_product42_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 730 8200 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .64 41 error (2) 0 wit inspect .023 4.9
minepump_spec5_product43_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 750 9400 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .018 4.9
minepump_spec5_product44_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 770 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 43 error (2) 0 wit inspect .019 4.9
minepump_spec5_product45_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 900 8800 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 43 error (2) 0 wit inspect .019 4.9
minepump_spec5_product46_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 910 9700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .65 43 error (2) 0 wit inspect .033 4.8
minepump_spec5_product47_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 980 6700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .54 41 error (2) 0 wit inspect .020 4.9
minepump_spec5_product48_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 980 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .019 5.0
minepump_spec5_product49_true-unreach-call_false-termination.cil.c true 2 wit inspect 720 820 5600 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.5  460 true 2 wit inspect 32     780  
minepump_spec5_product50_true-unreach-call_false-termination.cil.c true 2 wit inspect 720 810 6600 - wit inspect - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 910    6600 true 2 wit inspect 35     770  
minepump_spec5_product51_true-unreach-call_false-termination.cil.c true 2 wit inspect 740 870 6100 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.6  340 true 2 wit inspect 24     770  
minepump_spec5_product52_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 870 8300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .023 5.0
minepump_spec5_product53_true-unreach-call_false-termination.cil.c true 2 wit inspect 840 840 8000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 12    360 true 2 wit inspect 39     820  
minepump_spec5_product54_true-unreach-call_false-termination.cil.c true 2 wit inspect 850 840 6900 - wit inspect - wit inspect - wit inspect - wit inspect out of memory 0 wit inspect 780    7000 true 2 wit inspect 28     850  
minepump_spec5_product55_true-unreach-call_false-termination.cil.c true 2 wit inspect 870 880 7000 - wit inspect - wit inspect - wit inspect - wit inspect true 2 wit inspect 13    460 true 2 wit inspect 20     650  
minepump_spec5_product56_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890 7300 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 41 error (2) 0 wit inspect .021 5.0
minepump_spec5_product57_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 960 10000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .024 4.9
minepump_spec5_product58_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 630 8100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .68 43 error (2) 0 wit inspect .020 4.9
minepump_spec5_product59_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 850 8500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .52 42 error (2) 0 wit inspect .021 4.8
minepump_spec5_product60_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 1000 7700 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .57 42 error (2) 0 wit inspect .022 4.8
minepump_spec5_product61_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 760 9500 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 45 error (2) 0 wit inspect .018 4.8
minepump_spec5_product62_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 760 7100 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .69 44 error (2) 0 wit inspect .018 5.0
minepump_spec5_product63_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 880 6900 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .56 42 error (2) 0 wit inspect .020 4.9
minepump_spec5_product64_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 890 7000 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .50 43 error (2) 0 wit inspect .018 4.8
minepump_spec5_productSimulator_true-unreach-call_false-termination.cil.c timeout 0 wit inspect 900 940 7600 - wit inspect - wit inspect - wit inspect - wit inspect error (invalid witness file) 0 wit inspect .71 42 error (2) 0 wit inspect .023 4.8
sv-benchmarks/c/product-lines/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
total 597 513 270000 1000000 2600000 265 0 140 11000 265 0 5.3 1300 265 0 200 13000 265 0 .48 75 332 504 12000 170000 332 394 24000 570000
    correct results 254 508 31000 270000 300000 0 0 0 0 252 504 5500 140000 197 394 8700 160000
        correct true 254 508 31000 270000 300000 0 0 0 0 252 504 5500 140000 197 394 8700 160000
        correct false 0 0 0 0 0 0 0
    correct-unconfimed results 5 5 1900 18000 21000 0 0 0 0 0 0
        correct-unconfirmed true 5 5 1900 18000 21000 0 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0
score (597 tasks, max score: 929) 513 0 0 0 0 504 394
Run set veriabs.sv-comp18.ReachSafety-ProductLines cpa-seq-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines uautomizer-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines cpa-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines fshell-witness2test-validate-violation-witnesses-veriabs.sv-comp18-violation-witness.ReachSafety-ProductLines cpa-seq-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-ProductLines uautomizer-validate-correctness-witnesses-veriabs.sv-comp18-correctness-witness.ReachSafety-ProductLines