Instances of family RobotsD4 solved by preQuantor
QBFEVAL'06

InstanceResultTime
robots_1_5_4_2.4FAIL74.18
robots_1_5_4_98.4FAIL74.75
robots_1_5_4_46.4FAIL75.21
robots_1_5_4_91.4FAIL75.35
robots_1_5_4_87.4FAIL76.47
robots_1_5_4_51.4FAIL76.74
robots_1_5_4_50.4FAIL83.82
robots_1_5_4_100.4FAIL86.25
robots_1_5_4_31.4FAIL90.56
robots_1_5_4_30.4FAIL93.05