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 Sorting_networks solved by
aspQ
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
sortnetsort7.AE.stepl.008
FAIL
1.33
sortnetsort8.AE.stepl.006
FAIL
1.52
sortnetsort7.AE.stepl.009
FAIL
1.57
sortnetsort10.AE.stepl.006
FAIL
2.57
sortnetsort10.AE.stepl.004
FAIL
2.59
sortnetsort8.AE.stepl.008
FAIL
2.61
sortnetsort5.AE.stepl.003
SAT
2.76
sortnetsort8.AE.stepl.003
FAIL
3.65
sortnetsort5.AE.stepl.006
UNSAT
3.99
sortnetsort5.AE.stepl.005
UNSAT
4.08
sortnetsort5.AE.stepl.007
UNSAT
4.64
sortnetsort9.AE.stepl.011
FAIL
4.81
sortnetsort10.AE.stepl.008
FAIL
5.09
sortnetsort8.AE.stepl.009
FAIL
5.13
sortnetsort5.AE.stepl.004
SAT
5.23
sortnetsort6.AE.stepl.004
SAT
5.45
sortnetsort6.AE.stepl.003
SAT
5.63
sortnetsort9.AE.stepl.006
FAIL
5.82
sortnetsort6.AE.stepl.007
UNSAT
5.94
sortnetsort7.AE.stepl.004
SAT
6.07
sortnetsort7.AE.stepl.006
UNSAT
6.23
sortnetsort8.AE.stepl.004
SAT
6.39
sortnetsort7.AE.stepl.007
UNSAT
6.73
sortnetsort7.AE.stepl.005
FAIL
6.98
sortnetsort7.AE.stepl.003
SAT
7.78
sortnetsort6.AE.stepl.006
FAIL
8.15
sortnetsort6.AE.stepl.005
FAIL
9.37
sortnetsort8.AE.stepl.007
UNSAT
17.07
sortnetsort9.AE.stepl.004
SAT
20.87
sortnetsort9.AE.stepl.009
UNSAT
34.54
sortnetsort8.AE.stepl.005
SAT
40.53
sortnetsort9.AE.stepl.012
UNSAT
41.9
sortnetsort9.AE.stepl.010
UNSAT
51.93
sortnetsort9.AE.stepl.005
FAIL
61.26
sortnetsort9.AE.stepl.008
FAIL
62.14
sortnetsort10.AE.stepl.011
UNSAT
62.87
sortnetsort9.AE.stepl.007
FAIL
63.04
sortnetsort10.AE.stepl.009
FAIL
63.64
sortnetsort10.AE.stepl.005
FAIL
63.91
sortnetsort10.AE.stepl.010
FAIL
69.3
sortnetsort10.AE.stepl.007
FAIL
70.4
sortnetsort10.AE.stepl.012
FAIL
72.57
Contact
|
Organization
|
Links
|
Citing QBFLIB