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

Instance	Solver	Result	Time
robots_1_5_2_46.1	qesto	SAT	0.01
robots_1_5_2_46.10	rareqs	UNSAT	10.54
robots_1_5_2_46.2	qsts	SAT	0.07
robots_1_5_2_46.3	qsts	SAT	0.14
robots_1_5_2_46.4	qsts	SAT	0.37
robots_1_5_2_46.5	qsts	SAT	1.23
robots_1_5_2_46.6	qsts	SAT	5.21
robots_1_5_2_46.7	rareqs	UNSAT	4.33
robots_1_5_2_46.8	qsts	UNSAT	4.5
robots_1_5_2_46.9	qsts	UNSAT	5.05
robots_1_5_2_65.1	qesto	SAT	0.01
robots_1_5_2_65.10	rareqs	SAT	451.26
robots_1_5_2_65.2	qsts	SAT	0.08
robots_1_5_2_65.3	qsts	SAT	0.18
robots_1_5_2_65.4	qsts	SAT	0.72
robots_1_5_2_65.5	qsts	SAT	3.27
robots_1_5_2_65.6	rareqs	SAT	6.02
robots_1_5_2_65.7	rareqs	SAT	12.06
robots_1_5_2_65.8	rareqs	SAT	39.03
robots_1_5_2_65.9	rareqs	SAT	134.17
robots_1_5_2_93.1	qesto	SAT	0.01
robots_1_5_2_93.10	rareqs	SAT	108.86
robots_1_5_2_93.2	qsts	SAT	0.07
robots_1_5_2_93.3	qsts	SAT	0.14
robots_1_5_2_93.4	qsts	SAT	0.38
robots_1_5_2_93.5	qsts	SAT	1.38
robots_1_5_2_93.6	qsts	SAT	5.7
robots_1_5_2_93.7	rareqs	SAT	7.17
robots_1_5_2_93.8	rareqs	SAT	13.24
robots_1_5_2_93.9	rareqs	SAT	38.63

QBF Solver Evaluation Portal