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

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

Instance	Result	Time
rankfunc12_unsigned_16	SAT	1.3
rankfunc53_signed_16	SAT	1.48
rankfunc7_signed_16	SAT	1.49
rankfunc59_unsigned_16	SAT	1.54
rankfunc28_unsigned_16	SAT	1.59
rankfunc31_unsigned_16	SAT	1.63
rankfunc22_unsigned_32	SAT	1.64
rankfunc17_unsigned_16	SAT	1.65
rankfunc34_signed_32	SAT	1.66
rankfunc29_signed_16	SAT	1.68
rankfunc11_signed_32	SAT	1.69
rankfunc42_unsigned_16	SAT	1.69
rankfunc44_unsigned_32	SAT	1.69
rankfunc36_signed_64	SAT	1.74
rankfunc45_signed_16	SAT	1.84
rankfunc9_signed_64	SAT	1.94
rankfunc26_unsigned_32	SAT	2.48
rankfunc61_signed_32	SAT	2.58
rankfunc47_signed_64	SAT	2.76
rankfunc15_unsigned_32	SAT	2.78
rankfunc8_unsigned_32	SAT	2.78
rankfunc25_signed_64	SAT	2.83
rankfunc19_unsigned_16	SAT	2.83
rankfunc5_signed_64	SAT	2.89
rankfunc51_signed_32	SAT	2.92
rankfunc27_signed_64	SAT	2.92
rankfunc20_unsigned_32	SAT	2.92
rankfunc41_signed_32	SAT	2.96
rankfunc4_unsigned_16	SAT	3
rankfunc39_unsigned_64	SAT	3.02
rankfunc35_unsigned_32	SAT	3.05
rankfunc1_signed_32	SAT	3.05
rankfunc54_signed_32	SAT	3.06
rankfunc32_signed_64	SAT	3.12
rankfunc43_signed_64	SAT	3.13
rankfunc33_unsigned_32	SAT	3.14
rankfunc14_signed_64	SAT	3.16
rankfunc46_unsigned_32	SAT	3.16
rankfunc30_signed_64	SAT	3.28
rankfunc37_unsigned_32	UNSAT	3.34
rankfunc16_signed_64	SAT	3.51
rankfunc3_signed_64	SAT	3.65
rankfunc18_signed_64	SAT	6.22
rankfunc50_signed_64	SAT	22.51
rankfunc58_signed_32	FAIL	544.23
rankfunc38_signed_32	FAIL	575.15
rankfunc24_unsigned_64	FAIL	697.6
rankfunc52_unsigned_32	FAIL	1200
rankfunc57_unsigned_64	FAIL	1200
rankfunc60_unsigned_32	FAIL	1200
rankfunc6_unsigned_16	FAIL	1200
rankfunc10_unsigned_64	FAIL	1200
rankfunc21_signed_16	FAIL	1200
rankfunc40_unsigned_64	FAIL	1200
rankfunc2_unsigned_64	FAIL	1200
rankfunc23_signed_64	FAIL	1200
rankfunc56_signed_16	FAIL	1200
rankfunc48_unsigned_16	FAIL	1200
rankfunc49_signed_32	FAIL	1200
rankfunc55_unsigned_32	FAIL	1200

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

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

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