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
QBFEVAL'18 - Prenex non-CNF Track
Instance
Solver
Result
Time
CM-sat-02-01-07-3
Qute_opt993
SAT
0
CM-sat-03-01-06-4
QFUN
SAT
1.6
CM-sat-03-01-07-3
Cqesto_2018
SAT
1.07
CM-sat-04-01-06-3
Cqesto_2018
SAT
3.78
CM-sat-04-01-06-4
Cqesto_2018
SAT
5.51
CM-sat-04-01-07-3
Cqesto_2018
SAT
8.49
CM-sat-07-01-06-3
Cqesto_2018
SAT
51.1
CM-sat-07-01-06-4
PortfolioGhostQQfunQuAbSQute___pfs
SAT
86.46
CM-sat-07-01-07-3
Qute_opt993
SAT
42.28
CM-unsat-07-01-06-2
PortfolioGhostQQfunQuAbSQute___pfs
UNSAT
255.01
DW-sat-06-20-1
Cqesto_2018
SAT
2.41
DW-sat-08-22-1
Quabs_2018
SAT
7.08
DW-sat-08-23-1
PortfolioGhostQQfunQuAbSQute___pf3
SAT
9.33
DW-sat-08-24-1
Cqesto_2018
SAT
11.81
DW-sat-09-26-1
Quabs_2018
SAT
41.68
DW-unsat-09-22-1
Qute_opt993
UNSAT
75.4
DW-unsat-10-25-1
Cqesto_2018
UNSAT
228.3
DW-unsat-11-26-1
Qute_opt993
UNSAT
329.56
DW-unsat-11-27-1
Qute_opt993
UNSAT
249.2
DWs-sat-10-23-1
Cqesto_2018
SAT
3.71
DWs-sat-10-24-1
Cqesto_2018
SAT
3.67
DWs-sat-10-25-1
Cqesto_2018
SAT
5.11
DWs-sat-12-28-1
Cqesto_2018
SAT
9.38
DWs-sat-15-35-1
Cqesto_2018
SAT
20.83
DWs-unsat-07-16-1
Quabs_2018
UNSAT
4.54
DWs-unsat-08-17-1
Quabs_2018
UNSAT
7.79
DWs-unsat-08-18-1
Quabs_2018
UNSAT
13.58
DWs-unsat-09-19-1
Quabs_2018
UNSAT
16.79
DWs-unsat-11-23-1
Quabs_2018
UNSAT
92.83
DWs-unsat-11-24-1
Quabs_2018
UNSAT
187.25
DWs-unsat-12-25-1
Quabs_2018
UNSAT
257.16
JP-sat-02-07-3
Cqesto_2018
SAT
0
JP-sat-02-07-4
Cqesto_2018
SAT
2.28
JP-sat-02-08-3
Cqesto_2018
SAT
0.86
JP-unsat-02-06-3
Cqesto_2018
UNSAT
2.39
JP-unsat-03-07-4
Cqesto_2018
UNSAT
203.31
JP-unsat-03-08-3
Quabs_2018
UNSAT
153.25
SR-sat-02-01-06-2
Cqesto_2018
SAT
1.65
SR-sat-02-01-06-3
PortfolioGhostQQfunQuAbSQute___pfs
SAT
41.73
SR-sat-02-01-07-2
Cqesto_2018
SAT
1.6
SR-sat-03-01-07-2
PortfolioGhostQQfunQuAbSQute___pfs
SAT
138.4
SR-sat-03-01-08-2
PortfolioGhostQQfunQuAbSQute___pf3
SAT
144.21
SR-unsat-02-01-05-2
Quabs_2018
UNSAT
1.98
SR-unsat-02-01-06-1
Qute_hybrid
UNSAT
0
SR-unsat-03-01-06-2
PortfolioGhostQQfunQuAbSQute___pf3
UNSAT
868.51
Contact
|
Organization
|
Links
|
Citing QBFLIB