Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=111'>QuBE7</a> <br> QBFEVAL'10

Instances of family RankingFunctions solved by QuBE7
QBFEVAL'10 - 2QBF Track.

Instance	Result	Time
rankfunc4_unsigned_16	SAT	0.01
rankfunc37_unsigned_32	UNSAT	0.02
rankfunc38_signed_32	SAT	0.02
rankfunc56_signed_16	SAT	0.02
rankfunc12_unsigned_16	SAT	0.04
rankfunc53_signed_16	SAT	0.04
rankfunc59_unsigned_16	SAT	0.06
rankfunc7_signed_16	SAT	0.06
rankfunc44_unsigned_32	SAT	0.07
rankfunc42_unsigned_16	SAT	0.08
rankfunc29_signed_16	SAT	0.09
rankfunc8_unsigned_32	SAT	0.09
rankfunc6_unsigned_16	SAT	0.09
rankfunc60_unsigned_32	SAT	0.09
rankfunc22_unsigned_32	SAT	0.09
rankfunc28_unsigned_16	SAT	0.1
rankfunc31_unsigned_16	SAT	0.1
rankfunc51_signed_32	SAT	0.11
rankfunc33_unsigned_32	SAT	0.12
rankfunc26_unsigned_32	SAT	0.12
rankfunc21_signed_16	SAT	0.12
rankfunc48_unsigned_16	SAT	0.12
rankfunc61_signed_32	SAT	0.12
rankfunc35_unsigned_32	SAT	0.14
rankfunc17_unsigned_16	SAT	0.14
rankfunc49_signed_32	SAT	0.15
rankfunc23_signed_64	SAT	0.16
rankfunc34_signed_32	SAT	0.18
rankfunc55_unsigned_32	SAT	0.18
rankfunc45_signed_16	SAT	0.18
rankfunc20_unsigned_32	SAT	0.19
rankfunc11_signed_32	SAT	0.2
rankfunc9_signed_64	SAT	0.2
rankfunc19_unsigned_16	SAT	0.22
rankfunc15_unsigned_32	SAT	0.22
rankfunc52_unsigned_32	SAT	0.24
rankfunc58_signed_32	SAT	0.24
rankfunc36_signed_64	SAT	0.26
rankfunc10_unsigned_64	SAT	0.27
rankfunc54_signed_32	SAT	0.27
rankfunc46_unsigned_32	SAT	0.28
rankfunc27_signed_64	SAT	0.29
rankfunc43_signed_64	SAT	0.29
rankfunc40_unsigned_64	SAT	0.31
rankfunc5_signed_64	SAT	0.33
rankfunc2_unsigned_64	SAT	0.37
rankfunc1_signed_32	SAT	0.37
rankfunc24_unsigned_64	SAT	0.41
rankfunc50_signed_64	SAT	0.45
rankfunc25_signed_64	SAT	0.53
rankfunc47_signed_64	SAT	0.54
rankfunc41_signed_32	SAT	0.56
rankfunc30_signed_64	SAT	0.58
rankfunc14_signed_64	SAT	0.62
rankfunc3_signed_64	SAT	0.74
rankfunc57_unsigned_64	SAT	0.94
rankfunc32_signed_64	SAT	1.13
rankfunc39_unsigned_64	SAT	1.38
rankfunc18_signed_64	SAT	2.73
rankfunc16_signed_64	SAT	4.01

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family RankingFunctions solved by QuBE7
QBFEVAL'10 - 2QBF Track.

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances of family RankingFunctions solved by QuBE7 QBFEVAL'10 - 2QBF Track.

Instances of family RankingFunctions solved by QuBE7
QBFEVAL'10 - 2QBF Track.