QBF Solver Evaluation Portal
Home
QBFLIB
QBFGALLERY'23
QBFEVALs
2022
2020
2019
2018
2017
2016
2010
2008
2007
2006
2005
2004
QBF GALLERIES
QBF Gallery 2014
QBF Gallery 2013
DOWNLOADS
Download the QBFEVAL'22 dataset
Download the QBFEVAL'20 dataset
Download the QBFEVAL'19 dataset and raw results
Download the QBFEVAL'18 dataset and raw results
Download the QBFEVAL'17 dataset and raw results
Download the QBFEVAL'16 dataset
Download the QBFEVAL'10 dataset
Download the QBFEVAL'08 dataset
Download the non-prenex non-cnf track dataset
Download the QBFEVAL'07 dataset
Download the QBFEVAL'06 dataset
Download the QDIMACS to QPRO converter
Download the QDIMACS to QBF1.0 converter
qbflib.org
Unique instances for AQME-1NN
QBFEVAL'08
Instance
Time
Result
k_branch_p-16
71.37
UNSAT
k_d4_n-21
19.1
SAT
k_d4_n-16
18.29
SAT
k_branch_p-12
5.13
UNSAT
ev-pr-6x6-5-5-0-1-2-s
243.7
UNSAT
k_d4_n-20
19.53
SAT
k_branch_p-8
3.14
UNSAT
k_branch_p-9
3.37
UNSAT
k_branch_p-10
3.64
UNSAT
k_branch_p-11
35.39
UNSAT
k_branch_p-13
9.26
UNSAT
k_branch_p-14
51.72
UNSAT
k_branch_p-15
62.83
UNSAT
k_branch_p-5
1.33
UNSAT
k_branch_p-6
41.3
UNSAT
k_branch_p-7
2.71
UNSAT
k_d4_n-17
19.27
SAT
k_d4_n-18
20.07
SAT
k_d4_n-19
71.94
SAT
k_d4_n-14
17.23
SAT
k_d4_n-15
16.89
SAT
ken.flash^02.C-d4
71.12
SAT
ken.flash^03.C-d3
185.59
UNSAT
ken.flash^03.C-d4
22.67
UNSAT
ken.flash^09.C-d2
78.95
UNSAT
ken.flash^10.C-d2
83.87
UNSAT
ken.flash^14.C-d3
6.99
UNSAT
ken.flash^14.C-d4
13.03
UNSAT
cmu.gigamax.B-f3
247.38
UNSAT
eijk.S1196.S-f4
78.71
UNSAT
eijk.S1238.S-f4
5.2
UNSAT
nusmv.tcas-t^6.B-f3
4.84
SAT
sortnetsort10.AE.stepl.004
519.34
SAT
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
82.57
UNSAT
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-004
190.29
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-008
88.95
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009
89.34
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010
89.87
UNSAT
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
88.55
UNSAT
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-006
88.93
UNSAT
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-007
3.77
UNSAT
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
90.2
UNSAT
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-009
5.45
UNSAT
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
7.49
UNSAT
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-006
89.1
UNSAT
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-007
89.48
UNSAT
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
4.68
UNSAT
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-009
5.78
UNSAT
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-010
92.96
UNSAT
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-005
88.9
UNSAT
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-006
89.33
UNSAT
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-007
4.73
UNSAT
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
91.34
UNSAT
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
93.32
UNSAT
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-010
95.52
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
90.07
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
5.48
UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008
415.66
UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009
408.28
UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010
417.39
UNSAT
c2_BMC_p1_k1024
485.51
SAT
ssa7552-160-50
521.77
SAT
stmt17_99_98
6.1
SAT
stmt41_566_580
148.03
SAT
stmt25_52_53
5.58
SAT
stmt1_60_61
7.72
SAT
stmt16_950_951
1.38
SAT
stmt1_787_788
3.64
SAT
stmt86_889_890
1.36
SAT
stmt41_262_275
1.74
SAT
stmt2_649_776
1.23
SAT
stmt27_93_98
5.56
SAT
stmt41_118_131
1.31
SAT
stmt16_68_69
8
SAT
stmt16_588_589
1.45
SAT
stmt1_79_80
4.89
SAT
stmt16_47_48
4.88
SAT
stmt41_738_749
1.98
SAT
stmt16_76_77
4.7
SAT
stmt16_285_286
1.08
SAT
stmt37_941_942
68.64
SAT
stmt53_208_245
6.57
UNSAT
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org