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'16 - 2QBF Track.
Instance
Solver
Result
Time
sortnetsort10.AE.stepl.004
qsts
SAT
7.91
sortnetsort10.AE.stepl.005
qsts
SAT
89.74
sortnetsort10.AE.stepl.007
xb-bid-qsts
UNSAT
508.02
sortnetsort10.AE.stepl.008
hiqqer1ldsq
UNSAT
39.26
sortnetsort10.AE.stepl.009
hiqqer1ldsq
UNSAT
28.4
sortnetsort10.AE.stepl.010
hiqqer1ldsq
UNSAT
54.69
sortnetsort10.AE.stepl.011
hiqqer1ldsq
UNSAT
44.28
sortnetsort10.AE.stepl.012
hiqqer1ldsq
UNSAT
51.08
sortnetsort5.AE.stepl.003
qsts
SAT
0.05
sortnetsort5.AE.stepl.004
qsts
SAT
0.32
sortnetsort5.AE.stepl.005
qsts
UNSAT
0.1
sortnetsort5.AE.stepl.006
qsts
UNSAT
0.18
sortnetsort5.AE.stepl.007
qsts
UNSAT
0.15
sortnetsort6.AE.stepl.003
qsts
SAT
0.13
sortnetsort6.AE.stepl.004
qsts
SAT
1
sortnetsort6.AE.stepl.005
qsts
UNSAT
1.06
sortnetsort6.AE.stepl.006
qsts
UNSAT
1.71
sortnetsort6.AE.stepl.007
qsts
UNSAT
1.19
sortnetsort7.AE.stepl.003
qsts
SAT
0.24
sortnetsort7.AE.stepl.004
qsts
SAT
1.42
sortnetsort7.AE.stepl.005
qsts
SAT
19.48
sortnetsort7.AE.stepl.006
rareqs
UNSAT
1.25
sortnetsort7.AE.stepl.007
rareqs
UNSAT
1.07
sortnetsort7.AE.stepl.008
rareqs
UNSAT
1.39
sortnetsort7.AE.stepl.009
rareqs
UNSAT
1.62
sortnetsort8.AE.stepl.003
qsts
SAT
0.57
sortnetsort8.AE.stepl.004
rareqs
SAT
1.74
sortnetsort8.AE.stepl.005
rareqs
SAT
6.29
sortnetsort8.AE.stepl.006
rareqs
UNSAT
3.24
sortnetsort8.AE.stepl.007
hiqqer1
UNSAT
9.09
sortnetsort8.AE.stepl.008
hiqqer1ldsq
UNSAT
10.34
sortnetsort8.AE.stepl.009
rareqs
UNSAT
12.38
sortnetsort9.AE.stepl.004
rareqs
SAT
2.96
sortnetsort9.AE.stepl.005
xb-qsts
SAT
12.21
sortnetsort9.AE.stepl.006
xb-bid-qsts
SAT
556.72
sortnetsort9.AE.stepl.007
rareqs
UNSAT
25.89
sortnetsort9.AE.stepl.008
hiqqer1ldsq
UNSAT
13.32
sortnetsort9.AE.stepl.009
xb-qsts
UNSAT
28.04
sortnetsort9.AE.stepl.010
hiqqer1ldsq
UNSAT
30.19
sortnetsort9.AE.stepl.011
hiqqer1ldsq
UNSAT
28.39
sortnetsort9.AE.stepl.012
hiqqer1ldsq
UNSAT
31.88
Contact
|
Organization
|
Links
|
Citing QBFLIB