Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=248'>xb-bid-qsts</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family RankingFunctions solved by xb-bid-qsts
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
rankfunc28_signed_16	SAT	0.06
rankfunc5_unsigned_16	SAT	0.06
rankfunc56_unsigned_16	SAT	0.06
rankfunc27_signed_16	SAT	0.07
rankfunc60_signed_16	SAT	0.09
rankfunc25_unsigned_16	SAT	0.09
rankfunc37_signed_16	UNSAT	0.11
rankfunc45_unsigned_16	SAT	0.11
rankfunc43_signed_16	SAT	0.11
rankfunc17_unsigned_16	SAT	0.13
rankfunc27_signed_32	SAT	0.14
rankfunc46_unsigned_16	SAT	0.14
rankfunc36_signed_32	SAT	0.14
rankfunc55_signed_16	SAT	0.15
rankfunc15_unsigned_16	SAT	0.17
rankfunc15_signed_16	SAT	0.17
rankfunc57_signed_16	SAT	0.19
rankfunc2_signed_16	SAT	0.2
rankfunc34_unsigned_32	SAT	0.21
rankfunc22_signed_32	SAT	0.26
rankfunc19_signed_16	SAT	0.27
rankfunc43_unsigned_32	SAT	0.28
rankfunc58_unsigned_32	SAT	0.3
rankfunc52_unsigned_32	SAT	0.3
rankfunc58_signed_32	SAT	0.31
rankfunc44_unsigned_64	SAT	0.31
rankfunc61_signed_32	SAT	0.32
rankfunc1_signed_32	SAT	0.37
rankfunc45_signed_32	SAT	0.38
rankfunc25_signed_64	SAT	0.42
rankfunc18_signed_32	SAT	0.45
rankfunc57_signed_32	SAT	0.45
rankfunc21_signed_32	SAT	0.58
rankfunc16_signed_32	SAT	0.62
rankfunc33_unsigned_64	SAT	0.63
rankfunc22_unsigned_64	SAT	0.69
rankfunc60_signed_64	SAT	0.7
rankfunc43_signed_64	SAT	0.75
rankfunc8_unsigned_64	SAT	0.77
rankfunc45_unsigned_64	SAT	0.84
rankfunc3_unsigned_32	SAT	0.85
rankfunc1_unsigned_64	SAT	0.98
rankfunc46_unsigned_64	SAT	1
rankfunc42_signed_64	SAT	1.03
rankfunc45_signed_64	SAT	1.08
rankfunc26_unsigned_64	SAT	1.38
rankfunc16_unsigned_64	SAT	1.71
rankfunc16_signed_64	SAT	1.71
rankfunc19_unsigned_64	SAT	1.84
rankfunc3_unsigned_64	SAT	2.65

Contact | Organization | Links | Citing QBFLIB