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
iprover-QBF
QBFEVAL'16 - 2QBF Track.
Instance
Result
Time
rankfunc37_signed_16
UNSAT
0.26
rankfunc43_signed_16
SAT
81.22
rankfunc28_signed_16
SAT
91.17
rankfunc5_unsigned_16
SAT
98.11
rankfunc27_signed_16
SAT
105.47
rankfunc45_unsigned_16
SAT
114.77
rankfunc34_unsigned_32
SAT
122.19
rankfunc25_unsigned_16
SAT
122.83
rankfunc46_unsigned_16
SAT
128.3
rankfunc17_unsigned_16
SAT
138.85
rankfunc60_signed_64
FAIL
200.54
rankfunc33_unsigned_64
FAIL
231.74
rankfunc22_signed_32
FAIL
269.54
rankfunc22_unsigned_64
FAIL
282.85
rankfunc44_unsigned_64
FAIL
284.14
rankfunc21_signed_32
FAIL
284.23
rankfunc18_signed_32
FAIL
287.33
rankfunc8_unsigned_64
FAIL
289.03
rankfunc52_unsigned_32
FAIL
307.64
rankfunc43_signed_64
FAIL
314.84
rankfunc25_signed_64
FAIL
324.44
rankfunc58_unsigned_32
FAIL
326.85
rankfunc58_signed_32
FAIL
336.14
rankfunc36_signed_32
FAIL
338.95
rankfunc1_signed_32
FAIL
351.64
rankfunc45_unsigned_64
FAIL
358.63
rankfunc43_unsigned_32
FAIL
360.53
rankfunc45_signed_64
FAIL
369.23
rankfunc27_signed_32
FAIL
382.44
rankfunc3_unsigned_32
FAIL
389.83
rankfunc1_unsigned_64
FAIL
404.63
rankfunc46_unsigned_64
FAIL
413.43
rankfunc45_signed_32
FAIL
440.74
rankfunc26_unsigned_64
FAIL
445.03
rankfunc61_signed_32
FAIL
481.24
rankfunc60_signed_16
FAIL
502.64
rankfunc16_signed_32
FAIL
507.15
rankfunc57_signed_32
FAIL
535.33
rankfunc19_unsigned_64
FAIL
599.12
rankfunc15_unsigned_16
FAIL
599.12
rankfunc55_signed_16
FAIL
599.12
rankfunc16_signed_64
FAIL
599.21
rankfunc19_signed_16
FAIL
599.22
rankfunc15_signed_16
FAIL
599.22
rankfunc42_signed_64
FAIL
599.22
rankfunc16_unsigned_64
FAIL
599.22
rankfunc2_signed_16
FAIL
599.22
rankfunc3_unsigned_64
FAIL
599.22
rankfunc57_signed_16
FAIL
599.22
rankfunc56_unsigned_16
FAIL
599.32
Contact
|
Organization
|
Links
|
Citing QBFLIB