Instances of family RobotsD4 solved by GRL
QBFEVAL'04

InstanceResultTime
robots_1_5_4_78.1SAT1.86
robots_1_5_4_73.2SAT6.75
robots_1_5_4_85.5SAT7.76
robots_1_5_4_21.2SAT11.09
robots_1_5_4_91.4SAT81.67
robots_1_5_4_87.8UNSAT234.58
robots_1_5_4_31.8UNSAT894.08
robots_1_5_4_34.8FAIL901.01