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

qbflib.org

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

Instance	Result	Time
rankfunc60_unsigned_32	SAT	0.61
rankfunc48_unsigned_16	SAT	0.8
rankfunc56_unsigned_64	SAT	1.07
rankfunc56_signed_64	SAT	1.09
rankfunc55_unsigned_64	SAT	1.31
rankfunc2_unsigned_64	SAT	1.36
rankfunc49_unsigned_64	SAT	1.9
rankfunc49_signed_64	SAT	2.1
rankfunc57_unsigned_64	SAT	2.1
rankfunc53_signed_64	SAT	2.11
rankfunc53_unsigned_64	SAT	2.21
rankfunc61_unsigned_64	SAT	2.39
rankfunc51_signed_64	SAT	2.69
rankfunc35_unsigned_64	SAT	2.89
rankfunc52_unsigned_64	SAT	3.11
rankfunc58_unsigned_64	SAT	3.2
rankfunc58_signed_64	SAT	3.27
rankfunc52_signed_64	SAT	3.29
rankfunc54_signed_64	SAT	3.3
rankfunc51_unsigned_64	SAT	3.47
rankfunc48_unsigned_64	SAT	3.5
rankfunc54_unsigned_64	SAT	3.63
rankfunc61_signed_64	SAT	3.63
rankfunc59_signed_64	SAT	4.24
rankfunc59_unsigned_64	SAT	4.55
rankfunc31_signed_64	SAT	4.73
rankfunc35_signed_64	SAT	4.8
rankfunc48_signed_64	SAT	5.44
rankfunc31_unsigned_64	SAT	6
rankfunc41_signed_64	SAT	6.19
rankfunc41_unsigned_64	SAT	6.59

Contact | Organization | Links | Citing QBFLIB