Instances of family RobotsD5 solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
robots_1_5_5_66.4FAIL37.25
robots_1_5_5_26.4FAIL37.96
robots_1_5_5_87.4FAIL51.62
robots_1_5_5_30.4FAIL83.57
robots_1_5_5_45.4FAIL84.28
robots_1_5_5_34.4FAIL90.81
robots_1_5_5_12.4FAIL91.58
robots_1_5_5_8.4FAIL91.61
robots_1_5_5_100.4FAIL91.66
robots_1_5_5_93.4FAIL92.31