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
Quaffle
QBFEVAL'06
Instance
Result
Time
sortnetsort5.v.stepl.003
UNSAT
0.27
sortnetsort6.v.stepl.003
UNSAT
6.18
sortnetsort5.v.stepl.006
SAT
6.57
sortnetsort5.v.stepl.007
SAT
10.16
sortnetsort5.v.stepl.004
UNSAT
12.78
sortnetsort5.v.stepl.005
SAT
104.34
sortnetsort6.v.stepl.006
SAT
216.59
sortnetsort6.v.stepl.007
SAT
282.06
sortnetsort7.v.stepl.003
UNSAT
386.76
sortnetsort6.v.stepl.004
UNSAT
466.27
sortnetsort5.AE.stepl.004
FAIL
529.31
sortnetsort5.AE.stepl.005
FAIL
529.42
sortnetsort5.AE.stepl.003
FAIL
529.98
sortnetsort5.AE.stepl.007
FAIL
530.11
sortnetsort6.AE.stepl.004
FAIL
530.78
sortnetsort6.AE.stepl.003
FAIL
530.94
sortnetsort5.AE.stepl.006
FAIL
531.23
sortnetsort6.AE.stepl.005
FAIL
532.24
sortnetsort7.AE.stepl.004
FAIL
532.58
sortnetsort6.AE.stepl.006
FAIL
532.99
sortnetsort6.AE.stepl.007
FAIL
533.03
sortnetsort8.AE.stepl.003
FAIL
533.03
sortnetsort7.AE.stepl.003
FAIL
533.09
sortnetsort8.AE.stepl.004
FAIL
536.03
sortnetsort7.AE.stepl.005
FAIL
536.29
sortnetsort7.AE.stepl.006
FAIL
538.04
sortnetsort7.AE.stepl.007
FAIL
539.33
sortnetsort8.AE.stepl.005
FAIL
540
sortnetsort9.AE.stepl.004
FAIL
540.18
sortnetsort7.AE.stepl.008
FAIL
541.43
sortnetsort8.AE.stepl.006
FAIL
542.09
sortnetsort7.AE.stepl.009
FAIL
543.15
sortnetsort9.AE.stepl.005
FAIL
544.29
sortnetsort10.AE.stepl.004
FAIL
545.05
sortnetsort8.AE.stepl.007
FAIL
547.28
sortnetsort9.AE.stepl.006
FAIL
547.78
sortnetsort8.AE.stepl.008
FAIL
547.81
sortnetsort10.AE.stepl.005
FAIL
549.22
sortnetsort9.AE.stepl.007
FAIL
550.02
sortnetsort8.AE.stepl.009
FAIL
550.07
sortnetsort10.AE.stepl.006
FAIL
552.56
sortnetsort9.AE.stepl.008
FAIL
553.73
sortnetsort9.AE.stepl.009
FAIL
556.82
sortnetsort10.AE.stepl.007
FAIL
557.26
sortnetsort10.AE.stepl.008
FAIL
558.92
sortnetsort9.AE.stepl.010
FAIL
559.09
sortnetsort9.AE.stepl.011
FAIL
560.37
sortnetsort10.AE.stepl.009
FAIL
560.88
sortnetsort9.AE.stepl.012
FAIL
561.09
sortnetsort10.AE.stepl.011
FAIL
563.39
sortnetsort10.AE.stepl.010
FAIL
564.01
sortnetsort10.AE.stepl.012
FAIL
567.25
sortnetsort9.v.stepl.012
FAIL
599.09
sortnetsort10.v.stepl.012
FAIL
599.77
sortnetsort6.v.stepl.005
SAT
5637.87
sortnetsort10.v.stepl.011
FAIL
5990.92
sortnetsort7.v.stepl.007
FAIL
5997.64
sortnetsort7.v.stepl.008
FAIL
5997.73
sortnetsort7.v.stepl.009
FAIL
5998
sortnetsort7.v.stepl.006
FAIL
5998.08
sortnetsort10.v.stepl.010
FAIL
5998.14
sortnetsort8.v.stepl.009
FAIL
5998.56
sortnetsort9.v.stepl.009
FAIL
5998.68
sortnetsort9.v.stepl.011
FAIL
5998.83
sortnetsort7.v.stepl.005
FAIL
5998.87
sortnetsort10.v.stepl.009
FAIL
5999
sortnetsort9.v.stepl.010
FAIL
5999.08
sortnetsort8.v.stepl.007
FAIL
5999.11
sortnetsort8.v.stepl.008
FAIL
5999.19
sortnetsort10.v.stepl.007
FAIL
5999.24
sortnetsort9.v.stepl.007
FAIL
5999.31
sortnetsort9.v.stepl.006
FAIL
5999.38
sortnetsort7.v.stepl.004
FAIL
5999.38
sortnetsort8.v.stepl.005
FAIL
5999.39
sortnetsort9.v.stepl.008
FAIL
5999.44
sortnetsort8.v.stepl.006
FAIL
5999.46
sortnetsort10.v.stepl.008
FAIL
5999.48
sortnetsort10.v.stepl.006
FAIL
5999.57
sortnetsort10.v.stepl.005
FAIL
5999.69
sortnetsort8.v.stepl.004
FAIL
5999.81
sortnetsort9.v.stepl.005
FAIL
5999.86
sortnetsort8.v.stepl.003
FAIL
6000.13
sortnetsort10.v.stepl.004
FAIL
6000.25
sortnetsort9.v.stepl.004
FAIL
6000.28
Contact
|
Organization
|
Links
|
Citing QBFLIB