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
iprover-QBF
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
sortnetsort10.AE.stepl.012
FAIL
95.74
sortnetsort10.AE.stepl.011
FAIL
103.93
sortnetsort10.AE.stepl.010
FAIL
142.53
sortnetsort8.AE.stepl.004
FAIL
182.43
sortnetsort9.AE.stepl.012
FAIL
196.83
sortnetsort7.AE.stepl.006
FAIL
219.84
sortnetsort10.AE.stepl.009
FAIL
230.83
sortnetsort9.AE.stepl.011
FAIL
288.73
sortnetsort8.AE.stepl.005
FAIL
294.64
sortnetsort7.AE.stepl.007
FAIL
302.55
sortnetsort9.AE.stepl.004
FAIL
333.15
sortnetsort7.AE.stepl.008
FAIL
391.93
sortnetsort8.AE.stepl.006
FAIL
414.34
sortnetsort6.AE.stepl.007
FAIL
434.23
sortnetsort7.AE.stepl.004
FAIL
439.44
sortnetsort7.AE.stepl.003
FAIL
442.63
sortnetsort10.AE.stepl.008
FAIL
442.93
sortnetsort8.AE.stepl.003
FAIL
449.83
sortnetsort7.AE.stepl.005
FAIL
450.44
sortnetsort9.AE.stepl.010
FAIL
458.53
sortnetsort7.AE.stepl.009
FAIL
478.74
sortnetsort5.AE.stepl.006
FAIL
486.94
sortnetsort5.AE.stepl.005
FAIL
491.24
sortnetsort9.AE.stepl.005
FAIL
497.73
sortnetsort10.AE.stepl.004
FAIL
515.13
sortnetsort5.AE.stepl.004
FAIL
515.64
sortnetsort6.AE.stepl.006
FAIL
519.93
sortnetsort6.AE.stepl.003
FAIL
528.83
sortnetsort6.AE.stepl.004
FAIL
530.83
sortnetsort5.AE.stepl.007
FAIL
534.24
sortnetsort8.AE.stepl.007
FAIL
548.23
sortnetsort6.AE.stepl.005
FAIL
561.43
sortnetsort9.AE.stepl.007
FAIL
599.22
sortnetsort9.AE.stepl.008
FAIL
599.22
sortnetsort9.AE.stepl.009
FAIL
599.22
sortnetsort8.AE.stepl.008
FAIL
599.22
sortnetsort8.AE.stepl.009
FAIL
599.22
sortnetsort10.AE.stepl.005
FAIL
599.22
sortnetsort5.AE.stepl.003
FAIL
599.22
sortnetsort10.AE.stepl.006
FAIL
599.22
sortnetsort9.AE.stepl.006
FAIL
599.22
sortnetsort10.AE.stepl.007
FAIL
599.22
Contact
|
Organization
|
Links
|
Citing QBFLIB