Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=246'>squeezebf+struqs</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family RankingFunctions solved by squeezebf+struqs
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
rankfunc37_signed_16	UNSAT	0
rankfunc5_unsigned_16	SAT	0.03
rankfunc56_unsigned_16	SAT	0.03
rankfunc60_signed_16	SAT	0.03
rankfunc27_signed_16	SAT	0.04
rankfunc28_signed_16	SAT	0.04
rankfunc25_unsigned_16	SAT	0.07
rankfunc17_unsigned_16	SAT	0.1
rankfunc43_signed_16	SAT	0.11
rankfunc36_signed_32	SAT	0.13
rankfunc46_unsigned_16	SAT	0.14
rankfunc45_unsigned_16	SAT	0.17
rankfunc27_signed_32	SAT	0.17
rankfunc15_unsigned_16	SAT	0.2
rankfunc19_signed_16	SAT	0.21
rankfunc15_signed_16	SAT	0.23
rankfunc34_unsigned_32	SAT	0.25
rankfunc58_signed_32	SAT	0.25
rankfunc2_signed_16	SAT	0.32
rankfunc43_unsigned_32	SAT	0.44
rankfunc44_unsigned_64	SAT	0.49
rankfunc22_signed_32	SAT	0.6
rankfunc1_signed_32	SAT	0.7
rankfunc18_signed_32	SAT	0.84
rankfunc61_signed_32	SAT	0.88
rankfunc52_unsigned_32	SAT	0.91
rankfunc60_signed_64	SAT	0.96
rankfunc58_unsigned_32	SAT	1.1
rankfunc33_unsigned_64	SAT	1.17
rankfunc21_signed_32	SAT	1.22
rankfunc16_signed_32	SAT	1.38
rankfunc26_unsigned_64	SAT	1.43
rankfunc25_signed_64	SAT	1.55
rankfunc45_signed_32	SAT	2.02
rankfunc43_signed_64	SAT	2.33
rankfunc42_signed_64	SAT	2.91
rankfunc19_unsigned_64	SAT	2.91
rankfunc45_unsigned_64	SAT	3
rankfunc3_unsigned_32	SAT	3.73
rankfunc1_unsigned_64	SAT	3.73
rankfunc46_unsigned_64	SAT	3.78
rankfunc8_unsigned_64	SAT	4.4
rankfunc16_signed_64	SAT	7.48
rankfunc16_unsigned_64	SAT	8.67
rankfunc45_signed_64	SAT	12.88
rankfunc22_unsigned_64	SAT	16.15
rankfunc3_unsigned_64	SAT	16.7
rankfunc57_signed_32	FAIL	599.71
rankfunc57_signed_16	FAIL	599.71
rankfunc55_signed_16	FAIL	599.71

Contact | Organization | Links | Citing QBFLIB