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
quantor3.0
QBFEVAL'08
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.02
sortnetsort5.v.stepl.005
SAT
0.03
sortnetsort5.v.stepl.004
UNSAT
0.03
sortnetsort5.v.stepl.006
SAT
0.04
sortnetsort5.v.stepl.007
SAT
0.04
sortnetsort6.v.stepl.003
UNSAT
0.06
sortnetsort6.v.stepl.004
UNSAT
0.1
sortnetsort6.v.stepl.005
SAT
0.1
sortnetsort6.v.stepl.006
SAT
0.12
sortnetsort6.v.stepl.007
SAT
0.14
sortnetsort7.v.stepl.003
UNSAT
0.16
sortnetsort7.v.stepl.004
UNSAT
0.38
sortnetsort7.v.stepl.006
SAT
0.42
sortnetsort8.v.stepl.003
UNSAT
0.45
sortnetsort7.v.stepl.007
SAT
0.46
sortnetsort7.v.stepl.008
SAT
0.56
sortnetsort7.v.stepl.009
SAT
0.62
sortnetsort8.v.stepl.004
UNSAT
0.8
sortnetsort8.v.stepl.006
SAT
1.13
sortnetsort8.v.stepl.007
SAT
1.47
sortnetsort8.v.stepl.008
SAT
1.69
sortnetsort8.v.stepl.009
SAT
1.94
sortnetsort7.v.stepl.005
UNSAT
2.48
sortnetsort9.v.stepl.004
UNSAT
3.25
sortnetsort9.v.stepl.008
SAT
4.56
sortnetsort9.v.stepl.009
SAT
5.09
sortnetsort9.v.stepl.010
SAT
5.64
sortnetsort10.v.stepl.004
UNSAT
5.89
sortnetsort9.v.stepl.011
SAT
6.15
sortnetsort9.v.stepl.012
SAT
7.06
sortnetsort8.v.stepl.005
UNSAT
8.4
sortnetsort10.v.stepl.008
SAT
12.95
sortnetsort10.v.stepl.009
SAT
15.23
sortnetsort10.v.stepl.010
SAT
15.54
sortnetsort10.v.stepl.011
SAT
16.58
sortnetsort10.v.stepl.012
SAT
18.14
sortnetsort9.v.stepl.005
UNSAT
18.31
sortnetsort9.v.stepl.007
SAT
19.3
sortnetsort10.v.stepl.005
UNSAT
46.65
sortnetsort8.AE.stepl.004
FAIL
61.04
sortnetsort8.AE.stepl.008
FAIL
64.97
sortnetsort8.AE.stepl.006
FAIL
66.75
sortnetsort8.AE.stepl.003
FAIL
73.5
sortnetsort8.AE.stepl.005
FAIL
73.76
sortnetsort8.AE.stepl.007
FAIL
74.47
sortnetsort10.AE.stepl.011
FAIL
74.61
sortnetsort10.AE.stepl.004
FAIL
75.13
sortnetsort5.AE.stepl.005
FAIL
75.25
sortnetsort7.AE.stepl.008
FAIL
76.09
sortnetsort10.AE.stepl.012
FAIL
80.95
sortnetsort10.AE.stepl.006
FAIL
81.87
sortnetsort10.AE.stepl.008
FAIL
82.44
sortnetsort9.AE.stepl.004
FAIL
82.67
sortnetsort8.AE.stepl.009
FAIL
83.69
sortnetsort5.AE.stepl.007
FAIL
85.31
sortnetsort7.AE.stepl.003
FAIL
86.18
sortnetsort10.AE.stepl.005
FAIL
88.34
sortnetsort9.AE.stepl.005
FAIL
88.86
sortnetsort5.AE.stepl.004
FAIL
88.89
sortnetsort7.AE.stepl.007
FAIL
89.37
sortnetsort6.AE.stepl.007
FAIL
89.38
sortnetsort10.AE.stepl.010
FAIL
94.15
sortnetsort10.AE.stepl.007
FAIL
95.53
sortnetsort7.AE.stepl.006
FAIL
95.92
sortnetsort9.AE.stepl.007
FAIL
99.45
sortnetsort5.AE.stepl.006
FAIL
101.84
sortnetsort10.AE.stepl.009
FAIL
103.87
sortnetsort9.AE.stepl.006
FAIL
103.99
sortnetsort6.AE.stepl.005
FAIL
109.98
sortnetsort9.AE.stepl.008
FAIL
111.12
sortnetsort6.AE.stepl.004
FAIL
111.2
sortnetsort6.AE.stepl.003
FAIL
117.42
sortnetsort7.AE.stepl.005
FAIL
120.15
sortnetsort7.AE.stepl.004
FAIL
121.92
sortnetsort7.AE.stepl.009
FAIL
123.12
sortnetsort9.AE.stepl.011
FAIL
123.17
sortnetsort9.AE.stepl.009
FAIL
123.61
sortnetsort9.AE.stepl.010
FAIL
125.07
sortnetsort6.AE.stepl.006
FAIL
132.3
sortnetsort9.AE.stepl.012
FAIL
132.61
sortnetsort5.AE.stepl.003
FAIL
156.07
sortnetsort9.v.stepl.006
FAIL
600
sortnetsort10.v.stepl.006
FAIL
600
sortnetsort10.v.stepl.007
FAIL
600
Contact
|
Organization
|
Links
|
Citing QBFLIB