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

qbflib.org

Instances of family RankingFunctions solved by iprover-QBF-bloqqer
QBFEVAL'16 - 2QBF Track.

Instance	Result	Time
rankfunc37_signed_16	FAIL	0.04
rankfunc28_signed_16	SAT	0.09
rankfunc56_unsigned_16	SAT	0.09
rankfunc27_signed_16	SAT	0.09
rankfunc5_unsigned_16	SAT	0.09
rankfunc60_signed_16	SAT	0.11
rankfunc25_unsigned_16	SAT	0.11
rankfunc43_signed_16	SAT	0.14
rankfunc45_unsigned_16	SAT	0.14
rankfunc17_unsigned_16	SAT	0.15
rankfunc36_signed_32	SAT	0.16
rankfunc46_unsigned_16	SAT	0.17
rankfunc55_signed_16	SAT	0.17
rankfunc27_signed_32	SAT	0.17
rankfunc15_unsigned_16	SAT	0.2
rankfunc15_signed_16	SAT	0.2
rankfunc57_signed_16	SAT	0.22
rankfunc2_signed_16	SAT	0.23
rankfunc34_unsigned_32	SAT	0.24
rankfunc22_signed_32	SAT	0.28
rankfunc19_signed_16	SAT	0.3
rankfunc43_unsigned_32	SAT	0.3
rankfunc58_unsigned_32	SAT	0.33
rankfunc52_unsigned_32	SAT	0.33
rankfunc58_signed_32	SAT	0.34
rankfunc44_unsigned_64	SAT	0.36
rankfunc61_signed_32	SAT	0.36
rankfunc1_signed_32	SAT	0.4
rankfunc45_signed_32	SAT	0.43
rankfunc57_signed_32	SAT	0.48
rankfunc18_signed_32	SAT	0.48
rankfunc25_signed_64	SAT	0.48
rankfunc21_signed_32	SAT	0.6
rankfunc16_signed_32	SAT	0.64
rankfunc33_unsigned_64	SAT	0.66
rankfunc22_unsigned_64	SAT	0.72
rankfunc60_signed_64	SAT	0.73
rankfunc43_signed_64	SAT	0.78
rankfunc45_unsigned_64	SAT	0.84
rankfunc8_unsigned_64	SAT	0.84
rankfunc3_unsigned_32	SAT	0.88
rankfunc1_unsigned_64	SAT	1.01
rankfunc46_unsigned_64	SAT	1.04
rankfunc45_signed_64	SAT	1.05
rankfunc42_signed_64	SAT	1.05
rankfunc26_unsigned_64	SAT	1.41
rankfunc16_unsigned_64	SAT	1.74
rankfunc16_signed_64	SAT	1.75
rankfunc19_unsigned_64	SAT	1.88
rankfunc3_unsigned_64	SAT	2.68

Contact | Organization | Links | Citing QBFLIB