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-std
QBFEVAL'06
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.02
sortnetsort5.v.stepl.004
UNSAT
0.04
sortnetsort5.v.stepl.006
SAT
0.04
sortnetsort5.v.stepl.007
SAT
0.04
sortnetsort6.v.stepl.003
UNSAT
0.05
sortnetsort5.v.stepl.005
SAT
0.06
sortnetsort6.v.stepl.007
SAT
0.08
sortnetsort6.v.stepl.005
SAT
0.09
sortnetsort7.v.stepl.003
UNSAT
0.09
sortnetsort6.v.stepl.004
UNSAT
0.11
sortnetsort6.v.stepl.006
SAT
0.18
sortnetsort7.v.stepl.004
UNSAT
0.24
sortnetsort8.v.stepl.004
UNSAT
20.28
sortnetsort7.v.stepl.006
SAT
23.48
sortnetsort9.v.stepl.004
UNSAT
23.53
sortnetsort8.v.stepl.007
SAT
30.1
sortnetsort8.AE.stepl.005
FAIL
32.23
sortnetsort8.v.stepl.009
SAT
36.54
sortnetsort8.v.stepl.006
SAT
37.34
sortnetsort7.v.stepl.005
UNSAT
39.2
sortnetsort8.v.stepl.008
SAT
50.81
sortnetsort8.v.stepl.005
UNSAT
66.13
sortnetsort8.AE.stepl.006
FAIL
71.4
sortnetsort9.AE.stepl.008
FAIL
74.7
sortnetsort9.v.stepl.005
FAIL
87.74
sortnetsort9.AE.stepl.009
FAIL
87.75
sortnetsort9.AE.stepl.004
FAIL
87.97
sortnetsort7.AE.stepl.009
FAIL
88.45
sortnetsort9.AE.stepl.010
FAIL
93.72
sortnetsort9.AE.stepl.012
FAIL
98.4
sortnetsort9.AE.stepl.011
FAIL
98.86
sortnetsort8.v.stepl.003
UNSAT
99.24
sortnetsort7.v.stepl.007
SAT
102.73
sortnetsort7.v.stepl.009
SAT
103.75
sortnetsort7.v.stepl.008
SAT
112.07
sortnetsort9.v.stepl.006
FAIL
146.51
sortnetsort8.AE.stepl.007
FAIL
168.24
sortnetsort10.AE.stepl.006
FAIL
175.56
sortnetsort10.AE.stepl.007
FAIL
197.23
sortnetsort10.AE.stepl.008
FAIL
201.84
sortnetsort9.AE.stepl.005
FAIL
206.35
sortnetsort10.AE.stepl.009
FAIL
247.59
sortnetsort9.AE.stepl.006
FAIL
273.87
sortnetsort9.v.stepl.010
SAT
302.73
sortnetsort8.AE.stepl.008
FAIL
304.67
sortnetsort9.AE.stepl.007
FAIL
321.51
sortnetsort9.v.stepl.011
SAT
334.18
sortnetsort7.AE.stepl.008
FAIL
343.48
sortnetsort9.v.stepl.008
SAT
354.43
sortnetsort6.AE.stepl.007
FAIL
388.13
sortnetsort7.AE.stepl.005
FAIL
393
sortnetsort10.AE.stepl.010
FAIL
407.81
sortnetsort10.AE.stepl.005
FAIL
431.7
sortnetsort9.v.stepl.007
FAIL
439.88
sortnetsort8.AE.stepl.004
FAIL
443.73
sortnetsort9.v.stepl.012
FAIL
444.49
sortnetsort8.AE.stepl.009
FAIL
448.22
sortnetsort9.v.stepl.009
FAIL
598.23
sortnetsort7.AE.stepl.006
FAIL
598.92
sortnetsort10.v.stepl.012
FAIL
599.91
sortnetsort10.AE.stepl.011
FAIL
632.38
sortnetsort5.AE.stepl.003
SAT
724.49
sortnetsort8.AE.stepl.003
FAIL
781.16
sortnetsort10.AE.stepl.012
FAIL
833.61
sortnetsort7.AE.stepl.004
FAIL
1035.39
sortnetsort7.AE.stepl.003
FAIL
1038.8
sortnetsort10.AE.stepl.004
FAIL
1079.3
sortnetsort7.AE.stepl.007
FAIL
1142.16
sortnetsort10.v.stepl.010
FAIL
1471.22
sortnetsort10.v.stepl.011
FAIL
2210.36
sortnetsort10.v.stepl.007
FAIL
2238.93
sortnetsort10.v.stepl.008
FAIL
2282.06
sortnetsort10.v.stepl.006
FAIL
2325.69
sortnetsort10.v.stepl.004
FAIL
2559.39
sortnetsort10.v.stepl.009
FAIL
2782.71
sortnetsort5.AE.stepl.005
UNSAT
4223.45
sortnetsort10.v.stepl.005
FAIL
4916.76
sortnetsort5.AE.stepl.007
FAIL
6000.14
sortnetsort6.AE.stepl.005
FAIL
6000.31
sortnetsort6.AE.stepl.004
FAIL
6000.37
sortnetsort5.AE.stepl.004
FAIL
6000.44
sortnetsort6.AE.stepl.006
FAIL
6000.45
sortnetsort6.AE.stepl.003
FAIL
6000.7
sortnetsort5.AE.stepl.006
FAIL
6000.74
Contact
|
Organization
|
Links
|
Citing QBFLIB