Instances of family RobotsD5 solved by GRL
QBFEVAL'04

InstanceResultTime
robots_1_5_5_29.1SAT1.88
robots_1_5_5_5.2SAT6.75
robots_1_5_5_55.6SAT10.27
robots_1_5_5_75.3SAT22.16
robots_1_5_5_4.9UNSAT250.91
robots_1_5_5_18.5UNSAT319.96
robots_1_5_5_59.5UNSAT320.44
robots_1_5_5_34.6UNSAT880.61