Instances of family RobotsD3 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
robots_1_5_3_17.2SAT1.87
robots_1_5_3_27.9FAIL9.55
robots_1_5_3_84.7FAIL23.67
robots_1_5_3_18.7FAIL23.7
robots_1_5_3_16.7FAIL24.19
robots_1_5_3_62.4FAIL30.21
robots_1_5_3_15.6FAIL34.53
robots_1_5_3_80.4FAIL40.68