Instances solved by Caqe-bloqqer
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
stmt41_262_275SAT0
rankfunc3_unsigned_64SAT0
rankfunc19_unsigned_64SAT0
rankfunc30_signed_64SAT0
rankfunc18_unsigned_64SAT0
driver_a9n.satSAT0
rankfunc18_signed_64SAT0
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0
rankfunc16_signed_64SAT0
rankfunc21_signed_64SAT0
s00420_PR_1_20SAT0
s00838_PR_6_90UNSAT0
s01488_PR_1_10SAT0
s05378_PR_4_90UNSAT0
s09234_PR_9_90UNSAT0
driver_d9y.satSAT0
rankfunc15_unsigned_64SAT0
stmt27_93_98SAT0
stmt1_79_80SAT0
mult_bool_matrix_10_9_11.satSAT0
stmt124_966_965SAT0
ltl2dba_C2-6_comp3_REAL.satSAT0
stmt5_731_730SAT0
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005UNSAT0
stmt44_554_604SAT0
stmt16_818_819SAT0
stay24n.satSAT0
stmt25_52_53SAT0
incrementer-enc06-nonuniform-depth-5UNSAT0
hex_hein_4x4_04SAT0
stmt9_445_446SAT0
rankfunc15_signed_64SAT0
rankfunc21_unsigned_64SAT0
fpu-10Xh-error01-uniform-depth-4UNSAT0
ceiling128SAT0
b20_PR_9_90UNSAT0
b21_PR_9_90UNSAT0
unit9_2_bSAT0
GuidanceService2UNSAT0
small-synabs-fixpoint-3UNSAT0
filesys_smbmrx_midatlas.cUNSAT0
pdtpmsmiimSAT0
rankfunc16_unsigned_64SAT0
rankfunc3_signed_64SAT0
rankfunc19_signed_64SAT0
fpu-10Xh-error01-nonuniform-depth-5UNSAT0
kenflashp12SAT0
rankfunc30_unsigned_64SAT0
itc-b13-fixpoint-5SAT0
eijkbs4863SAT0
decomposition256SAT0
s38417_PR_4_50SAT0
GuidanceServiceUNSAT0
floor256SAT0.01
rankfunc42_signed_64SAT0.04
k_branch_p-16UNSAT0.56
incrementer-enc06-nonuniform-depth-10UNSAT0.63
klieber2017q-092-23-t1UNSAT0.65
add4_REDUCEDSAT0.67
query03_query25_1344UNSAT0.71
s38584_PR_9_90SAT0.75
k_branch_p-10UNSAT0.76
k_branch_n-10SAT0.77
klieber2017q-086-21-t1UNSAT0.77
network_trans_sys_notify.cUNSAT0.82
tlc05-uniform-depth-40UNSAT0.85
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT0.93
filesys_smbmrx_cvsndrcv.cUNSAT0.94
klieber2017q-078-19-t1UNSAT0.95
s15850_PR_8_90UNSAT0.96
fpu-10Xh-error01-nonuniform-depth-10UNSAT0.96
fpu-10Xh-error01-uniform-depth-10UNSAT0.97
tlc05-uniform-depth-45UNSAT0.99
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT1.01
s38584_PR_8_50SAT1.11
tlc05-uniform-depth-50UNSAT1.13
ltl2dpa_C26_comp2_REAL.satSAT1.16
k_branch_p-11UNSAT1.19
incrementer-enc06-nonuniform-depth-15UNSAT1.2
k_branch_n-11SAT1.24
tlc05-uniform-depth-55UNSAT1.24
klieber2017q-084-21-t1UNSAT1.27
tlc05-uniform-depth-60UNSAT1.37
Q_2-3_v-80-100_r-13.3UNSAT1.42
fpu-10Xh-error01-uniform-depth-15UNSAT1.44
incrementer-enc07-uniform-depth-25UNSAT1.48
incrementer-enc08-uniform-depth-33SAT1.5
k_branch_p-12UNSAT1.5
c6_BMC_p1_k512SAT1.54
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT1.57
tlc05-uniform-depth-65UNSAT1.59
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT1.67
tlc05-uniform-depth-70UNSAT1.67
incrementer-enc06-uniform-depth-24UNSAT1.67
gttt_2_2_000111_4x4_torus_wUNSAT1.74
tlc05-uniform-depth-75UNSAT1.79
fpu-10Xh-error01-nonuniform-depth-15UNSAT1.8
fpu-10Xh-error01-nonuniform-depth-20UNSAT1.8
fpu-10Xh-error01-uniform-depth-20UNSAT1.81
arbiter-08-comp-error02-qbf-hardness-depth-9SAT1.84
sortnetsort8.v.stepl.007SAT1.87
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009UNSAT1.96
incrementer-enc06-nonuniform-depth-20UNSAT1.96
neclaftp4001UNSAT1.97
tlc05-uniform-depth-80UNSAT1.98
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT2.03
k_branch_p-14UNSAT2.09
usb-phy-fixpoint-3UNSAT2.16
tlc05-uniform-depth-85UNSAT2.19
dungeon_i15-m7-u4-v0.pddl_planlen=168UNSAT2.25
fpu-10Xh-error01-nonuniform-depth-25UNSAT2.29
load_3c_comp_comp7_REAL.unsatUNSAT2.37
fpu-10Xh-error01-uniform-depth-25UNSAT2.37
stmt2_976_999SAT2.41
s15850_PR_0_50SAT2.42
gttt_2_2_000111_4x4_wUNSAT2.62
incrementer-enc06-nonuniform-depth-25UNSAT2.69
klieber2017q-074-18-t1UNSAT2.79
Q_2-3_v-80-100_r-13.4UNSAT2.9
incrementer-enc02-uniform-depth-58UNSAT2.92
k_branch_n-12SAT2.92
driverlog10_6UNSAT3.1
klieber2017q-082-20-t1UNSAT3.11
c6_BMC_p2_k1024UNSAT3.18
c6_BMC_p1_k1024SAT3.28
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT3.3
incrementer-enc02-uniform-depth-63UNSAT3.32
gttt_1_1_000111_4x4_torus_wUNSAT3.37
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010UNSAT3.81
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT4.36
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT4.51
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT5.02
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT5.49
query31_reachqu_1344nSAT5.51
klieber2017q-076-19-t1UNSAT6
klieber2017q-080-20-t1UNSAT6.19
c6_BMC_p1_k2048SAT6.67
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT6.93
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT7.52
query10_query36_1344SAT7.74
gttt_2_2_000111_4x4_bSAT7.95
c3_BMC_p1_k256SAT7.95
gttt_2_2_000111_4x4_torus_bSAT7.98
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT8.11
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT8.32
Adder2-8-sSAT8.45
gttt_2_1_001020_4x4_torus_wUNSAT8.49
dungeon_i25-m12-u5-v0.pddl_planlen=98UNSAT8.56
cycle_sched_4_7_1.satSAT8.62
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT10.06
mult_bool_matrix_17_17_17.satSAT10.58
dungeon_i25-m12-u5-v0.pddl_planlen=128UNSAT11.25
dungeon_i25-m12-u5-v0.pddl_planlen=143UNSAT12.52
add5_REDUCEDSAT12.58
hex_hein_4x4_09SAT12.7
c5_BMC_p1_k32SAT13.68
sortnetsort9.v.stepl.005UNSAT13.79
k_branch_p-18UNSAT15.03
c1_BMC_p2_k1024UNSAT15.06
hex_hein_4x4_12SAT15.39
dungeon_i25-m12-u5-v0.pddl_planlen=170UNSAT15.86
klieber2017q-088-22-t1UNSAT16.84
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT17.26
query21_query58_1344nUNSAT17.36
dungeon_i25-m12-u5-v0.pddl_planlen=197UNSAT17.59
dungeon_i25-m12-u5-v0.pddl_planlen=199UNSAT17.85
dungeon_i25-m12-u5-v0.pddl_planlen=198UNSAT17.89
dungeon_i25-m12-u5-v0.pddl_planlen=200UNSAT18
Adder2-10-sSAT18.82
arbiter-07-comp-error01-qbf-hardness-depth-20UNSAT19.53
cycle_sched_6_7_1.satSAT21.19
klieber2017q-096-24-t1UNSAT22.31
stmt39_285_335UNSAT22.37
Q_2-3_v-80-100_r-13.0UNSAT22.44
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT22.5
szymanski-20-sUNSAT22.69
b22_PR_9_90UNSAT24.32
b21_PR_8_20SAT26
Q_2-3_v-80-100_r-13.2UNSAT27.82
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT29.1
k_branch_p-19UNSAT30.26
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT31.35
arbiter-09-comp-error01-qbf-hardness-depth-21UNSAT32.86
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009UNSAT34.27
c1_BMC_p2_k2048UNSAT35.97
genbuf9b4n.unsatUNSAT36.89
genbuf10b4n.unsatUNSAT36.97
c2_BMC_p1_k2048SAT38.12
load_full_4_comp3_REAL.unsatUNSAT39.39
Q_2-3_v-80-100_r-13.1UNSAT40.32
Q_2-3_v-80-100_r-13.6UNSAT45.91
stmt29_226_376UNSAT48.19
depots08_6UNSAT48.51
stmt19_83_412UNSAT49.71
sortnetsort10.AE.stepl.005SAT51.04
add5_CHOOSESAT51.52
Q_2-3_v-80-100_r-13.8UNSAT52.6
gttt_2_1_00102030_4x4_torus_bUNSAT53.6
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008UNSAT56.13
Q_2-3_v-80-100_r-13.7UNSAT56.33
sortnetsort9.AE.stepl.008UNSAT58.73
amba2f9n.satSAT59.81
szymanski-24-sUNSAT63.61
sortnetsort9.v.stepl.007SAT67.69
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007UNSAT69.88
gttt_2_1_00011020_4x4_bUNSAT72.06
arbiter-10-comp-error01-qbf-hardness-depth-22UNSAT73.87
reachqu_query71_1344UNSAT74.18
sortnetsort9.AE.stepl.009UNSAT75.38
pipesnotankage13_5UNSAT78.99
depots16_5UNSAT81.2
stmt41_160_235UNSAT85.08
gttt_1_1_000111_4x4_torus_bSAT89.97
sortnetsort10.v.stepl.005UNSAT92.51
b18_PR_4_2SAT94.69
add5_COMPLETESAT96.68
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT103.96
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT106.73
sortnetsort9.AE.stepl.012UNSAT113.97
arbiter-10-comp-error01-qbf-hardness-depth-24UNSAT116.39
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT122.22
arbiter-10-comp-error01-qbf-hardness-depth-23UNSAT124.39
freecell02_4UNSAT137.43
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspSAT144.18
hex_hein_4x4_06SAT147.28
amba4b9y.unsatUNSAT147.68
add6_REDUCEDSAT152.17
c1_BMC_p1_k2048SAT152.72
Core1108_tbm_21.tex.module.000030SAT153.35
hex_hein_4x4_07SAT155.33
sortnetsort9.AE.stepl.007UNSAT156.68
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspSAT165.17
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT177.49
hex_rand_6x6-20m-4UNSAT186.96
query42_query06_1344nUNSAT191.33
Core1108_tbm_21.tex.module.000008SAT191.7
k_branch_p-21UNSAT227.88
pipesnotankage17_6UNSAT234.07
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspSAT242.1
pipesnotankage17_5UNSAT245.88
depots13_9SAT245.92
pipesnotankage17_7UNSAT253.88
freecell02_6UNSAT254.86
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT256.38
freecell03_6UNSAT288.33
freecell03_5UNSAT297.96
gttt_1_1_00101121_4x4_torus_wUNSAT314.02
Umbrella_tbm_05.tex.module.000039SAT316.67
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT350.03
k_branch_n-17SAT361.09
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT362.04
depots03_9UNSAT376.29
c1_Debug_s3_f2_e1_v2SAT389.92
freecell03_7SAT398.16
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT415.27
adder-10-satSAT421.72
hex_rand_6x6-20m-7UNSAT442.22
stmt21_181_369UNSAT508.73
hex_rand_6x6-20m-5SAT514.45
Adder2-14-sSAT522.15
reachqu_query64_1344SAT531.06
sortnetsort10.AE.stepl.008UNSAT536.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007UNSAT595.79
cycle_sched_4_7_1.unsatUNSAT623.12
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT630.81
add6_CHOOSEFAIL728.41
hex_rand_6x6-20m-6SAT784.57
add6_COMPLETESAT826.79
unit6_3_bUNSAT851.7
hex_rand_6x6-20m-8UNSAT859.64
IssueServiceImplUNSAT882.7
k_ph_p-11UNSAT894.58
Adder2-16-cFAIL900
Adder2-16-sFAIL900
stmt17_86_98FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL900
ttt_5x5-shape-0-GTTT-2-1-torus-1FAIL900
eijk.bs3330.S-d3FAIL900
IterationServiceFAIL900
eijk.bs4863.S-d4FAIL900
Q_2-3_v-80-100_r-11.2FAIL900
intermediate128FAIL900
c4_Debug_s5_f2_e2_v3FAIL900.01
klieber2017q-074-18-eqFAIL900.01
stmt32_329_378FAIL900.01
pipesnotankage15_10FAIL900.01
pipesnotankage19_9FAIL900.01
NotificationServiceImpl2FAIL900.01
pi-bus-fixpoint-3FAIL900.01
reachqu_query64_1344nFAIL900.01
network_ndis_coisdn_TpiParam.cFAIL900.01
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010FAIL900.01
b21_C_3_206FAIL900.01
pipesnotankage18_7FAIL900.01
Q_2-3_v-80-100_r-11.9FAIL900.01
beemldelec4b1_c0to127.satFAIL900.01
dungeon_i25-m12-u3-v0.pddl_planlen=130FAIL900.01
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900.01
UserServiceImplFAIL900.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007FAIL900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900.01
genbuf9b4n.satFAIL900.01
ttt_5x5-shape-0-GTTT-1-2-torus-1FAIL900.02
AR-fixpoint-1FAIL900.02
ken.oop^2.C-d3FAIL900.02
small-seq-fixpoint-9FAIL900.02
query44_query26_1344nFAIL900.02
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.02
Q_2-3_v-80-100_r-11.0FAIL900.02
pipesnotankage19_7FAIL900.02
small-seq-fixpoint-5FAIL900.02
eijk.bs1512.S-f4FAIL900.02
stmt17_62_98FAIL900.02
c2_Debug_s3_f2_e1_v3FAIL900.02
klieber2017q-088-22-eqFAIL900.02
ttt_5x5-shape-0-GTTT-1-1-torus-1FAIL900.02
ttt_5x5-shape-1-GTTT-2-1-torus-0FAIL900.02
b14_PR_1_50FAIL900.02
ConcreteActivityServiceFAIL900.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008FAIL900.02
k_branch_n-21FAIL900.02
ttt_5x5-shape-0-GTTT-2-1-torus-0FAIL900.03
k_ph_p-15FAIL900.03
pipesnotankage16_10FAIL900.03
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.03
small-seq-fixpoint-8FAIL900.03
b20_PR_7_20FAIL900.03
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900.03
c4_Debug_s3_f2_e2_v2FAIL900.03
c4_Debug_s5_f2_e2_v2FAIL900.03
klieber2017q-082-20-eqFAIL900.03
stmt23_66_96FAIL900.03
klieber2017q-076-19-eqFAIL900.03
audio_ddksynth_csynth2.cppFAIL900.03
ttt_5x5-shape-1-GTTT-2-2-torus-0FAIL900.03
ken.oop^2.C-d4FAIL900.03
dungeon_i25-m12-u3-v0.pddl_planlen=125FAIL900.03
ttt_5x5-shape-0-GTTT-1-1-torus-0FAIL900.03
klieber2017q-092-23-eqFAIL900.04
klieber2017q-086-21-eqFAIL900.04
stmt17_70_98FAIL900.04
Q_2-3_v-80-100_r-13.5FAIL900.04
depots09_11FAIL900.04
stmt52_295_394FAIL900.04
ttt_5x5-shape-0-GTTT-1-2-torus-0FAIL900.04
ActivityServiceFAIL900.04
ken.flash^11.C-f3FAIL900.04
nusmv.tcas^4.B-f3FAIL900.04
cache-coherence-3-fixpoint-3FAIL900.04
Q_2-3_v-80-100_r-11.3FAIL900.04
Q_2-3_v-80-100_r-11.1FAIL900.04
test4_quant_squaring2FAIL900.04
adder-12-unsatFAIL900.04
mult_bool_matrix_10_9_11.unsatFAIL900.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009FAIL900.04
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900.04
hex_rand_6x6-20m-0FAIL900.04
ttt_5x5-shape-1-GTTT-1-1-torus-1FAIL900.05
mult_bool_matrix_17_17_17.unsatFAIL900.05
ttt_5x5-shape-1-GTTT-1-1-torus-0FAIL900.05
b22_PR_8_20FAIL900.05
ken.flash^09.C-d4FAIL900.05
Q_2-3_v-80-100_r-11.6FAIL900.05
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900.05
nusmv.tcas^2.B-f2FAIL900.05
pipesnotankage18_8FAIL900.05
stmt19_64_99FAIL900.05
filesys_fastfat_allocsup.cFAIL900.05
small-seq-fixpoint-3FAIL900.05
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.05
ken.flash^08.C-d4FAIL900.05
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010FAIL900.05
pipesnotankage11_8FAIL900.05
test5_quant_squaring5FAIL900.05
test4_quant_squaring4FAIL900.05
test1_quant_squaring2FAIL900.05
unit11_3_bFAIL900.05
stmt17_82_98FAIL900.05
dungeon_i25-m12-u3-v0.pddl_planlen=146FAIL900.05
texas.PI_main^05.E-f3FAIL900.06
stmt17_70_90FAIL900.06
cache-coherence-2-fixpoint-6FAIL900.06
stmt23_72_76FAIL900.06
k_branch_n-20FAIL900.06
c4_Debug_s5_f2_e1_v3FAIL900.06
c2_Debug_s3_f1_e1_v2FAIL900.06
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009FAIL900.06
ttt_5x5-shape-1-GTTT-1-2-torus-1FAIL900.06
nusmv.tcas-t^1.B-d2FAIL900.06
cmu.dme1.B-f3FAIL900.06
cmu.dme2.B-f3FAIL900.06
k_ph_p-12FAIL900.06
nusmv.tcas^6.B-f4FAIL900.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008FAIL900.06
hex_rand_6x6-20m-2FAIL900.06
k_ph_p-14FAIL900.06
depots09_13FAIL900.06
kmdf_usbsamp_sys_queue.cFAIL900.06
kmdf_osrusbfx2_exe_testapp.cFAIL900.06
Q_2-3_v-80-100_r-11.7FAIL900.06
Q_2-3_v-80-100_r-11.8FAIL900.06
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL900.06
Q_2-3_v-80-100_r-11.4FAIL900.06
pi-bus-fixpoint-1FAIL900.06
adder-14-satFAIL900.07
dungeon_i25-m12-u3-v0.pddl_planlen=72FAIL900.07
ActivityService2FAIL900.07
texas.PI_main^08.E-f3FAIL900.07
nusmv.tcas^3.B-f2FAIL900.07
hex_rand_6x6-20m-9FAIL900.07
eijk.S713.S-f2FAIL900.07
nusmv.reactor^3.C-d4FAIL900.07
ttt_5x5-shape-0-GTTT-2-2-torus-0FAIL900.07
unit12_2_bFAIL900.07
Q_2-3_v-80-100_r-13.9FAIL900.07
b20_C_3_2FAIL900.07
adder-12-satFAIL900.07
stmt21_310_360FAIL900.07
filesys_fastfat_cachesup.cFAIL900.07
PhaseServiceFAIL900.07
input_mouser_detect.cFAIL900.07
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900.07
stmt17_63_82FAIL900.07
oski3ub5i_c0to255.satFAIL900.08
Q_2-3_v-80-100_r-11.5FAIL900.08
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010FAIL900.08
small-seq-fixpoint-7FAIL900.08
ken.flash^05.C-d3FAIL900.08
cmu.gigamax.B-d4FAIL900.08
ttt_5x5-shape-1-GTTT-2-1-torus-1FAIL900.08
cycle_sched_6_7_1.unsatFAIL900.08
stmt28_68_81FAIL900.08
depots09_12FAIL900.08
cache-coherence-2-fixpoint-4FAIL900.08
reachqu_query71_1344nFAIL900.08
unit8_2_bFAIL900.08
hex_rand_6x6-20m-3FAIL900.08
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.08
kernel_agplib_intrface.cFAIL900.08
pipesnotankage14_10FAIL900.08
klieber2017q-078-19-eqFAIL900.08
c4_Debug_s3_f2_e2_v3FAIL900.08
klieber2017q-096-24-eqFAIL900.08
ttt_5x5-shape-0-GTTT-2-2-torus-1FAIL900.08
klieber2017q-084-21-eqFAIL900.09
test1_quant_squaring3FAIL900.09
eijk.S1196.S-f2FAIL900.09
filesys_fastfat_write.cFAIL900.09
ttt_5x5-shape-1-GTTT-1-2-torus-0FAIL900.09
k_ph_p-13FAIL900.09
sdlx-fixpoint-3FAIL900.09
klieber2017q-080-20-eqFAIL900.09
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900.09
stmt21_319_418FAIL900.1
kmdf_pcidrv_sys_hw_physet.cFAIL900.1
stmt19_313_412FAIL900.1
hex_rand_6x6-20m-1FAIL900.1
Adder2-8-cFAIL900.1
c1_Debug_s5_f1_e1_v2FAIL900.1
c1_Debug_s3_f2_e1_v1FAIL900.1
kmdf_osrusbfx2_exe_dump.cFAIL900.1
test3_quant_squaring4FAIL900.1
depots07_8FAIL900.11