PAGAI Results

TRUE Benchmarks

Benchmark Result (pk) Time (in seconds) Result (box) Time (in seconds)
email_spec11_product37_true-unreach-label.cil.cTRUE0.03TRUE0.03
minepump_spec3_product45_true-unreach-label.cil.cTRUE0.09TRUE0.10
email_spec11_product27_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec4_product62_true-unreach-label.cil.cTRUE0.10UNKNOWN0.17
email_spec0_product10_true-unreach-label.cil.cTRUE0.03TRUE0.03
minepump_spec3_product57_true-unreach-label.cil.cTRUE0.07TRUE0.11
minepump_spec2_product19_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec4_product56_true-unreach-label.cil.cTRUE0.09UNKNOWN0.14
minepump_spec5_product09_true-unreach-label.cil.cTRUE0.05TRUE0.06
elevator_spec14_product11_true-unreach-label.cil.cTRUE3.48TRUE1.88
email_spec11_product36_true-unreach-label.cil.cTRUE0.04TRUE0.04
email_spec0_product27_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec5_product53_true-unreach-label.cil.cTRUE0.06TRUE0.12
minepump_spec1_product21_true-unreach-label.cil.cTRUE0.08TRUE0.08
minepump_spec4_product61_true-unreach-label.cil.cTRUE0.07UNKNOWN0.18
minepump_spec5_product60_true-unreach-label.cil.cTRUE0.09TRUE0.13
minepump_spec5_product48_true-unreach-label.cil.cTRUE0.14TRUE0.13
elevator_spec3_product22_true-unreach-label.cil.cTRUE9.78TRUE8.59
minepump_spec2_product63_true-unreach-label.cil.cTRUE0.10UNKNOWN0.26
minepump_spec5_product43_true-unreach-label.cil.cTRUE0.12TRUE0.11
minepump_spec2_product17_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec1_product18_true-unreach-label.cil.cTRUE0.05TRUE0.07
minepump_spec4_product51_true-unreach-label.cil.cTRUE0.09UNKNOWN0.15
minepump_spec1_product57_true-unreach-label.cil.cTRUE0.06UNKNOWN0.16
minepump_spec2_product23_true-unreach-label.cil.cTRUE0.08TRUE0.10
minepump_spec5_product47_true-unreach-label.cil.cTRUE0.14TRUE0.11
minepump_spec2_product20_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product11_true-unreach-label.cil.cTRUE0.06TRUE0.06
minepump_spec1_product23_true-unreach-label.cil.cTRUE0.12TRUE0.09
minepump_spec2_product48_true-unreach-label.cil.cTRUE0.15UNKNOWN0.19
minepump_spec2_product14_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec2_product15_true-unreach-label.cil.cTRUE0.07TRUE0.09
elevator_spec3_product26_true-unreach-label.cil.cTRUE10.61TRUE6.02
minepump_spec2_product18_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product09_true-unreach-label.cil.cTRUE0.05TRUE0.09
minepump_spec2_product27_true-unreach-label.cil.cTRUE0.09TRUE0.10
minepump_spec4_product60_true-unreach-label.cil.cTRUE0.10UNKNOWN0.16
elevator_spec1_product21_true-unreach-label.cil.cUNKNOWN2.47UNKNOWN3.48
minepump_spec5_product21_true-unreach-label.cil.cTRUE0.06TRUE0.09
elevator_spec13_product22_true-unreach-label.cil.cTRUE8.64TRUE7.30
minepump_spec2_product39_true-unreach-label.cil.cTRUE0.14UNKNOWN0.19
minepump_spec3_product54_true-unreach-label.cil.cTRUE0.07TRUE0.13
minepump_spec5_product37_true-unreach-label.cil.cTRUE0.09TRUE0.11
minepump_spec2_product06_true-unreach-label.cil.cTRUE0.06TRUE0.09
email_spec8_product12_true-unreach-label.cil.cUNKNOWN (ERROR)3600.05TRUE0.66
elevator_spec1_product01_true-unreach-label.cil.cTRUE2.86UNKNOWN1.62
minepump_spec5_product07_true-unreach-label.cil.cTRUE0.11TRUE0.09
minepump_spec4_product23_true-unreach-label.cil.cTRUE0.06TRUE0.10
minepump_spec4_product22_true-unreach-label.cil.cTRUE0.08TRUE0.09
email_spec9_product12_true-unreach-label.cil.cUNKNOWN (ERROR)3600.02TRUE0.64
minepump_spec3_product38_true-unreach-label.cil.cTRUE0.14TRUE0.11
minepump_spec5_product51_true-unreach-label.cil.cTRUE0.09TRUE0.13
minepump_spec4_product01_true-unreach-label.cil.cTRUE0.05TRUE0.08
email_spec9_product29_true-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.94
minepump_spec2_product38_true-unreach-label.cil.cTRUE0.14UNKNOWN0.17
minepump_spec5_product62_true-unreach-label.cil.cTRUE0.07TRUE0.14
elevator_spec2_product03_true-unreach-label.cil.cTRUE1.47UNKNOWN1.14
minepump_spec1_product27_true-unreach-label.cil.cTRUE0.10TRUE0.07
minepump_spec2_product28_true-unreach-label.cil.cTRUE0.08TRUE0.09
minepump_spec5_product50_true-unreach-label.cil.cTRUE0.06TRUE0.11
minepump_spec3_product41_true-unreach-label.cil.cTRUE0.12TRUE0.10
minepump_spec2_product61_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec2_product01_true-unreach-label.cil.cTRUE0.05TRUE0.08
email_spec4_product17_true-unreach-label.cil.cUNKNOWN (ERROR)3600.02TRUE1.13
minepump_spec5_product27_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec5_product59_true-unreach-label.cil.cTRUE0.09TRUE0.11
minepump_spec4_product27_true-unreach-label.cil.cTRUE0.10TRUE0.08
minepump_spec5_product41_true-unreach-label.cil.cTRUE0.08TRUE0.10
email_spec4_product29_true-unreach-label.cil.cUNKNOWN (ERROR)3600.05TRUE1.10
minepump_spec1_product62_true-unreach-label.cil.cTRUE0.08TRUE0.14
minepump_spec1_product63_true-unreach-label.cil.cTRUE0.11UNKNOWN0.17
minepump_spec1_product08_true-unreach-label.cil.cTRUE0.10TRUE0.08
elevator_spec1_product23_true-unreach-label.cil.cUNKNOWN2.33UNKNOWN3.81
minepump_spec1_product20_true-unreach-label.cil.cTRUE0.09TRUE0.08
email_spec4_product28_true-unreach-label.cil.cUNKNOWN (ERROR)3600.04TRUE0.84
elevator_spec13_product32_true-unreach-label.cil.cTRUE9.70TRUE9.33
minepump_spec4_product18_true-unreach-label.cil.cTRUE0.05TRUE0.07
minepump_spec5_product26_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product30_true-unreach-label.cil.cTRUE0.05TRUE0.10
minepump_spec4_product13_true-unreach-label.cil.cTRUE0.05TRUE0.08
elevator_spec1_product31_true-unreach-label.cil.cUNKNOWN2.85UNKNOWN4.22
minepump_spec1_product14_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec2_product64_true-unreach-label.cil.cTRUE0.13UNKNOWN0.19
minepump_spec5_product42_true-unreach-label.cil.cTRUE0.14TRUE0.09
email_spec7_product13_true-unreach-label.cil.cTRUE0.04TRUE0.04
minepump_spec2_product47_true-unreach-label.cil.cTRUE0.22UNKNOWN0.18
minepump_spec5_product19_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec4_product63_true-unreach-label.cil.cTRUE0.11UNKNOWN0.18
minepump_spec5_product12_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec4_product64_true-unreach-label.cil.cTRUE0.14UNKNOWN0.18
minepump_spec3_product58_true-unreach-label.cil.cTRUE0.07TRUE0.11
email_spec11_product10_true-unreach-label.cil.cTRUE0.03TRUE0.03
email_spec8_product29_true-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.40
minepump_spec4_product04_true-unreach-label.cil.cTRUE0.06TRUE0.08
elevator_spec3_product30_true-unreach-label.cil.cTRUE15.75TRUE12.28
minepump_spec5_product56_true-unreach-label.cil.cTRUE0.09TRUE0.15
elevator_spec3_product18_true-unreach-label.cil.cTRUE9.25TRUE6.66
minepump_spec4_product17_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product59_true-unreach-label.cil.cTRUE0.08UNKNOWN0.21
elevator_spec2_product29_true-unreach-label.cil.cUNKNOWN2.45UNKNOWN2.65
elevator_spec2_product17_true-unreach-label.cil.cTRUE1.44UNKNOWN1.38
email_spec9_product14_true-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.40
elevator_spec9_product09_true-unreach-label.cil.cTRUE1.83UNKNOWN1.14
email_spec7_product24_true-unreach-label.cil.cTRUE0.04TRUE0.04
email_spec27_product13_true-unreach-label.cil.cUNKNOWN (ERROR)3600.04TRUE0.70
minepump_spec2_product26_true-unreach-label.cil.cTRUE0.07TRUE0.07
minepump_spec2_product13_true-unreach-label.cil.cTRUE0.06TRUE0.10
email_spec0_product36_true-unreach-label.cil.cTRUE0.04TRUE0.05
minepump_spec5_product63_true-unreach-label.cil.cTRUE0.09TRUE0.15
minepump_spec5_product17_true-unreach-label.cil.cTRUE0.08TRUE0.08
minepump_spec5_product16_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec1_product64_true-unreach-label.cil.cTRUE0.10UNKNOWN0.19
minepump_spec2_product24_true-unreach-label.cil.cTRUE0.08TRUE0.10
elevator_spec3_product17_true-unreach-label.cil.cTRUE5.21TRUE2.47
minepump_spec3_product37_true-unreach-label.cil.cTRUE0.14TRUE0.09
minepump_spec2_product10_true-unreach-label.cil.cTRUE0.06TRUE0.09
minepump_spec5_product20_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec1_product07_true-unreach-label.cil.cTRUE0.07TRUE0.07
minepump_spec4_product29_true-unreach-label.cil.cTRUE0.05TRUE0.09
minepump_spec5_product35_true-unreach-label.cil.cTRUE0.12TRUE0.11
minepump_spec4_product07_true-unreach-label.cil.cTRUE0.06TRUE0.10
minepump_spec2_product11_true-unreach-label.cil.cTRUE0.06TRUE0.10
minepump_spec5_product46_true-unreach-label.cil.cTRUE0.11TRUE0.09
minepump_spec2_product31_true-unreach-label.cil.cTRUE0.10TRUE0.09
elevator_spec1_product09_true-unreach-label.cil.cTRUE2.92UNKNOWN1.70
minepump_spec3_product46_true-unreach-label.cil.cTRUE0.14TRUE0.12
minepump_spec1_product28_true-unreach-label.cil.cTRUE0.12TRUE0.08
minepump_spec5_product54_true-unreach-label.cil.cTRUE0.06TRUE0.13
minepump_spec2_product49_true-unreach-label.cil.cTRUE0.07UNKNOWN0.16
minepump_spec1_product26_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec4_product28_true-unreach-label.cil.cTRUE0.10TRUE0.08
minepump_spec5_product28_true-unreach-label.cil.cTRUE0.07TRUE0.10
email_spec11_product08_true-unreach-label.cil.cTRUE0.04TRUE0.03
minepump_spec4_product21_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec5_product38_true-unreach-label.cil.cTRUE0.08TRUE0.11
minepump_spec1_product31_true-unreach-label.cil.cTRUE0.11TRUE0.08
elevator_spec1_product27_true-unreach-label.cil.cTRUE2.85UNKNOWN1.95
elevator_spec9_product29_true-unreach-label.cil.cUNKNOWN2.86UNKNOWN3.37
minepump_spec1_product05_true-unreach-label.cil.cTRUE0.09TRUE0.08
elevator_spec3_product01_true-unreach-label.cil.cTRUE4.05TRUE2.36
email_spec11_product23_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product14_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec1_product45_true-unreach-label.cil.cTRUE0.14TRUE0.10
minepump_spec4_product06_true-unreach-label.cil.cTRUE0.05TRUE0.08
elevator_spec14_product19_true-unreach-label.cil.cTRUE2.72TRUE1.46
minepump_spec5_product04_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec5_product49_true-unreach-label.cil.cTRUE0.06TRUE0.10
minepump_spec1_product59_true-unreach-label.cil.cTRUE0.15UNKNOWN0.20
minepump_spec1_product22_true-unreach-label.cil.cTRUE0.09TRUE0.07
minepump_spec2_product32_true-unreach-label.cil.cTRUE0.09TRUE0.11
minepump_spec3_product61_true-unreach-label.cil.cTRUE0.08TRUE0.12
minepump_spec2_product50_true-unreach-label.cil.cTRUE0.07UNKNOWN0.15
minepump_spec2_product51_true-unreach-label.cil.cTRUE0.10UNKNOWN0.17
elevator_spec1_product19_true-unreach-label.cil.cTRUE2.73UNKNOWN1.76
minepump_spec4_product10_true-unreach-label.cil.cTRUE0.08TRUE0.08
minepump_spec2_product60_true-unreach-label.cil.cTRUE0.13UNKNOWN0.19
elevator_spec3_product09_true-unreach-label.cil.cTRUE5.56TRUE2.24
email_spec0_product11_true-unreach-label.cil.cTRUE0.03TRUE0.03
minepump_spec5_product11_true-unreach-label.cil.cTRUE0.09TRUE0.09
minepump_spec5_product13_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec1_product13_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec1_product58_true-unreach-label.cil.cTRUE0.07UNKNOWN0.14
minepump_spec2_product04_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec5_product30_true-unreach-label.cil.cTRUE0.06TRUE0.08
email_spec4_product13_true-unreach-label.cil.cUNKNOWN (ERROR)3600.02TRUE0.37
minepump_spec2_product52_true-unreach-label.cil.cTRUE0.15UNKNOWN0.18
minepump_spec5_product44_true-unreach-label.cil.cTRUE0.14TRUE0.12
elevator_spec2_product25_true-unreach-label.cil.cTRUE1.71UNKNOWN1.62
minepump_spec1_product01_true-unreach-label.cil.cTRUE0.07TRUE0.06
elevator_spec3_product21_true-unreach-label.cil.cTRUE6.80TRUE3.40
minepump_spec2_product03_true-unreach-label.cil.cTRUE0.06TRUE0.10
elevator_spec2_product01_true-unreach-label.cil.cTRUE1.44UNKNOWN1.08
minepump_spec5_product24_true-unreach-label.cil.cTRUE0.08TRUE0.11
minepump_spec4_product53_true-unreach-label.cil.cTRUE0.07UNKNOWN0.16
minepump_spec2_product53_true-unreach-label.cil.cTRUE0.08UNKNOWN0.15
minepump_spec3_product33_true-unreach-label.cil.cTRUE0.08TRUE0.09
minepump_spec4_product50_true-unreach-label.cil.cTRUE0.06UNKNOWN0.13
elevator_spec14_product31_true-unreach-label.cil.cTRUE3.85TRUE2.81
minepump_spec3_product34_true-unreach-label.cil.cTRUE0.13TRUE0.10
minepump_spec1_product06_true-unreach-label.cil.cTRUE0.08TRUE0.09
minepump_spec4_product58_true-unreach-label.cil.cTRUE0.07UNKNOWN0.14
minepump_spec2_product37_true-unreach-label.cil.cTRUE0.09UNKNOWN0.15
minepump_spec2_product56_true-unreach-label.cil.cTRUE0.10UNKNOWN0.20
minepump_spec2_product22_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec3_product49_true-unreach-label.cil.cTRUE0.06TRUE0.11
minepump_spec5_product33_true-unreach-label.cil.cTRUE0.07TRUE0.09
minepump_spec4_product57_true-unreach-label.cil.cTRUE0.06UNKNOWN0.15
minepump_spec5_product58_true-unreach-label.cil.cTRUE0.07TRUE0.12
minepump_spec5_product02_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec1_product25_true-unreach-label.cil.cTRUE0.08TRUE0.07
elevator_spec1_product25_true-unreach-label.cil.cTRUE3.08UNKNOWN1.89
minepump_spec4_product24_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec2_product45_true-unreach-label.cil.cTRUE0.08TRUE0.11
elevator_spec1_product03_true-unreach-label.cil.cTRUE3.33UNKNOWN1.64
minepump_spec5_product15_true-unreach-label.cil.cTRUE0.11TRUE0.09
minepump_spec4_product52_true-unreach-label.cil.cTRUE0.13UNKNOWN0.14
minepump_spec1_product48_true-unreach-label.cil.cTRUE0.21UNKNOWN0.17
minepump_spec2_product30_true-unreach-label.cil.cTRUE0.08TRUE0.10
minepump_spec4_product05_true-unreach-label.cil.cTRUE0.05TRUE0.06
minepump_spec1_product11_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec4_product02_true-unreach-label.cil.cTRUE0.05TRUE0.07
minepump_spec2_product16_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec5_product03_true-unreach-label.cil.cTRUE0.08TRUE0.08
elevator_spec2_product23_true-unreach-label.cil.cUNKNOWN2.28UNKNOWN2.91
elevator_spec9_product11_true-unreach-label.cil.cTRUE1.71UNKNOWN1.68
elevator_spec1_product29_true-unreach-label.cil.cUNKNOWN2.52UNKNOWN4.35
minepump_spec5_product32_true-unreach-label.cil.cTRUE0.10TRUE0.10
email_spec0_product24_true-unreach-label.cil.cTRUE0.04TRUE0.04
minepump_spec1_product24_true-unreach-label.cil.cTRUE0.12TRUE0.09
minepump_spec4_product31_true-unreach-label.cil.cTRUE0.07TRUE0.08
elevator_spec13_product24_true-unreach-label.cil.cTRUE8.71TRUE7.52
minepump_spec5_product34_true-unreach-label.cil.cTRUE0.07TRUE0.09
email_spec11_product03_true-unreach-label.cil.cTRUE0.03TRUE0.04
email_spec1_product12_true-unreach-label.cil.cUNKNOWN (ERROR)3600.02TRUE0.61
minepump_spec2_product55_true-unreach-label.cil.cTRUE0.12UNKNOWN0.16
minepump_spec5_productSimulator_true-unreach-label.cil.cTRUE0.26TRUE0.19
email_spec11_product39_true-unreach-label.cil.cTRUE0.04TRUE0.04
minepump_spec4_product26_true-unreach-label.cil.cTRUE0.05TRUE0.09
minepump_spec5_product45_true-unreach-label.cil.cTRUE0.08TRUE0.11
minepump_spec4_product15_true-unreach-label.cil.cTRUE0.06TRUE0.10
minepump_spec1_product17_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec1_product10_true-unreach-label.cil.cTRUE0.08TRUE0.08
elevator_spec13_product29_true-unreach-label.cil.cTRUE4.93TRUE3.96
elevator_spec3_product29_true-unreach-label.cil.cTRUE6.97TRUE4.61
elevator_spec2_product31_true-unreach-label.cil.cUNKNOWN2.40UNKNOWN3.22
email_spec0_product25_true-unreach-label.cil.cTRUE0.07TRUE0.06
minepump_spec1_product29_true-unreach-label.cil.cTRUE0.08TRUE0.08
email_spec0_product38_true-unreach-label.cil.cTRUE0.05TRUE0.05
email_spec0_product40_true-unreach-label.cil.cTRUE0.05TRUE0.06
minepump_spec5_product23_true-unreach-label.cil.cTRUE0.12TRUE0.09
email_spec8_product14_true-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN1.20
elevator_spec13_productSimulator_true-unreach-label.cil.cUNKNOWN (ERROR)8.08UNKNOWN (ERROR)6.80
minepump_spec2_product25_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec1_product32_true-unreach-label.cil.cTRUE0.11TRUE0.09
elevator_spec9_product25_true-unreach-label.cil.cTRUE1.56UNKNOWN1.64
email_spec0_product09_true-unreach-label.cil.cTRUE0.03TRUE0.04
minepump_spec2_product58_true-unreach-label.cil.cTRUE0.07UNKNOWN0.18
minepump_spec2_product59_true-unreach-label.cil.cTRUE0.10UNKNOWN0.16
minepump_spec1_product46_true-unreach-label.cil.cTRUE0.13TRUE0.10
elevator_spec13_product21_true-unreach-label.cil.cTRUE4.61TRUE3.91
minepump_spec2_product54_true-unreach-label.cil.cTRUE0.11UNKNOWN0.21
minepump_spec4_product32_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec4_product20_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec1_product04_true-unreach-label.cil.cTRUE0.09TRUE0.08
minepump_spec5_product01_true-unreach-label.cil.cTRUE0.05TRUE0.07
elevator_spec2_product21_true-unreach-label.cil.cUNKNOWN2.48UNKNOWN2.34
minepump_spec5_product18_true-unreach-label.cil.cTRUE0.08TRUE0.07
minepump_spec2_product05_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec5_product10_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec1_product47_true-unreach-label.cil.cTRUE0.24UNKNOWN0.15
minepump_spec4_product25_true-unreach-label.cil.cTRUE0.06TRUE0.09
minepump_spec2_product57_true-unreach-label.cil.cTRUE0.07UNKNOWN0.16
minepump_spec1_product30_true-unreach-label.cil.cTRUE0.08TRUE0.08
minepump_spec5_product31_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec3_product53_true-unreach-label.cil.cTRUE0.07TRUE0.12
minepump_spec5_product36_true-unreach-label.cil.cTRUE0.14TRUE0.11
elevator_spec13_product30_true-unreach-label.cil.cTRUE6.26TRUE7.71
elevator_spec14_product27_true-unreach-label.cil.cTRUE3.25TRUE2.13
minepump_spec5_product61_true-unreach-label.cil.cTRUE0.07TRUE0.13
minepump_spec1_product15_true-unreach-label.cil.cTRUE0.12TRUE0.07
elevator_spec1_product11_true-unreach-label.cil.cTRUE2.60UNKNOWN1.87
minepump_spec2_product08_true-unreach-label.cil.cTRUE0.07TRUE0.09
elevator_spec14_product03_true-unreach-label.cil.cTRUE3.17TRUE1.76
minepump_spec2_product40_true-unreach-label.cil.cTRUE0.18UNKNOWN0.16
minepump_spec1_product12_true-unreach-label.cil.cTRUE0.06TRUE0.09
minepump_spec1_product61_true-unreach-label.cil.cTRUE0.11TRUE0.14
minepump_spec5_product05_true-unreach-label.cil.cTRUE0.05TRUE0.08
email_spec11_product07_true-unreach-label.cil.cTRUE0.04TRUE0.03
elevator_spec2_product27_true-unreach-label.cil.cTRUE2.08UNKNOWN1.57
minepump_spec1_product60_true-unreach-label.cil.cTRUE0.08UNKNOWN0.17
email_spec7_product25_true-unreach-label.cil.cTRUE0.07TRUE0.07
email_spec7_product17_true-unreach-label.cil.cTRUE0.05TRUE0.05
email_spec11_product40_true-unreach-label.cil.cTRUE0.06TRUE0.05
minepump_spec3_product62_true-unreach-label.cil.cTRUE0.08TRUE0.12
minepump_spec5_product40_true-unreach-label.cil.cTRUE0.12TRUE0.13
minepump_spec5_product25_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec2_product62_true-unreach-label.cil.cTRUE0.08TRUE0.13
email_spec7_product19_true-unreach-label.cil.cTRUE0.04TRUE0.05
email_spec7_product27_true-unreach-label.cil.cTRUE0.07TRUE0.07
minepump_spec3_product42_true-unreach-label.cil.cTRUE0.09TRUE0.12
elevator_spec2_product09_true-unreach-label.cil.cTRUE1.65UNKNOWN1.32
minepump_spec5_product39_true-unreach-label.cil.cTRUE0.15TRUE0.14
email_spec1_product28_true-unreach-label.cil.cUNKNOWN (ERROR)3600.02TRUE0.72
email_spec0_product19_true-unreach-label.cil.cTRUE0.04TRUE0.04
minepump_spec4_product12_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec1_product19_true-unreach-label.cil.cTRUE0.11TRUE0.09
minepump_spec5_product52_true-unreach-label.cil.cTRUE0.08TRUE0.13
elevator_spec13_product23_true-unreach-label.cil.cTRUE5.74TRUE4.12
minepump_spec5_product08_true-unreach-label.cil.cTRUE0.09TRUE0.09
minepump_spec1_product03_true-unreach-label.cil.cTRUE0.09TRUE0.08
email_spec27_product28_true-unreach-label.cil.cUNKNOWN (ERROR)3600.04TRUE0.76
minepump_spec2_product07_true-unreach-label.cil.cTRUE0.08TRUE0.07
email_spec11_product18_true-unreach-label.cil.cTRUE0.04TRUE0.04
minepump_spec5_product29_true-unreach-label.cil.cTRUE0.06TRUE0.08
email_spec9_product28_true-unreach-label.cil.cUNKNOWN (ERROR)3600.06TRUE0.72
minepump_spec5_product55_true-unreach-label.cil.cTRUE0.14TRUE0.14
email_spec0_product37_true-unreach-label.cil.cTRUE0.04TRUE0.03
elevator_spec13_product31_true-unreach-label.cil.cTRUE5.62TRUE4.43
minepump_spec2_product29_true-unreach-label.cil.cTRUE0.06TRUE0.09
minepump_spec5_product57_true-unreach-label.cil.cTRUE0.07TRUE0.12
email_spec8_product28_true-unreach-label.cil.cUNKNOWN (ERROR)3600.03TRUE0.67
minepump_spec2_product46_true-unreach-label.cil.cTRUE0.10TRUE0.11
minepump_spec2_product12_true-unreach-label.cil.cTRUE0.06TRUE0.08
elevator_spec9_product27_true-unreach-label.cil.cTRUE1.88UNKNOWN1.51
email_spec7_product23_true-unreach-label.cil.cTRUE0.06TRUE0.07
minepump_spec5_product06_true-unreach-label.cil.cTRUE0.05TRUE0.09
minepump_spec4_product08_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec4_product54_true-unreach-label.cil.cTRUE0.07UNKNOWN0.20
minepump_spec3_product50_true-unreach-label.cil.cTRUE0.07TRUE0.11
minepump_spec1_product02_true-unreach-label.cil.cTRUE0.08TRUE0.06
minepump_spec5_product14_true-unreach-label.cil.cTRUE0.05TRUE0.08
minepump_spec4_product16_true-unreach-label.cil.cTRUE0.08TRUE0.09
minepump_spec4_product55_true-unreach-label.cil.cTRUE0.10UNKNOWN0.15
minepump_spec1_product09_true-unreach-label.cil.cTRUE0.05TRUE0.06
elevator_spec1_product17_true-unreach-label.cil.cTRUE3.02UNKNOWN1.48
email_spec11_product24_true-unreach-label.cil.cTRUE0.05TRUE0.06
minepump_spec1_product16_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec4_product03_true-unreach-label.cil.cTRUE0.06TRUE0.08
minepump_spec2_product09_true-unreach-label.cil.cTRUE0.07TRUE0.08
minepump_spec2_product21_true-unreach-label.cil.cTRUE0.07TRUE0.10
minepump_spec2_product02_true-unreach-label.cil.cTRUE0.08TRUE0.09
minepump_spec5_product64_true-unreach-label.cil.cTRUE0.09TRUE0.17
elevator_spec14_product23_true-unreach-label.cil.cTRUE3.98TRUE2.80
minepump_spec5_product22_true-unreach-label.cil.cTRUE0.06TRUE0.10
elevator_spec3_product25_true-unreach-label.cil.cTRUE5.96TRUE3.04
minepump_spec4_product49_true-unreach-label.cil.cTRUE0.06UNKNOWN0.12
elevator_spec2_product19_true-unreach-label.cil.cTRUE1.97UNKNOWN1.78
minepump_spec4_product19_true-unreach-label.cil.cTRUE0.07TRUE0.08
elevator_spec2_product11_true-unreach-label.cil.cTRUE1.45UNKNOWN1.50
elevator_spec9_product31_true-unreach-label.cil.cUNKNOWN2.64UNKNOWN2.44
email_spec7_product18_true-unreach-label.cil.cTRUE0.04TRUE0.04
email_spec0_product05_true-unreach-label.cil.cTRUE0.02TRUE0.03

