Instances solved by <a href='solver_detail.php?solver=109'>qmaiga</a> <br> QBFEVAL'10

Instances solved by qmaiga
QBFEVAL'10 - Competitive Track.

Instance	Result	Time
toilet_c_08_01.4	UNSAT	0
toilet_g_04_01.2	SAT	0
impl18	SAT	0
toilet_a_02_10.2	SAT	0
toilet_c_02_01.2	UNSAT	0
toilet_g_08_01.2	SAT	0.01
toilet_c_06_01.5	UNSAT	0.01
toilet_a_02_01.2	UNSAT	0.01
toilet_g_02_01.2	SAT	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
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.01
toilet_c_06_10.2	SAT	0.01
toilet_c_04_10.2	SAT	0.01
k3_1_2	SAT	0.01
eijk.S208o.S-d4	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
toilet_c_04_01.4	UNSAT	0.01
z4ml.blif_0.10_1.00_0_0_out_exact	UNSAT	0.01
toilet_a_04_10.2	SAT	0.01
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.01
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.01
toilet_c_10_01.4	UNSAT	0.02
C432.blif_0.10_1.00_0_1_inp_exact	SAT	0.02
ssa7552-159-00	SAT	0.02
toilet_g_20_01.2	SAT	0.02
lut4_XOR_fOR	UNSAT	0.02
comp.blif_0.10_1.00_0_0_inp_exact	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
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.02
toilet_c_08_10.2	SAT	0.02
CHAIN23v.24	SAT	0.02
s27_d5_u	UNSAT	0.02
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.02
vis.emodel.E-f4	UNSAT	0.03
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.03
texas.ifetch1^4.E-f4	UNSAT	0.03
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.03
TOILET7.1.iv.14	SAT	0.03
toilet_a_06_01.4	UNSAT	0.04
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.04
k_lin_p-8	UNSAT	0.04
toilet_a_06_10.2	SAT	0.04
BLOCKS3iii.5	SAT	0.04
vis.elevator^1.E-f2	UNSAT	0.04
BLOCKS3ii.5.2	UNSAT	0.04
toilet_c_08_01.16	SAT	0.04
aim-50-1_6-yes1-3-00	SAT	0.04
aim-50-1_6-yes1-2-00	SAT	0.05
connect_5x4_4_W	UNSAT	0.05
vis.prodcell^09.E-f2	UNSAT	0.05
aim-50-1_6-yes1-1-00	SAT	0.06
cube_c3_ser--opt-6_	SAT	0.06
test3_quant2	UNSAT	0.06
toilet_c_08_05.6	SAT	0.06
k_lin_p-12	UNSAT	0.06
aim-50-1_6-yes1-2-50	SAT	0.07
toilet_c_08_05.7	SAT	0.07
comp.blif_0.10_0.20_0_0_inp_exact	UNSAT	0.08
nusmv.reactor^5.C-f4	UNSAT	0.08
C432.blif_0.10_1.00_0_0_out_exact	UNSAT	0.08
BLOCKS3i.5.3	UNSAT	0.08
connect_6x5_4_D	UNSAT	0.09
toilet_c_10_10.2	SAT	0.09
toilet_c_08_05.8	SAT	0.09
ken.flash^10.C-f4	UNSAT	0.09
par8-4-c-90	SAT	0.1
TOILET7.1.iv.13	UNSAT	0.11
sortnetsort5.v.stepl.007	SAT	0.11
toilet_c_10_01.20	SAT	0.11
aim-50-2_0-yes1-2-50	UNSAT	0.11
toilet_c_08_05.9	SAT	0.12
adder-4-sat	SAT	0.12
sortnetsort6.v.stepl.003	UNSAT	0.12
k_lin_p-16	UNSAT	0.12
toilet_c_10_05.7	SAT	0.13
toilet_c_08_05.10	SAT	0.13
toilet_c_10_01.11	UNSAT	0.13
k_dum_n-10	SAT	0.14
aim-50-1_6-yes1-4-50	SAT	0.14
k_dum_p-11	UNSAT	0.14
k_d4_p-6	UNSAT	0.14
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.15
k_dum_p-13	UNSAT	0.16
k4_2_2	SAT	0.16
vis.prodcell^05.E-f4	UNSAT	0.16
k_path_p-9	UNSAT	0.16
k_t4p_p-4	UNSAT	0.17
vis.prodcell^04.E-f4	UNSAT	0.17
term1.blif_0.10_0.20_0_0_out_exact	UNSAT	0.17
toilet_c_08_01.13	UNSAT	0.18
k_d4_p-7	UNSAT	0.18
TOILET10.1.iv.20	SAT	0.18
k_path_p-10	UNSAT	0.19
k_poly_n-12	SAT	0.2
k_path_n-10	SAT	0.2
k_dum_p-16	UNSAT	0.21
toilet_c_10_05.9	SAT	0.21
k_lin_p-21	UNSAT	0.21
ring_r4_ser--opt-11_	UNSAT	0.22
k_poly_n-13	SAT	0.22
blocks_enc_2_b3_ser--opt-9_	SAT	0.23
C432.blif_0.10_0.20_0_0_out_exact	UNSAT	0.23
par8-1-c-50	UNSAT	0.24
connect_7x6_6_W	UNSAT	0.24
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.24
C432.blif_0.10_0.20_0_1_out_exact	UNSAT	0.24
term1.blif_0.10_1.00_0_0_out_exact	UNSAT	0.24
eijk.S1238.S-d3	UNSAT	0.26
aim-50-6_0-yes1-3-50	UNSAT	0.26
vis.prodcell^08.E-f4	UNSAT	0.27
connect_8x7_7_D	UNSAT	0.27
k_t4p_n-4	SAT	0.28
k_d4_p-10	UNSAT	0.28
s298_d2_s	SAT	0.29
k_dum_p-21	UNSAT	0.29
par8-3-c-00	SAT	0.29
toilet_c_10_05.11	SAT	0.3
term1.blif_0.10_0.20_0_1_inp_exact	SAT	0.3
k_d4_p-11	UNSAT	0.3
k_dum_n-21	SAT	0.32
toilet_c_10_05.12	SAT	0.33
toilet_a_08_10.2	SAT	0.34
k_path_p-16	UNSAT	0.34
k_t4p_p-8	UNSAT	0.35
k_poly_p-19	UNSAT	0.37
aim-50-1_6-yes1-1-90	UNSAT	0.4
toilet_a_08_01.4	UNSAT	0.43
cmu.periodic.N-d2	SAT	0.43
k_grz_p-10	UNSAT	0.44
k_poly_n-20	SAT	0.44
k_poly_n-21	SAT	0.46
k_poly_p-21	UNSAT	0.48
k_path_n-20	SAT	0.51
par8-2-c-50	UNSAT	0.52
k_t4p_p-12	UNSAT	0.52
aim-50-3_4-yes1-3-90	UNSAT	0.53
k_path_n-21	SAT	0.54
connect_9x8_8_D	UNSAT	0.54
k_grz_n-10	SAT	0.54
connect_8x7_3_D	UNSAT	0.55
k_path_p-21	UNSAT	0.55
k_d4_n-7	SAT	0.57
C499.blif_0.10_1.00_0_0_inp_exact	UNSAT	0.57
k_ph_n-8	SAT	0.64
par8-5-c-90	UNSAT	0.64
eijk.S298.S-f2	SAT	0.7
k_d4_p-21	UNSAT	0.74
k_grz_n-13	SAT	0.8
connect_9x8_6_D	UNSAT	0.84
k_branch_p-4	UNSAT	0.84
k_branch_n-4	SAT	0.89
c1_BMC_p2_k8	UNSAT	0.98
k_t4p_p-20	UNSAT	1
par8-3-c-90	UNSAT	1.01
k_grz_n-14	SAT	1.04
aim-50-1_6-yes1-4-90	UNSAT	1.04
eijk.S208o.S-f4	SAT	1.06
test5_quant5	SAT	1.09
C880.blif_0.10_1.00_0_1_out_exact	SAT	1.1
k_d4_n-11	SAT	1.1
k_t4p_p-21	UNSAT	1.11
aim-50-2_0-yes1-1-90	UNSAT	1.12
adder-6-sat	SAT	1.12
k_t4p_n-12	SAT	1.17
nusmv.syncarb5^2.B-f4	SAT	1.21
aim-50-6_0-yes1-4-90	SAT	1.31
c6_BMC_p2_k64	UNSAT	1.33
k_ph_n-9	SAT	1.36
c4_BMC_p1_k512	SAT	1.36
C5315.blif_0.10_1.00_0_1_inp_exact	SAT	1.43
k_d4_n-15	SAT	1.46
k_d4_n-14	SAT	1.46
k_grz_p-17	UNSAT	1.47
Adder2-4-s	SAT	1.56
k_d4_n-16	SAT	1.56
vonNeumann-ripple-carry-13-c	UNSAT	1.7
k_d4_n-17	SAT	1.72
ii8a1-90	SAT	1.78
toilet_c_10_01.15	UNSAT	1.78
k_d4_n-18	SAT	1.85
C5315.blif_0.10_1.00_0_0_inp_exact	UNSAT	1.93
k_branch_n-5	SAT	1.93
aim-50-3_4-yes1-2-90	SAT	2
k_t4p_n-17	SAT	2.01
k_d4_n-19	SAT	2.04
C499.blif_0.10_1.00_0_0_out_exact	UNSAT	2.1
k_d4_n-20	SAT	2.11
k_ph_n-10	SAT	2.23
k_d4_n-21	SAT	2.25
C5315.blif_0.10_1.00_0_0_out_exact	UNSAT	2.32
k_t4p_n-21	SAT	2.47
k_ph_p-8	UNSAT	2.5
aim-100-1_6-yes1-3-50	UNSAT	2.53
k_grz_p-21	UNSAT	2.53
c6_BMC_p2_k128	UNSAT	2.56
aim-50-2_0-yes1-3-90	UNSAT	2.67
aim-100-2_0-yes1-2-50	SAT	2.69
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-003	UNSAT	2.85
k_branch_p-6	UNSAT	3.13
k_grz_n-21	SAT	4.36
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	4.37
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	5
adder-8-sat	SAT	5.46
aim-100-2_0-yes1-2-90	UNSAT	5.64
TOILET16.1.iv.32	SAT	5.93
nusmv.reactor^2.C-d4	SAT	6.06
nusmv.reactor^1.C-d4	SAT	7.29
c4_BMC_p2_k2048	UNSAT	7.38
toilet_a_10_10.2	SAT	7.38
c3_BMC_p2_k512	UNSAT	7.61
c1_BMC_p2_k128	UNSAT	8.26
par16-1-c-00	SAT	8.46
eijk.S1423.S-d4	SAT	8.67
k_branch_n-8	SAT	8.69
lognBWLARGEB1	UNSAT	9.67
Adder2-6-s	SAT	9.69
nusmv.dme1-16.B-d4	SAT	10.7
k_branch_p-8	UNSAT	11.19
cmu.periodic.N-d4	SAT	11.46
toilet_a_10_01.11	UNSAT	11.69
s298_d5_s	SAT	12.06
k_ph_n-13	SAT	12.73
toilet_a_10_01.5	UNSAT	12.89
c4_BMC_p1_k1024	SAT	12.97
ev-pr-8x8-5-7-0-1-2-lg	UNSAT	13.59
adder-10-sat	SAT	14.45
c3_BMC_p2_k1024	UNSAT	14.49
par8-4-90	UNSAT	14.69
nusmv.queue.B-d4	SAT	15.31
par8-2-90	UNSAT	19.11
Umbrella_tbm_29.tex.module.000078	SAT	19.24
Umbrella_tbm_24.tex.module.000131	SAT	19.59
counter_8	SAT	20.44
Umbrella_tbm_29.tex.module.000009	SAT	20.68
Umbrella_tbm_29.tex.module.000010	SAT	20.84
ken.flash^14.C-d4	UNSAT	21.2
k_lin_n-9	SAT	21.25
k_ph_p-9	UNSAT	21.49
s499_d4_s	SAT	22.04
s510_d4_s	SAT	22.23
c5_BMC_p1_k32	SAT	23.21
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	23.62
c3_BMC_p2_k2048	UNSAT	24.3
nusmv.tcas-t^6.B-f3	SAT	27.79
c6_BMC_p1_k256	SAT	28.11
k_ph_n-15	SAT	28.45
k_lin_n-10	SAT	29.7
nusmv.tcas-t^5.B-f2	SAT	30.89
ii8a1-00	SAT	32.71
c6_BMC_p2_k2048	UNSAT	32.99
c1_BMC_p2_k1024	UNSAT	34.12
k_ph_n-14	SAT	34.31
Core1108_tbm_28.tex.moduleQ2.2S.000003	SAT	35.05
k5_3_2	SAT	35.14
lut4_2_f2	UNSAT	36.47
lut4_AND_f1	SAT	36.98
aim-100-6_0-yes1-1-90	UNSAT	39.46
emptyroom_e3_ser--opt-20_	SAT	40.75
adder-12-sat	SAT	41.83
vonNeumann-ripple-carry-15-c	UNSAT	42.22
k_branch_p-11	UNSAT	42.39
Umbrella_tbm_24.tex.module.000066	SAT	43.45
counter_r_8	SAT	47.24
counter_e_8	SAT	48.39
adder-14-sat	SAT	53.42
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	62.92
aim-100-6_0-yes1-4-90	SAT	63.96
Adder2-6-c	UNSAT	64.7
s298_d9_s	SAT	66.98
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	71.36
Adder2-10-s	SAT	71.61
Umbrella_tbm_25.tex.module.000003	UNSAT	73.93
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004	SAT	80.95
k_lin_n-13	SAT	81.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-003	UNSAT	82.24
Umbrella_tbm_21.tex.module.000049	SAT	85.73
cube_c9_par--opt-11_	SAT	87.57
Umbrella_tbm_21.tex.module.000056	SAT	88.17
Umbrella_tbm_25.tex.module.000106	SAT	88.83
k_lin_n-14	SAT	97.73
Umbrella_tbm_25.tex.module.000031	SAT	98.38
Umbrella_tbm_24.tex.module.000103	SAT	101.99
c4_BMC_p1_k2048	SAT	117.95
eijk.S382.S-f4	SAT	128.79
Umbrella_tbm_21.tex.module.000069	SAT	129.27
s298_d11_s	SAT	129.28
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	135.7
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	136.2
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	136.39
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	137.08
cube_c5_ser---14_	UNSAT	148.4
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	151.75
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	154.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	UNSAT	156.1
Umbrella_tbm_21.tex.module.000079	SAT	161.42
Umbrella_tbm_21.tex.module.000044	UNSAT	161.89
k_branch_p-14	UNSAT	172.65
emptyroom_e3_ser---19_	UNSAT	173.65
szymanski-10-s	UNSAT	179.28
aim-100-3_4-yes1-1-90	SAT	187.06
c3_BMC_p1_k256	SAT	188.8
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	192.29
jnh218-00	SAT	210.03
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	UNSAT	216.07
cube_c11_par---13_	UNSAT	216.69
k_branch_p-16	UNSAT	224.69
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	UNSAT	228.58
s3330_d10_u	FAIL	240.84
ev-pr-4x4-5-3-0-0-1-s	SAT	241.86
Umbrella_tbm_25.tex.module.000084	UNSAT	253.63
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	254.94
s499_d15_s	SAT	264.43
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	270.57
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	276.42
k_branch_p-17	UNSAT	279.92
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	280.9
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	285.35
connect_6x5_5_R	FAIL	293.43
test5_quant_squaring5	FAIL	300.66
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	UNSAT	316.94
s713_d3_s	SAT	332.57
eijk.S526.S-f4	SAT	335.77
aim-100-1_6-yes1-3-90	SAT	342.29
jnh207-90	SAT	359.75
irst.dme4.B-d4	FAIL	363.81
adder-12-unsat	FAIL	366.71
Umbrella_tbm_25.tex.module.000087	UNSAT	372.25
k_lin_n-21	SAT	381.84
Umbrella_tbm_25.tex.moduleQ3.2S.000052	FAIL	386.91
adder-8-unsat	FAIL	402.91
Umbrella_tbm_25.tex.module.000041	SAT	410.75
Umbrella_tbm_25.tex.module.000121	SAT	422.14
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	425
adder-14-unsat	FAIL	431.3
c1_BMC_p1_k2048	FAIL	446.19
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	471.88
Core1108_tbm_21.tex.module.000008	FAIL	477.89
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	489.59
s510_d12_s	SAT	492.46
Core1108_tbm_03.tex.moduleQ3.2S.000003	FAIL	496.8
nusmv.tcas^4.B-f3	FAIL	497.61
Umbrella_tbm_25.tex.moduleQ3.2S.000075	FAIL	535.6
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-005	UNSAT	536.53
ev-pr-8x8-19-7-0-1-2-lg	FAIL	541.29
ev-pr-6x6-5-5-0-1-2-lg	UNSAT	558.95
adder-10-unsat	FAIL	561.31
Core1108_tbm_03.tex.module.000038	UNSAT	570.76
nusmv.tcas^2.B-f2	FAIL	579.35
texas.ifetch1^9.E-f4	FAIL	579.82
ev-pr-8x8-7-7-0-1-2-lg	UNSAT	584.72
Core1108_tbm_03.tex.module.000037	SAT	597.59
Core1108_tbm_03.tex.module.000023	UNSAT	597.75
Core1108_tbm_21.tex.module.000014	UNSAT	606.93
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	609.89
Core1108_tbm_03.tex.module.000048	UNSAT	613.12
Core1108_tbm_02.tex.moduleQ3.2S.000095	UNSAT	636.55
Core1108_tbm_09.tex.module.000028	UNSAT	644.13
Core1108_tbm_02.tex.moduleQ3.2S.000098	UNSAT	651.23
Core1108_tbm_02.tex.moduleQ3.2S.000015	UNSAT	655.85
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	658.24
cube_c7_ser---23_	FAIL	666.83
Core1108_tbm_02.tex.moduleQ3.2S.000099	UNSAT	669.83
Core1108_tbm_02.tex.moduleQ3.2S.000108	UNSAT	679.72
Core1108_tbm_02.tex.moduleQ3.2S.000007	SAT	683.05
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	692.9
Umbrella_tbm_25.tex.module.000099	UNSAT	693.12
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	699.05
Core1108_tbm_21.tex.module.000010	SAT	713.85
ev-pr-4x4-5-3-0-0-1-lg	SAT	721.38
Core1108_tbm_21.tex.moduleQ3.2S.000024	FAIL	738.19
Core1108_tbm_03.tex.module.000064	SAT	743.87
Core1108_tbm_03.tex.module.000057	SAT	755.86
Core1108_tbm_03.tex.module.000065	SAT	758.6
Core1108_tbm_21.tex.module.000026	UNSAT	762.82
Core1108_tbm_03.tex.module.000058	SAT	784.64
vis.coherence^1.E-d4	SAT	788.96
Core1108_tbm_03.tex.module.000056	SAT	799.09
ev-pr-4x4-7-3-0-0-1-s	FAIL	802.33
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	809.46
Core1108_tbm_02.tex.moduleQ3.2S.000077	SAT	811.91
Core1108_tbm_03.tex.module.000034	FAIL	823.08
c6_BMC_p1_k1024	SAT	831.85
Core1108_tbm_02.tex.moduleQ3.2S.000026	UNSAT	833.34
Core1108_tbm_21.tex.module.000091	UNSAT	836.71
Core1108_tbm_21.tex.moduleQ3.2S.000002	FAIL	855.23
k_branch_n-20	SAT	859
Core1108_tbm_03.tex.moduleQ3.2S.000018	FAIL	875.43
Core1108_tbm_21.tex.moduleQ3.2S.000007	FAIL	880.15
Umbrella_tbm_29.tex.moduleQ2.2S.000001	SAT	909.75
Core1108_tbm_21.tex.module.000017	UNSAT	928.11
Umbrella_tbm_14.tex.moduleQ2.1S.000757	FAIL	947.47
ev-pr-6x6-15-5-0-1-2-lg	FAIL	955.86
ev-pr-4x4-17-3-0-0-1-lg	FAIL	960.58
Core1108_tbm_21.tex.module.000030	SAT	976.87
vis.prodcell^01.E-d4	SAT	980.05
Core1108_tbm_03.tex.module.000021	UNSAT	1005.18
adder-16-unsat	FAIL	1006.24
Core1108_tbm_21.tex.moduleQ3.2S.000014	FAIL	1057.19
Core1108_tbm_21.tex.module.000009	FAIL	1071.15
Core1108_tbm_03.tex.module.000003	UNSAT	1084.9
s386_d12_u	UNSAT	1090.25
sortnetsort8.v.stepl.008	SAT	1126.89
c4_Debug_s3_f2_e1_v3	FAIL	1149.67
Core1108_tbm_09.tex.moduleQ3.2S.000010	FAIL	1152.8
Umbrella_tbm_21.tex.module.000029	FAIL	1155.98
Umbrella_tbm_21.tex.module.000024	FAIL	1157.87
BLOCKS4ii.7.2	UNSAT	1195.3
ev-pr-4x4-13-3-0-0-1-s	FAIL	1196.75
Core1108_tbm_03.tex.module.000090	FAIL	1200
Core1108_tbm_02.tex.moduleQ3.2S.000056	FAIL	1200
Umbrella_tbm_05.tex.module.000015	FAIL	1200
Umbrella_tbm_21.tex.module.000134	FAIL	1200
Core1108_tbm_09.tex.module.000010	FAIL	1200
Umbrella_tbm_05.tex.module.000039	FAIL	1200
Core1108_tbm_21.tex.module.000027	FAIL	1200
Umbrella_tbm_23.tex.moduleQ1.2S.000001	FAIL	1200
Core1108_tbm_03.tex.moduleQ3.2S.000002	FAIL	1200
Core1108_tbm_09.tex.module.000008	FAIL	1200
Umbrella_tbm_05.tex.module.000079	FAIL	1200
Umbrella_tbm_26.tex.moduleQ3.2S.000009	FAIL	1200
Umbrella_tbm_24.tex.moduleQ2.1S.000136	FAIL	1200
Umbrella_tbm_25.tex.moduleQ3.2S.000120	FAIL	1200
Core1108_tbm_21.tex.moduleQ3.2S.000011	FAIL	1200
Umbrella_tbm_26.tex.module.000041	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.9S.000001	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000812	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000720	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000808	FAIL	1200
Core1108_tbm_21.tex.moduleQ3.2S.000019	FAIL	1200
Umbrella_tbm_05.tex.module.000053	FAIL	1200
Core1108_tbm_03.tex.moduleQ3.2S.000009	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.2S.000003	FAIL	1200
Umbrella_tbm_05.tex.module.000088	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.2S.000011	FAIL	1200
Umbrella_tbm_26.tex.module.000061	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.2S.000005	FAIL	1200
Umbrella_tbm_26.tex.moduleQ3.2S.000041	FAIL	1200
Umbrella_tbm_21.tex.module.000149	FAIL	1200
W3-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	1200
Umbrella_tbm_05.tex.module.000011	FAIL	1200
Core1108_tbm_03.tex.module.000092	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.2S.000007	FAIL	1200
Core1108_tbm_21.tex.moduleQ3.2S.000027	FAIL	1200
Core1108_tbm_21.tex.module.000023	FAIL	1200
Umbrella_tbm_24.tex.moduleQ2.1S.000188	FAIL	1200
Umbrella_tbm_05.tex.module.000064	FAIL	1200
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	1200
Umbrella_tbm_05.tex.module.000043	FAIL	1200
Core1108_tbm_03.tex.moduleQ3.2S.000011	FAIL	1200
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	1200
Umbrella_tbm_26.tex.moduleQ3.2S.000020	FAIL	1200
Core1108_tbm_09.tex.module.000009	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000773	FAIL	1200
Umbrella_tbm_24.tex.moduleQ2.1S.000022	FAIL	1200
Umbrella_tbm_26.tex.module.000004	FAIL	1200
Umbrella_tbm_21.tex.module.000129	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.2S.000002	FAIL	1200
Umbrella_tbm_26.tex.module.000021	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000787	FAIL	1200
Umbrella_tbm_21.tex.module.000139	FAIL	1200
Core1108_tbm_09.tex.module.000033	FAIL	1200
Core1108_tbm_03.tex.module.000019	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000749	FAIL	1200
emptyroom_e4_ser--opt-44_	FAIL	1200
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
ev-pr-4x4-9-3-0-0-1-s	FAIL	1200
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
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
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
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	1200
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
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
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
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	1200
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
ev-pr-6x6-5-5-0-1-2-s	FAIL	1200
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	1200
emptyroom_e4_par---21_	FAIL	1200
blocks_enc_2_b4_ser--opt-26_	FAIL	1200
ev-pr-4x4-9-3-0-0-1-lg	FAIL	1200
c4_Debug_s3_f1_e2_v3	FAIL	1200
c4_Debug_s3_f1_e1_v3	FAIL	1200
c3_Debug_s3_f2_e2_v2	FAIL	1200
c2_Debug_s5_f1_e1_v3	FAIL	1200
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
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
s1196_d3_u	FAIL	1200
ev-pr-4x4-11-3-0-0-1-s	FAIL	1200
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
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
ev-pr-8x8-11-7-0-1-2-lg	FAIL	1200
ev-pr-8x8-9-7-0-1-2-lg	FAIL	1200
vis.arbiter.E-f4	FAIL	1200
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	1200
cmu.periodic.N-f4	FAIL	1200
cmu.dme1.B-f4	FAIL	1200
ev-pr-6x6-13-5-0-1-2-lg	FAIL	1200
ev-pr-6x6-7-5-0-1-2-s	FAIL	1200
irst.dme5.B-d4	FAIL	1200
s510_d31_s	FAIL	1200
s1269_d3_s	FAIL	1200
vis.prodcell^23.E-f4	FAIL	1200
vis.prodcell^24.E-f3	FAIL	1200
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	1200
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
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
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
szymanski-24-s	FAIL	1200
C6288.blif_0.10_1.00_0_1_out_exact	FAIL	1200
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005	FAIL	1200
sortnetsort9.v.stepl.012	FAIL	1200
sortnetsort7.v.stepl.004	FAIL	1200
connect_9x8_3_R	FAIL	1200
sortnetsort10.v.stepl.012	FAIL	1200
k_ph_p-11	FAIL	1200
connect_5x4_3_R	FAIL	1200
Umbrella_tbm_26.tex.moduleQ3.2S.000014	FAIL	1200
Core1108_tbm_21.tex.moduleQ3.2S.000015	FAIL	1200
s820_d7_s	FAIL	1200
s820_d6_s	FAIL	1200
s713_d5_s	FAIL	1200
ssa7552-160-50	FAIL	1200
ssa7552-159-90	FAIL	1200
ssa7552-159-50	FAIL	1200
ev-pr-6x6-11-5-0-1-2-lg	FAIL	1200
ev-pr-4x4-15-3-0-0-1-s	FAIL	1200
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	1200
jnh218-90	FAIL	1200
Umbrella_tbm_05.tex.module.000065	FAIL	1200
Core1108_tbm_03.tex.module.000039	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.2S.000001	FAIL	1200
Umbrella_tbm_05.tex.module.000030	FAIL	1200
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.10S.000001	FAIL	1200
Core1108_tbm_03.tex.moduleQ3.2S.000048	FAIL	1200
Umbrella_tbm_25.tex.moduleQ3.2S.000063	FAIL	1200
Umbrella_tbm_26.tex.moduleQ3.2S.000037	FAIL	1200
Umbrella_tbm_14.tex.moduleQ2.1S.000792	FAIL	1200
Umbrella_tbm_05.tex.module.000025	FAIL	1200
Core1108_tbm_03.tex.module.000031	FAIL	1200
Core1108_tbm_09.tex.moduleQ3.2S.000003	FAIL	1200
jnh1-50	FAIL	1200
ii8d1-00	FAIL	1200
aim-200-2_0-yes1-2-90	FAIL	1200
aim-200-1_6-yes1-4-90	FAIL	1200
aim-200-1_6-yes1-2-90	FAIL	1200
aim-100-6_0-yes1-3-90	FAIL	1200
C6288.blif_0.10_1.00_0_1_inp_exact	FAIL	1200
BLOCKS4iii.7	FAIL	1200
k_ph_p-12	FAIL	1200
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	1200
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
ring_r7_ser---19_	FAIL	1200
ring_r6_ser--opt-17_	FAIL	1200
aim-200-3_4-yes1-1-90	FAIL	1200
aim-200-3_4-yes1-4-90	FAIL	1200
ii8c1-90	FAIL	1200
ii32e1-50	FAIL	1200
ii32e1-00	FAIL	1200
ii32c1-50	FAIL	1200
f600-00	FAIL	1200
ev-pr-8x8-13-7-0-1-2-lg	FAIL	1200
s3330_d4_s	FAIL	1200
counter_32	FAIL	1200
connect_7x6_4_R	FAIL	1200
C5315.blif_0.10_0.20_0_1_inp_exact	FAIL	1200
ev-pr-4x4-17-3-0-0-1-s	FAIL	1200
ring_r6_ser---16_	FAIL	1200

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qmaiga
QBFEVAL'10 - Competitive Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by qmaiga QBFEVAL'10 - Competitive Track.

Instances solved by qmaiga
QBFEVAL'10 - Competitive Track.