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
Sota solver results for family Sorting_networks
QBFEVAL'08
Instance
Solver
Result
Time
sortnetsort10.AE.stepl.004
AQME-1NN
SAT
519.34
sortnetsort10.v.stepl.004
quantor3.0
UNSAT
5.89
sortnetsort10.v.stepl.005
quantor3.0
UNSAT
46.65
sortnetsort10.v.stepl.008
quantor3.0
SAT
12.95
sortnetsort10.v.stepl.009
quantor3.0
SAT
15.23
sortnetsort10.v.stepl.010
quantor3.0
SAT
15.54
sortnetsort10.v.stepl.011
quantor3.0
SAT
16.58
sortnetsort10.v.stepl.012
quantor3.0
SAT
18.14
sortnetsort5.AE.stepl.003
QuBE6.1
SAT
0.09
sortnetsort5.AE.stepl.004
QuBE6.1
SAT
0.34
sortnetsort5.AE.stepl.005
QuBE6.1
UNSAT
0.17
sortnetsort5.AE.stepl.006
QuBE6.1
UNSAT
0.26
sortnetsort5.AE.stepl.007
QuBE6.1
UNSAT
0.31
sortnetsort5.v.stepl.003
quantor3.0
UNSAT
0.02
sortnetsort5.v.stepl.004
quantor3.0
UNSAT
0.03
sortnetsort5.v.stepl.005
quantor3.0
SAT
0.03
sortnetsort5.v.stepl.006
quantor3.0
SAT
0.04
sortnetsort5.v.stepl.007
quantor3.0
SAT
0.04
sortnetsort6.AE.stepl.003
QuBE6.1
SAT
0.36
sortnetsort6.AE.stepl.004
AQME-1NN
SAT
1.56
sortnetsort6.AE.stepl.005
QuBE6.1
UNSAT
3.14
sortnetsort6.AE.stepl.006
AQME-1NN
UNSAT
2.3
sortnetsort6.AE.stepl.007
QuBE6.1
UNSAT
4.13
sortnetsort6.v.stepl.003
quantor3.0
UNSAT
0.06
sortnetsort6.v.stepl.004
quantor3.0
UNSAT
0.1
sortnetsort6.v.stepl.005
quantor3.0
SAT
0.1
sortnetsort6.v.stepl.006
quantor3.0
SAT
0.12
sortnetsort6.v.stepl.007
quantor3.0
SAT
0.14
sortnetsort7.AE.stepl.003
QuBE6.1
SAT
0.57
sortnetsort7.AE.stepl.004
QuBE6.1
SAT
6.8
sortnetsort7.AE.stepl.006
QuBE6.1
UNSAT
136.41
sortnetsort7.AE.stepl.007
QuBE6.1
UNSAT
32.05
sortnetsort7.AE.stepl.008
QuBE6.1
UNSAT
23.97
sortnetsort7.AE.stepl.009
QuBE6.1
UNSAT
27.33
sortnetsort7.v.stepl.003
quantor3.0
UNSAT
0.16
sortnetsort7.v.stepl.004
quantor3.0
UNSAT
0.38
sortnetsort7.v.stepl.005
quantor3.0
UNSAT
2.48
sortnetsort7.v.stepl.006
quantor3.0
SAT
0.42
sortnetsort7.v.stepl.007
quantor3.0
SAT
0.46
sortnetsort7.v.stepl.008
quantor3.0
SAT
0.56
sortnetsort7.v.stepl.009
quantor3.0
SAT
0.62
sortnetsort8.AE.stepl.003
QuBE6.1
SAT
1.71
sortnetsort8.AE.stepl.004
QuBE6.1
SAT
4.34
sortnetsort8.AE.stepl.007
QuBE6.1
UNSAT
26.47
sortnetsort8.AE.stepl.008
QuBE6.1
UNSAT
400.43
sortnetsort8.AE.stepl.009
QuBE6.1
UNSAT
151.95
sortnetsort8.v.stepl.003
quantor3.0
UNSAT
0.45
sortnetsort8.v.stepl.004
quantor3.0
UNSAT
0.8
sortnetsort8.v.stepl.005
quantor3.0
UNSAT
8.4
sortnetsort8.v.stepl.006
quantor3.0
SAT
1.13
sortnetsort8.v.stepl.007
quantor3.0
SAT
1.47
sortnetsort8.v.stepl.008
quantor3.0
SAT
1.69
sortnetsort8.v.stepl.009
quantor3.0
SAT
1.94
sortnetsort9.AE.stepl.004
QuBE6.1
SAT
19.37
sortnetsort9.v.stepl.004
quantor3.0
UNSAT
3.25
sortnetsort9.v.stepl.005
quantor3.0
UNSAT
18.31
sortnetsort9.v.stepl.007
Nenofex
SAT
12.01
sortnetsort9.v.stepl.008
quantor3.0
SAT
4.56
sortnetsort9.v.stepl.009
quantor3.0
SAT
5.09
sortnetsort9.v.stepl.010
quantor3.0
SAT
5.64
sortnetsort9.v.stepl.011
quantor3.0
SAT
6.15
sortnetsort9.v.stepl.012
Nenofex
SAT
6.68
Contact
|
Organization
|
Links
|
Citing QBFLIB