Instances of family RobotsD5 solved by sSolve
QBFEVAL'06

InstanceResultTime
robots_1_5_5_26.4SAT2.4
robots_1_5_5_66.4SAT2.44
robots_1_5_5_87.4SAT19.36
robots_1_5_5_45.4SAT32.81
robots_1_5_5_30.4SAT32.88
robots_1_5_5_34.4SAT35.86
robots_1_5_5_93.4SAT41.28
robots_1_5_5_8.4SAT41.5
robots_1_5_5_100.4SAT41.53
robots_1_5_5_12.4SAT41.99