Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=278'>qbfrelay-limited-depqbf</a> <br> QBFEVAL'17 - Prenex 2QBF Track

qbflib.org

Instances of family RankingFunctions solved by qbfrelay-limited-depqbf
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
rankfunc55_unsigned_32	SAT	0.17
rankfunc48_unsigned_16	SAT	0.18
rankfunc60_unsigned_32	SAT	0.26
rankfunc38_signed_64	SAT	72.44
rankfunc38_unsigned_64	SAT	72.45
rankfunc56_unsigned_64	SAT	73.11
rankfunc56_signed_64	SAT	73.24
rankfunc55_signed_64	SAT	73.55
rankfunc34_unsigned_64	SAT	73.56
rankfunc34_signed_64	SAT	73.67
rankfunc53_signed_64	SAT	73.73
rankfunc55_unsigned_64	SAT	73.76
rankfunc53_unsigned_64	SAT	73.86
rankfunc49_unsigned_64	SAT	73.89
rankfunc61_unsigned_64	SAT	74.17
rankfunc51_signed_64	SAT	74.19
rankfunc51_unsigned_64	SAT	74.24
rankfunc52_signed_64	SAT	74.3
rankfunc52_unsigned_64	SAT	74.4
rankfunc61_signed_64	SAT	74.52
rankfunc58_signed_64	SAT	74.58
rankfunc58_unsigned_64	SAT	74.61
rankfunc49_signed_64	SAT	74.77
rankfunc2_unsigned_64	SAT	74.8
rankfunc54_unsigned_64	SAT	75.06
rankfunc54_signed_64	SAT	75.07
rankfunc57_unsigned_64	SAT	75.11
rankfunc59_signed_64	SAT	75.59
rankfunc59_unsigned_64	SAT	75.6
rankfunc35_unsigned_64	SAT	75.64
rankfunc35_signed_64	SAT	76.99
rankfunc31_unsigned_64	SAT	77.1
rankfunc41_signed_64	SAT	77.43
rankfunc41_unsigned_64	SAT	77.65
rankfunc48_signed_64	SAT	77.68
rankfunc31_signed_64	SAT	77.83
rankfunc48_unsigned_64	SAT	77.9

Contact | Organization | Links | Citing QBFLIB