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

InstanceResultTime
robots_1_5_2_65.8SAT116.29
robots_1_5_2_93.9SAT362.91
robots_1_5_2_65.10FAIL900
robots_1_5_2_65.9FAIL900
robots_1_5_2_93.10FAIL900