FALSE Benchmarks

Benchmark Result (pk) Time (in seconds) Result (box) Time (in seconds)
minepump_spec1_product54_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.18
minepump_spec4_product43_false-unreach-label.cil.cUNKNOWN0.17UNKNOWN0.15
elevator_spec3_product31_false-unreach-label.cil.cTRUE4.67TRUE3.27
elevator_spec9_product32_false-unreach-label.cil.cUNKNOWN3.42UNKNOWN7.93
minepump_spec3_product55_false-unreach-label.cil.cUNKNOWN0.19UNKNOWN0.19
email_spec27_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN3.10
elevator_spec14_product20_false-unreach-label.cil.cUNKNOWN2.87UNKNOWN2.88
minepump_spec1_product56_false-unreach-label.cil.cUNKNOWN0.23UNKNOWN0.21
email_spec0_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.01
minepump_spec3_product22_false-unreach-label.cil.cUNKNOWN0.07UNKNOWN0.10
minepump_spec4_product33_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.13
elevator_spec2_product30_false-unreach-label.cil.cUNKNOWN3.36UNKNOWN6.84
minepump_spec1_product53_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.16
elevator_spec1_product24_false-unreach-label.cil.cUNKNOWN4.09UNKNOWN8.40
email_spec27_product23_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.07
elevator_spec3_product24_false-unreach-label.cil.cTRUE7.53TRUE5.30
elevator_spec14_productSimulator_false-unreach-label.cil.cUNKNOWN21.11UNKNOWN20.82
elevator_spec2_product28_false-unreach-label.cil.cUNKNOWN2.76UNKNOWN3.05
email_spec4_product27_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.29
minepump_spec3_product44_false-unreach-label.cil.cUNKNOWN0.25UNKNOWN0.17
minepump_spec2_product36_false-unreach-label.cil.cUNKNOWN0.26UNKNOWN0.17
minepump_spec2_product41_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.15
minepump_spec3_product43_false-unreach-label.cil.cUNKNOWN0.26UNKNOWN0.12
email_spec3_product27_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.19
email_spec1_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.00
email_spec4_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.19
email_spec7_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.53
email_spec7_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN2.93
minepump_spec3_product56_false-unreach-label.cil.cUNKNOWN0.15UNKNOWN0.17
email_spec1_product21_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.87
elevator_spec3_product32_false-unreach-label.cil.cTRUE10.38TRUE6.28
email_spec1_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN3.07
email_spec9_product16_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.08
elevator_spec9_productSimulator_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN40.22
email_spec6_product14_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.74
minepump_spec3_product02_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.08
email_spec0_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN0.70
email_spec7_product28_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN0.92
email_spec1_product16_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN0.98
minepump_spec3_product18_false-unreach-label.cil.cUNKNOWN0.07UNKNOWN0.10
email_spec8_productSimulator_false-unreach-label.cil.cTRUE8.22TRUE11.67
minepump_spec3_product23_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.12
minepump_spec3_product35_false-unreach-label.cil.cUNKNOWN0.30UNKNOWN0.14
minepump_spec1_productSimulator_false-unreach-label.cil.cUNKNOWN0.42UNKNOWN0.26
email_spec9_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.36
email_spec8_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.39
minepump_spec4_product39_false-unreach-label.cil.cUNKNOWN0.21UNKNOWN0.16
email_spec1_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.48
elevator_spec9_product30_false-unreach-label.cil.cUNKNOWN3.80UNKNOWN7.05
minepump_spec4_productSimulator_false-unreach-label.cil.cUNKNOWN0.43UNKNOWN0.36
elevator_spec1_product22_false-unreach-label.cil.cUNKNOWN3.69UNKNOWN8.17
minepump_spec1_product43_false-unreach-label.cil.cUNKNOWN0.27UNKNOWN0.13
elevator_spec2_product32_false-unreach-label.cil.cUNKNOWN4.24UNKNOWN8.92
minepump_spec1_product39_false-unreach-label.cil.cUNKNOWN0.29UNKNOWN0.15
minepump_spec3_product40_false-unreach-label.cil.cUNKNOWN0.22UNKNOWN0.17
email_spec3_product13_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN0.75
minepump_spec3_product04_false-unreach-label.cil.cUNKNOWN0.08UNKNOWN0.12
minepump_spec1_product33_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.12
email_spec1_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN2.46
email_spec8_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.26
minepump_spec3_product06_false-unreach-label.cil.cUNKNOWN0.08UNKNOWN0.09
email_spec0_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.85
email_spec8_product21_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.97
email_spec27_product27_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN2.04
email_spec4_productSimulator_false-unreach-label.cil.cTRUE12.96TRUE15.08
email_spec1_product15_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN0.90
email_spec3_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN4.19
minepump_spec2_product42_false-unreach-label.cil.cUNKNOWN0.16UNKNOWN0.14
minepump_spec3_product24_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.11
elevator_spec2_product18_false-unreach-label.cil.cUNKNOWN2.18UNKNOWN2.58
email_spec11_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.50
minepump_spec3_product09_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.09
minepump_spec1_product55_false-unreach-label.cil.cUNKNOWN0.21UNKNOWN0.16
email_spec4_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.22
email_spec3_product23_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.94
minepump_spec3_product52_false-unreach-label.cil.cUNKNOWN0.18UNKNOWN0.15
email_spec0_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN4.09
email_spec6_product29_false-unreach-label.cil.cUNKNOWN (ERROR)3600.14UNKNOWN2.20
email_spec27_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN3.41
email_spec6_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN3.03
minepump_spec4_product45_false-unreach-label.cil.cUNKNOWN0.19UNKNOWN0.15
minepump_spec1_product44_false-unreach-label.cil.cUNKNOWN0.33UNKNOWN0.14
elevator_spec2_product20_false-unreach-label.cil.cUNKNOWN2.83UNKNOWN3.27
minepump_spec4_product48_false-unreach-label.cil.cUNKNOWN0.25UNKNOWN0.21
minepump_spec3_product39_false-unreach-label.cil.cUNKNOWN0.22UNKNOWN0.17
email_spec11_product20_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.76
email_spec7_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN3.03
email_spec11_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.30
email_spec8_product15_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.11
email_spec8_product16_false-unreach-label.cil.cUNKNOWN (ERROR)3600.53UNKNOWN1.12
email_spec3_product25_false-unreach-label.cil.cUNKNOWN (ERROR)3600.33UNKNOWN2.76
email_spec3_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.67
elevator_spec3_product11_false-unreach-label.cil.cTRUE3.50TRUE1.94
email_spec8_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.11
email_spec7_product29_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.01
email_spec4_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.18UNKNOWN1.17
minepump_spec3_product60_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.20
elevator_spec3_product23_false-unreach-label.cil.cTRUE3.36TRUE2.66
email_spec6_product12_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN0.89
minepump_spec4_product35_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.13
email_spec6_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.38
email_spec9_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.68
email_spec6_product20_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN2.50
minepump_spec3_product25_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.10
email_spec1_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.10
email_spec7_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.13
minepump_spec3_product15_false-unreach-label.cil.cUNKNOWN0.10UNKNOWN0.13
email_spec0_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.35
email_spec8_product20_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.00
minepump_spec3_product01_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.08
email_spec3_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN4.62
minepump_spec3_product30_false-unreach-label.cil.cUNKNOWN0.07UNKNOWN0.11
email_spec6_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.20
email_spec27_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.36
email_spec0_product16_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN0.97
email_spec3_product19_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.57
email_spec8_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.23
email_spec8_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.62
minepump_spec3_product10_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.10
email_spec9_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.06
minepump_spec2_productSimulator_false-unreach-label.cil.cUNKNOWN0.42UNKNOWN0.33
minepump_spec2_product44_false-unreach-label.cil.cUNKNOWN0.26UNKNOWN0.18
minepump_spec3_product13_false-unreach-label.cil.cUNKNOWN0.08UNKNOWN0.09
email_spec6_product21_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.78
email_spec0_product21_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.96
email_spec3_product29_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN2.53
email_spec4_product19_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN0.53
email_spec6_product28_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN0.93
email_spec6_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN0.78
minepump_spec2_product35_false-unreach-label.cil.cUNKNOWN0.22UNKNOWN0.18
email_spec3_product24_false-unreach-label.cil.cUNKNOWN (ERROR)3600.00UNKNOWN1.46
minepump_spec3_product12_false-unreach-label.cil.cUNKNOWN0.08UNKNOWN0.08
email_spec0_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.11
elevator_spec1_productSimulator_false-unreach-label.cil.cUNKNOWN562.61UNKNOWN40.44
elevator_spec1_product26_false-unreach-label.cil.cUNKNOWN3.06UNKNOWN4.19
email_spec11_product15_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN0.83
email_spec8_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN3.04
email_spec4_product25_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.65
minepump_spec4_product46_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.14
email_spec27_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.34
email_spec8_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.96
minepump_spec3_product36_false-unreach-label.cil.cUNKNOWN0.17UNKNOWN0.16
elevator_spec3_product27_false-unreach-label.cil.cTRUE3.76TRUE2.03
minepump_spec3_product07_false-unreach-label.cil.cUNKNOWN0.11UNKNOWN0.14
email_spec4_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.54
elevator_spec3_product28_false-unreach-label.cil.cTRUE5.50TRUE3.97
elevator_spec14_product32_false-unreach-label.cil.cUNKNOWN5.26UNKNOWN5.71
minepump_spec3_product16_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.12
minepump_spec3_product59_false-unreach-label.cil.cUNKNOWN0.18UNKNOWN0.16
email_spec3_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN4.72
email_spec11_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.11
email_spec9_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.70
minepump_spec2_product34_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.15
email_spec27_product17_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN1.35
minepump_spec3_product11_false-unreach-label.cil.cUNKNOWN0.11UNKNOWN0.09
email_spec27_product19_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN1.02
elevator_spec3_product20_false-unreach-label.cil.cTRUE5.57TRUE3.91
email_spec1_product29_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN1.44
elevator_spec3_product03_false-unreach-label.cil.cTRUE3.13TRUE1.66
email_spec1_productSimulator_false-unreach-label.cil.cTRUE8.40TRUE8.77
minepump_spec1_product42_false-unreach-label.cil.cUNKNOWN0.18UNKNOWN0.11
email_spec27_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN3.59
minepump_spec1_product40_false-unreach-label.cil.cUNKNOWN0.35UNKNOWN0.12
elevator_spec14_product28_false-unreach-label.cil.cUNKNOWN3.10UNKNOWN3.56
email_spec9_product15_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN0.92
minepump_spec4_product38_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.16
email_spec1_product20_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.69
email_spec27_product18_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.00
minepump_spec1_product49_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.15
email_spec27_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.16
minepump_spec2_product43_false-unreach-label.cil.cUNKNOWN0.28UNKNOWN0.18
email_spec27_product29_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN1.95
minepump_spec1_product50_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.16
email_spec9_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.16
minepump_spec3_product19_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.09
minepump_spec4_product42_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.15
email_spec6_product16_false-unreach-label.cil.cUNKNOWN (ERROR)3600.09UNKNOWN1.26
email_spec1_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.12
email_spec4_product24_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN1.07
email_spec6_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.31
email_spec9_product20_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN2.10
email_spec3_product28_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.07
minepump_spec4_product47_false-unreach-label.cil.cUNKNOWN0.20UNKNOWN0.16
email_spec0_productSimulator_false-unreach-label.cil.cTRUE9.42TRUE9.08
elevator_spec3_productSimulator_false-unreach-label.cil.cTRUE37.50TRUE27.77
email_spec4_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.90
email_spec1_product14_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.36
minepump_spec2_product33_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.12
email_spec4_product18_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN0.98
minepump_spec3_product05_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.08
email_spec3_product17_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.99
minepump_spec4_product37_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.13
minepump_spec3_product21_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.10
minepump_spec3_product29_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.11
elevator_spec2_product24_false-unreach-label.cil.cUNKNOWN3.62UNKNOWN8.28
email_spec9_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.11UNKNOWN1.14
email_spec6_product15_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.15
minepump_spec3_product47_false-unreach-label.cil.cUNKNOWN0.22UNKNOWN0.14
minepump_spec3_product08_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.10
email_spec8_product22_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN1.15
minepump_spec4_product41_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.11
elevator_spec14_product24_false-unreach-label.cil.cUNKNOWN5.21UNKNOWN4.46
email_spec6_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.09UNKNOWN3.68
minepump_spec3_product20_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.12
email_spec11_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.64
minepump_spec4_product44_false-unreach-label.cil.cUNKNOWN0.24UNKNOWN0.16
minepump_spec3_product64_false-unreach-label.cil.cUNKNOWN0.23UNKNOWN0.21
minepump_spec3_product17_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.11
email_spec7_productSimulator_false-unreach-label.cil.cTRUE5.84TRUE9.16
elevator_spec2_productSimulator_false-unreach-label.cil.cUNKNOWN (ERROR)3600.09UNKNOWN34.75
minepump_spec4_product36_false-unreach-label.cil.cUNKNOWN0.15UNKNOWN0.14
minepump_spec3_product27_false-unreach-label.cil.cUNKNOWN0.10UNKNOWN0.11
email_spec1_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN0.96
minepump_spec1_product34_false-unreach-label.cil.cUNKNOWN0.15UNKNOWN0.12
minepump_spec1_product38_false-unreach-label.cil.cUNKNOWN0.20UNKNOWN0.13
email_spec11_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.27
email_spec4_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN2.60
elevator_spec1_product18_false-unreach-label.cil.cUNKNOWN2.73UNKNOWN3.79
email_spec9_product21_false-unreach-label.cil.cUNKNOWN (ERROR)3600.07UNKNOWN1.90
minepump_spec1_product37_false-unreach-label.cil.cUNKNOWN0.16UNKNOWN0.12
elevator_spec1_product28_false-unreach-label.cil.cUNKNOWN3.20UNKNOWN4.74
minepump_spec3_product63_false-unreach-label.cil.cUNKNOWN0.25UNKNOWN0.22
minepump_spec3_product26_false-unreach-label.cil.cUNKNOWN0.06UNKNOWN0.11
elevator_spec1_product30_false-unreach-label.cil.cUNKNOWN3.83UNKNOWN9.24
email_spec3_productSimulator_false-unreach-label.cil.cTRUE6.36TRUE7.43
email_spec6_product33_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.25
elevator_spec1_product32_false-unreach-label.cil.cUNKNOWN3.47UNKNOWN11.58
elevator_spec9_product28_false-unreach-label.cil.cUNKNOWN2.92UNKNOWN4.04
minepump_spec1_product52_false-unreach-label.cil.cUNKNOWN0.12UNKNOWN0.17
minepump_spec1_product36_false-unreach-label.cil.cUNKNOWN0.27UNKNOWN0.12
elevator_spec3_product19_false-unreach-label.cil.cTRUE2.84TRUE2.12
minepump_spec3_product32_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.13
email_spec11_product32_false-unreach-label.cil.cUNKNOWN (ERROR)3600.09UNKNOWN2.26
minepump_spec1_product51_false-unreach-label.cil.cUNKNOWN0.20UNKNOWN0.16
minepump_spec3_product14_false-unreach-label.cil.cUNKNOWN0.07UNKNOWN0.09
email_spec7_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN1.33
minepump_spec4_product40_false-unreach-label.cil.cUNKNOWN0.19UNKNOWN0.14
email_spec27_productSimulator_false-unreach-label.cil.cTRUE9.53TRUE9.96
elevator_spec2_product22_false-unreach-label.cil.cUNKNOWN3.09UNKNOWN6.92
minepump_spec4_product34_false-unreach-label.cil.cUNKNOWN0.09UNKNOWN0.13
email_spec27_product24_false-unreach-label.cil.cUNKNOWN (ERROR)3600.10UNKNOWN1.35
minepump_spec3_product31_false-unreach-label.cil.cUNKNOWN0.13UNKNOWN0.12
email_spec1_product34_false-unreach-label.cil.cUNKNOWN (ERROR)3600.05UNKNOWN2.87
elevator_spec9_product26_false-unreach-label.cil.cUNKNOWN3.29UNKNOWN2.53
minepump_spec3_product28_false-unreach-label.cil.cUNKNOWN0.11UNKNOWN0.12
email_spec3_product31_false-unreach-label.cil.cUNKNOWN (ERROR)3600.10UNKNOWN1.65
email_spec9_productSimulator_false-unreach-label.cil.cTRUE6.65TRUE11.28
email_spec4_product23_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.57
email_spec7_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.06UNKNOWN3.11
email_spec11_productSimulator_false-unreach-label.cil.cTRUE7.75TRUE7.27
minepump_spec3_product51_false-unreach-label.cil.cUNKNOWN0.14UNKNOWN0.16
elevator_spec1_product20_false-unreach-label.cil.cUNKNOWN2.83UNKNOWN4.05
elevator_spec2_product26_false-unreach-label.cil.cUNKNOWN2.95UNKNOWN4.03
minepump_spec3_product48_false-unreach-label.cil.cUNKNOWN0.24UNKNOWN0.17
email_spec6_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.04UNKNOWN1.26
minepump_spec3_productSimulator_false-unreach-label.cil.cUNKNOWN0.84UNKNOWN0.33
email_spec9_product26_false-unreach-label.cil.cUNKNOWN (ERROR)3600.03UNKNOWN2.71
minepump_spec1_product35_false-unreach-label.cil.cUNKNOWN0.25UNKNOWN0.12
email_spec3_product18_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN1.27
email_spec6_productSimulator_false-unreach-label.cil.cTRUE10.44TRUE11.40
email_spec3_product30_false-unreach-label.cil.cUNKNOWN (ERROR)3600.08UNKNOWN1.60
minepump_spec1_product41_false-unreach-label.cil.cUNKNOWN0.16UNKNOWN0.10
email_spec9_product35_false-unreach-label.cil.cUNKNOWN (ERROR)3600.01UNKNOWN2.91
email_spec27_product25_false-unreach-label.cil.cUNKNOWN (ERROR)3600.02UNKNOWN1.96
minepump_spec3_product03_false-unreach-label.cil.cUNKNOWN0.11UNKNOWN0.11

TOTAL POINTS: 466

TOTAL TIME (box): 0.0

TOTAL TIME (pk): 0.0