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

InstanceResultTime
robots_1_5_5_91.1SAT0.53
robots_1_5_5_58.1SAT0.53
robots_1_5_5_45.1SAT0.97
robots_1_5_5_91.2SAT318.18
robots_1_5_5_58.2SAT323.35
robots_1_5_5_45.2SAT438.81
robots_1_5_5_45.10FAIL599.71
robots_1_5_5_58.10FAIL599.71
robots_1_5_5_91.10FAIL599.71
robots_1_5_5_45.3FAIL599.71
robots_1_5_5_58.3FAIL599.71
robots_1_5_5_91.3FAIL599.71
robots_1_5_5_45.4FAIL599.71
robots_1_5_5_58.8FAIL599.71
robots_1_5_5_45.8FAIL599.71
robots_1_5_5_91.7FAIL599.71
robots_1_5_5_45.9FAIL599.71
robots_1_5_5_58.7FAIL599.71
robots_1_5_5_45.7FAIL599.71
robots_1_5_5_91.8FAIL599.71
robots_1_5_5_91.9FAIL599.71
robots_1_5_5_58.9FAIL599.71
robots_1_5_5_91.6FAIL599.71
robots_1_5_5_58.6FAIL599.71
robots_1_5_5_58.5FAIL599.71
robots_1_5_5_45.5FAIL599.71
robots_1_5_5_91.4FAIL599.71
robots_1_5_5_58.4FAIL599.71
robots_1_5_5_91.5FAIL599.71
robots_1_5_5_45.6FAIL599.81