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

Instance	Solver	Result	Time
robots_1_5_3_56.1	qesto	SAT	0.01
robots_1_5_3_56.10	rareqs	SAT	10.38
robots_1_5_3_56.2	qsts	SAT	0.07
robots_1_5_3_56.3	qsts	SAT	0.12
robots_1_5_3_56.4	qsts	SAT	0.28
robots_1_5_3_56.5	qsts	SAT	0.75
robots_1_5_3_56.6	qsts	SAT	2.4
robots_1_5_3_56.7	rareqs	SAT	6.31
robots_1_5_3_56.8	rareqs	SAT	5.14
robots_1_5_3_56.9	rareqs	SAT	9
robots_1_5_3_94.1	qesto	SAT	0.01
robots_1_5_3_94.10	qsts	UNSAT	3.06
robots_1_5_3_94.2	qsts	SAT	0.07
robots_1_5_3_94.3	qsts	SAT	0.15
robots_1_5_3_94.4	qsts	SAT	0.52
robots_1_5_3_94.5	qsts	SAT	2.02
robots_1_5_3_94.6	rareqs	SAT	3.67
robots_1_5_3_94.7	rareqs	UNSAT	5.32
robots_1_5_3_94.8	rareqs	UNSAT	5.86
robots_1_5_3_94.9	qesto	UNSAT	7.37
robots_1_5_3_98.1	rareqs	SAT	0.01
robots_1_5_3_98.10	rareqs	UNSAT	23.05
robots_1_5_3_98.2	qsts	SAT	0.07
robots_1_5_3_98.3	qsts	SAT	0.17
robots_1_5_3_98.4	qsts	SAT	0.55
robots_1_5_3_98.5	qsts	SAT	2.23
robots_1_5_3_98.6	rareqs	SAT	4.59
robots_1_5_3_98.7	rareqs	SAT	7.58
robots_1_5_3_98.8	rareqs	UNSAT	8.75
robots_1_5_3_98.9	rareqs	UNSAT	7.15

QBF Solver Evaluation Portal