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

qbflib.org

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

Instance	Result	Time
rankfunc60_unsigned_32	SAT	0.69
rankfunc48_unsigned_16	SAT	0.9
rankfunc56_unsigned_64	SAT	0.92
rankfunc56_signed_64	SAT	1.07
rankfunc2_unsigned_64	SAT	1.5
rankfunc55_unsigned_64	SAT	1.51
rankfunc49_unsigned_64	SAT	2.09
rankfunc53_signed_64	SAT	2.15
rankfunc49_signed_64	SAT	2.28
rankfunc53_unsigned_64	SAT	2.45
rankfunc61_unsigned_64	SAT	2.58
rankfunc51_signed_64	SAT	2.93
rankfunc51_unsigned_64	SAT	3
rankfunc57_unsigned_64	SAT	3.09
rankfunc52_unsigned_64	SAT	3.18
rankfunc52_signed_64	SAT	3.3
rankfunc35_unsigned_64	SAT	3.4
rankfunc58_unsigned_64	SAT	3.91
rankfunc61_signed_64	SAT	4.44
rankfunc58_signed_64	SAT	4.66
rankfunc54_signed_64	SAT	5.44
rankfunc54_unsigned_64	SAT	6
rankfunc35_signed_64	SAT	6.07
rankfunc59_unsigned_64	SAT	6.99
rankfunc31_unsigned_64	SAT	7.6
rankfunc31_signed_64	SAT	7.69
rankfunc48_unsigned_64	SAT	10.58
rankfunc59_signed_64	SAT	11.06
rankfunc48_signed_64	SAT	13.5
rankfunc41_unsigned_64	SAT	18.5
rankfunc41_signed_64	SAT	19.54

Contact | Organization | Links | Citing QBFLIB