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

InstanceResultTime
robots_1_5_2_65.1SAT6.89
robots_1_5_2_93.1SAT6.91
robots_1_5_2_46.1SAT7.74
robots_1_5_2_46.2SAT419.16
robots_1_5_2_93.3FAIL599.71
robots_1_5_2_93.10FAIL599.71
robots_1_5_2_65.4FAIL599.71
robots_1_5_2_93.9FAIL599.71
robots_1_5_2_65.9FAIL599.71
robots_1_5_2_46.9FAIL599.71
robots_1_5_2_46.4FAIL599.71
robots_1_5_2_46.5FAIL599.71
robots_1_5_2_65.5FAIL599.71
robots_1_5_2_93.5FAIL599.71
robots_1_5_2_46.6FAIL599.71
robots_1_5_2_65.6FAIL599.71
robots_1_5_2_93.6FAIL599.71
robots_1_5_2_46.7FAIL599.71
robots_1_5_2_65.7FAIL599.71
robots_1_5_2_93.7FAIL599.71
robots_1_5_2_46.8FAIL599.71
robots_1_5_2_65.8FAIL599.71
robots_1_5_2_93.8FAIL599.71
robots_1_5_2_46.10FAIL599.71
robots_1_5_2_65.10FAIL599.71
robots_1_5_2_65.2FAIL599.71
robots_1_5_2_46.3FAIL599.71
robots_1_5_2_65.3FAIL599.71
robots_1_5_2_93.4FAIL599.81
robots_1_5_2_93.2FAIL599.81