Instances solved by <a href='solver_detail.php?solver=310'>depqbf_pre

Instances solved by depqbf_pre_QxQBH
Prenex CNF Track

Instance	Result	Time
axquery_query71_1344	SAT	0
stmt5_731_730	SAT	0
stmt41_262_275	SAT	0
trueque_query71_1344n	UNSAT	0
trueque_query71_1344	SAT	0
s01423_PR_4_75	UNSAT	0
s01423_PR_4_90	UNSAT	0
trueque_query64_1344n	UNSAT	0
stmt124_966_965	SAT	0
decomposition256	SAT	0
equalization32	SAT	0
floor256	SAT	0
rankfunc19_unsigned_64	SAT	0
kenflashp12	SAT	0
trueque_query64_1344	SAT	0
trueque_query60_1344n	UNSAT	0
stmt44_554_604	SAT	0
exquery_query64_1344	SAT	0
exquery_query71_1344	SAT	0
falsequ_query60_1344n	UNSAT	0
falsequ_query64_1344n	UNSAT	0
falsequ_query64_1344	SAT	0
falsequ_query71_1344n	UNSAT	0
falsequ_query71_1344	SAT	0
small-synabs-fixpoint-3	UNSAT	0
axquery_query64_1344	SAT	0
stmt9_445_446	SAT	0
nxquery_query71_1344	SAT	0
irst.dme6.B-d4	SAT	0
stmt16_818_819	SAT	0
pdtpmsmiim	SAT	0
rankfunc30_signed_64	SAT	0
driver_d9y.sat	SAT	0
rankfunc19_signed_64	SAT	0
mult9.sat	SAT	0
kenflashp04	SAT	0
rankfunc42_signed_64	SAT	0
floor128	SAT	0
equalization128	SAT	0
driver_c9y.sat	SAT	0
add20y.sat	SAT	0
itc-b13-fixpoint-2	UNSAT	0
rankfunc18_unsigned_64	SAT	0
decomposition128	SAT	0
k_ph_n-11	SAT	0.51
driver_c9n.sat	SAT	0.52
rankfunc21_unsigned_64	SAT	0.53
rankfunc30_unsigned_64	SAT	0.53
eijk.bs3330.S-d3	SAT	0.56
rankfunc21_signed_64	SAT	0.57
ltl2dba_C2-6_comp3_REAL.sat	SAT	0.6
small-swap1-fixpoint-4	SAT	0.6
ceiling128	SAT	0.61
stmt21_181_369	UNSAT	0.67
itc-b13-fixpoint-3	SAT	0.68
rankfunc3_unsigned_64	SAT	0.71
small-swap1-fixpoint-6	SAT	0.74
vis.prodcell^01.E-d4	SAT	0.74
rankfunc3_signed_64	SAT	0.75
s09234_PR_7_2	SAT	0.76
mult_bool_matrix_10_9_11.sat	SAT	0.81
s05378_PR_5_20	SAT	0.84
s05378_PR_5_2	SAT	0.85
bobtuint31neg	SAT	0.86
s09234_PR_7_20	SAT	0.87
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-007	UNSAT	0.94
trivial_query71_1344	SAT	0.95
ntrivil_query71_1344	SAT	0.97
cycle_sched_12_2_1.sat	SAT	0.98
stmt25_52_53	SAT	1.02
stmt1_79_80	SAT	1.05
stmt41_160_235	UNSAT	1.05
stmt19_83_412	UNSAT	1.07
stmt27_93_98	SAT	1.14
small-swap1-fixpoint-5	SAT	1.24
itc-b13-fixpoint-4	SAT	1.29
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-006	UNSAT	1.3
small-swap1-fixpoint-8	SAT	1.3
small-swap1-fixpoint-7	SAT	1.4
mult_bool_matrix_12_13_11.sat	SAT	1.47
trivial_query64_1344n	UNSAT	1.51
ntrivil_query64_1344n	UNSAT	1.54
p20-1.pddl_planlen=49	SAT	1.62
p20-1.pddl_planlen=48	SAT	1.63
mult_bool_matrix_dyn_9_5.sat	SAT	1.65
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-009	UNSAT	1.65
ltl2dba_C2-8_comp4_REAL.sat	SAT	1.7
tlc05-uniform-depth-40	UNSAT	1.73
nusmv.tcas-t^1.B-d2	SAT	1.74
itc-b13-fixpoint-5	SAT	1.76
driver_b8n.sat	SAT	1.8
stmt29_226_376	UNSAT	1.82
stay24n.sat	SAT	1.82
incrementer-enc09-nonuniform-depth-15	UNSAT	1.83
pdtpmsrotate32	SAT	1.85
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-009	UNSAT	1.85
small-swap1-fixpoint-10	SAT	1.87
p10-5.pddl_planlen=24	SAT	1.93
p10-5.pddl_planlen=25	SAT	1.95
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-010	UNSAT	2.01
small-synabs-fixpoint-10	UNSAT	2.07
trivial_query64_1344	SAT	2.17
tlc05-uniform-depth-45	UNSAT	2.19
ntrivil_query64_1344	SAT	2.27
stmt21_319_418	SAT	2.33
b21_PR_8_20	SAT	2.34
nusmv.reactor^3.C-d4	SAT	2.4
itc-b13-fixpoint-6	SAT	2.52
exquery_query64_1344n	UNSAT	2.53
ltl2dpa_C26_comp2_REAL.sat	SAT	2.6
tlc05-uniform-depth-50	UNSAT	2.66
cache-coherence-3-fixpoint-1	UNSAT	2.71
driver_a10y.sat	SAT	2.82
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	2.84
k_ph_n-15	SAT	2.87
b14_PR_1_50	SAT	2.9
small-swap1-fixpoint-9	SAT	3.08
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-009	UNSAT	3.13
ceiling256	SAT	3.21
tlc05-uniform-depth-55	UNSAT	3.21
itc-b13-fixpoint-7	SAT	3.33
nxquery_query42_1344n	UNSAT	3.48
ethernet-fixpoint-1	UNSAT	3.52
b20_PR_7_20	SAT	3.53
driverlog10_7	SAT	3.55
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-010	UNSAT	3.56
driver_a9n.sat	SAT	3.6
cache-coherence-2-fixpoint-2	UNSAT	3.63
axquery_query71_1344n	UNSAT	3.65
axquery_query42_1344n	UNSAT	3.68
nxquery_query71_1344n	UNSAT	3.7
exquery_query42_1344n	UNSAT	3.75
p10-10.pddl_planlen=20	SAT	3.77
tlc05-uniform-depth-60	UNSAT	3.79
p10-10.pddl_planlen=19	SAT	3.81
s38584_PR_9_5	SAT	3.84
eijkbs3330	SAT	3.84
s38584_PR_9_50	SAT	4
small-pipeline-fixpoint-1	UNSAT	4.01
driverlog10_6	UNSAT	4.13
bs128y.sat	SAT	4.19
bs128n.sat	SAT	4.21
tlc05-uniform-depth-65	UNSAT	4.28
incrementer-enc08-nonuniform-depth-32	UNSAT	4.42
tlc05-uniform-depth-70	UNSAT	4.52
exquery_query71_1344n	UNSAT	4.63
mult_bool_matrix_17_17_17.sat	SAT	4.8
eijkbs4863	SAT	5.04
driverlog11_8	UNSAT	5.54
mult_bool_matrix_18_18_18.sat	SAT	5.69
trivial_query60_1344n	UNSAT	5.73
ntrivil_query42_1344n	UNSAT	5.95
s15850_PR_6_10	SAT	6.27
k_ph_n-18	SAT	6.39
tlc05-uniform-depth-75	UNSAT	6.5
sdlx-fixpoint-3	UNSAT	6.56
sortnetsort8.v.stepl.007	SAT	6.9
s15850_PR_0_50	SAT	7.03
tlc05-uniform-depth-80	UNSAT	7.15
driverlog13_7	UNSAT	7.25
itc-b13-fixpoint-8	SAT	7.29
tlc05-uniform-depth-85	UNSAT	7.66
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-010	UNSAT	7.81
beemskbn1f1_c0to7.sat	SAT	8.35
load_3c_comp_comp7_REAL.unsat	UNSAT	8.41
driverlog12_8	UNSAT	8.44
b17_PR_2_50	SAT	8.87
driverlog13_8	UNSAT	9.48
unit9_2_b	SAT	9.81
incrementer-enc02-uniform-depth-58	UNSAT	9.88
trivial_query71_1344n	UNSAT	10.48
ntrivil_query71_1344n	UNSAT	10.62
k_ph_n-19	SAT	10.69
driverlog14_8	UNSAT	11.69
itc-b13-fixpoint-9	SAT	11.71
freecell01_6	SAT	12.02
incrementer-enc02-uniform-depth-63	UNSAT	12.23
k_ph_n-20	SAT	12.86
cache-coherence-3-fixpoint-2	UNSAT	13.22
load_2c_comp_comp7_REAL.sat	SAT	13.63
fpu-10Xh-correct04-nonuniform-depth-14	UNSAT	14.23
driverlog11_9	SAT	14.66
texas.PI_main^08.E-f3	SAT	15.38
driverlog12_9	UNSAT	15.42
itc-b13-fixpoint-10	SAT	15.85
depots07_8	UNSAT	16.89
small-seq-fixpoint-3	UNSAT	17.19
nusmv.tcas^3.B-f2	SAT	17.6
k_branch_n-11	SAT	17.84
fpu-01Xh-error02-nonuniform-depth-18	UNSAT	17.94
depots03_9	UNSAT	18.43
fpu-10Xh-correct04-uniform-depth-18	UNSAT	18.88
ethernet-fixpoint-2	UNSAT	19.04
dungeon_i25-m12-u5-v0.pddl_planlen=59	UNSAT	19.37
fpu-10Xh-error01-uniform-depth-20	UNSAT	20.14
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	20.42
usb-phy-fixpoint-3	UNSAT	20.66
stmt17_63_82	SAT	20.8
stmt23_72_76	SAT	21.79
filesys_smbmrx_cvsndrcv.c	UNSAT	22.04
sortnetsort9.v.stepl.005	UNSAT	23.46
stmt28_68_81	SAT	24.02
fpu-01Xh-error02-uniform-depth-24	UNSAT	24.1
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	24.31
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	25.17
fpu-10Xh-error01-uniform-depth-25	UNSAT	25.44
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	26.22
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	26.66
stmt23_66_96	SAT	26.75
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-008	UNSAT	27.22
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	27.85
k_branch_n-12	SAT	28.22
stmt19_64_99	SAT	28.84
cycle_sched_4_4_2.sat	SAT	28.89
kmdf_pcidrv_sys_hw_physet.c	SAT	29.71
c6_BMC_p2_k1024	UNSAT	30.4
c5_BMC_p1_k32	SAT	31.1
stmt17_70_90	SAT	31.15
c6_BMC_p1_k512	SAT	31.41
pi-bus-fixpoint-1	UNSAT	36.36
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-009	UNSAT	37.5
depots16_5	UNSAT	38.77
stmt17_82_98	SAT	43.25
ethernet-fixpoint-3	UNSAT	43.64
stmt21_310_360	UNSAT	44.31
depots08_6	UNSAT	44.32
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-009	UNSAT	44.35
stmt52_295_394	UNSAT	46.07
b22_PR_8_20	SAT	48.43
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	50.16
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	50.54
freecell02_5	UNSAT	50.81
depots13_9	SAT	50.93
freecell02_4	UNSAT	50.95
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	51.22
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	51.75
cache-coherence-2-fixpoint-4	UNSAT	52.02
test5_quant_squaring5	SAT	52.3
c6_BMC_p1_k1024	SAT	55.26
c3_BMC_p1_k256	SAT	56.81
usb-phy-fixpoint-4	UNSAT	58.44
depots10_8	UNSAT	59.46
k_branch_p-14	UNSAT	59.51
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	61.37
gttt_2_2_000111_4x4_w_2020	UNSAT	61.78
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	61.78
incrementer-enc07-nonuniform-depth-25	UNSAT	63.07
test5_quant7	SAT	63.09
nusmv.tcas^4.B-f3	SAT	63.67
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	65.16
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	65.81
gttt_2_2_000111_4x4_torus_b_2020	SAT	65.97
nusmv.tcas^6.B-f4	SAT	66.22
gttt_2_2_000111_4x4_torus_w_2020	UNSAT	66.43
gttt_2_2_000111_4x4_b_2020	SAT	67.54
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	68.37
p20-10.pddl_planlen=39	SAT	68.73
p20-10.pddl_planlen=40	SAT	68.85
gttt_2_1_001020_4x4_torus_w_2020	UNSAT	74.81
p20-20.pddl_planlen=30	SAT	76.89
eequery_query64_1344	UNSAT	77.35
b22_PR_9_90	UNSAT	81.71
fpu-01Xh-error02-nonuniform-depth-27	SAT	82.85
incrementer-enc06-nonuniform-depth-33	SAT	83.49
fpu-10Xh-correct04-nonuniform-depth-28	SAT	84.65
fpu-10Xh-error01-nonuniform-depth-27	SAT	85.57
p20-20.pddl_planlen=29	SAT	86.61
b18_PR_4_2	SAT	89.01
add4_CHOOSE	SAT	94.21
gttt_1_1_000111_4x4_torus_w_2020	UNSAT	97.13
test3_quant2	UNSAT	100.85
Core1108_tbm_21.tex.module.000030	SAT	103.96
test3_quant_squaring2	UNSAT	103.96
gttt_2_1_00102030_4x4_torus_b_2020	UNSAT	105.51
Core1108_tbm_21.tex.module.000008	SAT	112.43
gttt_1_1_000111_4x4_torus_b_2020	SAT	115.08
c1_BMC_p2_k2048	UNSAT	117.25
Umbrella_tbm_05.tex.module.000039	SAT	118.04
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	124.88
incrementer-enc06-uniform-depth-24	UNSAT	127.3
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	127.41
k_branch_p-16	UNSAT	133.16
axquery_query64_1344n	UNSAT	135.13
nxquery_query64_1344n	UNSAT	136.42
incrementer-enc09-uniform-depth-17	SAT	137.3
k_branch_n-17	SAT	154.38
GuidanceService2	UNSAT	157.57
GuidanceService	UNSAT	158.16
amba2c7n.sat	SAT	167.22
k_branch_n-20	SAT	171.93
k_branch_p-18	UNSAT	174.07
k_branch_p-19	UNSAT	177.29
cycle_sched_4_7_1.unsat	UNSAT	179.04
stmt39_285_335	UNSAT	181.67
stmt32_329_378	UNSAT	182.21
incrementer-enc08-uniform-depth-33	SAT	183.71
unit11_3_b	UNSAT	191.38
stmt19_313_412	UNSAT	196.42
stmt2_976_999	SAT	197.4
cache-coherence-3-fixpoint-3	UNSAT	200.63
cache-coherence-2-fixpoint-5	UNSAT	201.35
cache-coherence-2-fixpoint-6	UNSAT	206.21
stmt17_62_98	SAT	207.41
k_branch_n-21	SAT	208.43
k_branch_p-21	UNSAT	219.23
nusmv.tcas^2.B-f2	SAT	220.49
stmt17_70_98	SAT	221.79
sdlx-fixpoint-4	UNSAT	230.6
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-007	UNSAT	233.84
nxquery_query50_1344n	SAT	237.36
stmt17_86_98	SAT	244.16
cycle_sched_6_6_2.sat	SAT	250.57
amba2f9n.sat	SAT	256.6
cycle_sched_6_7_1.sat	SAT	272.01
incrementer-enc07-uniform-depth-25	UNSAT	304.96
cycle_sched_2_10_1.sat	SAT	318.88
usb-phy-fixpoint-5	UNSAT	327.97
sortnetsort9.v.stepl.007	SAT	343.06
small-seq-fixpoint-7	UNSAT	366.66
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-010	UNSAT	373.68
small-seq-fixpoint-5	UNSAT	387.77
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	403.69
cycle_sched_4_7_1.sat	SAT	404.13
load_full_4_comp3_REAL.unsat	UNSAT	420.24
ken.flash^08.C-d4	UNSAT	449.21
amba3b5y.sat	SAT	453.34
sortnetsort9.AE.stepl.012	UNSAT	460.98
pi-bus-fixpoint-2	UNSAT	490.46
sortnetsort9.AE.stepl.008	UNSAT	509.55
pipesnotankage16_10	UNSAT	512.37
sortnetsort9.AE.stepl.009	UNSAT	514.47
pipesnotankage15_10	UNSAT	517.47
pipesnotankage14_10	UNSAT	524.94
eequery_query71_1344n	SAT	586.49
gttt_2_1_00011020_4x4_b_2020	UNSAT	611.67
c1_BMC_p2_k1024	UNSAT	627.01
eequery_query42_1344	UNSAT	634.87
ken.flash^05.C-d3	UNSAT	642.42
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	661.01
c2_BMC_p1_k2048	SAT	717.21
ethernet-fixpoint-4	UNSAT	783.95
fpu-10Xh-correct04-uniform-depth-28	SAT	816.25
s1269_d15_u	FAIL	860.37
s1269_d12_u	FAIL	863.47
freecell04_7	FAIL	865.76
s3330_d9_s	FAIL	866.24
s820_d11_u	FAIL	866.86
ev-pr-6x6-15-5-0-1-2-s	FAIL	869.4
c1_Debug_s3_f2_e1_v1	FAIL	871.35
freecell04_8	FAIL	871.38
c1_BMC_p1_k2048	FAIL	872.66
freecell04_9	FAIL	873.32
AR-fixpoint-1	FAIL	873.47
s820_d10_s	FAIL	874.35
ev-pr-6x6-19-5-0-1-2-s	FAIL	876.6
ev-pr-6x6-11-5-0-1-2-s	FAIL	877.02
s3330_d14_u	FAIL	877.34
pipesnotankage19_9	FAIL	878.02
AR-fixpoint-5	FAIL	878.51
s1269_d14_u	FAIL	879.21
s3330_d10_u	FAIL	879.34
s1269_d10_s	FAIL	881.2
depots09_13	FAIL	881.29
c1_Debug_s3_f1_e1_v1	FAIL	882.34
pipesnotankage19_7	FAIL	883.07
pipesnotankage18_8	FAIL	884.13
ev-pr-6x6-17-5-0-1-2-s	FAIL	884.63
ev-pr-6x6-13-5-0-1-2-s	FAIL	885.43
s1269_d13_u	FAIL	888.82
pipesnotankage18_7	FAIL	889.02
c2_Debug_s3_f1_e1_v2	FAIL	890.94
freecell03_7	FAIL	891.89
freecell03_6	FAIL	893.01
depots09_12	FAIL	895.98
c6_BMC_p1_k2048	FAIL	896.29
c1_Debug_s3_f2_e1_v2	FAIL	897.71
ProcessBean	FAIL	900
ProjectService3	FAIL	900
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900
neclaftp4001	FAIL	900
sdlx-fixpoint-10	FAIL	900
mult_bool_matrix_10_9_11.unsat	FAIL	900
szymanski-20-s	FAIL	900
intermediate128	FAIL	900
genbuf9b4n.unsat	FAIL	900
Adder2-16-s	FAIL	900
amba4b9y.unsat	FAIL	900
sdlx-fixpoint-8	FAIL	900
beemldelec4b1_c0to127.sat	FAIL	900
Adder2-8-c	FAIL	900
genbuf10b4n.unsat	FAIL	900
Adder2-14-s	FAIL	900
add6_CHOOSE	FAIL	900
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	900
test2_quant_squaring3	FAIL	900
sdlx-fixpoint-5	FAIL	900
NotificationServiceImpl2	FAIL	900
PhaseService	FAIL	900
pi-bus-fixpoint-3	FAIL	900
sdlx-fixpoint-6	FAIL	900
test2_quant_squaring2	FAIL	900
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	900
small-seq-fixpoint-9	FAIL	900
small-seq-fixpoint-8	FAIL	900
gttt_1_1_00101121_4x4_torus_w_2020	FAIL	900
adder-10-sat	FAIL	900
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	900
Adder2-16-c	FAIL	900
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900
IterationService	FAIL	900
IssueServiceImpl	FAIL	900
add6_REDUCED	FAIL	900
add5_COMPLETE	FAIL	900
add7_COMPLETE	FAIL	900
add7_CHOOSE	FAIL	900
add5_REDUCED	FAIL	900
add7_REDUCED	FAIL	900
add5_CHOOSE	FAIL	900
add6_COMPLETE	FAIL	900
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900
k_ph_p-20	FAIL	900
ConcreteActivityService	FAIL	900
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900
neclaftp2002	FAIL	900
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900
LoginService	FAIL	900
test4_quant4	FAIL	900
intermediate256	FAIL	900
test2_quant3	FAIL	900
bobsmfpu	FAIL	900
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	900
driverlog14_9	FAIL	900
input_pnpi8042_moudep.c	FAIL	900
filesys_smbmrx_midatlas.c	FAIL	900
filesys_fastfat_cachesup.c	FAIL	900
network_trans_sys_notify.c	FAIL	900
network_irda_miniport_nscirda_comm.c	FAIL	900
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-009	FAIL	900
depots16_7	FAIL	900
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-008	FAIL	900
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900
kmdf_osrusbfx2_exe_dump.c	FAIL	900
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	900
sdlx-fixpoint-9	FAIL	900
small-pipeline-fixpoint-3	FAIL	900
pipesnotankage17_7	FAIL	900
pipesnotankage17_6	FAIL	900
pipesnotankage17_5	FAIL	900
freecell03_5	FAIL	900
freecell02_6	FAIL	900
input_mouser_detect.c	FAIL	900
audio_ddksynth_csynth2.cpp	FAIL	900
depots09_11	FAIL	900
query71_query31_1344n	FAIL	900
query64_query11_1344n	FAIL	900
nreachq_query54_1344n	FAIL	900
nreachq_query11_1344n	FAIL	900
eequery_query64_1344n	FAIL	900
b20_C_3_2	FAIL	900
c4_Debug_s3_f1_e2_v3	FAIL	900
c4_Debug_s3_f2_e2_v2	FAIL	900
query71_query34_1344n	FAIL	900
query71_query36_1344n	FAIL	900
c2_Debug_s3_f2_e1_v3	FAIL	900
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900
c4_Debug_s5_f2_e2_v1	FAIL	900
c4_Debug_s3_f2_e2_v3	FAIL	900
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	900
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	900
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	900
c1_Debug_s5_f1_e1_v2	FAIL	900
b21_C_3_206	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	900
cmu.gigamax.B-d4	FAIL	900
Adder2-8-s	FAIL	900
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900
sdlx-fixpoint-7	FAIL	900
k_ph_p-18	FAIL	900
k_ph_p-19	FAIL	900
k_ph_p-15	FAIL	900
k_ph_p-11	FAIL	900
b22_C_2_12	FAIL	900
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900
Adder2-10-s	FAIL	900
adder-12-unsat	FAIL	900
test1_quant3	FAIL	900
unit8_2_b	FAIL	900
unit6_3_b	FAIL	900
unit12_2_b	FAIL	900
small-pipeline-fixpoint-2	FAIL	900
szymanski-24-s	FAIL	900
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900
test4_quant_squaring2	FAIL	900
eijk.bs4863.S-d4	FAIL	900
reachqu_query71_1344	FAIL	900
reachqu_query64_1344	FAIL	900
nreachq_query54_1344	FAIL	900
texas.PI_main^05.E-f3	FAIL	900
sortnetsort10.AE.stepl.006	FAIL	900
sortnetsort10.AE.stepl.008	FAIL	900
sortnetsort10.v.stepl.005	FAIL	900
sortnetsort9.AE.stepl.007	FAIL	900
eequery_query42_1344n	FAIL	900
small-seq-fixpoint-10	FAIL	900
nreachq_query71_1344n	FAIL	900
nreachq_query71_1344	FAIL	900
eijk.S1196.S-f2	FAIL	900
reachqu_query64_1344n	FAIL	900
reachqu_query60_1344	FAIL	900
reachqu_query60_1344n	FAIL	900
query64_query42_1344n	FAIL	900
ken.flash^09.C-d4	FAIL	900
cmu.dme1.B-f3	FAIL	900
cmu.dme2.B-f3	FAIL	900
eijk.bs1512.S-f4	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf_pre_QxQBH
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf_pre_QxQBH Prenex CNF Track

Instances solved by depqbf_pre_QxQBH
Prenex CNF Track