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

Instance	Solver	Result	Time
rankfunc2_unsigned_64	CADET_2017	SAT	0.06
rankfunc31_signed_64	caqe_2017_v1	SAT	0.06
rankfunc31_unsigned_64	ASPQ2	SAT	0.06
rankfunc34_signed_64	caqe_2017_v1	SAT	0.03
rankfunc34_unsigned_64	rev_qfun0.1	SAT	0.04
rankfunc35_signed_64	CADET_2017	SAT	0.11
rankfunc35_unsigned_64	rareqs	SAT	0.07
rankfunc38_signed_64	rareqs	SAT	0
rankfunc38_unsigned_64	caqe_2017_v1	SAT	0
rankfunc41_signed_64	ijtihad_v1	SAT	0.06
rankfunc41_unsigned_64	rareqs	SAT	0.06
rankfunc48_signed_64	caqe_2017_v2	SAT	0.09
rankfunc48_unsigned_16	CADET_2017	SAT	0.02
rankfunc48_unsigned_64	CADET_2017	SAT	0.13
rankfunc49_signed_64	caqe_2017_v2	SAT	0.04
rankfunc49_unsigned_64	caqe_2017_v2	SAT	0.04
rankfunc51_signed_64	caqe_2017_v1	SAT	0.03
rankfunc51_unsigned_64	caqe_2017_v1	SAT	0.03
rankfunc52_signed_64	caqe_2017_v2	SAT	0.06
rankfunc52_unsigned_64	caqe_2017_v2	SAT	0.06
rankfunc53_signed_64	caqe_2017_v1	SAT	0.02
rankfunc53_unsigned_64	caqe_2017_v1	SAT	0.02
rankfunc54_signed_64	ASPQ2	SAT	0.04
rankfunc54_unsigned_64	caqe_2017_v1	SAT	0.03
rankfunc55_signed_64	caqe_2017_v2	SAT	0.03
rankfunc55_unsigned_32	no-prefix-opt-depqbf	SAT	0.02
rankfunc55_unsigned_64	CADET_2017	SAT	0.06
rankfunc56_signed_64	caqe_2017_v2	SAT	0.02
rankfunc56_unsigned_64	caqe_2017_v2	SAT	0.02
rankfunc57_unsigned_64	CADET_2017	SAT	0.1
rankfunc58_signed_64	caqe_2017_v2	SAT	0.06
rankfunc58_unsigned_64	caqe_2017_v2	SAT	0.06
rankfunc59_signed_64	caqe_2017_v2	SAT	0.07
rankfunc59_unsigned_64	caqe_2017_v2	SAT	0.07
rankfunc60_unsigned_32	caqe_2017_v2	SAT	0.02
rankfunc61_signed_64	caqe_2017_v2	SAT	0.08
rankfunc61_unsigned_64	ASPQ2	SAT	0.03

QBF Solver Evaluation Portal