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
Sota solver results for family BoundedSynthesisPetriGames
Prenex non-CNF Track
Instance
Solver
Result
Time
CM-sat-04-01-06-3
Cqesto_2018
SAT
3.8
CM-sat-04-01-06-4
Cqesto_2018
SAT
5.54
CM-sat-04-01-07-3
Cqesto_2018
SAT
8.37
CM-sat-07-01-06-3
Cqesto_2018
SAT
40.85
CM-sat-07-01-06-4
QFUN
SAT
291.76
CM-sat-07-01-07-3
Cqesto_2018
SAT
42.28
CM-unsat-07-01-06-2
QuAbS___quabs-caqe_2019
UNSAT
264.99
DW-sat-04-16-1
Cqesto_2018
SAT
0
DW-sat-08-22-1
QuAbS___quabs-caqe_2019
SAT
6.98
DW-sat-08-23-1
Cqesto_2018
SAT
15.07
DW-sat-09-26-1
QuAbS___quabs-caqe_2019
SAT
41.09
DW-unsat-09-22-1
Cqesto_2018
UNSAT
76.48
DW-unsat-09-23-1
Cqesto_2018
UNSAT
77.27
DW-unsat-10-25-1
Cqesto_2018
UNSAT
181.67
DW-unsat-11-26-1
Cqesto_2018
UNSAT
448.03
DWs-sat-10-23-1
Cqesto_2018
SAT
3.62
DWs-sat-10-25-1
Cqesto_2018
SAT
4.09
DWs-sat-12-28-1
Cqesto_2018
SAT
7.19
DWs-sat-19-41-1
Cqesto_2018
SAT
50.93
DWs-sat-20-43-1
Cqesto_2018
SAT
56.77
DWs-sat-21-45-1
Cqesto_2018
SAT
66.98
DWs-sat-22-47-1
Cqesto_2018
SAT
76.77
DWs-sat-23-49-1
Cqesto_2018
SAT
97.63
DWs-sat-24-51-1
Cqesto_2018
SAT
124.7
DWs-sat-25-53-1
Cqesto_2018
SAT
149.14
DWs-unsat-08-17-1
Quabs_2018
UNSAT
7.68
DWs-unsat-08-18-1
QuAbS___quabs-caqe_2019
UNSAT
13.5
DWs-unsat-09-19-1
Quabs_2018
UNSAT
16.5
DWs-unsat-10-22-1
QuAbS___quabs-caqe_2019
UNSAT
69.39
DWs-unsat-11-23-1
QuAbS___quabs-caqe_2019
UNSAT
90.82
DWs-unsat-11-24-1
QuAbS___quabs-caqe_2019
UNSAT
180.81
JP-sat-02-07-4
Cqesto_2018
SAT
2.28
JP-sat-02-08-3
Cqesto_2018
SAT
0.82
JP-unsat-02-06-3
Cqesto_2018
UNSAT
2.31
JP-unsat-02-07-2
Quabs_2018
UNSAT
0.89
JP-unsat-03-07-4
Cqesto_2018
UNSAT
199.77
JP-unsat-03-08-3
QuAbS___quabs-caqe_2019
UNSAT
151.04
SR-sat-02-01-06-2
Cqesto_2018
SAT
1.62
SR-sat-02-01-06-3
Qute_default
SAT
20.45
SR-sat-02-01-07-2
Qute_default
SAT
0.91
SR-sat-03-01-07-2
quabs___caqe-hqspre
SAT
699.24
SR-sat-03-01-08-2
Quabs_2018
SAT
430.75
SR-unsat-02-01-05-2
QuAbS___quabs-caqe_2019
UNSAT
1.97
SR-unsat-02-01-06-1
Qute_default
UNSAT
0
SR-unsat-03-01-06-2
quabs___caqe-hqspre
UNSAT
805.75
SR-unsat-03-01-07-1
Cqesto_2018
UNSAT
0
SR-unsat-04-01-08-1
Quabs_2018
UNSAT
8.01
Contact
|
Organization
|
Links
|
Citing QBFLIB