Instances solved by <a href='solver_detail.php?solver=310'>depqbf_pre_QxQBH</a> <br> QBFEVAL'19

Instances solved by depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track

Instance	Result	Time
decomposition256	SAT	0
mult9.sat	SAT	0
driver_d9y.sat	SAT	0
stmt5_731_730	SAT	0
decomposition128	SAT	0
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-005	UNSAT	0
rankfunc19_unsigned_64	SAT	0
rankfunc30_signed_64	SAT	0
rankfunc18_signed_64	SAT	0
kenflashp04	SAT	0
stmt124_966_965	SAT	0
floor256	SAT	0
driver_c9y.sat	SAT	0
stmt16_818_819	SAT	0
stmt44_554_604	SAT	0
itc-b13-fixpoint-1	UNSAT	0
kenflashp12	SAT	0
small-synabs-fixpoint-3	UNSAT	0
pdtpmsmiim	SAT	0
hex_hein_4x4_04	SAT	0
floor128	SAT	0
rankfunc21_unsigned_64	SAT	0
Q_2-3_v-80-100_r-13.2	UNSAT	0
Q_2-3_v-80-100_r-13.4	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0
s00420_PR_1_20	SAT	0
s00838_PR_6_90	UNSAT	0
s01488_PR_1_10	SAT	0
s05378_PR_4_90	UNSAT	0
s09234_PR_9_90	UNSAT	0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	SAT	0
add20y.sat	SAT	0
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	0
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	0
rankfunc16_unsigned_64	SAT	0
rankfunc15_signed_64	SAT	0
rankfunc19_signed_64	SAT	0
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	0
stmt9_445_446	SAT	0.21
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	0.37
stmt41_262_275	SAT	0.38
rankfunc15_unsigned_64	SAT	0.43
rankfunc42_signed_64	SAT	0.43
incrementer-enc06-nonuniform-depth-5	UNSAT	0.45
rankfunc18_unsigned_64	SAT	0.46
rankfunc16_signed_64	SAT	0.48
driver_c9n.sat	SAT	0.5
rankfunc30_unsigned_64	SAT	0.5
stmt1_79_80	SAT	0.52
rankfunc21_signed_64	SAT	0.55
eijk.bs3330.S-d3	SAT	0.59
ltl2dba_C2-6_comp3_REAL.sat	SAT	0.6
stmt21_181_369	UNSAT	0.61
small-swap1-fixpoint-4	SAT	0.62
ceiling128	SAT	0.63
itc-b13-fixpoint-3	SAT	0.67
rankfunc3_unsigned_64	SAT	0.68
rankfunc3_signed_64	SAT	0.72
small-swap1-fixpoint-6	SAT	0.73
bobtuint31neg	SAT	0.78
mult_bool_matrix_10_9_11.sat	SAT	0.79
incrementer-enc06-nonuniform-depth-10	UNSAT	0.83
b21_PR_9_90	UNSAT	0.9
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.92
cycle_sched_12_2_1.sat	SAT	0.93
stmt41_160_235	UNSAT	1
stmt19_83_412	UNSAT	1.01
stmt25_52_53	SAT	1.02
Q_2-3_v-80-100_r-13.5	UNSAT	1.05
stmt27_93_98	SAT	1.05
Q_2-3_v-80-100_r-13.0	UNSAT	1.06
Q_2-3_v-80-100_r-13.6	UNSAT	1.06
Q_2-3_v-80-100_r-13.7	UNSAT	1.06
Q_2-3_v-80-100_r-13.9	UNSAT	1.07
Q_2-3_v-80-100_r-13.1	UNSAT	1.08
Q_2-3_v-80-100_r-13.8	UNSAT	1.09
Q_2-3_v-80-100_r-13.3	UNSAT	1.1
small-swap1-fixpoint-5	SAT	1.2
b20_PR_9_90	UNSAT	1.21
small-swap1-fixpoint-8	SAT	1.22
itc-b13-fixpoint-4	SAT	1.25
small-swap1-fixpoint-7	SAT	1.37
mult_bool_matrix_12_13_11.sat	SAT	1.44
incrementer-enc06-nonuniform-depth-15	UNSAT	1.51
s38417_PR_4_50	SAT	1.57
mult_bool_matrix_dyn_9_5.sat	SAT	1.65
ltl2dba_C2-8_comp4_REAL.sat	SAT	1.66
tlc05-uniform-depth-40	UNSAT	1.7
s15850_PR_8_90	UNSAT	1.73
nusmv.tcas-t^1.B-d2	SAT	1.73
itc-b13-fixpoint-5	SAT	1.75
stmt29_226_376	UNSAT	1.76
driver_b8n.sat	SAT	1.76
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.87
pdtpmsrotate32	SAT	1.87
s38584_PR_9_90	SAT	1.87
stay24n.sat	SAT	1.88
small-swap1-fixpoint-10	SAT	1.89
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	1.93
ceiling256	SAT	2.01
small-synabs-fixpoint-10	UNSAT	2.08
tlc05-uniform-depth-45	UNSAT	2.1
Q_2-3_v-80-100_r-11.3	UNSAT	2.1
stmt21_319_418	SAT	2.23
b21_PR_8_20	SAT	2.31
nusmv.reactor^3.C-d4	SAT	2.41
ltl2dpa_C26_comp2_REAL.sat	SAT	2.45
itc-b13-fixpoint-6	SAT	2.5
tlc05-uniform-depth-50	UNSAT	2.59
incrementer-enc06-nonuniform-depth-20	UNSAT	2.63
cache-coherence-3-fixpoint-1	UNSAT	2.73
driver_a10y.sat	SAT	2.74
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	2.81
b14_PR_1_50	SAT	2.84
small-swap1-fixpoint-9	SAT	3.03
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-010	UNSAT	3.03
tlc05-uniform-depth-55	UNSAT	3.12
itc-b13-fixpoint-7	SAT	3.37
nxquery_query42_1344n	UNSAT	3.38
ethernet-fixpoint-1	UNSAT	3.45
axquery_query42_1344n	UNSAT	3.47
driver_a9n.sat	SAT	3.52
b20_PR_7_20	SAT	3.52
exquery_query42_1344n	UNSAT	3.57
cache-coherence-2-fixpoint-2	UNSAT	3.65
eijkbs3330	SAT	3.71
tlc05-uniform-depth-60	UNSAT	3.74
s38584_PR_8_50	SAT	3.86
small-pipeline-fixpoint-1	UNSAT	3.86
driverlog10_6	UNSAT	4.08
bs128y.sat	SAT	4.1
bs128n.sat	SAT	4.11
tlc05-uniform-depth-65	UNSAT	4.26
fpu-10Xh-error01-uniform-depth-4	UNSAT	4.31
tlc05-uniform-depth-70	UNSAT	4.45
mult_bool_matrix_17_17_17.sat	SAT	4.7
eijkbs4863	SAT	5
fpu-10Xh-error01-nonuniform-depth-5	UNSAT	5.19
mult_bool_matrix_18_18_18.sat	SAT	5.63
Q_2-3_v-80-100_r-11.2	UNSAT	5.69
ntrivil_query42_1344n	UNSAT	5.73
tlc05-uniform-depth-75	UNSAT	6.44
sdlx-fixpoint-3	UNSAT	6.52
tlc05-uniform-depth-80	UNSAT	7.02
s15850_PR_0_50	SAT	7.07
sortnetsort8.v.stepl.007	SAT	7.12
itc-b13-fixpoint-8	SAT	7.21
tlc05-uniform-depth-85	UNSAT	7.48
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.71
beemskbn1f1_c0to7.sat	SAT	8.23
load_3c_comp_comp7_REAL.unsat	UNSAT	8.32
unit9_2_b	SAT	9.33
incrementer-enc02-uniform-depth-58	UNSAT	9.82
itc-b13-fixpoint-9	SAT	10.25
fpu-10Xh-error01-nonuniform-depth-10	UNSAT	10.38
fpu-10Xh-error01-uniform-depth-10	UNSAT	10.42
add4_REDUCED	SAT	10.77
k_branch_p-10	UNSAT	11.01
Q_2-3_v-80-100_r-11.6	UNSAT	11.24
ttt_5x5-shape-0-GTTT-1-1-torus-0	SAT	11.48
ttt_5x5-shape-0-GTTT-1-1-torus-1	SAT	11.5
dungeon_i15-m7-u4-v0.pddl_planlen=81	UNSAT	12.01
incrementer-enc02-uniform-depth-63	UNSAT	12.23
k_branch_n-10	SAT	12.47
cache-coherence-3-fixpoint-2	UNSAT	13.17
load_2c_comp_comp7_REAL.sat	SAT	13.59
texas.PI_main^08.E-f3	SAT	14.8
fpu-10Xh-error01-nonuniform-depth-15	UNSAT	14.97
fpu-10Xh-error01-uniform-depth-15	UNSAT	15.05
itc-b13-fixpoint-10	SAT	15.47
k_branch_p-11	UNSAT	16.4
depots07_8	UNSAT	16.71
nusmv.tcas^3.B-f2	SAT	17.28
k_branch_n-11	SAT	17.56
dungeon_i25-m12-u3-v0.pddl_planlen=72	UNSAT	17.7
small-seq-fixpoint-3	UNSAT	18.05
klieber2017q-084-21-t1	UNSAT	18.09
depots03_9	UNSAT	18.36
dungeon_i15-m7-u4-v0.pddl_planlen=168	UNSAT	18.48
ethernet-fixpoint-2	UNSAT	18.56
dungeon_i25-m12-u5-v0.pddl_planlen=59	UNSAT	19.09
fpu-10Xh-error01-uniform-depth-20	UNSAT	19.82
fpu-10Xh-error01-nonuniform-depth-20	UNSAT	19.85
k_branch_p-12	UNSAT	19.86
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	20.13
stmt17_63_82	SAT	20.16
usb-phy-fixpoint-3	UNSAT	20.36
ttt_5x5-shape-1-GTTT-1-1-torus-0	SAT	21.09
stmt23_72_76	SAT	21.15
filesys_smbmrx_cvsndrcv.c	UNSAT	21.45
stmt28_68_81	SAT	22.99
sortnetsort9.v.stepl.005	UNSAT	23.24
ttt_5x5-shape-1-GTTT-1-1-torus-1	SAT	23.98
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	24.04
fpu-10Xh-error01-nonuniform-depth-25	UNSAT	24.61
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	24.72
fpu-10Xh-error01-uniform-depth-25	UNSAT	25.12
dungeon_i25-m12-u3-v0.pddl_planlen=125	UNSAT	25.16
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	25.69
dungeon_i25-m12-u3-v0.pddl_planlen=130	UNSAT	25.7
ttt_5x5-shape-1-GTTT-2-1-torus-0	SAT	25.79
stmt23_66_96	SAT	25.97
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	26.17
ttt_5x5-shape-1-GTTT-2-1-torus-1	SAT	26.6
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	27.26
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.29
k_branch_n-12	SAT	27.57
stmt19_64_99	SAT	27.6
cycle_sched_4_4_2.sat	SAT	27.8
pipesnotankage13_5	UNSAT	28.12
dungeon_i25-m12-u3-v0.pddl_planlen=146	UNSAT	28.3
pipesnotankage11_8	UNSAT	28.84
kmdf_pcidrv_sys_hw_physet.c	SAT	29.63
stmt17_70_90	SAT	29.93
c6_BMC_p2_k1024	UNSAT	30.03
c5_BMC_p1_k32	SAT	30.38
dungeon_i25-m12-u3-v0.pddl_planlen=165	UNSAT	30.77
c6_BMC_p1_k512	SAT	30.99
klieber2017q-076-19-t1	UNSAT	31.07
dungeon_i25-m12-u5-v0.pddl_planlen=128	UNSAT	34.42
dungeon_i25-m12-u3-v0.pddl_planlen=190	UNSAT	34.62
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.33
dungeon_i25-m12-u5-v0.pddl_planlen=143	UNSAT	37.59
depots16_5	UNSAT	38.29
pi-bus-fixpoint-1	UNSAT	38.63
stmt17_82_98	SAT	42.11
ethernet-fixpoint-3	UNSAT	43.6
dungeon_i25-m12-u5-v0.pddl_planlen=170	UNSAT	43.87
depots08_6	UNSAT	43.89
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.11
stmt21_310_360	UNSAT	44.34
load_full_4_comp3_REAL.unsat	UNSAT	47.05
stmt52_295_394	UNSAT	47.26
b22_PR_8_20	SAT	47.45
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	49.42
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	49.74
freecell02_4	UNSAT	50.19
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	50.35
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	50.86
depots13_9	SAT	50.91
test5_quant_squaring5	SAT	51.95
cache-coherence-2-fixpoint-4	UNSAT	53.33
usb-phy-fixpoint-4	UNSAT	54.34
c6_BMC_p1_k1024	SAT	54.72
c3_BMC_p1_k256	SAT	56.9
k_branch_p-14	UNSAT	58.83
cycle_sched_4_7_1.unsat	UNSAT	61.29
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	61.38
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	61.74
gttt_2_2_000111_4x4_w	UNSAT	61.8
nusmv.tcas^4.B-f3	SAT	63.66
hex_hein_4x4_09	SAT	64.3
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	65.09
incrementer-enc06-nonuniform-depth-25	UNSAT	65.09
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	65.68
gttt_2_2_000111_4x4_torus_b	SAT	65.88
nusmv.tcas^6.B-f4	SAT	66.01
gttt_2_2_000111_4x4_torus_w	UNSAT	66.17
gttt_2_2_000111_4x4_b	SAT	67.52
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	68.37
hex_hein_4x4_12	SAT	70.22
gttt_2_1_001020_4x4_torus_w	UNSAT	74.35
b22_PR_9_90	UNSAT	81.49
b18_PR_4_2	SAT	89.15
hex_rand_6x6-20m-4	UNSAT	92.55
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-007	UNSAT	92.93
gttt_1_1_000111_4x4_torus_w	UNSAT	97.71
Core1108_tbm_21.tex.module.000030	SAT	103.57
gttt_2_1_00102030_4x4_torus_b	UNSAT	105.33
Core1108_tbm_21.tex.module.000008	SAT	112.77
gttt_1_1_000111_4x4_torus_b	SAT	114.8
c1_BMC_p2_k2048	UNSAT	117.15
Umbrella_tbm_05.tex.module.000039	SAT	118.05
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	124.33
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-010	UNSAT	125.39
incrementer-enc06-uniform-depth-24	UNSAT	127.1
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	127.2
k_branch_p-16	UNSAT	133.21
Q_2-3_v-80-100_r-11.4	UNSAT	146.38
ttt_5x5-shape-1-GTTT-1-2-torus-1	SAT	148.77
ttt_5x5-shape-1-GTTT-1-2-torus-0	SAT	151.15
k_branch_n-17	SAT	153.96
GuidanceService	UNSAT	156.34
GuidanceService2	UNSAT	156.82
amba2c7n.sat	SAT	166.33
k_branch_p-18	UNSAT	173.99
klieber2017q-074-18-t1	UNSAT	177
k_branch_p-19	UNSAT	178.79
stmt32_329_378	UNSAT	180.79
stmt39_285_335	UNSAT	180.86
incrementer-enc08-uniform-depth-33	SAT	182.31
k_branch_n-20	SAT	182.63
unit11_3_b	UNSAT	191.76
stmt19_313_412	UNSAT	195.3
stmt2_976_999	SAT	196.67
cache-coherence-3-fixpoint-3	UNSAT	200.23
cache-coherence-2-fixpoint-5	UNSAT	200.99
cache-coherence-2-fixpoint-6	UNSAT	205.39
k_branch_n-21	SAT	207.91
stmt17_62_98	SAT	208.23
stmt17_70_98	SAT	217.88
k_branch_p-21	UNSAT	219
nusmv.tcas^2.B-f2	SAT	220.59
sdlx-fixpoint-4	UNSAT	229.19
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.32
nxquery_query50_1344n	SAT	234.47
stmt17_86_98	SAT	243.54
cycle_sched_6_6_2.sat	SAT	250.18
amba2f9n.sat	SAT	256.91
ttt_5x5-shape-1-GTTT-2-2-torus-0	SAT	260.79
cycle_sched_6_7_1.sat	SAT	271.64
klieber2017q-078-19-t1	UNSAT	295.58
incrementer-enc07-uniform-depth-25	UNSAT	300.51
cycle_sched_2_10_1.sat	SAT	318.17
usb-phy-fixpoint-5	UNSAT	324.66
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-008	UNSAT	327.79
sortnetsort9.v.stepl.007	SAT	342.13
small-seq-fixpoint-7	UNSAT	365
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.42
small-seq-fixpoint-5	UNSAT	386.22
pi-bus-fixpoint-2	UNSAT	393.49
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	402.06
cycle_sched_4_7_1.sat	SAT	402.07
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	UNSAT	416.66
ken.flash^08.C-d4	UNSAT	436.32
amba3b5y.sat	SAT	455.08
sortnetsort9.AE.stepl.012	UNSAT	459.82
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	492.22
sortnetsort9.AE.stepl.008	UNSAT	503.21
pipesnotankage16_10	UNSAT	510.07
sortnetsort9.AE.stepl.009	UNSAT	514.06
pipesnotankage15_10	UNSAT	514.96
pipesnotankage14_10	UNSAT	522.48
gttt_2_1_00011020_4x4_b	UNSAT	550.67
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	UNSAT	580.16
Q_2-3_v-80-100_r-11.0	UNSAT	604.79
c1_BMC_p2_k1024	UNSAT	625.85
ken.flash^05.C-d3	UNSAT	641.3
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	644.99
sortnetsort10.AE.stepl.005	SAT	672.57
c2_BMC_p1_k2048	SAT	713.76
ethernet-fixpoint-4	UNSAT	779.16
hex_hein_4x4_06	SAT	836.92
AR-fixpoint-10	FAIL	862.58
c1_Debug_s3_f2_e1_v1	FAIL	868.05
depots09_11	FAIL	868.43
c2_Debug_s3_f1_e1_v2	FAIL	871.53
AR-fixpoint-1	FAIL	872.35
AR-fixpoint-4	FAIL	878.98
c1_BMC_p1_k2048	FAIL	879.72
AR-fixpoint-8	FAIL	880.17
pipesnotankage18_8	FAIL	883.93
AR-fixpoint-2	FAIL	884.45
AR-fixpoint-6	FAIL	885.63
freecell03_5	FAIL	893.04
c1_Debug_s3_f2_e1_v2	FAIL	894.06
pipesnotankage19_9	FAIL	894.77
pipesnotankage18_7	FAIL	894.9
depots09_13	FAIL	895.58
freecell03_7	FAIL	897.89
oski3ub5i_c0to511.sat	FAIL	898.62
add6_CHOOSE	FAIL	898.76
klieber2017q-092-23-t1	FAIL	900
hex_rand_6x6-20m-5	FAIL	900
oski3ub5i_c0to63.sat	FAIL	900
small-seq-fixpoint-8	FAIL	900.01
UserServiceImpl	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	900.01
Q_2-3_v-80-100_r-11.5	FAIL	900.01
szymanski-20-s	FAIL	900.01
hex_rand_6x6-20m-7	FAIL	900.01
ActivityService	FAIL	900.01
network_ndis_coisdn_TpiParam.c	FAIL	900.01
hex_rand_6x6-20m-9	FAIL	900.01
test3_quant_squaring4	FAIL	900.01
hex_hein_4x4_07	FAIL	900.01
k_ph_p-15	FAIL	900.01
kmdf_osrusbfx2_exe_dump.c	FAIL	900.01
query03_query25_1344	FAIL	900.01
gttt_1_1_00101121_4x4_torus_w	FAIL	900.01
ken.flash^09.C-d4	FAIL	900.01
small-pipeline-fixpoint-3	FAIL	900.01
query44_query26_1344n	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	FAIL	900.01
filesys_fastfat_allocsup.c	FAIL	900.01
query64_query42_1344n	FAIL	900.01
kernel_agplib_intrface.c	FAIL	900.01
pi-bus-fixpoint-3	FAIL	900.01
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	900.01
query64_query01_1344n	FAIL	900.01
c4_Debug_s5_f2_e1_v3	FAIL	900.02
klieber2017q-086-21-t1	FAIL	900.02
c6_BMC_p1_k2048	FAIL	900.02
network_trans_sys_notify.c	FAIL	900.02
mult_bool_matrix_17_17_17.unsat	FAIL	900.02
klieber2017q-088-22-eq	FAIL	900.02
mult_bool_matrix_10_9_11.unsat	FAIL	900.02
add5_CHOOSE	FAIL	900.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-008	FAIL	900.02
input_mouser_detect.c	FAIL	900.02
neclaftp4001	FAIL	900.02
b21_C_3_206	FAIL	900.02
add6_COMPLETE	FAIL	900.02
adder-12-sat	FAIL	900.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	900.02
test4_quant_squaring4	FAIL	900.02
Adder2-16-s	FAIL	900.02
eequery_query64_1344n	FAIL	900.02
nreachq_query11_1344n	FAIL	900.02
reachqu_query71_1344	FAIL	900.02
test1_quant_squaring3	FAIL	900.02
reachqu_query64_1344	FAIL	900.02
freecell03_6	FAIL	900.02
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	900.02
small-equiv-fixpoint-2	FAIL	900.02
query71_query31_1344n	FAIL	900.02
eijk.bs4863.S-d4	FAIL	900.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	FAIL	900.02
k_ph_p-14	FAIL	900.02
Adder2-8-c	FAIL	900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	FAIL	900.02
small-equiv-fixpoint-1	FAIL	900.02
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900.03
cmu.dme2.B-f3	FAIL	900.03
eijk.bs1512.S-f4	FAIL	900.03
sortnetsort9.AE.stepl.007	FAIL	900.03
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900.03
klieber2017q-074-18-eq	FAIL	900.03
Adder2-8-s	FAIL	900.03
texas.PI_main^05.E-f3	FAIL	900.03
klieber2017q-076-19-eq	FAIL	900.03
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	900.03
sortnetsort10.AE.stepl.008	FAIL	900.03
add5_REDUCED	FAIL	900.03
ken.oop^2.C-d3	FAIL	900.03
klieber2017q-082-20-eq	FAIL	900.03
Adder2-10-s	FAIL	900.03
k_ph_p-12	FAIL	900.03
sdlx-fixpoint-10	FAIL	900.03
adder-12-unsat	FAIL	900.03
pipesnotankage17_5	FAIL	900.03
sdlx-fixpoint-7	FAIL	900.03
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900.03
sdlx-fixpoint-9	FAIL	900.03
freecell02_6	FAIL	900.03
small-seq-fixpoint-10	FAIL	900.03
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	900.03
add6_REDUCED	FAIL	900.03
query10_query36_1344	FAIL	900.03
amba4b9y.unsat	FAIL	900.03
eequery_query42_1344n	FAIL	900.03
klieber2017q-092-23-eq	FAIL	900.03
klieber2017q-088-22-t1	FAIL	900.03
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	900.03
pipesnotankage17_6	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	FAIL	900.04
query71_query36_1344n	FAIL	900.04
ActivityService2	FAIL	900.04
neclaftp2002	FAIL	900.04
b20_C_3_2	FAIL	900.04
IterationService	FAIL	900.04
k_ph_p-11	FAIL	900.04
klieber2017q-082-20-t1	FAIL	900.04
Q_2-3_v-80-100_r-11.9	FAIL	900.04
klieber2017q-096-24-t1	FAIL	900.04
hex_rand_6x6-20m-1	FAIL	900.04
test1_quant_squaring2	FAIL	900.04
add5_COMPLETE	FAIL	900.04
cmu.gigamax.B-d4	FAIL	900.04
ttt_5x5-shape-0-GTTT-2-1-torus-0	FAIL	900.04
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	900.04
filesys_smbmrx_midatlas.c	FAIL	900.04
query31_reachqu_1344n	FAIL	900.04
adder-10-sat	FAIL	900.05
hex_rand_6x6-20m-2	FAIL	900.05
klieber2017q-080-20-t1	FAIL	900.05
6s289rb05233_c0to63.sat	FAIL	900.05
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	900.05
hex_rand_6x6-20m-3	FAIL	900.05
test4_quant_squaring2	FAIL	900.05
ken.oop^2.C-d4	FAIL	900.05
genbuf9b4n.unsat	FAIL	900.05
query21_query58_1344n	FAIL	900.05
sdlx-fixpoint-5	FAIL	900.05
c4_Debug_s5_f2_e2_v2	FAIL	900.05
intermediate128	FAIL	900.05
c4_Debug_s3_f2_e2_v2	FAIL	900.05
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	900.05
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	900.05
genbuf10b4n.unsat	FAIL	900.05
reachqu_query64_1344n	FAIL	900.05
small-equiv-fixpoint-8	FAIL	900.05
PhaseService	FAIL	900.05
small-equiv-fixpoint-5	FAIL	900.05
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900.05
sdlx-fixpoint-8	FAIL	900.06
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	900.06
c1_Debug_s5_f1_e1_v2	FAIL	900.06
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	900.06
hex_rand_6x6-20m-0	FAIL	900.06
Adder2-16-c	FAIL	900.06
c4_Debug_s3_f2_e2_v3	FAIL	900.06
unit12_2_b	FAIL	900.06
small-seq-fixpoint-9	FAIL	900.06
adder-14-sat	FAIL	900.06
small-equiv-fixpoint-3	FAIL	900.06
klieber2017q-084-21-eq	FAIL	900.06
Adder2-14-s	FAIL	900.06
hex_rand_6x6-20m-8	FAIL	900.06
pipesnotankage19_7	FAIL	900.06
small-equiv-fixpoint-4	FAIL	900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	FAIL	900.06
nreachq_query54_1344n	FAIL	900.06
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900.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-009	FAIL	900.06
ken.flash^11.C-f3	FAIL	900.06
eijk.S713.S-f2	FAIL	900.06
oski3ub5i_c0to255.sat	FAIL	900.06
beemldelec4b1_c0to127.sat	FAIL	900.06
ConcreteActivityService	FAIL	900.07
unit8_2_b	FAIL	900.07
reachqu_query71_1344n	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.07
NotificationServiceImpl2	FAIL	900.07
query64_query11_1344n	FAIL	900.07
c4_Debug_s5_f2_e2_v3	FAIL	900.07
filesys_fastfat_write.c	FAIL	900.07
Q_2-3_v-80-100_r-11.8	FAIL	900.07
cycle_sched_6_7_1.unsat	FAIL	900.07
c2_Debug_s3_f2_e1_v3	FAIL	900.07
klieber2017q-080-20-eq	FAIL	900.07
Q_2-3_v-80-100_r-11.7	FAIL	900.07
audio_ddksynth_csynth2.cpp	FAIL	900.07
filesys_fastfat_cachesup.c	FAIL	900.08
klieber2017q-078-19-eq	FAIL	900.08
pipesnotankage17_7	FAIL	900.08
small-pipeline-fixpoint-2	FAIL	900.08
ttt_5x5-shape-0-GTTT-2-1-torus-1	FAIL	900.09
sdlx-fixpoint-6	FAIL	900.09
szymanski-24-s	FAIL	900.09
depots09_12	FAIL	900.09
IssueServiceImpl	FAIL	900.09
sortnetsort10.v.stepl.005	FAIL	900.09
k_ph_p-13	FAIL	900.09
Q_2-3_v-80-100_r-11.1	FAIL	900.09
genbuf9b4n.sat	FAIL	900.09
query42_query06_1344n	FAIL	900.09
klieber2017q-096-24-eq	FAIL	900.09
kmdf_osrusbfx2_exe_testapp.c	FAIL	900.09
intermediate256	FAIL	900.1
kmdf_usbsamp_sys_queue.c	FAIL	900.1
klieber2017q-086-21-eq	FAIL	900.1
eijk.S1196.S-f2	FAIL	900.1
cmu.dme1.B-f3	FAIL	900.11
hex_rand_6x6-20m-6	FAIL	900.12
unit6_3_b	FAIL	900.17

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf_pre_QxQBH QBFEVAL'19 - Prenex CNF Track

Instances solved by depqbf_pre_QxQBH
QBFEVAL'19 - Prenex CNF Track