Instances of family RobotsD2 solved by qsts
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
robots_1_5_2_46.1SAT0.04
robots_1_5_2_65.1SAT0.04
robots_1_5_2_93.1SAT0.04
robots_1_5_2_93.2SAT0.07
robots_1_5_2_46.2SAT0.07
robots_1_5_2_65.2SAT0.08
robots_1_5_2_93.3SAT0.14
robots_1_5_2_46.3SAT0.14
robots_1_5_2_65.3SAT0.18
robots_1_5_2_46.4SAT0.37
robots_1_5_2_93.4SAT0.38
robots_1_5_2_65.4SAT0.72
robots_1_5_2_46.5SAT1.23
robots_1_5_2_93.5SAT1.38
robots_1_5_2_65.5SAT3.27
robots_1_5_2_46.8UNSAT4.5
robots_1_5_2_46.9UNSAT5.05
robots_1_5_2_46.6SAT5.21
robots_1_5_2_93.6SAT5.7
robots_1_5_2_46.7UNSAT10.05
robots_1_5_2_46.10UNSAT10.78
robots_1_5_2_65.6SAT17.49
robots_1_5_2_93.7SAT25.4
robots_1_5_2_65.7SAT81.02
robots_1_5_2_93.8SAT105.67
robots_1_5_2_93.9SAT431.62
robots_1_5_2_65.8SAT441.68
robots_1_5_2_65.9FAIL599.71
robots_1_5_2_65.10FAIL599.71
robots_1_5_2_93.10FAIL599.72