Instances of family RobotsD5 solved by CLearn
QBFEVAL'04

InstanceResultTime
robots_1_5_5_29.1SAT1.7
robots_1_5_5_5.2SAT6.23
robots_1_5_5_55.6SAT9.21
robots_1_5_5_75.3SAT20.74
robots_1_5_5_4.9UNSAT205.08
robots_1_5_5_18.5UNSAT452.87
robots_1_5_5_59.5UNSAT452.93
robots_1_5_5_34.6FAIL901