Instances of family RobotsD5 solved by GRL
QBFEVAL'05

InstanceResultTime
robots_1_5_5_24.2SAT2.14
robots_1_5_5_26.4SAT5.85
robots_1_5_5_66.4SAT5.86
robots_1_5_5_62.2SAT6.56
robots_1_5_5_61.2SAT7.13
robots_1_5_5_75.2SAT7.18
robots_1_5_5_38.2SAT7.29
robots_1_5_5_56.2SAT7.31
robots_1_5_5_15.2SAT7.35
robots_1_5_5_31.2SAT10.98
robots_1_5_5_97.2SAT12.55
robots_1_5_5_100.2SAT12.58
robots_1_5_5_66.8SAT16.61
robots_1_5_5_87.4SAT63.2
robots_1_5_5_45.4SAT73.47
robots_1_5_5_30.4SAT74.82
robots_1_5_5_34.4SAT83.96
robots_1_5_5_93.4SAT97.14
robots_1_5_5_8.4SAT110.43
robots_1_5_5_12.4SAT110.78
robots_1_5_5_100.4SAT111.28
robots_1_5_5_33.8UNSAT113.15
robots_1_5_5_100.8UNSAT292.05
robots_1_5_5_5.8FAIL301.18
robots_1_5_5_50.8UNSAT307.55
robots_1_5_5_99.8FAIL316.68
robots_1_5_5_14.8FAIL317.03
robots_1_5_5_95.8FAIL319.57
robots_1_5_5_10.8UNSAT328.55
robots_1_5_5_12.8FAIL353.9