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

Instances of family RankingFunctions solved by QuBE7-c
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
rankfunc56_signed_16	SAT	0.02
rankfunc12_unsigned_16	SAT	0.04
rankfunc53_signed_16	SAT	0.05
rankfunc59_unsigned_16	SAT	0.05
rankfunc7_signed_16	SAT	0.06
rankfunc44_unsigned_32	SAT	0.07
rankfunc6_unsigned_16	SAT	0.08
rankfunc42_unsigned_16	SAT	0.08
rankfunc29_signed_16	SAT	0.09
rankfunc22_unsigned_32	SAT	0.09
rankfunc8_unsigned_32	SAT	0.09
rankfunc60_unsigned_32	SAT	0.09
rankfunc28_unsigned_16	SAT	0.1
rankfunc31_unsigned_16	SAT	0.11
rankfunc33_unsigned_32	SAT	0.11
rankfunc51_signed_32	SAT	0.11
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.13
rankfunc17_unsigned_16	SAT	0.14
rankfunc49_signed_32	SAT	0.15
rankfunc34_signed_32	SAT	0.16
rankfunc23_signed_64	SAT	0.17
rankfunc55_unsigned_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.2
rankfunc15_unsigned_32	SAT	0.22
rankfunc19_unsigned_16	SAT	0.23
rankfunc52_unsigned_32	SAT	0.23
rankfunc58_signed_32	SAT	0.24
rankfunc54_signed_32	SAT	0.26
rankfunc36_signed_64	SAT	0.26
rankfunc10_unsigned_64	SAT	0.27
rankfunc46_unsigned_32	SAT	0.27
rankfunc27_signed_64	SAT	0.29
rankfunc43_signed_64	SAT	0.29
rankfunc5_signed_64	SAT	0.31
rankfunc40_unsigned_64	SAT	0.31
rankfunc1_signed_32	SAT	0.37
rankfunc2_unsigned_64	SAT	0.38
rankfunc24_unsigned_64	SAT	0.4
rankfunc50_signed_64	SAT	0.46
rankfunc25_signed_64	SAT	0.54
rankfunc47_signed_64	SAT	0.56
rankfunc41_signed_32	SAT	0.56
rankfunc30_signed_64	SAT	0.57
rankfunc14_signed_64	SAT	0.61
rankfunc3_signed_64	SAT	0.75
rankfunc32_signed_64	SAT	1.12
rankfunc39_unsigned_64	SAT	1.38
rankfunc18_signed_64	SAT	2.62
rankfunc16_signed_64	SAT	4.02
rankfunc57_unsigned_64	SAT	4.14

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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