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

InstanceResultTime
robots_1_5_3_56.1SAT0.62
robots_1_5_3_94.1SAT1.1
robots_1_5_3_98.1SAT1.19
robots_1_5_3_98.2SAT466.6
robots_1_5_3_56.2SAT596.03
robots_1_5_3_98.10FAIL599.71
robots_1_5_3_94.2FAIL599.71
robots_1_5_3_94.3FAIL599.71
robots_1_5_3_98.3FAIL599.71
robots_1_5_3_94.5FAIL599.71
robots_1_5_3_98.5FAIL599.71
robots_1_5_3_56.6FAIL599.71
robots_1_5_3_94.6FAIL599.71
robots_1_5_3_98.6FAIL599.71
robots_1_5_3_94.7FAIL599.71
robots_1_5_3_98.7FAIL599.71
robots_1_5_3_56.8FAIL599.71
robots_1_5_3_94.8FAIL599.71
robots_1_5_3_98.8FAIL599.71
robots_1_5_3_56.9FAIL599.71
robots_1_5_3_94.9FAIL599.71
robots_1_5_3_98.9FAIL599.71
robots_1_5_3_56.5FAIL599.71
robots_1_5_3_56.10FAIL599.72
robots_1_5_3_56.7FAIL599.81
robots_1_5_3_98.4FAIL599.81
robots_1_5_3_94.10FAIL599.81
robots_1_5_3_56.3FAIL599.81
robots_1_5_3_56.4FAIL599.81
robots_1_5_3_94.4FAIL599.81