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
EBDDRES
QBFEVAL'07
Instance
Result
Time
sortnetsort7.AE.stepl.005
FAIL
22.65
sortnetsort7.AE.stepl.004
FAIL
22.68
sortnetsort7.AE.stepl.008
FAIL
22.69
sortnetsort7.AE.stepl.006
FAIL
22.71
sortnetsort7.AE.stepl.007
FAIL
22.72
sortnetsort7.AE.stepl.003
FAIL
22.76
sortnetsort7.AE.stepl.009
FAIL
22.97
sortnetsort5.AE.stepl.006
FAIL
24.06
sortnetsort5.AE.stepl.007
FAIL
24.12
sortnetsort5.AE.stepl.004
FAIL
24.13
sortnetsort5.AE.stepl.005
FAIL
24.45
sortnetsort7.v.stepl.005
FAIL
30.07
sortnetsort7.v.stepl.006
FAIL
30.09
sortnetsort10.AE.stepl.004
FAIL
30.16
sortnetsort7.v.stepl.007
FAIL
30.17
sortnetsort7.v.stepl.004
FAIL
30.18
sortnetsort7.v.stepl.009
FAIL
30.25
sortnetsort7.v.stepl.008
FAIL
30.39
sortnetsort9.AE.stepl.004
FAIL
30.49
sortnetsort8.AE.stepl.003
FAIL
30.93
sortnetsort8.AE.stepl.008
FAIL
30.98
sortnetsort8.AE.stepl.005
FAIL
31.02
sortnetsort8.AE.stepl.006
FAIL
31.03
sortnetsort8.AE.stepl.009
FAIL
31.09
sortnetsort8.AE.stepl.007
FAIL
31.12
sortnetsort8.AE.stepl.004
FAIL
31.24
sortnetsort6.AE.stepl.006
FAIL
31.88
sortnetsort6.AE.stepl.007
FAIL
31.91
sortnetsort6.AE.stepl.004
FAIL
32.02
sortnetsort6.AE.stepl.003
FAIL
32.19
sortnetsort6.AE.stepl.005
FAIL
32.6
sortnetsort9.v.stepl.011
FAIL
32.9
sortnetsort9.v.stepl.009
FAIL
32.97
sortnetsort9.v.stepl.010
FAIL
32.99
sortnetsort9.v.stepl.005
FAIL
33.01
sortnetsort9.v.stepl.004
FAIL
33.02
sortnetsort9.v.stepl.007
FAIL
33.08
sortnetsort9.v.stepl.012
FAIL
33.1
sortnetsort10.v.stepl.009
FAIL
33.11
sortnetsort10.v.stepl.012
FAIL
33.19
sortnetsort10.v.stepl.004
FAIL
33.23
sortnetsort9.v.stepl.008
FAIL
33.27
sortnetsort10.v.stepl.011
FAIL
33.31
sortnetsort10.v.stepl.010
FAIL
33.32
sortnetsort10.v.stepl.005
FAIL
33.45
sortnetsort10.v.stepl.008
FAIL
33.46
sortnetsort10.v.stepl.007
FAIL
33.53
sortnetsort8.v.stepl.006
FAIL
33.84
sortnetsort8.v.stepl.004
FAIL
33.87
sortnetsort8.v.stepl.007
FAIL
33.93
sortnetsort8.v.stepl.008
FAIL
33.93
sortnetsort8.v.stepl.009
FAIL
34.09
sortnetsort8.v.stepl.005
FAIL
34.89
Contact
|
Organization
|
Links
|
Citing QBFLIB
qbflib.org