Instances solved by depqbf_prefix_opt_qdo
Prenex CNF Track

InstanceResultTime
small-pipeline-fixpoint-1UNSAT0
ntrivil_query64_1344SAT0
ntrivil_query71_1344nUNSAT0
ntrivil_query71_1344SAT0
nxquery_query42_1344nUNSAT0
nxquery_query71_1344nUNSAT0
nxquery_query71_1344SAT0
trivial_query60_1344nUNSAT0
trivial_query64_1344nUNSAT0
trivial_query64_1344SAT0
trivial_query71_1344nUNSAT0
trivial_query71_1344SAT0
trueque_query60_1344nUNSAT0
trueque_query64_1344nUNSAT0
ntrivil_query64_1344nUNSAT0
falsequ_query71_1344SAT0
falsequ_query71_1344nUNSAT0
arbiter-05-comp-error01-qbf-hardness-depth-8UNSAT0
axquery_query42_1344nUNSAT0
irst.dme6.B-d4SAT0
axquery_query71_1344nUNSAT0
axquery_query71_1344SAT0
exquery_query64_1344nUNSAT0
exquery_query64_1344SAT0
exquery_query71_1344nUNSAT0
exquery_query71_1344SAT0
falsequ_query60_1344nUNSAT0
axquery_query64_1344SAT0
falsequ_query64_1344nUNSAT0
falsequ_query64_1344SAT0
trueque_query64_1344SAT0
trueque_query71_1344nUNSAT0
trueque_query71_1344SAT0
decomposition256SAT0
equalization32SAT0
floor256SAT0
kenflashp12SAT0
decomposition128SAT0
equalization128SAT0
floor128SAT0
s01423_PR_4_90UNSAT0
bobtuint31negSAT0
kenflashp04SAT0
eijk.bs3330.S-d3SAT0
stmt29_226_376UNSAT0.01
ntrivil_query42_1344nUNSAT0.01
s01423_PR_4_75UNSAT0.01
s05378_PR_5_2SAT0.02
s09234_PR_7_2SAT0.02
s05378_PR_5_20SAT0.02
p20-1.pddl_planlen=48SAT0.02
stmt21_181_369UNSAT0.02
p20-1.pddl_planlen=49SAT0.02
s09234_PR_7_20SAT0.02
k_ph_n-11SAT0.03
p10-5.pddl_planlen=25SAT0.04
b21_PR_8_20SAT0.04
p10-5.pddl_planlen=24SAT0.04
b20_PR_7_20SAT0.05
k_branch_p-14UNSAT0.06
k_branch_p-16UNSAT0.09
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001UNSAT0.56
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT0.61
s38584_PR_9_5SAT0.62
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009UNSAT0.63
p10-10.pddl_planlen=20SAT0.63
k_branch_p-18UNSAT0.63
s38584_PR_9_50SAT0.63
p10-10.pddl_planlen=19SAT0.65
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006UNSAT0.67
k_branch_p-19UNSAT0.74
exquery_query42_1344nUNSAT0.83
incrementer-enc09-nonuniform-depth-15UNSAT0.89
gttt_2_2_000111_4x4_w_2020UNSAT0.89
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010UNSAT0.93
k_branch_p-21UNSAT1
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-007UNSAT1.01
s15850_PR_0_50SAT1.03
s15850_PR_6_10SAT1.09
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009UNSAT1.22
incrementer-enc08-nonuniform-depth-32UNSAT1.59
b14_PR_1_50SAT1.62
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003UNSAT1.69
vis.prodcell^01.E-d4SAT1.69
incrementer-enc07-nonuniform-depth-25UNSAT1.84
k_ph_n-15SAT2.42
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-010UNSAT2.73
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-009UNSAT2.88
b18_PR_4_2SAT3.25
nusmv.tcas^4.B-f3SAT3.49
gttt_2_2_000111_4x4_torus_w_2020UNSAT3.51
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003UNSAT3.68
c6_BMC_p1_k512SAT3.88
c6_BMC_p2_k1024UNSAT4.5
gttt_2_2_000111_4x4_torus_b_2020SAT4.71
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-007UNSAT5.07
arbiter-06-comp-error01-qbf-hardness-depth-11UNSAT5.52
incrementer-enc06-nonuniform-depth-33SAT5.83
gttt_2_2_000111_4x4_b_2020SAT6.3
incrementer-enc08-uniform-depth-33SAT6.4
p20-10.pddl_planlen=39SAT7.11
sortnetsort8.v.stepl.007SAT7.38
test5_quant7SAT7.81
p20-10.pddl_planlen=40SAT8.12
gttt_2_1_001020_4x4_torus_w_2020UNSAT8.85
c6_BMC_p1_k1024SAT9.44
fpu-10Xh-correct04-nonuniform-depth-14UNSAT10.39
k_ph_n-18SAT11.52
fpu-10Xh-correct04-uniform-depth-18UNSAT12.68
fpu-01Xh-error02-nonuniform-depth-18UNSAT13.42
fpu-10Xh-error01-uniform-depth-20UNSAT14.01
b22_PR_9_90UNSAT16.44
fpu-01Xh-error02-uniform-depth-24UNSAT16.52
fpu-10Xh-error01-uniform-depth-25UNSAT17.2
test5_quant_squaring5SAT17.23
nusmv.tcas^6.B-f4SAT17.28
p20-20.pddl_planlen=30SAT19.08
add5_REDUCEDSAT19.49
stmt21_310_360UNSAT23.39
k_ph_n-19SAT24.66
kmdf_pcidrv_sys_hw_physet.cSAT25.92
fpu-01Xh-error02-nonuniform-depth-27SAT27.27
gttt_1_1_000111_4x4_torus_w_2020UNSAT28.4
add4_CHOOSESAT28.49
gttt_2_1_00102030_4x4_torus_b_2020UNSAT29.6
fpu-10Xh-error01-nonuniform-depth-27SAT30.12
fpu-10Xh-correct04-nonuniform-depth-28SAT31.18
unit11_3_bUNSAT32.07
Core1108_tbm_21.tex.module.000030SAT32.58
test3_quant_squaring2UNSAT37.07
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007UNSAT39.05
Core1108_tbm_21.tex.module.000008SAT40.59
p20-20.pddl_planlen=29SAT44.12
nxquery_query64_1344nUNSAT53.71
Umbrella_tbm_05.tex.module.000039SAT54.18
gttt_1_1_000111_4x4_torus_b_2020SAT55.33
axquery_query64_1344nUNSAT61.88
test3_quant2UNSAT62.99
c1_BMC_p2_k2048UNSAT67.81
c1_BMC_p2_k1024UNSAT70.38
k_ph_n-20SAT72.58
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001SAT75.33
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003SAT86.37
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001SAT103.28
add6_REDUCEDSAT114.85
nxquery_query50_1344nSAT128.25
c2_BMC_p1_k2048SAT158.89
nreachq_query71_1344SAT159.83
mult9.satSAT175.73
dungeon_i25-m12-u5-v0.pddl_planlen=59UNSAT177.71
eequery_query42_1344UNSAT182.46
add6_COMPLETESAT186.14
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003SAT192.66
dungeon_i25-m12-u5-v0.pddl_planlen=65UNSAT211.96
gttt_2_1_00011020_4x4_b_2020UNSAT219.59
fpu-10Xh-correct04-uniform-depth-28SAT262.1
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT270.21
stmt19_313_412UNSAT274.12
stmt41_160_235UNSAT285.01
freecell01_6SAT315.27
dungeon_i25-m12-u5-v0.pddl_planlen=81UNSAT353.63
stmt19_83_412UNSAT363.19
arbiter-06-comp-error01-qbf-hardness-depth-15UNSAT367.84
add5_COMPLETESAT415.14
reachqu_query60_1344SAT442.29
b17_PR_2_50SAT453.69
dungeon_i25-m12-u5-v0.pddl_planlen=86UNSAT475.37
s3330_d14_uFAIL500.47
add5_CHOOSESAT541.28
driverlog10_6UNSAT563.32
test4_quant_squaring2UNSAT601.45
c6_BMC_p1_k2048SAT628.09
arbiter-09-comp-error01-qbf-hardness-depth-15UNSAT836.69
dungeon_i25-m12-u5-v0.pddl_planlen=92UNSAT848.39
s820_d11_uFAIL900
driverlog13_7FAIL900
driverlog13_8FAIL900
driverlog14_8FAIL900
adder-12-unsatFAIL900
Adder2-10-sFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
Adder2-8-sFAIL900
k_branch_n-17FAIL900
nreachq_query71_1344nFAIL900
nreachq_query54_1344FAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
driverlog12_9FAIL900
driverlog14_9FAIL900
C6288.blif_0.10_1.00_0_0_inp_exactFAIL900
driverlog10_7FAIL900
C5315.blif_0.10_0.20_0_1_out_exactFAIL900
driverlog11_8FAIL900
test1_quant3FAIL900
reachqu_query71_1344FAIL900
reachqu_query64_1344FAIL900
reachqu_query64_1344nFAIL900
driverlog11_9FAIL900
reachqu_query60_1344nFAIL900
query64_query42_1344nFAIL900
szymanski-24-sFAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
driverlog12_8FAIL900
freecell02_4FAIL900
freecell02_5FAIL900
eequery_query71_1344nFAIL900
pipesnotankage17_6FAIL900
pipesnotankage17_7FAIL900
eequery_query64_1344FAIL900
pipesnotankage19_7FAIL900
pipesnotankage19_9FAIL900
ken.flash^09.C-d4FAIL900
ken.flash^08.C-d4FAIL900
eijk.bs4863.S-d4FAIL900
eequery_query42_1344nFAIL900
s1269_d15_uFAIL900
cmu.gigamax.B-d4FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
pipesnotankage17_5FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
freecell02_6FAIL900
freecell03_5FAIL900
freecell03_6FAIL900
freecell03_7FAIL900
freecell04_7FAIL900
freecell04_8FAIL900
freecell04_9FAIL900
k_branch_n-11FAIL900
pipesnotankage15_10FAIL900
pipesnotankage16_10FAIL900
k_ph_p-18FAIL900
k_ph_p-19FAIL900
k_ph_p-15FAIL900
k_ph_p-11FAIL900
ken.flash^05.C-d3FAIL900
k_branch_n-21FAIL900
mult_bool_matrix_17_17_17.satFAIL900
eijkbs3330FAIL900
s820_d10_sFAIL900
neclaftp2002FAIL900
pdtpmsrotate32FAIL900
ConcreteActivityServiceFAIL900
IssueServiceImplFAIL900
IterationServiceFAIL900
GuidanceServiceFAIL900
GuidanceService2FAIL900
LoginServiceFAIL900
k_branch_n-12FAIL900
intermediate256FAIL900
stay24n.satFAIL900
add6_CHOOSEFAIL900
add7_REDUCEDFAIL900
add7_CHOOSEFAIL900
add7_COMPLETEFAIL900
ceiling256FAIL900
load_3c_comp_comp7_REAL.unsatFAIL900
Adder2-16-cFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
PhaseServiceFAIL900
NotificationServiceImpl2FAIL900
ltl2dba_C2-8_comp4_REAL.satFAIL900
mult_bool_matrix_12_13_11.satFAIL900
mult_bool_matrix_18_18_18.satFAIL900
mult_bool_matrix_dyn_9_5.satFAIL900
add20y.satFAIL900
bs128n.satFAIL900
bs128y.satFAIL900
gttt_1_1_00101121_4x4_torus_w_2020FAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
load_2c_comp_comp7_REAL.satFAIL900
beemskbn1f1_c0to7.satFAIL900
amba2c7n.satFAIL900
amba3b5y.satFAIL900
cycle_sched_12_2_1.satFAIL900
cycle_sched_2_10_1.satFAIL900
cycle_sched_4_4_2.satFAIL900
cycle_sched_6_6_2.satFAIL900
driver_a10y.satFAIL900
driver_b8n.satFAIL900
driver_c9n.satFAIL900
driver_c9y.satFAIL900
adder-10-satFAIL900
Adder2-8-cFAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
s1269_d10_sFAIL900
unit12_2_bFAIL900
unit6_3_bFAIL900
unit8_2_bFAIL900
unit9_2_bFAIL900
ceiling128FAIL900
test2_quant_squaring3FAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
k_branch_n-20FAIL900
test4_quant4FAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
szymanski-20-sFAIL900
Adder2-16-sFAIL900
s3330_d9_sFAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
Adder2-14-sFAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
k_ph_p-20FAIL900
test2_quant3FAIL900
s3330_d10_uFAIL900
test2_quant_squaring2FAIL900
intermediate128FAIL900
driver_a9n.satFAIL900
driver_d9y.satFAIL900
genbuf10b4n.unsatFAIL900
genbuf9b4n.unsatFAIL900
beemldelec4b1_c0to127.satFAIL900
itc-b13-fixpoint-4FAIL900
load_full_4_comp3_REAL.unsatFAIL900
ltl2dba_C2-6_comp3_REAL.satFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
mult_bool_matrix_10_9_11.satFAIL900
cycle_sched_6_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
bobsmfpuFAIL900
eijkbs4863FAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
neclaftp4001FAIL900
pdtpmsmiimFAIL900
ProcessBeanFAIL900
ProjectService3FAIL900
amba2f9n.satFAIL900
amba4b9y.unsatFAIL900
cycle_sched_4_7_1.satFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
depots16_7FAIL900
stmt32_329_378FAIL900
rankfunc3_signed_64FAIL900
sortnetsort9.v.stepl.005FAIL900
sortnetsort9.AE.stepl.012FAIL900
sortnetsort9.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.008FAIL900
small-synabs-fixpoint-10FAIL900
small-seq-fixpoint-9FAIL900
usb-phy-fixpoint-3FAIL900
usb-phy-fixpoint-4FAIL900
rankfunc21_unsigned_64FAIL900
rankfunc19_signed_64FAIL900
rankfunc42_signed_64FAIL900
s1269_d13_uFAIL900
s1269_d12_uFAIL900
s1269_d14_uFAIL900
rankfunc3_unsigned_64FAIL900
rankfunc19_unsigned_64FAIL900
rankfunc30_signed_64FAIL900
rankfunc30_unsigned_64FAIL900
rankfunc18_unsigned_64FAIL900
rankfunc21_signed_64FAIL900
itc-b13-fixpoint-5FAIL900
cache-coherence-2-fixpoint-2FAIL900
pi-bus-fixpoint-3FAIL900
sdlx-fixpoint-6FAIL900
sdlx-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-3FAIL900
pi-bus-fixpoint-1FAIL900
cache-coherence-3-fixpoint-2FAIL900
itc-b13-fixpoint-7FAIL900
cache-coherence-2-fixpoint-5FAIL900
itc-b13-fixpoint-6FAIL900
cache-coherence-2-fixpoint-6FAIL900
sortnetsort9.AE.stepl.007FAIL900
small-seq-fixpoint-8FAIL900
sdlx-fixpoint-4FAIL900
small-seq-fixpoint-7FAIL900
pi-bus-fixpoint-2FAIL900
small-seq-fixpoint-3FAIL900
itc-b13-fixpoint-2FAIL900
cache-coherence-3-fixpoint-3FAIL900
itc-b13-fixpoint-3FAIL900
small-pipeline-fixpoint-2FAIL900
sortnetsort9.v.stepl.007FAIL900
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009FAIL900
c4_Debug_s3_f1_e2_v3FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
c4_Debug_s3_f2_e2_v3FAIL900
c4_Debug_s5_f2_e2_v1FAIL900
c1_BMC_p1_k2048FAIL900
c3_BMC_p1_k256FAIL900
c5_BMC_p1_k32FAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
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
c2_Debug_s3_f2_e1_v3FAIL900
c2_Debug_s3_f1_e1_v2FAIL900
c1_Debug_s5_f1_e1_v2FAIL900
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
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010FAIL900
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
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-009FAIL900
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-008FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900
c1_Debug_s3_f1_e1_v1FAIL900
c1_Debug_s3_f2_e1_v1FAIL900
c1_Debug_s3_f2_e1_v2FAIL900
stmt19_64_99FAIL900
stmt17_62_98FAIL900
stmt2_976_999FAIL900
stmt5_731_730FAIL900
stmt41_262_275FAIL900
stmt27_93_98FAIL900
stmt1_79_80FAIL900
stmt124_966_965FAIL900
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
stmt39_285_335FAIL900
stmt21_319_418FAIL900
stmt44_554_604FAIL900
stmt16_818_819FAIL900
stmt25_52_53FAIL900
stmt17_70_98FAIL900
stmt23_72_76FAIL900
stmt28_68_81FAIL900
stmt17_82_98FAIL900
stmt23_66_96FAIL900
stmt17_70_90FAIL900
stmt17_63_82FAIL900
stmt17_86_98FAIL900
stmt9_445_446FAIL900
stmt52_295_394FAIL900
ethernet-fixpoint-2FAIL900
tlc05-uniform-depth-75FAIL900
b22_PR_8_20FAIL900
depots03_9FAIL900
pipesnotankage14_10FAIL900
pipesnotankage18_7FAIL900
pipesnotankage18_8FAIL900
eequery_query64_1344nFAIL900
nreachq_query11_1344nFAIL900
nreachq_query54_1344nFAIL900
query64_query11_1344nFAIL900
b22_C_2_12FAIL900
b21_C_3_206FAIL900
b20_C_3_2FAIL900
tlc05-uniform-depth-70FAIL900
tlc05-uniform-depth-40FAIL900
tlc05-uniform-depth-45FAIL900
tlc05-uniform-depth-60FAIL900
tlc05-uniform-depth-55FAIL900
tlc05-uniform-depth-80FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
query71_query31_1344nFAIL900
query71_query34_1344nFAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
depots07_8FAIL900
depots08_6FAIL900
depots09_11FAIL900
depots09_12FAIL900
depots09_13FAIL900
depots10_8FAIL900
depots13_9FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900
query71_query36_1344nFAIL900
nusmv.tcas^3.B-f2FAIL900
nusmv.tcas^2.B-f2FAIL900
eijk.S1196.S-f2FAIL900
eijk.bs1512.S-f4FAIL900
cmu.dme2.B-f3FAIL900
cmu.dme1.B-f3FAIL900
nusmv.tcas-t^1.B-d2FAIL900
nusmv.reactor^3.C-d4FAIL900
depots16_5FAIL900
tlc05-uniform-depth-65FAIL900
itc-b13-fixpoint-9FAIL900
itc-b13-fixpoint-8FAIL900
ethernet-fixpoint-4FAIL900
small-swap1-fixpoint-4FAIL900
sdlx-fixpoint-9FAIL900
small-swap1-fixpoint-5FAIL900
small-swap1-fixpoint-9FAIL900
ethernet-fixpoint-3FAIL900
small-swap1-fixpoint-10FAIL900
small-synabs-fixpoint-3FAIL900
small-seq-fixpoint-10FAIL900
small-swap1-fixpoint-7FAIL900
AR-fixpoint-1FAIL900
sdlx-fixpoint-7FAIL900
cache-coherence-3-fixpoint-1FAIL900
cache-coherence-2-fixpoint-4FAIL900
AR-fixpoint-5FAIL900
itc-b13-fixpoint-10FAIL900
small-swap1-fixpoint-8FAIL900
small-swap1-fixpoint-6FAIL900
usb-phy-fixpoint-5FAIL900
ethernet-fixpoint-1FAIL900
small-pipeline-fixpoint-3FAIL900
small-seq-fixpoint-5FAIL900
sortnetsort10.v.stepl.005FAIL900
incrementer-enc06-uniform-depth-24FAIL900
sortnetsort10.AE.stepl.008FAIL900
incrementer-enc07-uniform-depth-25FAIL900
sortnetsort10.AE.stepl.006FAIL900
texas.PI_main^08.E-f3FAIL900
texas.PI_main^05.E-f3FAIL900
incrementer-enc09-uniform-depth-17FAIL900
tlc05-uniform-depth-50FAIL900
incrementer-enc02-uniform-depth-63FAIL900
incrementer-enc02-uniform-depth-58FAIL900
audio_ddksynth_csynth2.cppFAIL900
kmdf_osrusbfx2_exe_dump.cFAIL900
filesys_smbmrx_cvsndrcv.cFAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
input_pnpi8042_moudep.cFAIL900
filesys_smbmrx_midatlas.cFAIL900
filesys_fastfat_cachesup.cFAIL900
network_trans_sys_notify.cFAIL900
network_irda_miniport_nscirda_comm.cFAIL900
input_mouser_detect.cFAIL900
tlc05-uniform-depth-85FAIL900