Instances of family RobotsD3 solved by QUANTOR
QBFEVAL'06

InstanceResultTime
robots_1_5_3_2.4FAIL34.31
robots_1_5_3_57.4FAIL35.63
robots_1_5_3_24.4FAIL36.98
robots_1_5_3_52.4FAIL37.69
robots_1_5_3_66.4FAIL38.54
robots_1_5_3_16.4FAIL44.69
robots_1_5_3_100.4FAIL45.21
robots_1_5_3_44.4FAIL63.39
robots_1_5_3_20.4FAIL85.09
robots_1_5_3_78.4FAIL87.26