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

Instance	Solver	Result	Time
robots_1_5_4_46.1	qesto	SAT	0.01
robots_1_5_4_46.10	rareqs	UNSAT	6.34
robots_1_5_4_46.2	qsts	SAT	0.07
robots_1_5_4_46.3	qsts	SAT	0.14
robots_1_5_4_46.4	qsts	SAT	0.48
robots_1_5_4_46.5	hiqqer1	SAT	1.49
robots_1_5_4_46.6	hiqqer1	SAT	2.7
robots_1_5_4_46.7	hiqqer1ldsq	UNSAT	3.01
robots_1_5_4_46.8	hiqqer3	UNSAT	3.08
robots_1_5_4_46.9	hiqqer1ldsq	UNSAT	3.81
robots_1_5_4_54.1	qesto	SAT	0.01
robots_1_5_4_54.10	qsts	UNSAT	2.93
robots_1_5_4_54.2	qsts	SAT	0.07
robots_1_5_4_54.3	qsts	SAT	0.15
robots_1_5_4_54.4	qsts	SAT	0.48
robots_1_5_4_54.5	hiqqer1ldsq	UNSAT	1.59
robots_1_5_4_54.6	rareqs	UNSAT	2.37
robots_1_5_4_54.7	qsts	UNSAT	0.3
robots_1_5_4_54.8	qsts	UNSAT	0.39
robots_1_5_4_54.9	qsts	UNSAT	0.6
robots_1_5_4_74.1	qesto	SAT	0.01
robots_1_5_4_74.10	hiqqer1	UNSAT	3.86
robots_1_5_4_74.2	qsts	SAT	0.07
robots_1_5_4_74.3	qsts	SAT	0.13
robots_1_5_4_74.4	qsts	SAT	0.44
robots_1_5_4_74.5	hiqqer1ldsq	SAT	1.33
robots_1_5_4_74.6	rareqs	UNSAT	2.28
robots_1_5_4_74.7	hiqqer1	UNSAT	3.25
robots_1_5_4_74.8	hiqqer1ldsq	UNSAT	2.82
robots_1_5_4_74.9	hiqqer1ldsq	UNSAT	4.68

QBF Solver Evaluation Portal