Discrepancies tables
QBFEVAL'18 - Prenex CNF Track


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
Download table[csv, latex]