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 NCFS_bin solved by
CMS_Solver
QBFEVAL'08 - non-prenex non-cnf track.
Instance
Result
Time
008-020-03-04-005.ncf-bin
UNSAT
91.14
008-020-03-04-002.ncf-bin
UNSAT
92.97
008-020-03-04-003.ncf-bin
UNSAT
94.49
008-020-03-04-027.ncf-bin
UNSAT
94.62
008-020-03-04-039.ncf-bin
UNSAT
94.95
008-020-03-04-035.ncf-bin
SAT
96.17
008-020-03-04-022.ncf-bin
UNSAT
96.19
008-020-03-04-000.ncf-bin
UNSAT
98.95
008-020-03-04-042.ncf-bin
UNSAT
114
008-020-03-04-006.ncf-bin
UNSAT
115.73
008-020-03-04-048.ncf-bin
SAT
117.45
008-020-03-04-024.ncf-bin
SAT
149.04
008-020-03-04-013.ncf-bin
SAT
150.05
008-020-03-05-045.ncf-bin
SAT
157.53
008-020-03-04-021.ncf-bin
SAT
158.69
008-020-03-04-014.ncf-bin
SAT
159.14
008-020-03-04-004.ncf-bin
SAT
161.42
008-020-03-05-003.ncf-bin
SAT
163.66
008-020-03-04-032.ncf-bin
SAT
167.03
008-020-03-04-007.ncf-bin
SAT
177.66
008-020-03-04-043.ncf-bin
SAT
177.8
008-020-03-05-025.ncf-bin
UNSAT
182.09
008-020-03-05-042.ncf-bin
SAT
184.74
008-020-03-05-031.ncf-bin
UNSAT
186.69
008-020-03-05-018.ncf-bin
SAT
187.3
008-020-03-05-027.ncf-bin
UNSAT
190.08
008-020-03-04-038.ncf-bin
SAT
209.16
008-020-03-05-014.ncf-bin
UNSAT
211.67
008-020-03-05-001.ncf-bin
UNSAT
226.83
008-020-03-05-021.ncf-bin
SAT
314.22
008-020-03-04-040.ncf-bin
SAT
325.79
008-020-03-06-028.ncf-bin
SAT
333.51
008-020-03-05-011.ncf-bin
SAT
346.4
008-020-03-05-016.ncf-bin
SAT
347.13
008-020-03-05-029.ncf-bin
SAT
360.11
008-020-03-05-015.ncf-bin
SAT
360.44
008-020-03-06-017.ncf-bin
UNSAT
365.28
008-020-03-05-010.ncf-bin
SAT
366.18
008-020-03-06-044.ncf-bin
SAT
367.82
008-020-03-06-000.ncf-bin
UNSAT
392.47
008-020-03-06-015.ncf-bin
UNSAT
393.65
008-020-03-05-000.ncf-bin
SAT
395.68
008-020-03-06-002.ncf-bin
SAT
411.55
008-020-03-05-047.ncf-bin
SAT
488.84
008-020-03-06-006.ncf-bin
SAT
551.32
008-020-03-04-029.ncf-bin
SAT
591.5
008-020-03-04-033.ncf-bin
FAIL
600.05
008-020-03-04-012.ncf-bin
FAIL
600.05
008-020-03-04-010.ncf-bin
FAIL
600.05
008-020-03-04-037.ncf-bin
FAIL
600.05
008-020-03-04-020.ncf-bin
FAIL
600.06
008-020-03-05-023.ncf-bin
FAIL
600.06
008-020-03-04-028.ncf-bin
FAIL
600.06
008-020-03-04-036.ncf-bin
FAIL
600.06
008-020-03-04-047.ncf-bin
FAIL
600.06
008-020-03-05-020.ncf-bin
FAIL
600.06
008-020-03-05-036.ncf-bin
FAIL
600.06
008-020-03-05-004.ncf-bin
FAIL
600.06
008-020-03-05-005.ncf-bin
FAIL
600.06
008-020-03-04-019.ncf-bin
FAIL
600.06
008-020-03-05-007.ncf-bin
FAIL
600.06
008-020-03-04-001.ncf-bin
FAIL
600.06
008-020-03-04-031.ncf-bin
FAIL
600.06
008-020-03-04-045.ncf-bin
FAIL
600.06
008-020-03-05-017.ncf-bin
FAIL
600.06
008-020-03-05-024.ncf-bin
FAIL
600.06
008-020-03-04-023.ncf-bin
FAIL
600.06
008-020-03-04-041.ncf-bin
FAIL
600.06
008-020-03-04-016.ncf-bin
FAIL
600.06
008-020-03-04-030.ncf-bin
FAIL
600.06
008-020-03-04-011.ncf-bin
FAIL
600.06
008-020-03-04-049.ncf-bin
FAIL
600.06
008-020-03-04-034.ncf-bin
FAIL
600.06
008-020-03-05-035.ncf-bin
FAIL
600.07
008-020-03-06-026.ncf-bin
FAIL
600.07
008-020-03-05-009.ncf-bin
FAIL
600.07
008-020-03-06-034.ncf-bin
FAIL
600.07
008-020-03-05-046.ncf-bin
FAIL
600.07
008-020-03-04-017.ncf-bin
FAIL
600.07
008-020-03-05-022.ncf-bin
FAIL
600.07
008-020-03-05-006.ncf-bin
FAIL
600.07
008-020-03-05-043.ncf-bin
FAIL
600.07
008-020-03-04-026.ncf-bin
FAIL
600.07
008-020-03-04-018.ncf-bin
FAIL
600.07
008-020-03-05-049.ncf-bin
FAIL
600.07
008-020-03-04-015.ncf-bin
FAIL
600.07
008-020-03-05-038.ncf-bin
FAIL
600.07
008-020-03-05-044.ncf-bin
FAIL
600.07
008-020-03-06-046.ncf-bin
FAIL
600.07
008-020-03-04-025.ncf-bin
FAIL
600.07
008-020-03-04-044.ncf-bin
FAIL
600.07
008-020-03-04-046.ncf-bin
FAIL
600.07
008-020-03-06-039.ncf-bin
FAIL
600.07
008-020-03-06-022.ncf-bin
FAIL
600.07
008-020-03-06-032.ncf-bin
FAIL
600.07
008-020-03-05-041.ncf-bin
FAIL
600.07
008-020-03-05-033.ncf-bin
FAIL
600.07
008-020-03-05-028.ncf-bin
FAIL
600.07
008-020-03-05-039.ncf-bin
FAIL
600.07
008-020-03-05-012.ncf-bin
FAIL
600.07
008-020-03-05-013.ncf-bin
FAIL
600.07
008-020-03-04-008.ncf-bin
FAIL
600.07
008-020-03-05-040.ncf-bin
FAIL
600.07
008-020-03-06-029.ncf-bin
FAIL
600.07
008-020-03-06-018.ncf-bin
FAIL
600.07
008-020-03-06-016.ncf-bin
FAIL
600.07
008-020-03-06-047.ncf-bin
FAIL
600.07
008-020-03-04-009.ncf-bin
FAIL
600.07
008-020-03-06-033.ncf-bin
FAIL
600.07
008-020-03-05-037.ncf-bin
FAIL
600.07
008-020-03-06-045.ncf-bin
FAIL
600.07
008-020-03-06-035.ncf-bin
FAIL
600.07
008-020-03-06-027.ncf-bin
FAIL
600.07
008-020-03-06-030.ncf-bin
FAIL
600.07
008-020-03-06-031.ncf-bin
FAIL
600.07
008-020-03-06-040.ncf-bin
FAIL
600.07
008-020-03-06-023.ncf-bin
FAIL
600.07
008-020-03-06-001.ncf-bin
FAIL
600.07
008-020-03-05-032.ncf-bin
FAIL
600.07
008-020-03-05-019.ncf-bin
FAIL
600.07
008-020-03-06-049.ncf-bin
FAIL
600.07
008-020-03-06-020.ncf-bin
FAIL
600.07
008-020-03-06-011.ncf-bin
FAIL
600.07
008-020-03-06-024.ncf-bin
FAIL
600.07
008-020-03-06-003.ncf-bin
FAIL
600.07
008-020-03-05-048.ncf-bin
FAIL
600.07
008-020-03-05-034.ncf-bin
FAIL
600.07
008-020-03-05-026.ncf-bin
FAIL
600.07
008-020-03-06-008.ncf-bin
FAIL
600.07
008-020-03-05-002.ncf-bin
FAIL
600.07
008-020-03-06-025.ncf-bin
FAIL
600.07
008-020-03-06-037.ncf-bin
FAIL
600.07
008-020-03-05-030.ncf-bin
FAIL
600.07
008-020-03-06-038.ncf-bin
FAIL
600.08
008-020-03-06-012.ncf-bin
FAIL
600.08
008-020-03-06-021.ncf-bin
FAIL
600.08
008-020-03-06-004.ncf-bin
FAIL
600.08
008-020-03-06-019.ncf-bin
FAIL
600.08
008-020-03-06-036.ncf-bin
FAIL
600.08
008-020-03-06-009.ncf-bin
FAIL
600.08
008-020-03-06-007.ncf-bin
FAIL
600.08
008-020-03-06-043.ncf-bin
FAIL
600.08
008-020-03-06-041.ncf-bin
FAIL
600.08
008-020-03-06-042.ncf-bin
FAIL
600.08
008-020-03-06-005.ncf-bin
FAIL
600.08
008-020-03-06-010.ncf-bin
FAIL
600.08
008-020-03-06-013.ncf-bin
FAIL
600.08
008-020-03-06-014.ncf-bin
FAIL
600.09
008-020-03-05-008.ncf-bin
FAIL
600.09
008-020-03-06-048.ncf-bin
FAIL
600.09
Contact
|
Organization
|
Links
|
Citing QBFLIB