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 RankingFunctions solved by
dynQBF
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
rankfunc37_signed_16
UNSAT
0.03
rankfunc42_signed_64
FAIL
599.71
rankfunc46_unsigned_16
FAIL
599.71
rankfunc60_signed_64
FAIL
599.71
rankfunc8_unsigned_64
FAIL
599.71
rankfunc16_unsigned_64
FAIL
599.71
rankfunc26_unsigned_64
FAIL
599.71
rankfunc22_unsigned_64
FAIL
599.71
rankfunc43_signed_64
FAIL
599.71
rankfunc45_signed_64
FAIL
599.71
rankfunc16_signed_64
FAIL
599.71
rankfunc1_signed_32
FAIL
599.71
rankfunc34_unsigned_32
FAIL
599.71
rankfunc55_signed_16
FAIL
599.71
rankfunc21_signed_32
FAIL
599.71
rankfunc45_signed_32
FAIL
599.71
rankfunc33_unsigned_64
FAIL
599.71
rankfunc5_unsigned_16
FAIL
599.71
rankfunc60_signed_16
FAIL
599.71
rankfunc18_signed_32
FAIL
599.71
rankfunc19_signed_16
FAIL
599.71
rankfunc58_signed_32
FAIL
599.71
rankfunc52_unsigned_32
FAIL
599.71
rankfunc44_unsigned_64
FAIL
599.71
rankfunc3_unsigned_64
FAIL
599.71
rankfunc56_unsigned_16
FAIL
599.71
rankfunc43_signed_16
FAIL
599.71
rankfunc45_unsigned_64
FAIL
599.71
rankfunc61_signed_32
FAIL
599.81
rankfunc27_signed_16
FAIL
599.81
rankfunc1_unsigned_64
FAIL
599.81
rankfunc25_signed_64
FAIL
599.81
rankfunc57_signed_32
FAIL
599.81
rankfunc16_signed_32
FAIL
599.81
rankfunc46_unsigned_64
FAIL
599.81
rankfunc28_signed_16
FAIL
599.81
rankfunc15_signed_16
FAIL
599.81
rankfunc36_signed_32
FAIL
599.81
rankfunc27_signed_32
FAIL
599.81
rankfunc3_unsigned_32
FAIL
599.81
rankfunc43_unsigned_32
FAIL
599.81
rankfunc22_signed_32
FAIL
599.81
rankfunc17_unsigned_16
FAIL
599.81
rankfunc45_unsigned_16
FAIL
599.81
rankfunc2_signed_16
FAIL
599.81
rankfunc25_unsigned_16
FAIL
599.81
rankfunc19_unsigned_64
FAIL
599.81
rankfunc15_unsigned_16
FAIL
599.81
rankfunc57_signed_16
FAIL
599.81
rankfunc58_unsigned_32
FAIL
599.81
Contact
|
Organization
|
Links
|
Citing QBFLIB