Instances of family RobotsD4 solved by yQuaffle
QBFEVAL'04

InstanceResultTime
robots_1_5_4_78.1SAT0.06
robots_1_5_4_73.2SAT0.16
robots_1_5_4_21.2SAT0.17
robots_1_5_4_85.5SAT2.01
robots_1_5_4_91.4SAT4.02
robots_1_5_4_31.8FAIL901
robots_1_5_4_34.8FAIL901.01
robots_1_5_4_87.8FAIL901.01