Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=232'>depqbf-v2</a> <br> QBFEVAL'16 - 2QBF Track.

qbflib.org

Instances of family RankingFunctions solved by depqbf-v2
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
rankfunc37_signed_16	UNSAT	0.02
rankfunc27_signed_16	SAT	0.11
rankfunc5_unsigned_16	SAT	0.11
rankfunc56_unsigned_16	SAT	0.11
rankfunc2_signed_16	SAT	0.21
rankfunc55_signed_16	SAT	0.21
rankfunc25_unsigned_16	SAT	0.21
rankfunc28_signed_16	SAT	0.21
rankfunc45_unsigned_16	SAT	0.21
rankfunc60_signed_16	SAT	0.21
rankfunc36_signed_32	SAT	0.31
rankfunc27_signed_32	SAT	0.31
rankfunc46_unsigned_16	SAT	0.31
rankfunc34_unsigned_32	SAT	0.41
rankfunc43_signed_16	SAT	0.41
rankfunc17_unsigned_16	SAT	0.41
rankfunc57_signed_16	SAT	0.41
rankfunc15_unsigned_16	SAT	0.51
rankfunc22_signed_32	SAT	0.51
rankfunc58_unsigned_32	SAT	0.61
rankfunc57_signed_32	SAT	0.61
rankfunc15_signed_16	SAT	0.61
rankfunc58_signed_32	SAT	0.61
rankfunc52_unsigned_32	SAT	0.61
rankfunc61_signed_32	SAT	0.61
rankfunc19_signed_16	SAT	0.71
rankfunc45_signed_32	SAT	0.81
rankfunc1_signed_32	SAT	1.02
rankfunc60_signed_64	SAT	1.12
rankfunc43_unsigned_32	SAT	1.21
rankfunc25_signed_64	SAT	1.31
rankfunc22_unsigned_64	SAT	1.51
rankfunc44_unsigned_64	SAT	1.71
rankfunc33_unsigned_64	SAT	1.71
rankfunc18_signed_32	SAT	1.91
rankfunc8_unsigned_64	SAT	2.12
rankfunc45_unsigned_64	SAT	2.22
rankfunc16_signed_32	SAT	2.32
rankfunc21_signed_32	SAT	2.51
rankfunc45_signed_64	SAT	2.71
rankfunc46_unsigned_64	SAT	3.01
rankfunc1_unsigned_64	SAT	3.42
rankfunc3_unsigned_32	SAT	4.21
rankfunc26_unsigned_64	SAT	4.21
rankfunc43_signed_64	SAT	4.42
rankfunc42_signed_64	SAT	5.52
rankfunc19_unsigned_64	SAT	7.72
rankfunc16_unsigned_64	SAT	8.41
rankfunc16_signed_64	SAT	9.51
rankfunc3_unsigned_64	SAT	16.01

Contact | Organization | Links | Citing QBFLIB