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

qbflib.org

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

Instance	Result	Time
rankfunc37_signed_16	UNSAT	0.01
rankfunc5_unsigned_16	SAT	0.04
rankfunc27_signed_16	SAT	0.04
rankfunc25_unsigned_16	SAT	0.07
rankfunc2_signed_16	SAT	0.08
rankfunc55_signed_16	SAT	0.1
rankfunc36_signed_32	SAT	0.1
rankfunc27_signed_32	SAT	0.11
rankfunc45_unsigned_16	SAT	0.13
rankfunc28_signed_16	SAT	0.14
rankfunc60_signed_16	SAT	0.16
rankfunc46_unsigned_16	SAT	0.17
rankfunc34_unsigned_32	SAT	0.2
rankfunc57_signed_16	SAT	0.21
rankfunc17_unsigned_16	SAT	0.24
rankfunc56_unsigned_16	SAT	0.25
rankfunc43_signed_16	SAT	0.26
rankfunc22_signed_32	SAT	0.29
rankfunc57_signed_32	SAT	0.32
rankfunc52_unsigned_32	SAT	0.33
rankfunc61_signed_32	SAT	0.39
rankfunc15_signed_16	SAT	0.41
rankfunc15_unsigned_16	SAT	0.41
rankfunc19_signed_16	SAT	0.49
rankfunc58_unsigned_32	SAT	0.55
rankfunc45_signed_32	SAT	0.56
rankfunc58_signed_32	SAT	0.57
rankfunc60_signed_64	SAT	0.6
rankfunc1_signed_32	SAT	0.72
rankfunc25_signed_64	SAT	0.9
rankfunc43_unsigned_32	SAT	0.97
rankfunc22_unsigned_64	SAT	1.03
rankfunc33_unsigned_64	SAT	1.21
rankfunc44_unsigned_64	SAT	1.47
rankfunc8_unsigned_64	SAT	1.63
rankfunc18_signed_32	SAT	1.64
rankfunc45_unsigned_64	SAT	1.76
rankfunc16_signed_32	SAT	1.91
rankfunc45_signed_64	SAT	2.06
rankfunc21_signed_32	SAT	2.14
rankfunc46_unsigned_64	SAT	2.35
rankfunc1_unsigned_64	SAT	2.79
rankfunc26_unsigned_64	SAT	3.46
rankfunc3_unsigned_32	SAT	3.85
rankfunc43_signed_64	SAT	3.98
rankfunc42_signed_64	SAT	5.2
rankfunc19_unsigned_64	SAT	6.9
rankfunc16_unsigned_64	SAT	7.66
rankfunc16_signed_64	SAT	8.69
rankfunc3_unsigned_64	SAT	15.26

Contact | Organization | Links | Citing QBFLIB