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_hc
QBFEVAL'06
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.03
sortnetsort5.v.stepl.006
SAT
0.07
sortnetsort5.v.stepl.005
SAT
0.08
sortnetsort5.v.stepl.004
UNSAT
0.09
sortnetsort6.v.stepl.003
UNSAT
0.11
sortnetsort5.v.stepl.007
SAT
0.11
sortnetsort6.v.stepl.005
SAT
0.2
sortnetsort6.v.stepl.004
UNSAT
0.22
sortnetsort6.v.stepl.006
SAT
0.22
sortnetsort6.v.stepl.007
SAT
0.25
sortnetsort7.v.stepl.003
UNSAT
0.36
sortnetsort7.v.stepl.004
UNSAT
0.63
sortnetsort7.v.stepl.007
SAT
0.97
sortnetsort7.v.stepl.008
SAT
1.18
sortnetsort8.v.stepl.003
UNSAT
1.18
sortnetsort7.v.stepl.009
SAT
1.35
sortnetsort7.v.stepl.006
SAT
1.54
sortnetsort8.v.stepl.004
UNSAT
2.06
sortnetsort8.v.stepl.006
SAT
2.56
sortnetsort8.v.stepl.007
SAT
3.23
sortnetsort8.v.stepl.008
SAT
3.64
sortnetsort8.v.stepl.009
SAT
4.21
sortnetsort9.v.stepl.004
UNSAT
5.83
sortnetsort7.v.stepl.005
UNSAT
6.63
sortnetsort9.v.stepl.008
SAT
9.34
sortnetsort9.v.stepl.007
SAT
13.82
sortnetsort9.v.stepl.009
SAT
14.2
sortnetsort9.v.stepl.010
SAT
14.81
sortnetsort8.v.stepl.005
UNSAT
16.28
sortnetsort10.v.stepl.004
UNSAT
16.36
sortnetsort9.v.stepl.012
SAT
17.35
sortnetsort9.v.stepl.011
SAT
18.35
sortnetsort8.AE.stepl.003
FAIL
27.2
sortnetsort9.v.stepl.005
UNSAT
33.65
sortnetsort9.AE.stepl.004
FAIL
34.56
sortnetsort8.AE.stepl.004
FAIL
35.52
sortnetsort7.AE.stepl.004
FAIL
36.46
sortnetsort7.AE.stepl.008
FAIL
37.45
sortnetsort7.AE.stepl.006
FAIL
37.87
sortnetsort7.AE.stepl.009
FAIL
39.86
sortnetsort10.v.stepl.009
SAT
40.84
sortnetsort6.AE.stepl.004
FAIL
41.85
sortnetsort7.AE.stepl.007
FAIL
43.62
sortnetsort7.AE.stepl.005
FAIL
43.93
sortnetsort10.AE.stepl.005
FAIL
44.93
sortnetsort10.AE.stepl.004
FAIL
45.26
sortnetsort9.AE.stepl.005
FAIL
46
sortnetsort5.AE.stepl.006
FAIL
48.24
sortnetsort10.AE.stepl.008
FAIL
49.05
sortnetsort10.AE.stepl.009
FAIL
49.31
sortnetsort8.AE.stepl.005
FAIL
50.4
sortnetsort6.AE.stepl.005
FAIL
50.47
sortnetsort9.AE.stepl.010
FAIL
50.62
sortnetsort8.AE.stepl.006
FAIL
50.85
sortnetsort5.AE.stepl.005
FAIL
51.38
sortnetsort9.AE.stepl.012
FAIL
52.74
sortnetsort9.AE.stepl.006
FAIL
53
sortnetsort6.AE.stepl.006
FAIL
53.15
sortnetsort5.AE.stepl.004
FAIL
53.56
sortnetsort10.v.stepl.012
SAT
55.1
sortnetsort5.AE.stepl.003
FAIL
55.97
sortnetsort10.AE.stepl.006
FAIL
57.56
sortnetsort8.AE.stepl.007
FAIL
59.29
sortnetsort10.v.stepl.010
SAT
60.34
sortnetsort8.AE.stepl.009
FAIL
60.37
sortnetsort10.AE.stepl.012
FAIL
62.11
sortnetsort10.AE.stepl.010
FAIL
63.21
sortnetsort10.v.stepl.011
SAT
63.81
sortnetsort9.AE.stepl.008
FAIL
64.07
sortnetsort9.AE.stepl.011
FAIL
64.66
sortnetsort10.AE.stepl.007
FAIL
65.32
sortnetsort6.AE.stepl.007
FAIL
66.62
sortnetsort9.AE.stepl.009
FAIL
70.78
sortnetsort6.AE.stepl.003
FAIL
75.84
sortnetsort8.AE.stepl.008
FAIL
77.88
sortnetsort10.v.stepl.005
UNSAT
89.28
sortnetsort9.AE.stepl.007
FAIL
98.33
sortnetsort5.AE.stepl.007
FAIL
105.36
sortnetsort7.AE.stepl.003
FAIL
110.34
sortnetsort10.AE.stepl.011
FAIL
121.44
sortnetsort10.v.stepl.008
FAIL
596.42
sortnetsort10.v.stepl.007
FAIL
596.72
sortnetsort10.v.stepl.006
FAIL
597.66
sortnetsort9.v.stepl.006
FAIL
599.84
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org