Instances of family RobotsD2 solved by quantor-3.1
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
robots_1_5_2_85.2SAT1.1
robots_1_5_2_33.2SAT1.32
robots_1_5_2_10.2SAT1.33
robots_1_5_2_81.2SAT1.36
robots_1_5_2_47.2SAT1.39
robots_1_5_2_14.2SAT1.39
robots_1_5_2_100.2SAT1.4
robots_1_5_2_49.2SAT1.43
robots_1_5_2_28.2SAT1.52
robots_1_5_2_31.2SAT1.56
robots_1_5_2_54.8FAIL26.25
robots_1_5_2_40.8FAIL27.05
robots_1_5_2_82.8FAIL27.09
robots_1_5_2_100.8FAIL27.15
robots_1_5_2_67.8FAIL27.2
robots_1_5_2_32.8FAIL27.2
robots_1_5_2_75.8FAIL27.22
robots_1_5_2_61.8FAIL27.28
robots_1_5_2_91.8FAIL27.34
robots_1_5_2_9.8FAIL27.36
robots_1_5_2_39.4FAIL62.94
robots_1_5_2_99.4FAIL63
robots_1_5_2_100.4FAIL63.66
robots_1_5_2_80.4FAIL63.75
robots_1_5_2_21.4FAIL63.76
robots_1_5_2_82.4FAIL66.43
robots_1_5_2_2.4FAIL67.36
robots_1_5_2_3.4FAIL69
robots_1_5_2_85.4FAIL71.83
robots_1_5_2_45.4FAIL72.99