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
Instances of family BoundedSynthesisPetriGames solved by
quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track
Instance
Result
Time
DW-sat-01-10-1
SAT
0
DWs-unsat-01-04-1
UNSAT
0
DWs-unsat-01-03-1
UNSAT
0
DWs-sat-02-07-1
SAT
0
DWs-sat-01-06-1
SAT
0
DWs-sat-01-05-1
SAT
0
DW-sat-02-11-1
SAT
1.63
CM-sat-02-01-06-4
SAT
2.97
CM-sat-02-01-06-3
SAT
2.98
JP-unsat-02-07-2
UNSAT
3.76
DWs-sat-03-11-1
SAT
6.29
JP-sat-02-07-3
SAT
12.15
DWs-sat-04-11-1
SAT
19.35
JP-sat-02-08-3
SAT
25.22
DWs-sat-04-12-1
SAT
25.3
JP-sat-02-07-4
SAT
30.85
DWs-unsat-05-11-1
UNSAT
33.09
SR-unsat-02-01-05-2
UNSAT
37.23
SR-sat-02-01-07-2
SAT
66.56
DWs-unsat-05-12-1
UNSAT
68.63
SR-sat-02-01-06-2
SAT
78.87
CM-sat-03-01-06-4
SAT
90.15
CM-sat-03-01-07-3
SAT
99.74
DW-unsat-06-16-1
UNSAT
285.08
CM-sat-04-01-06-4
SAT
395.39
DW-sat-04-16-1
SAT
469.73
DW-sat-08-22-1
SAT
491.38
DWs-unsat-08-17-1
UNSAT
492.94
DWs-unsat-08-18-1
UNSAT
501.79
DW-sat-08-23-1
SAT
508.81
CM-sat-04-01-06-3
SAT
510.12
DW-sat-08-24-1
SAT
512.41
SR-unsat-04-01-08-1
UNSAT
520.94
DW-sat-09-26-1
SAT
521.29
DWs-unsat-23-48-1
FAIL
526.52
CM-sat-04-01-07-3
SAT
529.46
DWs-unsat-07-16-1
UNSAT
542.09
DW-unsat-09-23-1
UNSAT
551.27
DWs-unsat-10-22-1
UNSAT
561.01
CM-sat-07-01-07-3
SAT
563.35
DWs-unsat-09-19-1
UNSAT
574.44
DW-unsat-09-22-1
UNSAT
576.48
JP-unsat-03-08-3
UNSAT
587.14
DW-unsat-10-25-1
UNSAT
595.43
DWs-sat-10-24-1
SAT
603.48
CM-sat-07-01-06-3
SAT
603.83
DWs-unsat-11-23-1
UNSAT
607.65
DW-sat-06-20-1
SAT
610.67
DWs-sat-05-15-1
SAT
617.7
DWs-sat-10-23-1
SAT
618.69
DW-sat-07-20-1
SAT
619.07
DWs-sat-10-25-1
SAT
632.79
SR-sat-02-01-06-3
SAT
679.44
DWs-unsat-11-24-1
UNSAT
698.82
SR-sat-03-01-07-2
SAT
700.4
DWs-sat-06-17-1
SAT
728.95
SR-sat-03-01-08-2
SAT
764.87
CM-unsat-07-01-06-2
UNSAT
776.93
JP-unsat-03-07-4
UNSAT
862.66
DW-unsat-11-26-1
UNSAT
879.08
DW-unsat-21-47-1
FAIL
900.01
DWs-unsat-17-35-1
FAIL
900.02
DW-unsat-14-33-1
FAIL
900.03
DWs-sat-12-28-1
FAIL
900.04
CM-sat-07-01-06-4
FAIL
900.06
Contact
|
Organization
|
Links
|
Citing QBFLIB