Instances of family RobotsD5 solved by ssolve-ut
QBFEVAL'06

InstanceResultTime
robots_1_5_5_66.4SAT2.36
robots_1_5_5_26.4SAT2.46
robots_1_5_5_87.4SAT19.37
robots_1_5_5_45.4SAT32.46
robots_1_5_5_30.4SAT32.61
robots_1_5_5_34.4SAT35.9
robots_1_5_5_93.4SAT40.81
robots_1_5_5_100.4SAT41.61
robots_1_5_5_8.4SAT41.61
robots_1_5_5_12.4SAT41.75