Instances of family RobotsD2 solved by ijtihad_v2
QBFEVAL'17 - Random QBFs Track

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