Sota solver results for family RankingFunctions <br> QBFEVAL'16

Instance	Solver	Result	Time
rankfunc13_signed_32	qesto	SAT	0.01
rankfunc13_unsigned_64	qesto	SAT	0.03
rankfunc14_signed_64	qestos	SAT	0.03
rankfunc17_unsigned_16	qesto	SAT	0.01
rankfunc22_signed_64	qesto	SAT	0.07
rankfunc33_signed_32	qesto	SAT	0.02
rankfunc3_signed_64	qesto	SAT	0.1
rankfunc51_signed_32	qestos	SAT	0.01
rankfunc5_signed_32	qesto	SAT	0.01
rankfunc5_unsigned_64	qestos	SAT	0.02

QBF Solver Evaluation Portal