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

qbflib.org

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

Instance	Result	Time
rankfunc38_unsigned_64	SAT	0.01
rankfunc60_unsigned_32	SAT	0.02
rankfunc56_unsigned_64	SAT	0.03
rankfunc48_unsigned_16	SAT	0.03
rankfunc38_signed_64	SAT	0.04
rankfunc55_signed_64	SAT	0.04
rankfunc56_signed_64	SAT	0.04
rankfunc53_signed_64	SAT	0.05
rankfunc49_signed_64	SAT	0.05
rankfunc34_signed_64	SAT	0.05
rankfunc34_unsigned_64	SAT	0.05
rankfunc49_unsigned_64	SAT	0.05
rankfunc53_unsigned_64	SAT	0.05
rankfunc51_unsigned_64	SAT	0.06
rankfunc51_signed_64	SAT	0.06
rankfunc58_unsigned_64	SAT	0.07
rankfunc58_signed_64	SAT	0.07
rankfunc52_signed_64	SAT	0.07
rankfunc52_unsigned_64	SAT	0.07
rankfunc61_unsigned_64	SAT	0.07
rankfunc54_unsigned_64	SAT	0.08
rankfunc59_unsigned_64	SAT	0.08
rankfunc35_unsigned_64	SAT	0.09
rankfunc54_signed_64	SAT	0.09
rankfunc59_signed_64	SAT	0.09
rankfunc61_signed_64	SAT	0.09
rankfunc31_signed_64	SAT	0.1
rankfunc41_unsigned_64	SAT	0.1
rankfunc31_unsigned_64	SAT	0.1
rankfunc48_signed_64	SAT	0.1
rankfunc41_signed_64	SAT	0.1
rankfunc55_unsigned_32	SAT	0.24
rankfunc55_unsigned_64	SAT	0.94
rankfunc2_unsigned_64	SAT	1.02
rankfunc35_signed_64	SAT	1.31
rankfunc57_unsigned_64	SAT	1.74
rankfunc48_unsigned_64	SAT	3.23

Contact | Organization | Links | Citing QBFLIB