Instances of family RankingFunctions solved by <a href='solver_detail.php?solver=270'>GhostQ-PG_plain</a> <br> QBFEVAL'17 - Prenex 2QBF Track

qbflib.org

Instances of family RankingFunctions solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
rankfunc38_unsigned_64	SAT	0.26
rankfunc38_signed_64	SAT	0.27
rankfunc55_unsigned_32	SAT	0.68
rankfunc60_unsigned_32	SAT	0.72
rankfunc48_unsigned_16	SAT	0.93
rankfunc56_unsigned_64	SAT	0.97
rankfunc56_signed_64	SAT	1.12
rankfunc55_signed_64	SAT	1.48
rankfunc2_unsigned_64	SAT	1.5
rankfunc55_unsigned_64	SAT	1.53
rankfunc34_signed_64	SAT	1.88
rankfunc34_unsigned_64	SAT	2.1
rankfunc49_unsigned_64	SAT	2.17
rankfunc53_signed_64	SAT	2.24
rankfunc49_signed_64	SAT	2.34
rankfunc53_unsigned_64	SAT	2.48
rankfunc61_unsigned_64	SAT	2.56
rankfunc51_unsigned_64	SAT	2.91
rankfunc51_signed_64	SAT	2.91
rankfunc57_unsigned_64	SAT	3.09
rankfunc52_unsigned_64	SAT	3.17
rankfunc52_signed_64	SAT	3.26
rankfunc35_unsigned_64	SAT	3.4
rankfunc58_unsigned_64	SAT	3.88
rankfunc61_signed_64	SAT	4.32
rankfunc58_signed_64	SAT	4.65
rankfunc54_signed_64	SAT	5.41
rankfunc54_unsigned_64	SAT	5.99
rankfunc35_signed_64	SAT	6.03
rankfunc59_unsigned_64	SAT	6.95
rankfunc31_signed_64	SAT	7.55
rankfunc31_unsigned_64	SAT	7.59
rankfunc48_unsigned_64	SAT	10.46
rankfunc59_signed_64	SAT	11.01
rankfunc48_signed_64	SAT	13.28
rankfunc41_signed_64	SAT	17.37
rankfunc41_unsigned_64	SAT	18.27

Contact | Organization | Links | Citing QBFLIB