Instances of family RobotsD2 solved by preQuantor
QBFEVAL'06

InstanceResultTime
robots_1_5_2_82.4FAIL42.04
robots_1_5_2_85.4FAIL43.52
robots_1_5_2_39.4FAIL47.13
robots_1_5_2_99.4FAIL52.74
robots_1_5_2_45.4FAIL53.19
robots_1_5_2_100.4FAIL54.53
robots_1_5_2_3.4FAIL55.94
robots_1_5_2_80.4FAIL61.55
robots_1_5_2_2.4FAIL64.62
robots_1_5_2_21.4FAIL71.66