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
QUANTOR_2.15
QBFEVAL'07
Instance
Result
Time
sortnetsort7.v.stepl.004
UNSAT
0.74
sortnetsort7.v.stepl.007
SAT
1.25
sortnetsort7.v.stepl.008
SAT
1.57
sortnetsort7.v.stepl.009
SAT
1.64
sortnetsort7.v.stepl.006
SAT
1.88
sortnetsort8.v.stepl.004
UNSAT
2
sortnetsort8.v.stepl.007
SAT
3.74
sortnetsort8.v.stepl.008
SAT
4.37
sortnetsort8.v.stepl.006
SAT
4.54
sortnetsort8.v.stepl.009
SAT
5.12
sortnetsort9.v.stepl.004
UNSAT
5.13
sortnetsort7.v.stepl.005
UNSAT
6.5
sortnetsort9.v.stepl.008
SAT
14.03
sortnetsort8.v.stepl.005
UNSAT
14.27
sortnetsort10.v.stepl.004
UNSAT
14.73
sortnetsort9.v.stepl.010
SAT
14.86
sortnetsort9.v.stepl.009
SAT
15.22
sortnetsort9.v.stepl.011
SAT
16.23
sortnetsort9.v.stepl.012
SAT
17.79
sortnetsort8.AE.stepl.003
FAIL
21.48
sortnetsort9.v.stepl.007
SAT
21.53
sortnetsort8.AE.stepl.004
FAIL
23.87
sortnetsort9.AE.stepl.004
FAIL
27.73
sortnetsort7.AE.stepl.004
FAIL
30.19
sortnetsort7.AE.stepl.006
FAIL
32.16
sortnetsort7.AE.stepl.008
FAIL
32.84
sortnetsort10.v.stepl.008
SAT
33.18
sortnetsort10.v.stepl.012
FAIL
34.61
sortnetsort7.AE.stepl.009
FAIL
34.83
sortnetsort6.AE.stepl.004
FAIL
35.19
sortnetsort9.v.stepl.005
UNSAT
35.51
sortnetsort7.AE.stepl.005
FAIL
36.44
sortnetsort10.AE.stepl.004
FAIL
36.99
sortnetsort7.AE.stepl.007
FAIL
37.31
sortnetsort6.AE.stepl.003
FAIL
38.42
sortnetsort5.AE.stepl.006
FAIL
38.92
sortnetsort10.v.stepl.009
SAT
39.56
sortnetsort10.v.stepl.010
SAT
39.96
sortnetsort5.AE.stepl.005
FAIL
40.87
sortnetsort5.AE.stepl.007
FAIL
40.9
sortnetsort8.AE.stepl.006
FAIL
41.58
sortnetsort7.AE.stepl.003
FAIL
41.76
sortnetsort8.AE.stepl.005
FAIL
42.51
sortnetsort6.AE.stepl.005
FAIL
43.34
sortnetsort6.AE.stepl.006
FAIL
45.71
sortnetsort5.AE.stepl.004
FAIL
46.87
sortnetsort10.v.stepl.011
SAT
46.98
sortnetsort8.AE.stepl.009
FAIL
49.98
sortnetsort8.AE.stepl.007
FAIL
51.29
sortnetsort6.AE.stepl.007
FAIL
52.65
sortnetsort8.AE.stepl.008
FAIL
61.27
sortnetsort10.v.stepl.005
UNSAT
93.15
sortnetsort10.v.stepl.007
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB