Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=305'>Caqe-bloqqer-qdo</a> <br> QBFEVAL'18 - Prenex 2QBF Track

qbflib.org

Instances of family RankingFunctions solved by Caqe-bloqqer-qdo
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
rankfunc48_unsigned_16	SAT	0
rankfunc56_signed_64	SAT	0
rankfunc56_unsigned_64	SAT	0
rankfunc51_unsigned_64	SAT	0
rankfunc53_unsigned_64	SAT	0
rankfunc60_unsigned_32	SAT	0
rankfunc53_signed_64	SAT	0
rankfunc61_unsigned_64	SAT	0.51
rankfunc51_signed_64	SAT	0.62
rankfunc54_unsigned_64	SAT	0.69
rankfunc54_signed_64	SAT	0.71
rankfunc61_signed_64	SAT	0.81
rankfunc52_unsigned_64	SAT	0.83
rankfunc58_unsigned_64	SAT	0.88
rankfunc58_signed_64	SAT	0.9
rankfunc52_signed_64	SAT	0.91
rankfunc59_signed_64	SAT	1.07
rankfunc31_unsigned_64	SAT	1.07
rankfunc55_unsigned_64	SAT	1.07
rankfunc59_unsigned_64	SAT	1.08
rankfunc31_signed_64	SAT	1.1
rankfunc41_signed_64	SAT	1.16
rankfunc41_unsigned_64	SAT	1.16
rankfunc49_signed_64	SAT	1.26
rankfunc49_unsigned_64	SAT	1.3
rankfunc35_unsigned_64	SAT	1.31
rankfunc57_unsigned_64	SAT	1.67
rankfunc2_unsigned_64	SAT	1.73
rankfunc48_unsigned_64	SAT	2.58
rankfunc35_signed_64	SAT	2.73
rankfunc48_signed_64	FAIL	900.04

Contact | Organization | Links | Citing QBFLIB