Instances of family RobotsD5 solved by SQBF
QBFEVAL'06

InstanceResultTime
robots_1_5_5_26.4SAT52.85
robots_1_5_5_66.4SAT53.09
robots_1_5_5_30.4SAT98.22
robots_1_5_5_34.4SAT105.99
robots_1_5_5_45.4SAT106.26
robots_1_5_5_87.4SAT113.16
robots_1_5_5_93.4SAT113.89
robots_1_5_5_12.4SAT116.54
robots_1_5_5_100.4SAT117.57
robots_1_5_5_8.4SAT117.8