Instance |
# Sat |
# Unsat |
Minority Solver |
Adder2-16-c |
3 |
6 |
Qute_default, Qute_opt500, Qute_random |
Adder2-8-c |
3 |
7 |
Qute_default, Qute_opt500, Qute_random |
arbiter-05-comp-error01-qbf-hardness-depth-8 |
3 |
14 |
Qute_default, Qute_opt500, Qute_random |
arbiter-06-comp-error01-qbf-hardness-depth-11 |
3 |
14 |
Qute_default, Qute_opt500, Qute_random |
arbiter-06-comp-error01-qbf-hardness-depth-15 |
3 |
8 |
Qute_default, Qute_opt500, Qute_random |
arbiter-07-comp-error01-qbf-hardness-depth-20 |
3 |
2 |
Caqe-bloqqer, Caqe-bloqqer-qdo |
arbiter-09-comp-error01-qbf-hardness-depth-15 |
3 |
8 |
Qute_default, Qute_opt500, Qute_random |
arbiter-09-comp-error01-qbf-hardness-depth-21 |
1 |
2 |
Qute_default |
arbiter-10-comp-error01-qbf-hardness-depth-22 |
1 |
2 |
Qute_default |
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 |
3 |
10 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
12 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
10 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
6 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
4 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
1 |
Rareqs_2018 |
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007 |
3 |
6 |
Qute_default, Qute_opt500, Qute_random |
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010 |
3 |
4 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
7 |
Qute_default, Qute_opt500, Qute_random |
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009 |
3 |
11 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
8 |
Qute_default, Qute_opt500, Qute_random |
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 |
3 |
1 |
Rareqs_2018 |
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009 |
3 |
2 |
depqbf_pre_QxQBH, Rareqs_2018 |
cache-coherence-2-fixpoint-4 |
2 |
11 |
Qute_opt500, Qute_random |
cache-coherence-2-fixpoint-6 |
2 |
11 |
Qute_opt500, Qute_random |
cache-coherence-3-fixpoint-3 |
2 |
11 |
Qute_opt500, Qute_random |
Core1108_tbm_21.tex.module.000008 |
12 |
1 |
Caqe-bloqqer-qdo |
genbuf10b4n.unsat |
3 |
6 |
Qute_default, Qute_opt500, Qute_random |
genbuf9b4n.unsat |
2 |
5 |
Qute_opt500, Qute_random |
gttt_2_1_00011020_4x4_b |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
gttt_2_1_00102030_4x4_torus_b |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
gttt_2_1_001020_4x4_torus_w |
3 |
13 |
Qute_default, Qute_opt500, Qute_random |
gttt_2_2_000111_4x4_torus_w |
3 |
11 |
Qute_default, Qute_opt500, Qute_random |
gttt_2_2_000111_4x4_w |
3 |
11 |
Qute_default, Qute_opt500, Qute_random |
pi-bus-fixpoint-1 |
2 |
11 |
Qute_opt500, Qute_random |
query03_query25_1344 |
2 |
10 |
Qute_opt500, Qute_random |
sortnetsort10.AE.stepl.008 |
3 |
5 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.007 |
3 |
6 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.008 |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.009 |
3 |
9 |
Qute_default, Qute_opt500, Qute_random |
sortnetsort9.AE.stepl.012 |
3 |
12 |
Qute_default, Qute_opt500, Qute_random |
test4_quant_squaring2 |
2 |
3 |
Qute_opt500, Qute_random |
usb-phy-fixpoint-3 |
2 |
16 |
Qute_opt500, Qute_random |
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001 |
3 |
10 |
Qute_default, Qute_opt500, Qute_random |
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003 |
3 |
12 |
Qute_default, Qute_opt500, Qute_random |
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003 |
3 |
12 |
Qute_default, Qute_opt500, Qute_random |
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001 |
8 |
1 |
Caqe-bloqqer-qdo |
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003 |
10 |
1 |
Caqe-bloqqer-qdo |