Instances of family RobotsD2 solved by GRL
QBFEVAL'06

InstanceResultTime
robots_1_5_2_85.4SAT5.78
robots_1_5_2_21.4SAT5.8
robots_1_5_2_3.4SAT5.86
robots_1_5_2_100.4SAT43.44
robots_1_5_2_2.4SAT43.86
robots_1_5_2_80.4SAT44.28
robots_1_5_2_45.4SAT51.33
robots_1_5_2_99.4SAT59.3
robots_1_5_2_39.4SAT70.79
robots_1_5_2_82.4SAT72.34