Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=288'>xb-qsts_xbqsts2.0</a> <br> QBFEVAL'17 - Prenex 2QBF Track

qbflib.org

Instances of family RankingFunctions solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
rankfunc38_signed_64	SAT	0.04
rankfunc38_unsigned_64	SAT	0.04
rankfunc60_unsigned_32	SAT	0.22
rankfunc56_unsigned_64	SAT	0.3
rankfunc53_signed_64	SAT	0.33
rankfunc53_unsigned_64	SAT	0.33
rankfunc48_unsigned_16	SAT	0.43
rankfunc56_signed_64	SAT	0.48
rankfunc61_unsigned_64	SAT	0.54
rankfunc34_unsigned_64	SAT	0.55
rankfunc34_signed_64	SAT	0.56
rankfunc51_signed_64	SAT	0.59
rankfunc51_unsigned_64	SAT	0.59
rankfunc54_unsigned_64	SAT	0.69
rankfunc54_signed_64	SAT	0.7
rankfunc55_signed_64	SAT	0.74
rankfunc52_unsigned_64	SAT	0.82
rankfunc58_unsigned_64	SAT	0.86
rankfunc61_signed_64	SAT	0.87
rankfunc58_signed_64	SAT	0.88
rankfunc52_signed_64	SAT	0.89
rankfunc31_signed_64	SAT	1.08
rankfunc59_signed_64	SAT	1.09
rankfunc31_unsigned_64	SAT	1.09
rankfunc55_unsigned_64	SAT	1.11
rankfunc59_unsigned_64	SAT	1.12
rankfunc41_unsigned_64	SAT	1.14
rankfunc41_signed_64	SAT	1.18
rankfunc49_signed_64	SAT	1.22
rankfunc35_unsigned_64	SAT	1.27
rankfunc55_unsigned_32	SAT	1.29
rankfunc49_unsigned_64	SAT	1.33
rankfunc2_unsigned_64	SAT	1.7
rankfunc48_unsigned_64	SAT	2.62
rankfunc35_signed_64	SAT	2.83
rankfunc57_unsigned_64	SAT	3.31
rankfunc48_signed_64	FAIL	900

Contact | Organization | Links | Citing QBFLIB