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

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

Instance	Result	Time
rankfunc4_unsigned_16	SAT	0.02
rankfunc37_unsigned_32	UNSAT	0.02
rankfunc38_signed_32	SAT	0.02
rankfunc12_unsigned_16	SAT	0.03
rankfunc56_signed_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.08
rankfunc42_unsigned_16	SAT	0.08
rankfunc29_signed_16	SAT	0.08
rankfunc6_unsigned_16	SAT	0.08
rankfunc28_unsigned_16	SAT	0.09
rankfunc22_unsigned_32	SAT	0.09
rankfunc60_unsigned_32	SAT	0.1
rankfunc8_unsigned_32	SAT	0.1
rankfunc31_unsigned_16	SAT	0.1
rankfunc33_unsigned_32	SAT	0.1
rankfunc51_signed_32	SAT	0.11
rankfunc26_unsigned_32	SAT	0.12
rankfunc48_unsigned_16	SAT	0.12
rankfunc61_signed_32	SAT	0.13
rankfunc21_signed_16	SAT	0.13
rankfunc35_unsigned_32	SAT	0.13
rankfunc17_unsigned_16	SAT	0.14
rankfunc23_signed_64	SAT	0.17
rankfunc49_signed_32	SAT	0.17
rankfunc55_unsigned_32	SAT	0.18
rankfunc34_signed_32	SAT	0.18
rankfunc45_signed_16	SAT	0.18
rankfunc20_unsigned_32	SAT	0.19
rankfunc9_signed_64	SAT	0.2
rankfunc11_signed_32	SAT	0.21
rankfunc15_unsigned_32	SAT	0.23
rankfunc19_unsigned_16	SAT	0.24
rankfunc52_unsigned_32	SAT	0.24
rankfunc58_signed_32	SAT	0.24
rankfunc36_signed_64	SAT	0.27
rankfunc46_unsigned_32	SAT	0.28
rankfunc10_unsigned_64	SAT	0.28
rankfunc54_signed_32	SAT	0.28
rankfunc43_signed_64	SAT	0.3
rankfunc27_signed_64	SAT	0.3
rankfunc40_unsigned_64	SAT	0.32
rankfunc5_signed_64	SAT	0.33
rankfunc1_signed_32	SAT	0.38
rankfunc2_unsigned_64	SAT	0.38
rankfunc24_unsigned_64	SAT	0.4
rankfunc50_signed_64	SAT	0.44
rankfunc25_signed_64	SAT	0.54
rankfunc47_signed_64	SAT	0.54
rankfunc41_signed_32	SAT	0.57
rankfunc30_signed_64	SAT	0.58
rankfunc14_signed_64	SAT	0.63
rankfunc3_signed_64	SAT	0.76
rankfunc32_signed_64	SAT	1.08
rankfunc39_unsigned_64	SAT	1.34
rankfunc18_signed_64	SAT	2.74
rankfunc16_signed_64	SAT	4.04
rankfunc57_unsigned_64	SAT	4.3

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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