Instances solved by <a href='solver_detail.php?solver=106'>depqbf-pre</a> <br> QBFEVAL'10

Instances solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

Instance	Result	Time
toilet_a_02_01.2	UNSAT	0
toilet_g_02_01.2	SAT	0
toilet_c_10_01.4	UNSAT	0
toilet_c_02_01.2	UNSAT	0
eijk.S208o.S-d4	SAT	0
toilet_c_04_01.4	UNSAT	0
toilet_a_02_10.2	SAT	0
toilet_g_04_01.2	SAT	0
aim-50-1_6-yes1-2-00	SAT	0.01
aim-50-1_6-yes1-1-90	UNSAT	0.01
toilet_a_04_10.2	SAT	0.01
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
toilet_g_08_01.2	SAT	0.01
toilet_c_04_10.2	SAT	0.01
toilet_c_06_10.2	SAT	0.01
toilet_c_08_10.2	SAT	0.01
toilet_c_08_01.4	UNSAT	0.01
cube_c3_ser--opt-6_	SAT	0.01
toilet_a_06_01.4	UNSAT	0.01
aim-50-1_6-yes1-2-50	SAT	0.01
toilet_c_06_01.5	UNSAT	0.01
toilet_g_20_01.2	SAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-002	UNSAT	0.01
aim-50-1_6-yes1-4-50	SAT	0.01
toilet_a_08_01.4	UNSAT	0.01
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-002	UNSAT	0.01
aim-50-2_0-yes1-2-50	UNSAT	0.01
aim-100-1_6-yes1-3-90	SAT	0.02
aim-50-2_0-yes1-3-90	UNSAT	0.02
impl18	SAT	0.02
aim-50-1_6-yes1-4-90	UNSAT	0.02
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
aim-50-1_6-yes1-1-00	SAT	0.02
toilet_c_10_10.2	SAT	0.02
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
aim-50-1_6-yes1-3-00	SAT	0.02
aim-50-3_4-yes1-2-90	SAT	0.02
aim-50-3_4-yes1-3-90	UNSAT	0.02
aim-50-2_0-yes1-1-90	UNSAT	0.02
toilet_a_06_10.2	SAT	0.02
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-002	UNSAT	0.02
texas.ifetch1^4.E-f4	UNSAT	0.02
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.02
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.02
toilet_c_08_05.6	SAT	0.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.02
aim-100-1_6-yes1-3-50	UNSAT	0.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.02
toilet_c_08_01.16	SAT	0.02
ii8a1-90	SAT	0.02
k_poly_n-20	SAT	0.02
aim-50-6_0-yes1-4-90	SAT	0.02
aim-100-2_0-yes1-2-50	SAT	0.02
k_poly_n-13	SAT	0.02
par8-4-c-90	SAT	0.03
k_poly_n-21	SAT	0.03
Core1108_tbm_21.tex.module.000091	UNSAT	0.03
k_poly_n-12	SAT	0.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-002	UNSAT	0.03
aim-100-2_0-yes1-2-90	UNSAT	0.03
k_poly_p-19	UNSAT	0.03
BLOCKS3iii.5	SAT	0.03
aim-100-3_4-yes1-1-90	SAT	0.03
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-002	UNSAT	0.03
aim-50-6_0-yes1-3-50	UNSAT	0.04
toilet_c_10_05.7	SAT	0.04
k_poly_p-21	UNSAT	0.04
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-002	UNSAT	0.04
toilet_c_08_05.8	SAT	0.04
par8-3-c-00	SAT	0.04
Core1108_tbm_03.tex.module.000023	UNSAT	0.04
par8-1-c-50	UNSAT	0.04
par8-5-c-90	UNSAT	0.04
lut4_AND_f1	SAT	0.04
ssa7552-159-00	SAT	0.04
toilet_c_08_05.9	SAT	0.04
par8-2-c-50	UNSAT	0.04
toilet_c_08_05.7	SAT	0.04
par8-3-c-90	UNSAT	0.04
ring_r4_ser--opt-11_	UNSAT	0.04
Core1108_tbm_21.tex.module.000027	UNSAT	0.04
Core1108_tbm_03.tex.module.000021	UNSAT	0.05
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.05
toilet_c_08_05.10	SAT	0.05
Core1108_tbm_21.tex.module.000026	UNSAT	0.05
Core1108_tbm_03.tex.module.000048	UNSAT	0.05
Core1108_tbm_21.tex.module.000023	UNSAT	0.06
toilet_c_10_05.9	SAT	0.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf00.01X-QBF.BB1-01X.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.06
toilet_c_10_05.11	SAT	0.06
aim-200-1_6-yes1-2-90	UNSAT	0.06
aim-200-1_6-yes1-4-90	SAT	0.06
lut4_XOR_fOR	UNSAT	0.06
toilet_a_10_01.5	UNSAT	0.07
vis.elevator^1.E-f2	UNSAT	0.07
Core1108_tbm_03.tex.module.000019	UNSAT	0.07
vis.emodel.E-f4	UNSAT	0.07
toilet_c_10_05.12	SAT	0.07
Umbrella_tbm_05.tex.module.000079	UNSAT	0.08
toilet_a_08_10.2	SAT	0.08
k3_1_2	SAT	0.09
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	0.09
aim-200-2_0-yes1-2-90	UNSAT	0.09
Core1108_tbm_03.tex.module.000003	UNSAT	0.09
Core1108_tbm_03.tex.moduleQ3.2S.000003	UNSAT	0.09
Core1108_tbm_03.tex.moduleQ3.2S.000048	UNSAT	0.09
Core1108_tbm_09.tex.module.000033	UNSAT	0.09
Core1108_tbm_09.tex.module.000028	UNSAT	0.09
aim-100-6_0-yes1-3-90	UNSAT	0.1
Core1108_tbm_03.tex.moduleQ3.2S.000018	UNSAT	0.1
Core1108_tbm_21.tex.module.000017	UNSAT	0.1
k_lin_p-8	UNSAT	0.1
BLOCKS3ii.5.2	UNSAT	0.1
Core1108_tbm_03.tex.moduleQ3.2S.000009	UNSAT	0.1
aim-100-6_0-yes1-1-90	UNSAT	0.11
toilet_c_10_01.11	UNSAT	0.11
jnh218-00	SAT	0.11
aim-100-6_0-yes1-4-90	SAT	0.12
jnh218-90	SAT	0.12
vis.prodcell^09.E-f2	UNSAT	0.12
Umbrella_tbm_26.tex.module.000004	UNSAT	0.13
connect_5x4_4_W	UNSAT	0.13
Umbrella_tbm_05.tex.module.000065	UNSAT	0.14
jnh207-90	SAT	0.16
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSAT	0.16
Core1108_tbm_02.tex.moduleQ3.2S.000095	UNSAT	0.16
Core1108_tbm_02.tex.moduleQ3.2S.000108	UNSAT	0.16
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSAT	0.17
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.17
aim-200-3_4-yes1-4-90	SAT	0.17
Umbrella_tbm_05.tex.module.000043	UNSAT	0.18
Core1108_tbm_02.tex.moduleQ3.2S.000026	UNSAT	0.18
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.19
toilet_a_10_01.11	UNSAT	0.19
jnh1-50	SAT	0.2
Core1108_tbm_02.tex.moduleQ3.2S.000056	UNSAT	0.2
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.2
c4_BMC_p1_k512	SAT	0.2
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	0.22
k_ph_n-8	SAT	0.22
Umbrella_tbm_05.tex.module.000015	UNSAT	0.22
Umbrella_tbm_05.tex.module.000030	UNSAT	0.23
sortnetsort5.v.stepl.007	SAT	0.25
nusmv.reactor^5.C-f4	UNSAT	0.26
Umbrella_tbm_26.tex.moduleQ3.2S.000037	UNSAT	0.28
Umbrella_tbm_25.tex.module.000003	UNSAT	0.28
ken.flash^10.C-f4	UNSAT	0.32
Umbrella_tbm_26.tex.moduleQ3.2S.000041	UNSAT	0.33
aim-200-3_4-yes1-1-90	SAT	0.33
Umbrella_tbm_26.tex.moduleQ3.2S.000009	UNSAT	0.34
k_lin_p-12	UNSAT	0.36
sortnetsort6.v.stepl.003	UNSAT	0.36
Umbrella_tbm_14.tex.moduleQ2.1S.000787	UNSAT	0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000014	UNSAT	0.36
Umbrella_tbm_26.tex.moduleQ3.2S.000020	UNSAT	0.36
ev-pr-4x4-5-3-0-0-1-lg	SAT	0.37
Umbrella_tbm_25.tex.module.000099	UNSAT	0.38
Umbrella_tbm_14.tex.moduleQ2.1S.000792	UNSAT	0.38
Umbrella_tbm_21.tex.module.000044	UNSAT	0.39
c4_BMC_p1_k1024	SAT	0.4
par8-4-90	UNSAT	0.42
vis.prodcell^04.E-f4	UNSAT	0.44
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	0.45
par8-2-90	UNSAT	0.46
vis.prodcell^05.E-f4	UNSAT	0.46
Umbrella_tbm_21.tex.module.000139	UNSAT	0.47
connect_6x5_4_D	UNSAT	0.51
Umbrella_tbm_14.tex.moduleQ2.1S.000749	UNSAT	0.51
ii32c1-50	SAT	0.55
vis.prodcell^08.E-f4	UNSAT	0.57
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.59
k_ph_n-9	SAT	0.59
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	0.6
k_lin_p-16	UNSAT	0.74
c6_BMC_p2_k64	UNSAT	0.79
Umbrella_tbm_25.tex.moduleQ3.2S.000052	UNSAT	0.8
c4_BMC_p1_k2048	SAT	0.8
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	0.89
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	0.92
c6_BMC_p2_k128	UNSAT	0.94
Umbrella_tbm_25.tex.moduleQ3.2S.000120	UNSAT	1.03
Core1108_tbm_21.tex.module.000014	UNSAT	1.14
Umbrella_tbm_14.tex.moduleQ2.1S.000808	UNSAT	1.2
Umbrella_tbm_14.tex.moduleQ2.1S.000773	UNSAT	1.23
k_ph_n-10	SAT	1.25
c6_BMC_p1_k256	SAT	1.36
ii32e1-00	SAT	1.42
Umbrella_tbm_14.tex.moduleQ2.1S.000757	UNSAT	1.44
Umbrella_tbm_14.tex.moduleQ2.2S.000002	UNSAT	1.49
szymanski-10-s	UNSAT	1.5
Umbrella_tbm_14.tex.moduleQ2.2S.000001	UNSAT	1.52
connect_7x6_6_W	UNSAT	1.52
par16-1-c-00	SAT	1.54
toilet_a_10_10.2	SAT	1.68
toilet_c_08_01.13	UNSAT	1.71
Umbrella_tbm_14.tex.moduleQ2.1S.000812	UNSAT	1.79
ssa7552-159-90	SAT	1.79
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSAT	1.85
lognBWLARGEB1	UNSAT	1.98
ii8a1-00	SAT	2.06
k_lin_p-21	UNSAT	2.06
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	2.18
Core1108_tbm_21.tex.moduleQ3.2S.000002	UNSAT	2.55
ev-pr-4x4-9-3-0-0-1-lg	SAT	2.55
Umbrella_tbm_14.tex.moduleQ2.1S.000720	UNSAT	2.58
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	2.58
Core1108_tbm_21.tex.moduleQ3.2S.000011	UNSAT	2.94
Core1108_tbm_09.tex.moduleQ3.2S.000010	UNSAT	2.96
counter_8	SAT	2.98
TOILET7.1.iv.14	SAT	3
Core1108_tbm_21.tex.moduleQ3.2S.000024	UNSAT	3.22
vis.coherence^1.E-d4	SAT	3.29
ssa7552-160-50	SAT	3.35
Core1108_tbm_21.tex.moduleQ3.2S.000015	UNSAT	3.36
Umbrella_tbm_23.tex.moduleQ1.2S.000001	SAT	3.55
Core1108_tbm_21.tex.moduleQ3.2S.000019	UNSAT	3.61
k_d4_p-6	UNSAT	4.01
c6_BMC_p1_k1024	SAT	4.42
ii32e1-50	SAT	4.44
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	4.54
connect_8x7_7_D	UNSAT	4.73
Umbrella_tbm_29.tex.module.000078	SAT	5.28
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	5.31
Core1108_tbm_03.tex.module.000038	UNSAT	5.33
Umbrella_tbm_29.tex.module.000010	SAT	5.91
Umbrella_tbm_24.tex.module.000131	SAT	6.4
Umbrella_tbm_29.tex.module.000009	SAT	6.69
Umbrella_tbm_24.tex.module.000066	SAT	7.19
Umbrella_tbm_24.tex.module.000103	SAT	7.34
k_grz_n-10	SAT	7.38
irst.dme4.B-d4	SAT	7.59
k_grz_p-10	UNSAT	8.33
c6_BMC_p2_k2048	UNSAT	8.37
k_grz_n-13	SAT	9.37
k_ph_p-8	UNSAT	9.67
Core1108_tbm_09.tex.moduleQ3.2S.000005	UNSAT	9.81
Umbrella_tbm_25.tex.module.000087	UNSAT	10.09
CHAIN23v.24	SAT	10.09
c3_BMC_p2_k2048	UNSAT	10.32
connect_9x8_8_D	UNSAT	10.49
Core1108_tbm_09.tex.moduleQ3.2S.000003	UNSAT	10.95
cube_c9_par--opt-11_	SAT	11.02
Core1108_tbm_09.tex.moduleQ3.2S.000007	UNSAT	11.18
Core1108_tbm_28.tex.moduleQ2.2S.000003	SAT	11.63
k_ph_n-13	SAT	11.99
Umbrella_tbm_25.tex.module.000084	UNSAT	12.05
connect_8x7_3_D	UNSAT	12.52
vis.prodcell^01.E-d4	SAT	13.51
BLOCKS3i.5.3	UNSAT	14.75
c3_BMC_p2_k1024	UNSAT	14.84
Umbrella_tbm_29.tex.moduleQ2.2S.000001	SAT	15.25
vonNeumann-ripple-carry-13-c	UNSAT	17.74
c3_BMC_p2_k512	UNSAT	18.94
Umbrella_tbm_24.tex.moduleQ2.1S.000136	SAT	19.31
Umbrella_tbm_24.tex.moduleQ2.1S.000188	SAT	19.7
connect_9x8_6_D	UNSAT	19.91
Core1108_tbm_03.tex.module.000039	UNSAT	20.17
toilet_c_10_01.20	SAT	20.66
irst.dme5.B-d4	SAT	20.88
s3330_d10_u	FAIL	23.95
s3330_d4_s	FAIL	24.19
k_lin_n-9	SAT	24.78
Umbrella_tbm_24.tex.moduleQ2.1S.000022	SAT	25.39
connect_5x4_3_R	UNSAT	26.38
s510_d31_s	FAIL	27.27
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-003	UNSAT	28.08
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	28.35
k_ph_n-14	SAT	30.38
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-003	UNSAT	32.4
Umbrella_tbm_14.tex.moduleQ2.2S.000003	SAT	33.86
k_dum_p-11	UNSAT	35.83
TOILET10.1.iv.20	SAT	38.39
Adder2-6-c	UNSAT	39.13
vonNeumann-ripple-carry-15-c	UNSAT	46.5
k_ph_n-15	SAT	55.14
k_lin_n-10	SAT	62.28
emptyroom_e3_ser--opt-20_	SAT	64.66
Core1108_tbm_03.tex.module.000065	SAT	65.59
Core1108_tbm_09.tex.module.000010	SAT	66.62
Core1108_tbm_03.tex.module.000034	SAT	67.76
Core1108_tbm_03.tex.module.000037	SAT	68.01
Core1108_tbm_03.tex.module.000092	SAT	68.62
Core1108_tbm_03.tex.module.000058	SAT	70.08
Core1108_tbm_03.tex.module.000031	SAT	70.08
k_branch_n-4	SAT	70.87
Core1108_tbm_03.tex.module.000056	SAT	71.43
Core1108_tbm_03.tex.module.000064	SAT	72.69
Core1108_tbm_03.tex.module.000090	SAT	75.69
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	76.25
Core1108_tbm_03.tex.module.000057	SAT	77.04
toilet_c_10_01.15	UNSAT	83.08
Core1108_tbm_09.tex.module.000008	SAT	86.6
Core1108_tbm_09.tex.module.000009	SAT	87.07
sortnetsort7.v.stepl.004	UNSAT	90.47
Core1108_tbm_21.tex.module.000030	SAT	92.87
Core1108_tbm_21.tex.module.000009	SAT	95.55
c1_BMC_p2_k8	UNSAT	96.63
Umbrella_tbm_05.tex.module.000088	SAT	97.14
Core1108_tbm_21.tex.module.000008	SAT	106.01
Umbrella_tbm_26.tex.module.000041	SAT	106.22
k4_2_2	SAT	106.24
TOILET7.1.iv.13	UNSAT	108.8
Core1108_tbm_21.tex.module.000010	SAT	109.27
Core1108_tbm_03.tex.moduleQ3.2S.000011	SAT	110.28
k_t4p_p-4	UNSAT	112.46
Umbrella_tbm_26.tex.module.000061	SAT	118.65
k_branch_p-4	UNSAT	120.72
k_lin_n-13	SAT	126.28
Umbrella_tbm_26.tex.module.000021	SAT	126.41
blocks_enc_2_b3_ser--opt-9_	SAT	128.67
Umbrella_tbm_05.tex.module.000064	SAT	135.88
Umbrella_tbm_05.tex.module.000053	SAT	139.96
Umbrella_tbm_05.tex.module.000011	SAT	146.66
Umbrella_tbm_21.tex.module.000069	SAT	148.34
Umbrella_tbm_21.tex.module.000134	SAT	151.57
k_grz_p-17	UNSAT	153.31
k_lin_n-14	SAT	156.82
Umbrella_tbm_21.tex.module.000129	SAT	159.12
Umbrella_tbm_21.tex.module.000056	SAT	161.7
k_grz_n-14	SAT	162.94
Umbrella_tbm_05.tex.module.000039	SAT	165.03
Umbrella_tbm_21.tex.module.000079	SAT	165.21
ii8c1-90	SAT	165.81
Umbrella_tbm_21.tex.module.000029	SAT	167.36
Core1108_tbm_21.tex.moduleQ3.2S.000007	SAT	167.93
Umbrella_tbm_21.tex.module.000024	SAT	171.09
Umbrella_tbm_21.tex.module.000149	SAT	172.46
Umbrella_tbm_25.tex.module.000106	SAT	174.89
Umbrella_tbm_21.tex.module.000049	SAT	176.51
k_ph_p-9	UNSAT	185.5
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	SAT	186.44
Umbrella_tbm_25.tex.module.000121	SAT	196.24
lut4_2_f2	UNSAT	202.7
Core1108_tbm_02.tex.moduleQ3.2S.000077	SAT	203.1
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	204.85
Umbrella_tbm_05.tex.module.000025	SAT	205.5
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	208.58
Core1108_tbm_21.tex.moduleQ3.2S.000014	SAT	221.78
Umbrella_tbm_25.tex.module.000041	SAT	227.55
Umbrella_tbm_25.tex.module.000031	SAT	232.19
Core1108_tbm_21.tex.moduleQ3.2S.000027	SAT	236.87
Core1108_tbm_02.tex.moduleQ3.2S.000007	SAT	241.97
Adder2-4-s	SAT	261
k_dum_p-13	UNSAT	264.94
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	285.53
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	SAT	325.82
Core1108_tbm_09.tex.moduleQ3.9S.000001	SAT	386.22
TOILET16.1.iv.32	SAT	414.23
k_d4_p-7	UNSAT	415.21
Core1108_tbm_09.tex.moduleQ3.10S.000001	SAT	420.44
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	431.97
Core1108_tbm_09.tex.moduleQ3.2S.000011	SAT	435.21
Umbrella_tbm_25.tex.moduleQ3.2S.000063	SAT	552.64
counter_r_8	SAT	609.04
c1_BMC_p2_k128	UNSAT	615.03
c1_BMC_p2_k1024	UNSAT	733.27
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	853.32
k_lin_n-21	SAT	856.01
BLOCKS4ii.7.2	UNSAT	1163.62
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	1198.06
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-003	FAIL	1199.08
adder-4-sat	FAIL	1199.34
s1269_d3_s	FAIL	1199.99
nusmv.syncarb5^2.B-f4	FAIL	1200.1
adder-14-unsat	FAIL	1200.12
ev-pr-4x4-17-3-0-0-1-s	FAIL	1200.13
k_d4_n-17	FAIL	1200.13
BLOCKS4iii.7	FAIL	1200.14
adder-16-unsat	FAIL	1200.14
k_path_n-20	FAIL	1200.14
k_t4p_n-17	FAIL	1200.14
k_branch_p-11	FAIL	1200.14
ken.flash^14.C-d4	FAIL	1200.14
sortnetsort9.v.stepl.012	FAIL	1200.14
blocks_enc_2_b4_ser--opt-26_	FAIL	1200.14
C499.blif_0.10_1.00_0_0_out_exact	FAIL	1200.15
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	1200.15
nusmv.queue.B-d4	FAIL	1200.15
k_d4_p-21	FAIL	1200.15
cube_c5_ser---14_	FAIL	1200.15
test5_quant5	FAIL	1200.15
c5_BMC_p1_k32	FAIL	1200.15
c4_BMC_p2_k2048	FAIL	1200.15
c4_Debug_s3_f1_e2_v3	FAIL	1200.15
vis.arbiter.E-f4	FAIL	1200.15
k_t4p_p-21	FAIL	1200.15
ring_r6_ser---16_	FAIL	1200.16
adder-10-unsat	FAIL	1200.16
vis.prodcell^23.E-f4	FAIL	1200.16
k_dum_p-16	FAIL	1200.16
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	1200.16
emptyroom_e4_ser--opt-44_	FAIL	1200.16
emptyroom_e4_par---21_	FAIL	1200.16
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	1200.16
s820_d6_s	FAIL	1200.16
ev-pr-4x4-13-3-0-0-1-s	FAIL	1200.16
sortnetsort8.v.stepl.008	FAIL	1200.16
Adder2-10-s	FAIL	1200.16
k_path_n-21	FAIL	1200.16
ring_r7_ser---19_	FAIL	1200.16
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-009	FAIL	1200.16
k_branch_p-8	FAIL	1200.16
sortnetsort10.v.stepl.012	FAIL	1200.16
vis.prodcell^24.E-f3	FAIL	1200.16
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	1200.16
szymanski-24-s	FAIL	1200.16
emptyroom_e3_ser---19_	FAIL	1200.16
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-004	FAIL	1200.16
c2_Debug_s5_f1_e1_v3	FAIL	1200.16
k_t4p_n-12	FAIL	1200.16
Adder2-6-s	FAIL	1200.16
k_grz_p-21	FAIL	1200.16
k_t4p_p-8	FAIL	1200.16
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-002	FAIL	1200.16
counter_e_8	FAIL	1200.16
k_ph_p-12	FAIL	1200.16
ev-pr-4x4-9-3-0-0-1-s	FAIL	1200.16
test3_quant2	FAIL	1200.16
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	1200.16
C432.blif_0.10_0.20_0_0_out_exact	FAIL	1200.16
adder-8-sat	FAIL	1200.16
cube_c7_ser---23_	FAIL	1200.16
k_t4p_p-20	FAIL	1200.16
texas.ifetch1^9.E-f4	FAIL	1200.16
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	1200.16
cube_c11_par---13_	FAIL	1200.16
test5_quant_squaring5	FAIL	1200.16
c4_Debug_s3_f2_e1_v3	FAIL	1200.16
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-003	FAIL	1200.16
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	1200.16
eijk.S1423.S-d4	FAIL	1200.16
k_d4_p-11	FAIL	1200.16
eijk.S298.S-f2	FAIL	1200.16
k_d4_p-10	FAIL	1200.16
adder-8-unsat	FAIL	1200.16
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-004	FAIL	1200.16
k_dum_n-10	FAIL	1200.16
k_d4_n-7	FAIL	1200.16
adder-6-sat	FAIL	1200.16
eijk.S382.S-f4	FAIL	1200.16
eijk.S208o.S-f4	FAIL	1200.16
cmu.periodic.N-f4	FAIL	1200.16
eijk.S1238.S-d3	FAIL	1200.16
ring_r6_ser--opt-17_	FAIL	1200.16
k_dum_p-21	FAIL	1200.16
nusmv.dme1-16.B-d4	FAIL	1200.16
k_ph_p-11	FAIL	1200.16
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-007	FAIL	1200.16
k_path_p-10	FAIL	1200.16
k_path_p-9	FAIL	1200.16
nusmv.reactor^2.C-d4	FAIL	1200.16
eijk.S526.S-f4	FAIL	1200.16
k_branch_n-5	FAIL	1200.16
k5_3_2	FAIL	1200.16
k_t4p_n-4	FAIL	1200.16
k_branch_p-16	FAIL	1200.16
C432.blif_0.10_0.20_0_1_out_exact	FAIL	1200.16
s298_d2_s	FAIL	1200.16
nusmv.tcas^2.B-f2	FAIL	1200.16
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-003	FAIL	1200.16
k_t4p_n-21	FAIL	1200.16
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	1200.16
k_d4_n-16	FAIL	1200.16
k_d4_n-21	FAIL	1200.16
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-004	FAIL	1200.17
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	FAIL	1200.17
ev-pr-4x4-7-3-0-0-1-s	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	1200.17
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-010	FAIL	1200.17
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-010	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-004	FAIL	1200.17
adder-14-sat	FAIL	1200.17
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-006	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	FAIL	1200.17
s27_d5_u	FAIL	1200.17
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	1200.17
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-003	FAIL	1200.17
k_path_p-16	FAIL	1200.17
ev-pr-4x4-15-3-0-0-1-s	FAIL	1200.17
adder-10-sat	FAIL	1200.17
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	FAIL	1200.17
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-003	FAIL	1200.17
k_d4_n-11	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-010	FAIL	1200.17
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-008	FAIL	1200.17
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-003	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	FAIL	1200.17
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-007	FAIL	1200.17
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-003	FAIL	1200.17
k_grz_n-21	FAIL	1200.17
nusmv.tcas-t^6.B-f3	FAIL	1200.17
k_path_p-21	FAIL	1200.17
k_d4_n-19	FAIL	1200.17
nusmv.tcas-t^5.B-f2	FAIL	1200.17
k_d4_n-18	FAIL	1200.17
k_branch_p-6	FAIL	1200.17
nusmv.tcas^4.B-f3	FAIL	1200.17
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-009	FAIL	1200.17
ev-pr-4x4-5-3-0-0-1-s	FAIL	1200.17
k_branch_p-14	FAIL	1200.17
k_branch_n-8	FAIL	1200.17
adder-12-unsat	FAIL	1200.17
c3_BMC_p1_k256	FAIL	1200.17
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-006	FAIL	1200.17
k_dum_n-21	FAIL	1200.17
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	1200.17
k_d4_n-14	FAIL	1200.17
adder-12-sat	FAIL	1200.17
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	1200.17
k_t4p_p-12	FAIL	1200.17
k_path_n-10	FAIL	1200.17
ev-pr-4x4-11-3-0-0-1-s	FAIL	1200.17
cmu.periodic.N-d4	FAIL	1200.17
nusmv.reactor^1.C-d4	FAIL	1200.17
k_d4_n-15	FAIL	1200.17
f600-00	FAIL	1200.17
k_d4_n-20	FAIL	1200.17
cmu.dme1.B-f4	FAIL	1200.17
c4_Debug_s3_f1_e1_v3	FAIL	1200.17
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	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-008	FAIL	1200.18
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	FAIL	1200.18
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-005	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	FAIL	1200.18
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	FAIL	1200.18
ii8d1-00	FAIL	1200.18
cmu.periodic.N-d2	FAIL	1200.18
s713_d3_s	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-003	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-005	FAIL	1200.18
s298_d9_s	FAIL	1200.18
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-006	FAIL	1200.18
connect_6x5_5_R	FAIL	1200.18
ssa7552-159-50	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-005	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	1200.18
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-007	FAIL	1200.18
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-004	FAIL	1200.18
k_branch_n-20	FAIL	1200.18
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-009	FAIL	1200.18
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	1200.18
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-007	FAIL	1200.18
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-008	FAIL	1200.18
ev-pr-4x4-17-3-0-0-1-lg	FAIL	1200.18
s1196_d3_u	FAIL	1200.18
connect_9x8_3_R	FAIL	1200.19
s713_d5_s	FAIL	1200.19
s298_d5_s	FAIL	1200.19
s499_d4_s	FAIL	1200.19
ev-pr-6x6-15-5-0-1-2-lg	FAIL	1200.19
k_branch_p-17	FAIL	1200.19
ev-pr-8x8-11-7-0-1-2-lg	FAIL	1200.19
connect_7x6_4_R	FAIL	1200.19
c1_BMC_p1_k2048	FAIL	1200.19
ev-pr-6x6-13-5-0-1-2-lg	FAIL	1200.19
s298_d11_s	FAIL	1200.19
s820_d7_s	FAIL	1200.19
s510_d4_s	FAIL	1200.19
ev-pr-8x8-13-7-0-1-2-lg	FAIL	1200.2
s386_d12_u	FAIL	1200.2
c3_Debug_s3_f2_e2_v2	FAIL	1200.2
s510_d12_s	FAIL	1200.21
s499_d15_s	FAIL	1200.21
counter_32	FAIL	1200.21
ev-pr-8x8-19-7-0-1-2-lg	FAIL	1200.22
ev-pr-6x6-5-5-0-1-2-s	FAIL	1200.22
ev-pr-6x6-7-5-0-1-2-s	FAIL	1200.24

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by depqbf-pre QBFEVAL'10 - Competitive Track.

Instances solved by depqbf-pre
QBFEVAL'10 - Competitive Track.