Instances of family RobotsD5 solved by qube5.0
QBFEVAL'06

InstanceResultTime
robots_1_5_5_66.4SAT1.6
robots_1_5_5_26.4SAT1.6
robots_1_5_5_12.4SAT16.21
robots_1_5_5_30.4SAT17.82
robots_1_5_5_45.4SAT18.98
robots_1_5_5_93.4SAT20.83
robots_1_5_5_34.4SAT22.94
robots_1_5_5_87.4SAT24.26
robots_1_5_5_100.4SAT28.04
robots_1_5_5_8.4SAT28.04