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
Prenex non-CNF Track
Instance
Result
Time
SR-unsat-02-01-06-1
UNSAT
0
JP-unsat-02-07-2
UNSAT
3.81
SR-unsat-03-01-07-1
UNSAT
5.56
JP-unsat-02-06-3
UNSAT
9.69
JP-sat-02-08-3
SAT
25.33
JP-sat-02-07-4
SAT
30.73
SR-unsat-02-01-05-2
UNSAT
36.68
SR-sat-02-01-07-2
SAT
65.46
SR-sat-02-01-06-2
SAT
79.37
CM-sat-04-01-06-4
SAT
395.66
DW-sat-04-16-1
SAT
469.7
DW-sat-08-22-1
SAT
490.95
DWs-unsat-08-17-1
UNSAT
494.41
DWs-unsat-08-18-1
UNSAT
502.29
DW-sat-08-23-1
SAT
506.49
SR-unsat-04-01-08-1
UNSAT
511.29
CM-sat-04-01-06-3
SAT
513.92
DW-unsat-24-52-1
FAIL
518.36
DWs-unsat-22-45-1
FAIL
518.43
DWs-sat-22-47-1
FAIL
521.14
DW-sat-09-26-1
SAT
523.58
DWs-unsat-23-47-1
FAIL
524.7
DW-unsat-25-54-1
FAIL
525.68
CM-sat-04-01-07-3
SAT
528.17
DWs-sat-23-49-1
FAIL
529.28
DWs-unsat-24-49-1
FAIL
532.64
DWs-sat-24-51-1
FAIL
536.44
DWs-unsat-25-51-1
FAIL
542.69
DWs-sat-25-53-1
FAIL
546.86
DW-unsat-09-23-1
UNSAT
550.08
DWs-unsat-10-22-1
UNSAT
561.06
CM-sat-07-01-07-3
SAT
563.31
DW-unsat-09-22-1
UNSAT
575.85
DWs-unsat-09-19-1
UNSAT
581.06
JP-unsat-03-08-3
UNSAT
592.36
DW-unsat-10-25-1
UNSAT
595.28
CM-sat-07-01-06-3
SAT
604.16
DWs-unsat-11-23-1
UNSAT
607.88
DWs-sat-10-23-1
SAT
615.44
DWs-sat-10-25-1
SAT
632.53
SR-sat-02-01-06-3
SAT
682.9
DWs-unsat-11-24-1
UNSAT
698.59
SR-sat-03-01-07-2
SAT
699.24
SR-sat-04-01-09-2
FAIL
754.64
SR-sat-03-01-08-2
SAT
764.61
CM-unsat-07-01-06-2
UNSAT
775.41
SR-unsat-03-01-06-2
UNSAT
805.75
JP-unsat-03-07-4
UNSAT
872.35
DW-unsat-11-26-1
UNSAT
875.95
SR-sat-03-01-07-3
FAIL
896.22
CM-sat-20-01-06-3
FAIL
897.48
CM-unsat-21-01-05-3
FAIL
897.61
SR-unsat-04-01-07-2
FAIL
900
SR-sat-04-01-08-2
FAIL
900
JP-sat-03-09-5
FAIL
900
JP-sat-03-09-4
FAIL
900
JP-sat-03-08-5
FAIL
900
DW-unsat-20-44-1
FAIL
900
DW-unsat-22-48-1
FAIL
900
SR-sat-04-01-08-3
FAIL
900
DW-sat-18-42-1
FAIL
900
DW-sat-17-40-1
FAIL
900
CM-unsat-20-01-05-3
FAIL
900
CM-unsat-19-01-05-3
FAIL
900
CM-unsat-16-01-05-3
FAIL
900
CM-unsat-18-01-05-3
FAIL
900
CM-unsat-17-01-05-3
FAIL
900
CM-unsat-15-01-05-3
FAIL
900
CM-unsat-14-01-05-3
FAIL
900
CM-sat-07-01-06-4
FAIL
900
CM-unsat-13-01-05-3
FAIL
900
DW-sat-20-46-1
FAIL
900
DW-sat-21-48-1
FAIL
900
DW-unsat-21-46-1
FAIL
900
DWs-sat-21-45-1
FAIL
900
DWs-sat-20-43-1
FAIL
900
JP-sat-03-08-4
FAIL
900
JP-sat-03-09-6
FAIL
900
JP-sat-03-10-5
FAIL
900
DWs-sat-19-41-1
FAIL
900
JP-unsat-03-08-5
FAIL
900
JP-unsat-03-09-4
FAIL
900
DWs-sat-12-28-1
FAIL
900
DW-sat-22-50-1
FAIL
900
CM-sat-21-01-06-3
FAIL
900
DW-unsat-23-50-1
FAIL
900
CM-sat-19-01-06-3
FAIL
900
CM-sat-18-01-07-3
FAIL
900
DW-sat-19-44-1
FAIL
900
Contact
|
Organization
|
Links
|
Citing QBFLIB