Instances solved by <a href='solver_detail.php?solver=112'>QuBE7-c</a> <br> QBFEVAL'10

Instances solved by QuBE7-c
QBFEVAL'10 - Competitive Track.

Instance	Result	Time
toilet_g_02_01.2	SAT	0
toilet_g_04_01.2	SAT	0
toilet_c_02_01.2	UNSAT	0
impl18	SAT	0.01
toilet_a_02_10.2	SAT	0.01
toilet_a_02_01.2	UNSAT	0.01
toilet_c_06_01.5	UNSAT	0.01
toilet_g_08_01.2	SAT	0.01
toilet_c_08_01.4	UNSAT	0.02
toilet_c_04_01.4	UNSAT	0.02
ring_r4_ser--opt-11_	UNSAT	0.02
eijk.S208o.S-d4	SAT	0.02
toilet_c_04_10.2	SAT	0.02
toilet_c_06_10.2	SAT	0.02
aim-50-1_6-yes1-2-50	SAT	0.02
toilet_g_20_01.2	SAT	0.02
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.02
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.02
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.02
toilet_a_04_10.2	SAT	0.02
toilet_c_10_01.4	UNSAT	0.02
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	UNSAT	0.02
aim-50-1_6-yes1-1-90	UNSAT	0.03
aim-50-1_6-yes1-2-00	SAT	0.03
toilet_a_06_01.4	UNSAT	0.03
aim-50-1_6-yes1-3-00	SAT	0.03
aim-50-1_6-yes1-4-90	UNSAT	0.03
toilet_c_08_01.16	SAT	0.03
aim-50-2_0-yes1-1-90	UNSAT	0.03
aim-50-2_0-yes1-3-90	UNSAT	0.03
aim-50-1_6-yes1-1-00	SAT	0.03
aim-50-2_0-yes1-2-50	UNSAT	0.04
aim-50-1_6-yes1-4-50	SAT	0.04
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.04
k_poly_n-12	SAT	0.04
s27_d5_u	UNSAT	0.04
cube_c3_ser--opt-6_	SAT	0.04
toilet_c_10_01.11	UNSAT	0.04
toilet_c_10_01.20	SAT	0.04
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.05
toilet_a_06_10.2	SAT	0.05
k_poly_n-13	SAT	0.05
aim-50-3_4-yes1-3-90	UNSAT	0.05
comp.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.05
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.05
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.06
aim-50-3_4-yes1-2-90	SAT	0.06
aim-100-1_6-yes1-3-90	SAT	0.06
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.06
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.06
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.07
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.07
k_poly_n-20	SAT	0.07
k_poly_p-19	UNSAT	0.07
Core1108_tbm_21.tex.module.000091	UNSAT	0.08
k_lin_p-8	UNSAT	0.08
s298_d2_s	SAT	0.08
k_poly_p-21	UNSAT	0.08
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	0.08
toilet_c_08_05.8	SAT	0.08
k_poly_n-21	SAT	0.09
irst.dme4.B-d4	SAT	0.09
k3_1_2	SAT	0.1
aim-100-2_0-yes1-2-50	SAT	0.1
toilet_c_08_10.2	SAT	0.1
Core1108_tbm_03.tex.module.000021	UNSAT	0.1
Core1108_tbm_21.tex.module.000027	UNSAT	0.1
Core1108_tbm_03.tex.module.000023	UNSAT	0.11
aim-100-2_0-yes1-2-90	UNSAT	0.11
Core1108_tbm_21.tex.module.000023	UNSAT	0.11
k_ph_n-8	SAT	0.11
aim-100-1_6-yes1-3-50	UNSAT	0.11
aim-50-6_0-yes1-4-90	SAT	0.11
par8-4-c-90	SAT	0.12
Core1108_tbm_21.tex.module.000026	UNSAT	0.12
BLOCKS3iii.5	SAT	0.12
lut4_XOR_fOR	UNSAT	0.12
CHAIN23v.24	SAT	0.13
aim-50-6_0-yes1-3-50	UNSAT	0.13
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	0.13
ssa7552-159-00	SAT	0.14
aim-100-3_4-yes1-1-90	SAT	0.14
Core1108_tbm_03.tex.module.000048	UNSAT	0.14
irst.dme5.B-d4	SAT	0.14
par8-1-c-50	UNSAT	0.14
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	0.15
toilet_c_08_05.10	SAT	0.15
toilet_c_08_05.6	SAT	0.16
toilet_c_08_05.9	SAT	0.16
Core1108_tbm_21.tex.module.000017	UNSAT	0.16
par8-3-c-00	SAT	0.16
k_lin_p-12	UNSAT	0.16
Core1108_tbm_03.tex.module.000019	UNSAT	0.16
par8-2-c-50	UNSAT	0.17
k_dum_n-10	SAT	0.18
C880.blif_0.10_1.00_0_1_out_exact	SAT	0.18
k_ph_n-9	SAT	0.18
Core1108_tbm_03.tex.module.000003	UNSAT	0.18
ii8a1-90	SAT	0.19
par8-5-c-90	UNSAT	0.19
eijk.S298.S-f2	SAT	0.19
par8-3-c-90	UNSAT	0.2
cmu.periodic.N-d2	SAT	0.2
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	UNSAT	0.21
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	UNSAT	0.21
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.22
Core1108_tbm_09.tex.module.000028	UNSAT	0.22
aim-200-1_6-yes1-2-90	UNSAT	0.23
connect_5x4_4_W	UNSAT	0.24
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	UNSAT	0.24
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	UNSAT	0.24
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	UNSAT	0.25
Core1108_tbm_09.tex.module.000033	UNSAT	0.25
texas.ifetch1^9.E-f4	SAT	0.26
vis.emodel.E-f4	UNSAT	0.27
aim-200-1_6-yes1-4-90	SAT	0.28
vis.elevator^1.E-f2	UNSAT	0.28
Umbrella_tbm_05.tex.module.000065	UNSAT	0.29
Umbrella_tbm_05.tex.module.000079	UNSAT	0.29
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	0.3
texas.ifetch1^4.E-f4	UNSAT	0.3
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	UNSAT	0.3
k_lin_p-16	UNSAT	0.31
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.32
BLOCKS3ii.5.2	UNSAT	0.32
k_ph_n-10	SAT	0.32
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	UNSAT	0.32
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	UNSAT	0.34
toilet_c_08_01.13	UNSAT	0.34
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	UNSAT	0.35
k_lin_p-21	UNSAT	0.35
toilet_a_08_01.4	UNSAT	0.4
Umbrella_tbm_05.tex.module.000043	UNSAT	0.4
aim-100-6_0-yes1-3-90	UNSAT	0.4
aim-100-6_0-yes1-4-90	SAT	0.41
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.41
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	UNSAT	0.41
aim-100-6_0-yes1-1-90	UNSAT	0.42
Umbrella_tbm_26.tex.module.000004	UNSAT	0.43
k_branch_p-4	UNSAT	0.43
nusmv.syncarb5^2.B-f4	SAT	0.45
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	UNSAT	0.47
aim-200-3_4-yes1-4-90	SAT	0.48
toilet_a_08_10.2	SAT	0.48
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	UNSAT	0.48
ii8a1-00	SAT	0.5
C6288.blif_0.10_1.00_0_1_out_exact	SAT	0.5
sortnetsort6.v.stepl.003	UNSAT	0.51
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	UNSAT	0.52
toilet_c_08_05.7	SAT	0.53
Umbrella_tbm_05.tex.module.000030	UNSAT	0.53
aim-200-3_4-yes1-1-90	SAT	0.55
k_lin_n-9	SAT	0.55
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	UNSAT	0.6
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	UNSAT	0.62
k_ph_p-8	UNSAT	0.62
nusmv.dme1-16.B-d4	SAT	0.63
Umbrella_tbm_05.tex.module.000015	UNSAT	0.65
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	0.67
counter_8	SAT	0.69
aim-200-2_0-yes1-2-90	UNSAT	0.7
k_lin_n-10	SAT	0.7
cmu.periodic.N-d4	SAT	0.75
jnh218-90	SAT	0.76
vis.prodcell^09.E-f2	UNSAT	0.76
jnh207-90	SAT	0.83
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	UNSAT	0.83
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	0.88
ken.flash^10.C-f4	UNSAT	0.92
k_t4p_p-4	UNSAT	0.96
k_d4_p-6	UNSAT	0.99
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	UNSAT	1.02
szymanski-10-s	UNSAT	1.04
vis.prodcell^01.E-d4	SAT	1.07
connect_6x5_4_D	UNSAT	1.09
Umbrella_tbm_25.tex.module.000003	UNSAT	1.29
jnh1-50	SAT	1.32
k_lin_n-13	SAT	1.34
vis.prodcell^24.E-f3	SAT	1.34
nusmv.queue.B-d4	SAT	1.38
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	SAT	1.42
k_grz_p-10	UNSAT	1.43
c4_BMC_p1_k512	SAT	1.48
connect_7x6_6_W	UNSAT	1.49
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	UNSAT	1.52
ev-pr-4x4-5-3-0-0-1-lg	SAT	1.54
k_ph_n-13	SAT	1.56
toilet_c_10_05.11	SAT	1.57
k_path_p-9	UNSAT	1.61
nusmv.reactor^1.C-d4	SAT	1.63
k_dum_p-11	UNSAT	1.64
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	UNSAT	1.69
k_lin_n-14	SAT	1.69
k_grz_n-13	SAT	1.74
vis.prodcell^05.E-f4	UNSAT	1.75
nusmv.reactor^5.C-f4	UNSAT	1.86
k_branch_n-4	SAT	1.88
nusmv.reactor^2.C-d4	SAT	1.91
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	1.98
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	UNSAT	2.01
vis.prodcell^04.E-f4	UNSAT	2.02
toilet_c_10_05.12	SAT	2.05
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	UNSAT	2.06
vis.coherence^1.E-d4	SAT	2.16
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	UNSAT	2.35
jnh218-00	SAT	2.43
vis.prodcell^08.E-f4	UNSAT	2.44
toilet_c_10_10.2	SAT	2.58
k_ph_n-14	SAT	2.66
c4_BMC_p1_k1024	SAT	2.7
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	2.79
test5_quant_squaring5	SAT	2.87
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	2.91
test5_quant5	SAT	3.55
connect_8x7_7_D	UNSAT	3.84
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	UNSAT	3.85
k_ph_n-15	SAT	4.02
k_d4_p-7	UNSAT	4.15
s499_d4_s	SAT	4.35
k_grz_n-10	SAT	4.44
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	4.5
c4_BMC_p1_k2048	SAT	4.56
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	UNSAT	4.58
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	4.61
par16-1-c-00	SAT	4.73
k_grz_n-14	SAT	4.84
k_lin_n-21	SAT	4.85
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	UNSAT	4.92
sortnetsort5.v.stepl.007	SAT	5.22
c4_BMC_p2_k2048	UNSAT	5.26
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	UNSAT	5.37
toilet_c_10_01.15	UNSAT	6.16
test3_quant2	SAT	6.28
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	UNSAT	6.31
k_dum_p-13	UNSAT	6.43
lognBWLARGEB1	UNSAT	6.8
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	UNSAT	7.47
eijk.S1423.S-d4	SAT	7.73
connect_9x8_8_D	UNSAT	7.78
Umbrella_tbm_23.tex.moduleQ1.2S.000001	SAT	8.61
c6_BMC_p2_k64	UNSAT	9.09
toilet_a_10_01.5	UNSAT	10.03
toilet_a_10_01.11	UNSAT	10.31
nusmv.tcas-t^6.B-f3	SAT	10.41
c6_BMC_p2_k128	UNSAT	10.63
k_dum_p-16	UNSAT	10.94
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	UNSAT	11.41
connect_8x7_3_D	UNSAT	11.78
Umbrella_tbm_14.tex.moduleQ2.1S.000787	UNSAT	11.98
c6_BMC_p1_k256	SAT	12.36
toilet_a_10_10.2	SAT	13.2
Umbrella_tbm_14.tex.moduleQ2.1S.000792	UNSAT	13.52
k_path_p-10	UNSAT	14.68
s298_d5_s	SAT	16.59
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	UNSAT	16.76
Umbrella_tbm_29.tex.module.000009	SAT	17.11
connect_9x8_6_D	UNSAT	17.3
ev-pr-4x4-9-3-0-0-1-lg	SAT	17.42
Umbrella_tbm_29.tex.module.000078	SAT	17.84
Umbrella_tbm_29.tex.module.000010	SAT	17.89
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	UNSAT	18.13
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	18.52
ii32e1-50	SAT	18.63
k_ph_p-9	UNSAT	19.44
Umbrella_tbm_14.tex.moduleQ2.1S.000749	UNSAT	19.72
Umbrella_tbm_14.tex.moduleQ2.1S.000757	UNSAT	20.09
Umbrella_tbm_14.tex.moduleQ2.2S.000001	UNSAT	21.37
Umbrella_tbm_14.tex.moduleQ2.1S.000808	UNSAT	21.69
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	24.18
Umbrella_tbm_14.tex.moduleQ2.1S.000773	UNSAT	24.73
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	25.2
c3_BMC_p2_k512	UNSAT	25.69
c6_BMC_p1_k1024	SAT	26.55
Umbrella_tbm_24.tex.module.000131	SAT	27.26
Umbrella_tbm_24.tex.module.000103	SAT	28.82
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	UNSAT	29.07
Umbrella_tbm_24.tex.module.000066	SAT	30.39
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	31.4
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	32.2
Umbrella_tbm_14.tex.moduleQ2.1S.000720	UNSAT	32.9
Umbrella_tbm_14.tex.moduleQ2.2S.000002	UNSAT	34.81
Umbrella_tbm_29.tex.moduleQ2.2S.000001	SAT	34.97
c3_BMC_p2_k1024	UNSAT	35.62
vis.prodcell^23.E-f4	SAT	35.93
k_path_n-10	SAT	36.73
Umbrella_tbm_14.tex.moduleQ2.1S.000812	UNSAT	37.73
s713_d3_s	SAT	40.84
vonNeumann-ripple-carry-13-c	UNSAT	46.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-007	UNSAT	51.25
Core1108_tbm_21.tex.module.000014	UNSAT	51.78
Umbrella_tbm_24.tex.moduleQ2.1S.000136	SAT	52.37
Umbrella_tbm_24.tex.moduleQ2.1S.000188	SAT	56.44
Umbrella_tbm_14.tex.moduleQ2.2S.000003	SAT	59.36
szymanski-24-s	UNSAT	59.66
nusmv.tcas-t^5.B-f2	SAT	59.91
BLOCKS3i.5.3	UNSAT	61.55
c3_BMC_p1_k256	SAT	62.4
s1269_d3_s	SAT	63.18
c3_BMC_p2_k2048	UNSAT	64.52
Umbrella_tbm_24.tex.moduleQ2.1S.000022	SAT	65.34
Core1108_tbm_03.tex.module.000038	UNSAT	73.7
par8-4-90	UNSAT	77.19
vis.arbiter.E-f4	SAT	83.02
k_grz_p-17	UNSAT	83.57
k_dum_p-21	UNSAT	91.8
Core1108_tbm_09.tex.moduleQ3.2S.000007	UNSAT	96.65
k_grz_n-21	SAT	98.56
cube_c9_par--opt-11_	SAT	101.59
eijk.S1238.S-d3	UNSAT	103.25
ev-pr-6x6-11-5-0-1-2-lg	UNSAT	105.22
Core1108_tbm_09.tex.moduleQ3.2S.000010	UNSAT	106.23
TOILET7.1.iv.13	UNSAT	109.71
c1_BMC_p2_k8	UNSAT	113.61
TOILET7.1.iv.14	SAT	114.45
connect_5x4_3_R	UNSAT	116.08
par8-2-90	UNSAT	116.1
Core1108_tbm_09.tex.moduleQ3.2S.000003	UNSAT	119.59
Umbrella_tbm_25.tex.module.000099	UNSAT	120.77
vonNeumann-ripple-carry-15-c	UNSAT	124.98
s713_d5_s	SAT	126.05
Core1108_tbm_28.tex.moduleQ2.2S.000003	SAT	129.66
Core1108_tbm_09.tex.moduleQ3.2S.000005	UNSAT	130.09
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	133.01
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	142.62
Core1108_tbm_02.tex.moduleQ3.2S.000108	UNSAT	144.95
s510_d4_s	SAT	154.19
ii32e1-00	SAT	160.73
Umbrella_tbm_21.tex.module.000139	UNSAT	165.64
Umbrella_tbm_26.tex.moduleQ3.2S.000041	UNSAT	167.25
Core1108_tbm_02.tex.moduleQ3.2S.000095	UNSAT	168.22
Umbrella_tbm_25.tex.module.000087	UNSAT	171.58
toilet_c_10_05.9	SAT	177.62
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	180.25
ev-pr-8x8-9-7-0-1-2-lg	UNSAT	180.62
Umbrella_tbm_25.tex.module.000084	UNSAT	184.54
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSAT	185.76
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	UNSAT	194.26
Umbrella_tbm_26.tex.moduleQ3.2S.000009	UNSAT	209.37
Core1108_tbm_02.tex.moduleQ3.2S.000056	UNSAT	225.75
ssa7552-160-50	SAT	227.95
Umbrella_tbm_21.tex.module.000044	UNSAT	230.63
ii8c1-90	SAT	234.36
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	235.34
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSAT	241.19
s298_d9_s	SAT	243.11
Core1108_tbm_02.tex.moduleQ3.2S.000026	UNSAT	252.37
Umbrella_tbm_26.tex.moduleQ3.2S.000037	UNSAT	254.61
Umbrella_tbm_25.tex.moduleQ3.2S.000120	UNSAT	265.16
ii32c1-50	SAT	266.32
Core1108_tbm_21.tex.moduleQ3.2S.000015	UNSAT	268.24
Core1108_tbm_21.tex.moduleQ3.2S.000024	UNSAT	269.27
Umbrella_tbm_25.tex.moduleQ3.2S.000052	UNSAT	272.09
Umbrella_tbm_26.tex.moduleQ3.2S.000020	UNSAT	272.45
s1196_d3_u	SAT	275.13
Core1108_tbm_21.tex.moduleQ3.2S.000011	UNSAT	275.53
Umbrella_tbm_26.tex.moduleQ3.2S.000014	UNSAT	277.92
connect_6x5_5_R	FAIL	278.58
ssa7552-159-50	SAT	289.31
Core1108_tbm_21.tex.moduleQ3.2S.000019	UNSAT	292.17
connect_7x6_4_R	FAIL	293.19
Core1108_tbm_21.tex.moduleQ3.2S.000002	UNSAT	320.72
counter_32	FAIL	356.97
k_grz_p-21	UNSAT	360.48
ssa7552-159-90	SAT	362.51
k_branch_n-5	SAT	401.5
emptyroom_e3_ser--opt-20_	SAT	410.81
ev-pr-6x6-15-5-0-1-2-lg	FAIL	414.39
Umbrella_tbm_25.tex.moduleQ3.2S.000075	UNSAT	420.92
ev-pr-4x4-17-3-0-0-1-lg	FAIL	431.11
Core1108_tbm_03.tex.module.000039	UNSAT	452.45
ev-pr-6x6-13-5-0-1-2-lg	FAIL	452.7
s820_d6_s	SAT	467.77
connect_9x8_3_R	FAIL	492.44
k_dum_n-21	SAT	531.16
k_branch_n-20	FAIL	537.07
k_branch_p-14	FAIL	537.62
s298_d11_s	SAT	542.33
k_branch_p-16	FAIL	558.64
k_branch_p-17	FAIL	618.99
ev-pr-4x4-15-3-0-0-1-s	FAIL	626.6
ev-pr-4x4-13-3-0-0-1-s	FAIL	677.79
ev-pr-4x4-9-3-0-0-1-s	FAIL	682.17
ev-pr-8x8-11-7-0-1-2-lg	FAIL	717.12
ev-pr-4x4-17-3-0-0-1-s	FAIL	721.15
k_branch_p-11	FAIL	740.38
toilet_c_10_05.7	SAT	746.76
Core1108_tbm_03.tex.module.000058	SAT	757.23
Core1108_tbm_03.tex.module.000056	SAT	757.34
k_t4p_n-17	FAIL	759.8
Core1108_tbm_03.tex.module.000057	SAT	759.96
Core1108_tbm_03.tex.module.000065	SAT	761.79
c1_BMC_p2_k128	UNSAT	765.18
Core1108_tbm_03.tex.module.000064	SAT	779.53
Core1108_tbm_03.tex.module.000037	SAT	782.89
Core1108_tbm_03.tex.module.000034	SAT	784.37
Core1108_tbm_03.tex.module.000031	SAT	801.53
k_t4p_n-4	SAT	806.22
s386_d12_u	UNSAT	819.84
ev-pr-4x4-11-3-0-0-1-s	FAIL	827.34
ev-pr-8x8-19-7-0-1-2-lg	FAIL	841.31
ev-pr-8x8-13-7-0-1-2-lg	FAIL	842.11
adder-14-sat	FAIL	881.77
Core1108_tbm_03.tex.moduleQ3.2S.000009	UNSAT	882.57
Core1108_tbm_03.tex.moduleQ3.2S.000002	UNSAT	887.01
Core1108_tbm_03.tex.moduleQ3.2S.000048	UNSAT	888.94
k_t4p_n-21	FAIL	898.62
s820_d7_s	SAT	949.46
Core1108_tbm_03.tex.module.000090	SAT	984.05
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	UNSAT	1022.06
Core1108_tbm_03.tex.module.000092	SAT	1128.03
Core1108_tbm_21.tex.module.000030	SAT	1155.6
Core1108_tbm_03.tex.moduleQ3.2S.000018	UNSAT	1164.61
c1_BMC_p2_k1024	FAIL	1200
s510_d31_s	FAIL	1200
c4_Debug_s3_f1_e1_v3	FAIL	1200
s3330_d4_s	FAIL	1200
c4_Debug_s3_f1_e2_v3	FAIL	1200
c3_Debug_s3_f2_e2_v2	FAIL	1200
c2_Debug_s5_f1_e1_v3	FAIL	1200
ring_r7_ser---19_	FAIL	1200
c1_BMC_p1_k2048	FAIL	1200
ev-pr-6x6-7-5-0-1-2-s	FAIL	1200
Umbrella_tbm_21.tex.module.000149	FAIL	1200.01
C432.blif_0.10_0.20_0_0_out_exact	FAIL	1200.01
Umbrella_tbm_21.tex.module.000079	FAIL	1200.01
Adder2-6-c	FAIL	1200.01
ring_r6_ser---16_	FAIL	1200.01
Core1108_tbm_21.tex.module.000010	FAIL	1200.01
Umbrella_tbm_21.tex.module.000029	FAIL	1200.01
Umbrella_tbm_21.tex.module.000049	FAIL	1200.01
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	1200.02
Umbrella_tbm_05.tex.module.000053	FAIL	1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000014	FAIL	1200.02
lut4_2_f2	FAIL	1200.02
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	1200.02
Umbrella_tbm_21.tex.module.000024	FAIL	1200.02
Umbrella_tbm_21.tex.module.000134	FAIL	1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000003	FAIL	1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000007	FAIL	1200.02
Umbrella_tbm_05.tex.module.000011	FAIL	1200.02
Core1108_tbm_21.tex.module.000009	FAIL	1200.02
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	1200.02
Core1108_tbm_21.tex.module.000008	FAIL	1200.02
Umbrella_tbm_25.tex.module.000106	FAIL	1200.02
Umbrella_tbm_21.tex.module.000056	FAIL	1200.02
Core1108_tbm_09.tex.module.000009	FAIL	1200.02
Core1108_tbm_03.tex.moduleQ3.2S.000011	FAIL	1200.02
adder-4-sat	FAIL	1200.02
Umbrella_tbm_05.tex.module.000088	FAIL	1200.02
Core1108_tbm_21.tex.moduleQ3.2S.000007	FAIL	1200.02
Umbrella_tbm_26.tex.module.000021	FAIL	1200.02
Umbrella_tbm_21.tex.module.000129	FAIL	1200.02
adder-8-unsat	FAIL	1200.02
Umbrella_tbm_25.tex.module.000031	FAIL	1200.02
Umbrella_tbm_26.tex.module.000041	FAIL	1200.02
Umbrella_tbm_26.tex.module.000061	FAIL	1200.02
Core1108_tbm_02.tex.moduleQ3.2S.000077	FAIL	1200.02
cube_c7_ser---23_	FAIL	1200.02
emptyroom_e3_ser---19_	FAIL	1200.02
emptyroom_e4_par---21_	FAIL	1200.02
eijk.S208o.S-f4	FAIL	1200.02
ring_r6_ser--opt-17_	FAIL	1200.02
adder-10-unsat	FAIL	1200.02
sortnetsort7.v.stepl.004	FAIL	1200.02
lut4_AND_f1	FAIL	1200.02
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	1200.02
C432.blif_0.10_0.20_0_1_out_exact	FAIL	1200.02
cube_c5_ser---14_	FAIL	1200.02
k_ph_p-11	FAIL	1200.02
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	1200.02
Umbrella_tbm_25.tex.moduleQ3.2S.000063	FAIL	1200.02
Adder2-4-s	FAIL	1200.02
Umbrella_tbm_25.tex.module.000121	FAIL	1200.02
cube_c11_par---13_	FAIL	1200.02
emptyroom_e4_ser--opt-44_	FAIL	1200.03
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	1200.03
Core1108_tbm_09.tex.moduleQ3.2S.000011	FAIL	1200.03
k_path_p-16	FAIL	1200.03
C5315.blif_0.10_1.00_0_0_inp_exact	FAIL	1200.03
blocks_enc_2_b3_ser--opt-9_	FAIL	1200.03
k_path_p-21	FAIL	1200.03
adder-6-sat	FAIL	1200.03
Core1108_tbm_09.tex.module.000010	FAIL	1200.03
k_path_n-20	FAIL	1200.03
Core1108_tbm_21.tex.moduleQ3.2S.000027	FAIL	1200.03
C499.blif_0.10_1.00_0_0_out_exact	FAIL	1200.03
eijk.S382.S-f4	FAIL	1200.03
f600-00	FAIL	1200.03
Umbrella_tbm_25.tex.module.000041	FAIL	1200.03
adder-16-unsat	FAIL	1200.03
BLOCKS4iii.7	FAIL	1200.03
adder-14-unsat	FAIL	1200.03
Adder2-6-s	FAIL	1200.03
Umbrella_tbm_21.tex.module.000069	FAIL	1200.03
BLOCKS4ii.7.2	FAIL	1200.03
k_path_n-21	FAIL	1200.04
adder-12-unsat	FAIL	1200.04
k_ph_p-12	FAIL	1200.04
Umbrella_tbm_05.tex.module.000025	FAIL	1200.04
Core1108_tbm_09.tex.moduleQ3.10S.000001	FAIL	1200.04
adder-8-sat	FAIL	1200.04
sortnetsort9.v.stepl.012	FAIL	1200.04
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	1200.04
sortnetsort10.v.stepl.012	FAIL	1200.04
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	1200.04
counter_e_8	FAIL	1200.04
sortnetsort8.v.stepl.008	FAIL	1200.04
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	1200.04
cmu.dme1.B-f4	FAIL	1200.04
Core1108_tbm_09.tex.module.000008	FAIL	1200.04
Core1108_tbm_09.tex.moduleQ3.9S.000001	FAIL	1200.04
k_d4_n-7	FAIL	1200.04
eijk.S526.S-f4	FAIL	1200.05
k_d4_p-11	FAIL	1200.05
k_d4_p-10	FAIL	1200.05
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	1200.05
Umbrella_tbm_05.tex.module.000064	FAIL	1200.05
k4_2_2	FAIL	1200.05
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	1200.05
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.06
TOILET10.1.iv.20	FAIL	1200.06
C5315.blif_0.10_1.00_0_0_out_exact	FAIL	1200.06
counter_r_8	FAIL	1200.06
k_branch_p-6	FAIL	1200.06
ken.flash^14.C-d4	FAIL	1200.06
k_d4_n-11	FAIL	1200.06
s499_d15_s	FAIL	1200.06
s510_d12_s	FAIL	1200.06
k_t4p_p-8	FAIL	1200.06
Umbrella_tbm_05.tex.module.000039	FAIL	1200.07
k_d4_n-14	FAIL	1200.07
c5_BMC_p1_k32	FAIL	1200.07
Adder2-10-s	FAIL	1200.07
k_t4p_p-12	FAIL	1200.07
cmu.periodic.N-f4	FAIL	1200.07
adder-10-sat	FAIL	1200.07
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.07
ev-pr-4x4-5-3-0-0-1-s	FAIL	1200.07
k_d4_n-15	FAIL	1200.08
k_d4_n-16	FAIL	1200.08
k_d4_n-17	FAIL	1200.08
ii8d1-00	FAIL	1200.08
TOILET16.1.iv.32	FAIL	1200.08
k_t4p_n-12	FAIL	1200.09
k_d4_n-21	FAIL	1200.09
k_d4_n-19	FAIL	1200.09
k_d4_n-18	FAIL	1200.09
k_branch_p-8	FAIL	1200.09
k_d4_n-20	FAIL	1200.09
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.09
k_t4p_p-20	FAIL	1200.09
nusmv.tcas^2.B-f2	FAIL	1200.09
k_branch_n-8	FAIL	1200.09
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.1
k5_3_2	FAIL	1200.1
k_d4_p-21	FAIL	1200.1
adder-12-sat	FAIL	1200.1
k_t4p_p-21	FAIL	1200.1
ev-pr-6x6-5-5-0-1-2-s	FAIL	1200.11
nusmv.tcas^4.B-f3	FAIL	1200.12
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.12
ev-pr-4x4-7-3-0-0-1-s	FAIL	1200.13
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.14
blocks_enc_2_b4_ser--opt-26_	FAIL	1200.16
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.19
c4_Debug_s3_f2_e1_v3	FAIL	1200.21
s3330_d10_u	FAIL	1200.24
c6_BMC_p2_k2048	FAIL	1200.63

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE7-c
QBFEVAL'10 - Competitive Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuBE7-c QBFEVAL'10 - Competitive Track.

Instances solved by QuBE7-c
QBFEVAL'10 - Competitive Track.