Instances of family RobotsD2 solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
robots_1_5_2_65.10FAIL877.42
robots_1_5_2_65.8FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.9FAIL900
robots_1_5_2_93.10FAIL900