Instances of family RobotsD2 solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Random QBFs Track

InstanceResultTime
robots_1_5_2_65.8SAT105.9
robots_1_5_2_93.9SAT338.22
robots_1_5_2_65.10FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.10FAIL900