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
sKizzo-0.9-grn
QBFEVAL'06
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.03
sortnetsort5.v.stepl.004
UNSAT
0.04
sortnetsort5.v.stepl.005
SAT
0.06
sortnetsort5.v.stepl.006
SAT
0.06
sortnetsort5.v.stepl.007
SAT
0.06
sortnetsort6.v.stepl.003
UNSAT
0.07
sortnetsort6.v.stepl.005
SAT
0.1
sortnetsort6.v.stepl.004
UNSAT
0.11
sortnetsort6.v.stepl.006
SAT
0.13
sortnetsort6.v.stepl.007
SAT
0.13
sortnetsort7.v.stepl.003
UNSAT
0.13
sortnetsort7.v.stepl.004
UNSAT
0.23
sortnetsort7.v.stepl.006
SAT
0.25
sortnetsort8.v.stepl.003
UNSAT
0.29
sortnetsort7.v.stepl.007
SAT
0.31
sortnetsort7.v.stepl.008
SAT
0.36
sortnetsort7.v.stepl.009
SAT
0.37
sortnetsort8.v.stepl.004
UNSAT
0.63
sortnetsort8.v.stepl.008
SAT
0.83
sortnetsort8.v.stepl.007
SAT
0.95
sortnetsort8.v.stepl.009
SAT
1.2
sortnetsort9.v.stepl.004
UNSAT
1.38
sortnetsort9.v.stepl.009
SAT
2.42
sortnetsort9.v.stepl.008
SAT
3.07
sortnetsort10.v.stepl.004
UNSAT
3.28
sortnetsort9.v.stepl.011
SAT
3.37
sortnetsort9.v.stepl.012
SAT
3.68
sortnetsort8.v.stepl.006
SAT
3.72
sortnetsort7.v.stepl.005
UNSAT
3.8
sortnetsort9.v.stepl.010
SAT
6.92
sortnetsort8.v.stepl.005
UNSAT
7.81
sortnetsort10.v.stepl.009
SAT
10.26
sortnetsort10.v.stepl.012
SAT
12.09
sortnetsort10.v.stepl.011
SAT
12.66
sortnetsort10.v.stepl.010
SAT
18.01
sortnetsort9.v.stepl.005
UNSAT
19.09
sortnetsort10.v.stepl.005
UNSAT
42.89
sortnetsort10.v.stepl.008
SAT
49.41
sortnetsort9.v.stepl.007
SAT
51.88
sortnetsort10.AE.stepl.004
FAIL
69.13
sortnetsort8.AE.stepl.009
FAIL
80.7
sortnetsort10.AE.stepl.005
FAIL
84.76
sortnetsort7.AE.stepl.007
FAIL
91.06
sortnetsort8.AE.stepl.006
FAIL
107.17
sortnetsort8.AE.stepl.008
FAIL
108.93
sortnetsort6.AE.stepl.007
FAIL
118.82
sortnetsort7.AE.stepl.009
FAIL
120.85
sortnetsort9.AE.stepl.009
FAIL
122.49
sortnetsort9.AE.stepl.010
FAIL
123.3
sortnetsort10.AE.stepl.006
FAIL
128.52
sortnetsort8.AE.stepl.007
FAIL
128.61
sortnetsort7.AE.stepl.008
FAIL
131.53
sortnetsort9.AE.stepl.011
FAIL
134.64
sortnetsort9.AE.stepl.007
FAIL
136.94
sortnetsort9.AE.stepl.008
FAIL
140.42
sortnetsort9.AE.stepl.012
FAIL
145.04
sortnetsort8.AE.stepl.004
FAIL
151.13
sortnetsort10.AE.stepl.011
FAIL
179.15
sortnetsort10.AE.stepl.008
FAIL
191.48
sortnetsort6.AE.stepl.005
FAIL
211.03
sortnetsort10.AE.stepl.007
FAIL
211.12
sortnetsort7.AE.stepl.006
FAIL
212.92
sortnetsort6.AE.stepl.004
FAIL
215.7
sortnetsort10.AE.stepl.010
FAIL
237.06
sortnetsort6.AE.stepl.006
FAIL
242.04
sortnetsort9.AE.stepl.005
FAIL
248.7
sortnetsort10.AE.stepl.009
FAIL
275.28
sortnetsort6.AE.stepl.003
FAIL
282.39
sortnetsort9.AE.stepl.006
FAIL
289.68
sortnetsort8.AE.stepl.005
FAIL
294.61
sortnetsort10.AE.stepl.012
FAIL
333.97
sortnetsort7.AE.stepl.005
FAIL
349.14
sortnetsort8.AE.stepl.003
FAIL
354.07
sortnetsort9.AE.stepl.004
FAIL
546.97
sortnetsort5.AE.stepl.005
FAIL
573.58
sortnetsort5.AE.stepl.004
FAIL
595.61
sortnetsort5.AE.stepl.006
FAIL
599.89
sortnetsort7.AE.stepl.003
FAIL
664.7
sortnetsort5.AE.stepl.007
FAIL
1000.41
sortnetsort10.v.stepl.007
SAT
1169.24
sortnetsort7.AE.stepl.004
FAIL
1209.42
sortnetsort5.AE.stepl.003
UNSAT
2183.04
sortnetsort9.v.stepl.006
FAIL
6000.26
sortnetsort10.v.stepl.006
FAIL
6000.79
Contact
|
Organization
|
Links
|
Citing QBFLIB