Instances solved by iprover_bloqqer_single
Prenex CNF Track

InstanceResultTime
trueque_query60_1344nUNSAT0
floor128SAT0
equalization128SAT0
decomposition128SAT0
falsequ_query64_1344SAT0
falsequ_query71_1344nUNSAT0
falsequ_query71_1344SAT0
trueque_query64_1344nUNSAT0
pdtpmsmiimSAT0
kenflashp12SAT0
trueque_query64_1344SAT0
trueque_query71_1344nUNSAT0
trueque_query71_1344SAT0
floor256SAT0
equalization32SAT0
ceiling128SAT0
s01423_PR_4_75UNSAT0
s01423_PR_4_90UNSAT0
bobtuint31negSAT0
kenflashp04SAT0
stmt5_731_730SAT0
decomposition256SAT0
add20y.satSAT0
small-synabs-fixpoint-3UNSAT0
stmt44_554_604SAT0
stmt9_445_446SAT0
stmt124_966_965SAT0
falsequ_query60_1344nUNSAT0
falsequ_query64_1344nUNSAT0
stmt16_818_819SAT0
pdtpmsrotate32SAT0
stmt41_262_275SAT0.59
driver_d9y.satSAT0.79
driver_c9y.satSAT0.81
ceiling256SAT0.86
itc-b13-fixpoint-2UNSAT0.98
stmt1_79_80SAT0.99
small-swap1-fixpoint-5SAT1.01
stmt25_52_53SAT1.07
small-swap1-fixpoint-4SAT1.12
ntrivil_query64_1344nUNSAT1.13
driver_c9n.satSAT1.14
eijkbs4863SAT1.16
stmt27_93_98SAT1.17
trivial_query64_1344nUNSAT1.21
small-swap1-fixpoint-6SAT1.23
cycle_sched_12_2_1.satSAT1.29
small-swap1-fixpoint-7SAT1.46
small-synabs-fixpoint-10UNSAT1.5
rankfunc42_signed_64SAT1.53
small-swap1-fixpoint-8SAT1.81
rankfunc18_unsigned_64SAT1.85
itc-b13-fixpoint-3SAT1.9
ethernet-fixpoint-1UNSAT1.91
ltl2dba_C2-6_comp3_REAL.satSAT2.32
small-swap1-fixpoint-10SAT2.41
small-swap1-fixpoint-9SAT2.5
rankfunc21_signed_64SAT2.57
rankfunc30_signed_64SAT2.57
rankfunc21_unsigned_64SAT2.58
rankfunc30_unsigned_64SAT2.69
itc-b13-fixpoint-4SAT2.73
driver_b8n.satSAT2.86
k_ph_n-11SAT2.95
driver_a10y.satSAT2.98
rankfunc19_signed_64SAT2.99
rankfunc19_unsigned_64SAT3.02
bs128n.satSAT3.2
bs128y.satSAT3.22
rankfunc3_signed_64SAT3.66
cache-coherence-3-fixpoint-1UNSAT3.71
rankfunc3_unsigned_64SAT3.72
driver_a9n.satSAT3.85
itc-b13-fixpoint-5SAT3.96
ltl2dba_C2-8_comp4_REAL.satSAT4.55
cache-coherence-2-fixpoint-2UNSAT4.67
vis.prodcell^01.E-d4SAT4.79
unit9_2_bSAT5.01
itc-b13-fixpoint-6SAT5.3
k_branch_n-11SAT5.6
usb-phy-fixpoint-3UNSAT6.18
ltl2dpa_C26_comp2_REAL.satSAT6.35
ethernet-fixpoint-2UNSAT6.42
itc-b13-fixpoint-7SAT6.83
k_ph_n-15SAT7.09
k_branch_n-12SAT7.26
stay24n.satSAT7.38
texas.PI_main^08.E-f3SAT7.41
itc-b13-fixpoint-8SAT8.4
k_branch_p-16UNSAT8.4
cache-coherence-3-fixpoint-2UNSAT8.46
k_branch_p-14UNSAT8.62
exquery_query71_1344SAT9.66
itc-b13-fixpoint-9SAT9.73
cache-coherence-2-fixpoint-4UNSAT10.36
fpu-10Xh-correct04-nonuniform-depth-14UNSAT10.71
mult_bool_matrix_10_9_11.satSAT10.9
k_branch_n-17SAT10.98
itc-b13-fixpoint-10SAT12.42
k_branch_p-18UNSAT12.51
cache-coherence-3-fixpoint-3UNSAT13.18
fpu-01Xh-error02-nonuniform-depth-18UNSAT13.41
fpu-10Xh-correct04-uniform-depth-18UNSAT13.59
axquery_query64_1344SAT14.22
p20-1.pddl_planlen=48SAT14.25
fpu-10Xh-error01-uniform-depth-20UNSAT14.5
p20-1.pddl_planlen=49SAT14.59
cache-coherence-2-fixpoint-5UNSAT15.15
fpu-01Xh-error02-uniform-depth-24UNSAT16.84
k_ph_n-18SAT16.91
tlc05-uniform-depth-40UNSAT17.2
fpu-10Xh-error01-uniform-depth-25UNSAT17.7
cache-coherence-2-fixpoint-6UNSAT19.59
tlc05-uniform-depth-45UNSAT20.45
k_branch_n-21SAT22.44
pi-bus-fixpoint-1UNSAT23.18
p10-5.pddl_planlen=24SAT26.52
Adder2-8-cUNSAT28.19
p10-5.pddl_planlen=25SAT28.55
mult_bool_matrix_12_13_11.satSAT29.05
tlc05-uniform-depth-50UNSAT31.3
mult_bool_matrix_dyn_9_5.satSAT35.33
exquery_query64_1344SAT45.31
gttt_2_1_001020_4x4_torus_w_2020UNSAT45.65
incrementer-enc09-nonuniform-depth-15UNSAT53.52
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-007UNSAT53.59
tlc05-uniform-depth-55UNSAT56.61
ntrivil_query64_1344SAT67.52
trivial_query64_1344SAT69.13
tlc05-uniform-depth-60UNSAT69.19
axquery_query71_1344SAT72.82
nxquery_query71_1344SAT74.47
gttt_2_2_000111_4x4_torus_w_2020UNSAT77.34
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-006UNSAT78.05
p10-10.pddl_planlen=19SAT79.6
tlc05-uniform-depth-65UNSAT81.78
Adder2-16-cUNSAT82.65
p10-10.pddl_planlen=20SAT82.96
tlc05-uniform-depth-70UNSAT83.93
filesys_smbmrx_midatlas.cUNSAT86.58
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-010UNSAT90.28
tlc05-uniform-depth-75UNSAT90.68
tlc05-uniform-depth-80UNSAT104.16
tlc05-uniform-depth-85UNSAT107.84
s09234_PR_7_20SAT107.85
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008UNSAT108.46
s09234_PR_7_2SAT108.81
s05378_PR_5_20SAT109.7
s05378_PR_5_2SAT109.98
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-009UNSAT112.4
incrementer-enc07-uniform-depth-25UNSAT114.6
network_trans_sys_notify.cUNSAT115.09
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-009UNSAT116.49
incrementer-enc07-nonuniform-depth-25UNSAT116.81
incrementer-enc08-nonuniform-depth-32UNSAT119.39
incrementer-enc06-uniform-depth-24UNSAT124.76
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009UNSAT126.17
trivial_query71_1344SAT127.25
filesys_smbmrx_cvsndrcv.cUNSAT129.37
s38584_PR_9_50SAT131.25
s38584_PR_9_5SAT132.33
incrementer-enc09-uniform-depth-17SAT133.47
ntrivil_query71_1344SAT135.63
s15850_PR_0_50SAT137.29
b14_PR_1_50SAT146.28
s15850_PR_6_10SAT147.57
b20_PR_7_20SAT153.15
incrementer-enc02-uniform-depth-58UNSAT154.43
b21_PR_8_20SAT157.73
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-009UNSAT161.36
incrementer-enc02-uniform-depth-63UNSAT164.99
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-010UNSAT184.07
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-010UNSAT186.69
b22_PR_8_20SAT196.76
kmdf_osrusbfx2_exe_dump.cUNSAT210.75
driverlog10_7SAT269.5
driverlog10_6UNSAT305.89
b17_PR_2_50SAT321.92
sortnetsort10.AE.stepl.008FAIL359.81
irst.dme6.B-d4SAT364.73
b18_PR_4_2SAT384.82
sortnetsort9.AE.stepl.012FAIL411.32
incrementer-enc08-uniform-depth-33SAT428.48
s820_d10_sFAIL450.81
incrementer-enc06-nonuniform-depth-33SAT506.94
load_3c_comp_comp7_REAL.unsatUNSAT520.89
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-010UNSAT527.45
s820_d11_uFAIL590.41
p20-10.pddl_planlen=39SAT613.46
p20-10.pddl_planlen=40SAT625.45
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-009FAIL695.5
AR-fixpoint-1FAIL704.91
s1269_d13_uFAIL742.81
s1269_d10_sFAIL752.57
s3330_d9_sFAIL775.23
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-008FAIL812.91
s1269_d14_uFAIL833.35
usb-phy-fixpoint-5FAIL894.31
k_ph_p-18FAIL900
reachqu_query64_1344nFAIL900
k_ph_p-19FAIL900
reachqu_query64_1344FAIL900
k_ph_p-15FAIL900
k_ph_p-11FAIL900
trivial_query60_1344nFAIL900
s1269_d15_uFAIL900
cmu.gigamax.B-d4FAIL900
eijk.bs4863.S-d4FAIL900
reachqu_query71_1344FAIL900
ken.flash^08.C-d4FAIL900
ken.flash^09.C-d4FAIL900
ken.flash^05.C-d3FAIL900
trivial_query71_1344nFAIL900
k_ph_n-19FAIL900
ev-pr-8x8-15-7-0-1-2-lgFAIL900
szymanski-24-sFAIL900
b22_PR_9_90FAIL900
unit11_3_bFAIL900
unit12_2_bFAIL900
unit6_3_bFAIL900
test1_quant3FAIL900
test5_quant_squaring5FAIL900
test4_quant_squaring2FAIL900
adder-12-unsatFAIL900
k_branch_p-19FAIL900
unit8_2_bFAIL900
ev-pr-8x8-17-7-0-1-2-lgFAIL900
Adder2-8-sFAIL900
Adder2-14-sFAIL900
C5315.blif_0.10_0.20_0_0_inp_exactFAIL900
ev-pr-6x6-15-5-0-1-2-sFAIL900
Adder2-10-sFAIL900
C5315.blif_0.10_0.20_0_1_out_exactFAIL900
pipesnotankage19_7FAIL900
sortnetsort10.AE.stepl.006FAIL900
eequery_query42_1344nFAIL900
eequery_query42_1344FAIL900
eequery_query64_1344FAIL900
eequery_query71_1344nFAIL900
exquery_query42_1344nFAIL900
exquery_query64_1344nFAIL900
texas.PI_main^05.E-f3FAIL900
axquery_query71_1344nFAIL900
sortnetsort10.v.stepl.005FAIL900
axquery_query64_1344nFAIL900
pipesnotankage19_9FAIL900
arbiter-05-comp-error01-qbf-hardness-depth-8FAIL900
arbiter-06-comp-error01-qbf-hardness-depth-11FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-15FAIL900
arbiter-09-comp-error01-qbf-hardness-depth-21FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-23FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-24FAIL900
axquery_query42_1344nFAIL900
exquery_query71_1344nFAIL900
nusmv.tcas^6.B-f4FAIL900
ntrivil_query71_1344nFAIL900
nusmv.tcas-t^1.B-d2FAIL900
nxquery_query42_1344nFAIL900
nxquery_query64_1344nFAIL900
nxquery_query71_1344nFAIL900
nusmv.reactor^3.C-d4FAIL900
query64_query42_1344nFAIL900
reachqu_query60_1344nFAIL900
cmu.dme1.B-f3FAIL900
cmu.dme2.B-f3FAIL900
ntrivil_query42_1344nFAIL900
nusmv.tcas^4.B-f3FAIL900
nusmv.tcas^3.B-f2FAIL900
nusmv.tcas^2.B-f2FAIL900
eijk.S1196.S-f2FAIL900
eijk.bs1512.S-f4FAIL900
nreachq_query54_1344FAIL900
nreachq_query71_1344nFAIL900
nreachq_query71_1344FAIL900
reachqu_query60_1344FAIL900
C6288.blif_0.10_1.00_0_0_inp_exactFAIL900
eijkbs3330FAIL900
PhaseServiceFAIL900
NotificationServiceImpl2FAIL900
amba2c7n.satFAIL900
amba3b5y.satFAIL900
cycle_sched_2_10_1.satFAIL900
cycle_sched_4_4_2.satFAIL900
cycle_sched_6_6_2.satFAIL900
test2_quant_squaring3FAIL900
LoginServiceFAIL900
GuidanceService2FAIL900
C6288.blif_0.10_0.20_0_1_out_exactFAIL900
neclaftp2002FAIL900
gttt_2_2_000111_4x4_w_2020FAIL900
ev-pr-8x8-19-7-0-1-2-lgFAIL900
ConcreteActivityServiceFAIL900
IssueServiceImplFAIL900
IterationServiceFAIL900
GuidanceServiceFAIL900
test5_quant7FAIL900
C6288.blif_0.10_0.20_0_0_inp_exactFAIL900
test2_quant_squaring2FAIL900
gttt_1_1_000111_4x4_torus_b_2020FAIL900
gttt_1_1_000111_4x4_torus_w_2020FAIL900
gttt_1_1_00101121_4x4_torus_w_2020FAIL900
gttt_2_1_00011020_4x4_b_2020FAIL900
gttt_2_1_00102030_4x4_torus_b_2020FAIL900
adder-10-satFAIL900
gttt_2_2_000111_4x4_b_2020FAIL900
gttt_2_2_000111_4x4_torus_b_2020FAIL900
mult9.satFAIL900
k_ph_n-20FAIL900
beemskbn1f1_c0to7.satFAIL900
load_2c_comp_comp7_REAL.satFAIL900
ev-pr-6x6-19-5-0-1-2-lgFAIL900
ev-pr-6x6-17-5-0-1-2-sFAIL900
mult_bool_matrix_18_18_18.satFAIL900
ev-pr-6x6-13-5-0-1-2-sFAIL900
C6288.blif_0.10_0.20_0_0_out_exactFAIL900
ev-pr-6x6-11-5-0-1-2-sFAIL900
ev-pr-6x6-17-5-0-1-2-lgFAIL900
test3_quant2FAIL900
cycle_sched_4_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
cycle_sched_6_7_1.satFAIL900
Adder2-16-sFAIL900
k_branch_p-21FAIL900
genbuf10b4n.unsatFAIL900
genbuf9b4n.unsatFAIL900
beemldelec4b1_c0to127.satFAIL900
amba4b9y.unsatFAIL900
amba2f9n.satFAIL900
intermediate128FAIL900
bobsmfpuFAIL900
ev-pr-6x6-19-5-0-1-2-sFAIL900
test3_quant_squaring2FAIL900
neclaftp4001FAIL900
szymanski-20-sFAIL900
ProcessBeanFAIL900
ProjectService3FAIL900
eijk.bs3330.S-d3FAIL900
load_full_4_comp3_REAL.unsatFAIL900
C5315.blif_0.10_0.20_0_0_out_exactFAIL900
add7_COMPLETEFAIL900
add5_COMPLETEFAIL900
add6_REDUCEDFAIL900
k_ph_p-20FAIL900
test2_quant3FAIL900
s3330_d10_uFAIL900
test4_quant4FAIL900
intermediate256FAIL900
add7_CHOOSEFAIL900
add5_REDUCEDFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
mult_bool_matrix_17_17_17.satFAIL900
C6288.blif_0.10_0.20_0_1_inp_exactFAIL900
add6_CHOOSEFAIL900
add4_CHOOSEFAIL900
add6_COMPLETEFAIL900
add5_CHOOSEFAIL900
add7_REDUCEDFAIL900
k_branch_n-20FAIL900
fpu-10Xh-error01-nonuniform-depth-27FAIL900
stmt23_72_76FAIL900
stmt17_70_98FAIL900
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900
input_pnpi8042_moudep.cFAIL900
stmt17_62_98FAIL900
filesys_fastfat_cachesup.cFAIL900
stmt19_64_99FAIL900
network_irda_miniport_nscirda_comm.cFAIL900
small-seq-fixpoint-5FAIL900
small-pipeline-fixpoint-3FAIL900
ethernet-fixpoint-4FAIL900
stmt17_63_82FAIL900
sdlx-fixpoint-9FAIL900
stmt17_70_90FAIL900
stmt23_66_96FAIL900
ethernet-fixpoint-3FAIL900
stmt17_82_98FAIL900
stmt28_68_81FAIL900
input_mouser_detect.cFAIL900
audio_ddksynth_csynth2.cppFAIL900
c1_BMC_p1_k2048FAIL900
c4_Debug_s5_f2_e2_v1FAIL900
fpu-01Xh-error02-nonuniform-depth-27FAIL900
c4_Debug_s3_f2_e2_v3FAIL900
c4_Debug_s3_f2_e2_v2FAIL900
fpu-10Xh-correct04-nonuniform-depth-28FAIL900
c4_Debug_s3_f1_e2_v3FAIL900
fpu-10Xh-correct04-uniform-depth-28FAIL900
c1_BMC_p2_k1024FAIL900
c1_BMC_p2_k2048FAIL900
kmdf_pcidrv_sys_hw_physet.cFAIL900
c6_BMC_p2_k1024FAIL900
c6_BMC_p1_k512FAIL900
c6_BMC_p1_k2048FAIL900
c6_BMC_p1_k1024FAIL900
c5_BMC_p1_k32FAIL900
c3_BMC_p1_k256FAIL900
c2_BMC_p1_k2048FAIL900
stmt17_86_98FAIL900
small-seq-fixpoint-10FAIL900
stmt2_976_999FAIL900
sdlx-fixpoint-4FAIL900
small-seq-fixpoint-7FAIL900
pi-bus-fixpoint-2FAIL900
small-seq-fixpoint-3FAIL900
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL900
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001FAIL900
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL900
s3330_d14_uFAIL900
small-seq-fixpoint-8FAIL900
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003FAIL900
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900
small-pipeline-fixpoint-1FAIL900
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001FAIL900
small-seq-fixpoint-9FAIL900
Core1108_tbm_21.tex.module.000030FAIL900
usb-phy-fixpoint-4FAIL900
Core1108_tbm_21.tex.module.000008FAIL900
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003FAIL900
s1269_d12_uFAIL900
pi-bus-fixpoint-3FAIL900
sdlx-fixpoint-7FAIL900
stmt41_160_235FAIL900
stmt19_313_412FAIL900
AR-fixpoint-5FAIL900
stmt52_295_394FAIL900
stmt21_319_418FAIL900
stmt39_285_335FAIL900
stmt29_226_376FAIL900
stmt21_310_360FAIL900
stmt21_181_369FAIL900
sdlx-fixpoint-6FAIL900
sdlx-fixpoint-5FAIL900
sdlx-fixpoint-8FAIL900
sdlx-fixpoint-10FAIL900
sdlx-fixpoint-3FAIL900
stmt32_329_378FAIL900
stmt19_83_412FAIL900
small-pipeline-fixpoint-2FAIL900
Umbrella_tbm_05.tex.module.000039FAIL900
c2_Debug_s3_f2_e1_v3FAIL900
pipesnotankage17_7FAIL900
depots09_13FAIL900
depots10_8FAIL900
depots13_9FAIL900
depots16_5FAIL900
depots16_7FAIL900
sortnetsort8.v.stepl.007FAIL900
driverlog11_8FAIL900
driverlog11_9FAIL900
depots09_12FAIL900
depots09_11FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=200FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=59FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=81FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=86FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=92FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=98FAIL900
depots07_8FAIL900
depots08_6FAIL900
driverlog12_8FAIL900
driverlog12_9FAIL900
freecell03_7FAIL900
freecell04_7FAIL900
freecell04_8FAIL900
freecell04_9FAIL900
pipesnotankage15_10FAIL900
pipesnotankage16_10FAIL900
pipesnotankage17_5FAIL900
pipesnotankage17_6FAIL900
freecell03_6FAIL900
freecell03_5FAIL900
driverlog13_7FAIL900
driverlog13_8FAIL900
driverlog14_8FAIL900
driverlog14_9FAIL900
freecell01_6FAIL900
freecell02_4FAIL900
freecell02_5FAIL900
freecell02_6FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=199FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=198FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=197FAIL900
arbiter-08-comp-error02-qbf-hardness-depth-9FAIL900
arbiter-10-comp-error01-qbf-hardness-depth-22FAIL900
b20_C_3_2FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007FAIL900
b21_C_3_206FAIL900
b22_C_2_12FAIL900
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
depots03_9FAIL900
arbiter-07-comp-error01-qbf-hardness-depth-20FAIL900
arbiter-06-comp-error01-qbf-hardness-depth-15FAIL900
c1_Debug_s5_f1_e1_v2FAIL900
c1_Debug_s3_f2_e1_v2FAIL900
c1_Debug_s3_f2_e1_v1FAIL900
c1_Debug_s3_f1_e1_v1FAIL900
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-IPF03-c03.blif-biu.inv.prop.bb-bmc.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-009FAIL900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010FAIL900
dungeon_i25-m12-u5-v0.pddl_planlen=65FAIL900
pipesnotankage14_10FAIL900
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
sortnetsort9.v.stepl.007FAIL900
sortnetsort9.v.stepl.005FAIL900
sortnetsort9.AE.stepl.009FAIL900
sortnetsort9.AE.stepl.008FAIL900
sortnetsort9.AE.stepl.007FAIL900
p20-20.pddl_planlen=29FAIL900
p20-20.pddl_planlen=30FAIL900
query71_query36_1344nFAIL900
query71_query34_1344nFAIL900
pipesnotankage18_7FAIL900
pipesnotankage18_8FAIL900
eequery_query64_1344nFAIL900
nreachq_query11_1344nFAIL900
nreachq_query54_1344nFAIL900
nxquery_query50_1344nFAIL900
query64_query11_1344nFAIL900
query71_query31_1344nFAIL900
c2_Debug_s3_f1_e1_v2FAIL900