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

InstanceResultTime
robots_1_5_2_65.1SAT0.04
robots_1_5_2_46.1SAT0.05
robots_1_5_2_93.1SAT0.05
robots_1_5_2_46.2SAT1.88
robots_1_5_2_93.2SAT2.23
robots_1_5_2_65.2SAT3.72
robots_1_5_2_65.3SAT4.46
robots_1_5_2_46.3SAT4.77
robots_1_5_2_93.3SAT7.27
robots_1_5_2_93.4SAT7.74
robots_1_5_2_93.5SAT10.07
robots_1_5_2_46.4SAT10.35
robots_1_5_2_65.4SAT12.4
robots_1_5_2_46.5SAT13.59
robots_1_5_2_65.5SAT14.03
robots_1_5_2_93.6SAT15.72
robots_1_5_2_46.7UNSAT19.94
robots_1_5_2_46.6SAT20.5
robots_1_5_2_65.6SAT20.77
robots_1_5_2_46.8UNSAT25.01
robots_1_5_2_93.7SAT39.15
robots_1_5_2_46.9UNSAT41.01
robots_1_5_2_65.7SAT43.1
robots_1_5_2_46.10UNSAT54.15
robots_1_5_2_93.8SAT76.62
robots_1_5_2_65.8SAT170.66
robots_1_5_2_93.9SAT304.3
robots_1_5_2_65.9FAIL599.53
robots_1_5_2_65.10FAIL599.61
robots_1_5_2_93.10FAIL599.62