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
AQME-1NN
QBFEVAL'08
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.88
sortnetsort6.v.stepl.003
UNSAT
0.88
sortnetsort5.v.stepl.004
UNSAT
0.88
sortnetsort5.v.stepl.006
SAT
0.95
sortnetsort5.v.stepl.005
SAT
0.96
sortnetsort5.v.stepl.007
SAT
0.98
sortnetsort5.AE.stepl.003
SAT
0.99
sortnetsort6.v.stepl.005
SAT
1.05
sortnetsort6.v.stepl.006
SAT
1.06
sortnetsort7.v.stepl.003
UNSAT
1.08
sortnetsort5.AE.stepl.006
UNSAT
1.11
sortnetsort6.v.stepl.004
UNSAT
1.12
sortnetsort6.v.stepl.007
SAT
1.13
sortnetsort5.AE.stepl.005
UNSAT
1.15
sortnetsort7.AE.stepl.003
SAT
1.17
sortnetsort5.AE.stepl.004
SAT
1.23
sortnetsort5.AE.stepl.007
UNSAT
1.32
sortnetsort6.AE.stepl.003
SAT
1.33
sortnetsort7.v.stepl.004
UNSAT
1.41
sortnetsort8.v.stepl.003
UNSAT
1.43
sortnetsort6.AE.stepl.004
SAT
1.56
sortnetsort7.v.stepl.008
SAT
1.77
sortnetsort7.v.stepl.009
SAT
2.06
sortnetsort6.AE.stepl.006
UNSAT
2.3
sortnetsort8.v.stepl.004
UNSAT
2.43
sortnetsort8.AE.stepl.003
SAT
2.94
sortnetsort7.v.stepl.006
SAT
3.68
sortnetsort8.v.stepl.008
SAT
4.29
sortnetsort6.AE.stepl.005
UNSAT
4.3
sortnetsort7.v.stepl.007
SAT
4.9
sortnetsort8.v.stepl.009
SAT
5.04
sortnetsort6.AE.stepl.007
UNSAT
5.35
sortnetsort8.AE.stepl.004
SAT
5.58
sortnetsort7.AE.stepl.004
SAT
8.13
sortnetsort9.v.stepl.011
SAT
9.56
sortnetsort9.v.stepl.008
SAT
10.93
sortnetsort9.v.stepl.010
SAT
12.88
sortnetsort9.v.stepl.009
SAT
13.65
sortnetsort9.v.stepl.012
SAT
16.47
sortnetsort9.v.stepl.004
UNSAT
21.28
sortnetsort9.AE.stepl.004
SAT
21.94
sortnetsort10.v.stepl.009
SAT
22.36
sortnetsort8.v.stepl.007
SAT
25.57
sortnetsort7.AE.stepl.008
UNSAT
26.66
sortnetsort8.AE.stepl.007
UNSAT
28.95
sortnetsort8.v.stepl.006
SAT
29.37
sortnetsort7.AE.stepl.009
UNSAT
29.79
sortnetsort7.AE.stepl.007
UNSAT
34.72
sortnetsort8.v.stepl.005
UNSAT
42.89
sortnetsort10.v.stepl.012
SAT
45.08
sortnetsort10.v.stepl.010
SAT
45.37
sortnetsort10.v.stepl.011
SAT
51.73
sortnetsort7.v.stepl.005
UNSAT
97.29
sortnetsort10.v.stepl.004
UNSAT
103.64
sortnetsort10.v.stepl.008
SAT
128.46
sortnetsort9.v.stepl.005
UNSAT
157.19
sortnetsort9.v.stepl.007
SAT
266.67
sortnetsort10.v.stepl.005
UNSAT
308.94
sortnetsort10.AE.stepl.004
SAT
519.34
sortnetsort8.AE.stepl.008
FAIL
578.75
sortnetsort10.AE.stepl.012
FAIL
580.72
sortnetsort10.AE.stepl.008
FAIL
583.37
sortnetsort10.AE.stepl.010
FAIL
587.25
sortnetsort8.AE.stepl.006
FAIL
590.29
sortnetsort8.AE.stepl.009
FAIL
594.17
sortnetsort9.v.stepl.006
FAIL
596.53
sortnetsort7.AE.stepl.005
FAIL
596.77
sortnetsort7.AE.stepl.006
FAIL
596.83
sortnetsort8.AE.stepl.005
FAIL
597.07
sortnetsort10.v.stepl.007
FAIL
597.95
sortnetsort10.v.stepl.006
FAIL
598.16
sortnetsort9.AE.stepl.006
FAIL
598.18
sortnetsort9.AE.stepl.007
FAIL
598.3
sortnetsort10.AE.stepl.006
FAIL
598.35
sortnetsort9.AE.stepl.005
FAIL
598.44
sortnetsort9.AE.stepl.008
FAIL
598.47
sortnetsort10.AE.stepl.005
FAIL
598.55
sortnetsort9.AE.stepl.009
FAIL
598.73
sortnetsort10.AE.stepl.007
FAIL
598.89
sortnetsort9.AE.stepl.011
FAIL
599.01
sortnetsort9.AE.stepl.012
FAIL
599.03
sortnetsort10.AE.stepl.009
FAIL
599.23
sortnetsort9.AE.stepl.010
FAIL
599.3
sortnetsort10.AE.stepl.011
FAIL
599.37
Contact
|
Organization
|
Links
|
Citing QBFLIB