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
WalkQSAT
QBFEVAL'06
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.02
sortnetsort7.v.stepl.003
UNSAT
0.11
sortnetsort6.v.stepl.003
UNSAT
0.12
sortnetsort5.v.stepl.004
UNSAT
0.13
sortnetsort5.v.stepl.007
SAT
0.18
sortnetsort8.v.stepl.003
UNSAT
0.19
sortnetsort5.v.stepl.005
UNSAT
0.38
sortnetsort6.v.stepl.004
UNSAT
0.5
sortnetsort7.v.stepl.004
UNSAT
0.69
sortnetsort5.v.stepl.006
SAT
0.81
sortnetsort8.v.stepl.004
UNSAT
1.77
sortnetsort9.v.stepl.004
UNSAT
1.78
sortnetsort7.v.stepl.005
UNSAT
1.8
sortnetsort6.v.stepl.005
UNSAT
1.89
sortnetsort10.v.stepl.004
UNSAT
3.91
sortnetsort8.v.stepl.005
UNSAT
4.14
sortnetsort5.AE.stepl.003
SAT
5.09
sortnetsort9.v.stepl.005
UNSAT
10.46
sortnetsort10.v.stepl.005
UNSAT
11.69
sortnetsort6.v.stepl.006
UNSAT
14.81
sortnetsort7.v.stepl.006
UNSAT
24.65
sortnetsort8.v.stepl.006
UNSAT
115.47
sortnetsort6.v.stepl.007
UNSAT
150.6
sortnetsort7.v.stepl.007
UNSAT
166.2
sortnetsort10.v.stepl.011
FAIL
219.32
sortnetsort9.v.stepl.012
FAIL
223.06
sortnetsort10.v.stepl.010
FAIL
264.4
sortnetsort9.v.stepl.011
FAIL
344.96
sortnetsort9.v.stepl.009
FAIL
346.94
sortnetsort10.v.stepl.012
FAIL
358.34
sortnetsort9.v.stepl.010
FAIL
395.49
sortnetsort6.AE.stepl.003
SAT
519.86
sortnetsort10.v.stepl.009
FAIL
546.99
sortnetsort5.AE.stepl.004
FAIL
568.15
sortnetsort10.v.stepl.007
FAIL
597.14
sortnetsort10.v.stepl.008
FAIL
599.93
sortnetsort8.v.stepl.009
FAIL
600.03
sortnetsort10.v.stepl.006
FAIL
600.07
sortnetsort9.v.stepl.007
FAIL
600.08
sortnetsort9.v.stepl.008
FAIL
600.15
sortnetsort8.v.stepl.008
FAIL
600.15
sortnetsort9.v.stepl.006
FAIL
600.3
sortnetsort8.v.stepl.007
FAIL
600.35
sortnetsort7.v.stepl.009
FAIL
600.4
sortnetsort7.v.stepl.008
FAIL
600.58
sortnetsort6.AE.stepl.004
FAIL
600.94
sortnetsort6.AE.stepl.005
FAIL
600.96
sortnetsort5.AE.stepl.006
FAIL
600.97
sortnetsort7.AE.stepl.004
FAIL
600.98
sortnetsort8.AE.stepl.007
FAIL
600.98
sortnetsort7.AE.stepl.006
FAIL
600.98
sortnetsort9.AE.stepl.012
FAIL
600.98
sortnetsort9.AE.stepl.005
FAIL
600.98
sortnetsort10.AE.stepl.010
FAIL
600.98
sortnetsort5.AE.stepl.007
FAIL
600.98
sortnetsort10.AE.stepl.011
FAIL
600.99
sortnetsort6.AE.stepl.006
FAIL
600.99
sortnetsort8.AE.stepl.006
FAIL
600.99
sortnetsort10.AE.stepl.012
FAIL
600.99
sortnetsort9.AE.stepl.010
FAIL
600.99
sortnetsort8.AE.stepl.008
FAIL
600.99
sortnetsort7.AE.stepl.007
FAIL
600.99
sortnetsort8.AE.stepl.009
FAIL
600.99
sortnetsort10.AE.stepl.007
FAIL
600.99
sortnetsort7.AE.stepl.008
FAIL
600.99
sortnetsort10.AE.stepl.008
FAIL
600.99
sortnetsort5.AE.stepl.005
FAIL
600.99
sortnetsort7.AE.stepl.009
FAIL
600.99
sortnetsort8.AE.stepl.003
FAIL
600.99
sortnetsort10.AE.stepl.009
FAIL
600.99
sortnetsort8.AE.stepl.004
FAIL
600.99
sortnetsort7.AE.stepl.003
FAIL
600.99
sortnetsort8.AE.stepl.005
FAIL
600.99
sortnetsort9.AE.stepl.008
FAIL
600.99
sortnetsort9.AE.stepl.009
FAIL
601
sortnetsort10.AE.stepl.004
FAIL
601
sortnetsort6.AE.stepl.007
FAIL
601
sortnetsort7.AE.stepl.005
FAIL
601
sortnetsort10.AE.stepl.005
FAIL
601
sortnetsort9.AE.stepl.011
FAIL
601
sortnetsort10.AE.stepl.006
FAIL
601
sortnetsort9.AE.stepl.004
FAIL
601
sortnetsort9.AE.stepl.006
FAIL
601
sortnetsort9.AE.stepl.007
FAIL
601
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org