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 QuBE6.1
QBFEVAL'08
Instance
Time
Result
s386_d7_s
90.12
SAT
s3330_d4_s
106.44
SAT
k_branch_n-20
305.5
SAT
s386_d8_u
127.38
UNSAT
k_ph_p-11
126.44
UNSAT
s386_d9_u
275.42
UNSAT
s386_d12_u
220.83
SAT
s386_d10_u
342.41
UNSAT
s510_d31_s
225.27
SAT
eijk.bs4863.S-f2
88.21
SAT
eijk.S832.S-f2
209.21
SAT
ken.flash^12.C-f2
132.72
SAT
nusmv.guidance^2.C-f3
171.45
SAT
nusmv.guidance^4.C-f3
528.63
SAT
nusmv.guidance^5.C-f3
123.75
SAT
nusmv.guidance^8.C-f3
120.25
SAT
nusmv.tcas^1.B-f2
97.47
SAT
nusmv.tcas^2.B-f2
539.52
SAT
nusmv.tcas-t^1.B-f2
98.6
SAT
texas.two_proc^1.E-f3
102.29
SAT
texas.two_proc^2.E-f3
161.14
SAT
texas.two_proc^3.E-f3
103.97
SAT
texas.two_proc^4.E-f3
213.6
SAT
texas.two_proc^5.E-f3
185.44
SAT
vis.arbiter.E-f4
340.75
SAT
vis.prodcell^02.E-f2
101.87
SAT
vis.prodcell^04.E-f2
130.21
SAT
vis.prodcell^05.E-f3
317.88
SAT
vis.prodcell^06.E-f2
164.76
SAT
vis.prodcell^07.E-f2
100.52
SAT
vis.prodcell^12.E-f3
189.49
SAT
vis.prodcell^13.E-f3
281.93
SAT
vis.prodcell^14.E-f3
338.79
SAT
vis.prodcell^15.E-f3
280.28
SAT
vis.prodcell^16.E-f3
282.38
SAT
vis.prodcell^17.E-f3
371.8
SAT
vis.prodcell^18.E-f3
290.15
SAT
vis.prodcell^19.E-f3
242.57
SAT
vis.prodcell^20.E-f3
174.7
SAT
vis.prodcell^22.E-f3
206.87
SAT
vis.prodcell^23.E-f3
410.66
SAT
vis.prodcell^24.E-f3
199.44
SAT
sortnetsort7.AE.stepl.006
136.41
UNSAT
sortnetsort8.AE.stepl.008
400.43
UNSAT
sortnetsort8.AE.stepl.009
151.95
UNSAT
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
221.59
UNSAT
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-005
113.87
UNSAT
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-010
297.17
UNSAT
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
88.64
UNSAT
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-010
130.9
UNSAT
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-006
116.07
UNSAT
ii8d1-00
151.83
SAT
s510_d11_s
193.35
SAT
s820_d6_s
191.4
SAT
s386_d11_u
443.1
UNSAT
s510_d9_s
127.32
SAT
Contact
|
Organization
|
Links
|
Citing QBFLIB