Instances of family RobotsD4 solved by squeezebf+struqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
robots_1_5_4_74.1SAT0.53
robots_1_5_4_54.1SAT0.93
robots_1_5_4_46.1SAT0.95
robots_1_5_4_74.2SAT324.26
robots_1_5_4_54.2SAT432.67
robots_1_5_4_46.2SAT460.48
robots_1_5_4_46.7FAIL599.71
robots_1_5_4_54.7FAIL599.71
robots_1_5_4_74.7FAIL599.71
robots_1_5_4_54.8FAIL599.71
robots_1_5_4_74.8FAIL599.71
robots_1_5_4_46.9FAIL599.71
robots_1_5_4_54.9FAIL599.71
robots_1_5_4_74.9FAIL599.71
robots_1_5_4_74.6FAIL599.71
robots_1_5_4_54.6FAIL599.71
robots_1_5_4_46.6FAIL599.71
robots_1_5_4_54.10FAIL599.71
robots_1_5_4_46.3FAIL599.71
robots_1_5_4_54.3FAIL599.71
robots_1_5_4_74.3FAIL599.71
robots_1_5_4_54.4FAIL599.71
robots_1_5_4_74.4FAIL599.71
robots_1_5_4_54.5FAIL599.71
robots_1_5_4_74.5FAIL599.71
robots_1_5_4_46.4FAIL599.71
robots_1_5_4_46.8FAIL599.71
robots_1_5_4_46.5FAIL599.81
robots_1_5_4_46.10FAIL599.81
robots_1_5_4_74.10FAIL599.81