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
qestos
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
sortnetsort5.AE.stepl.007
UNSAT
3.56
sortnetsort5.AE.stepl.006
UNSAT
4.72
sortnetsort5.AE.stepl.005
UNSAT
5.31
sortnetsort7.AE.stepl.006
UNSAT
10.12
sortnetsort7.AE.stepl.007
UNSAT
17.46
sortnetsort7.AE.stepl.008
UNSAT
18.29
sortnetsort6.AE.stepl.004
SAT
20
sortnetsort6.AE.stepl.007
UNSAT
20.63
sortnetsort6.AE.stepl.005
UNSAT
24.62
sortnetsort8.AE.stepl.004
SAT
24.71
sortnetsort7.AE.stepl.009
UNSAT
34.3
sortnetsort5.AE.stepl.003
SAT
35.31
sortnetsort8.AE.stepl.003
SAT
54.19
sortnetsort6.AE.stepl.003
SAT
62.39
sortnetsort5.AE.stepl.004
SAT
77.7
sortnetsort6.AE.stepl.006
UNSAT
82.1
sortnetsort8.AE.stepl.008
UNSAT
128.34
sortnetsort7.AE.stepl.004
SAT
171.8
sortnetsort7.AE.stepl.003
SAT
173.3
sortnetsort9.AE.stepl.004
SAT
192.97
sortnetsort8.AE.stepl.005
SAT
205.07
sortnetsort8.AE.stepl.006
UNSAT
209.8
sortnetsort8.AE.stepl.007
UNSAT
213.5
sortnetsort10.AE.stepl.006
FAIL
333.92
sortnetsort9.AE.stepl.008
FAIL
350.62
sortnetsort9.AE.stepl.011
UNSAT
355.57
sortnetsort9.AE.stepl.009
FAIL
421.22
sortnetsort10.AE.stepl.004
FAIL
470.63
sortnetsort10.AE.stepl.009
FAIL
472.22
sortnetsort10.AE.stepl.008
FAIL
473.52
sortnetsort10.AE.stepl.012
FAIL
476.62
sortnetsort9.AE.stepl.005
FAIL
504.32
sortnetsort9.AE.stepl.012
FAIL
572.22
sortnetsort10.AE.stepl.007
FAIL
591.63
sortnetsort10.AE.stepl.010
FAIL
599.71
sortnetsort9.AE.stepl.007
FAIL
599.81
sortnetsort10.AE.stepl.011
FAIL
599.81
sortnetsort9.AE.stepl.010
FAIL
599.81
sortnetsort8.AE.stepl.009
FAIL
599.81
sortnetsort10.AE.stepl.005
FAIL
599.81
sortnetsort9.AE.stepl.006
FAIL
599.81
sortnetsort7.AE.stepl.005
FAIL
599.91
Contact
|
Organization
|
Links
|
Citing QBFLIB