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

qbflib.org

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

Instance	Result	Time
rankfunc38_signed_64	SAT	0.28
rankfunc38_unsigned_64	SAT	0.32
rankfunc60_unsigned_32	SAT	0.64
rankfunc55_unsigned_32	SAT	0.65
rankfunc48_unsigned_16	SAT	0.82
rankfunc56_signed_64	SAT	1.08
rankfunc56_unsigned_64	SAT	1.12
rankfunc55_signed_64	SAT	1.3
rankfunc55_unsigned_64	SAT	1.33
rankfunc2_unsigned_64	SAT	1.39
rankfunc34_unsigned_64	SAT	1.78
rankfunc34_signed_64	SAT	1.84
rankfunc49_unsigned_64	SAT	1.97
rankfunc49_signed_64	SAT	2.11
rankfunc57_unsigned_64	SAT	2.13
rankfunc53_unsigned_64	SAT	2.2
rankfunc53_signed_64	SAT	2.21
rankfunc61_unsigned_64	SAT	2.36
rankfunc51_signed_64	SAT	2.69
rankfunc35_unsigned_64	SAT	2.88
rankfunc51_unsigned_64	SAT	2.99
rankfunc52_unsigned_64	SAT	3.11
rankfunc58_unsigned_64	SAT	3.2
rankfunc54_signed_64	SAT	3.29
rankfunc52_signed_64	SAT	3.31
rankfunc58_signed_64	SAT	3.36
rankfunc48_unsigned_64	SAT	3.49
rankfunc54_unsigned_64	SAT	3.59
rankfunc61_signed_64	SAT	3.62
rankfunc59_signed_64	SAT	4.2
rankfunc59_unsigned_64	SAT	4.49
rankfunc31_signed_64	SAT	4.71
rankfunc35_signed_64	SAT	4.76
rankfunc48_signed_64	SAT	5.45
rankfunc31_unsigned_64	SAT	5.98
rankfunc41_signed_64	SAT	6.15
rankfunc41_unsigned_64	SAT	6.52

Contact | Organization | Links | Citing QBFLIB