Instances of family RobotsD5 solved by depqbf
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
robots_1_5_5_24.2SAT0.21
robots_1_5_5_61.2SAT0.39
robots_1_5_5_38.2SAT0.39
robots_1_5_5_15.2SAT0.39
robots_1_5_5_62.2SAT0.39
robots_1_5_5_56.2SAT0.4
robots_1_5_5_75.2SAT0.4
robots_1_5_5_31.2SAT0.51
robots_1_5_5_66.4SAT0.52
robots_1_5_5_26.4SAT0.53
robots_1_5_5_97.2SAT0.53
robots_1_5_5_100.2SAT0.54
robots_1_5_5_66.8SAT1.5
robots_1_5_5_87.4SAT5.36
robots_1_5_5_30.4SAT7.78
robots_1_5_5_45.4SAT8.43
robots_1_5_5_34.4SAT9.01
robots_1_5_5_100.4SAT10.81
robots_1_5_5_8.4SAT10.85
robots_1_5_5_93.4SAT11.75
robots_1_5_5_12.4SAT12.3
robots_1_5_5_33.8UNSAT34.39
robots_1_5_5_10.8UNSAT59.36
robots_1_5_5_12.8UNSAT272.74
robots_1_5_5_14.8UNSAT489.59
robots_1_5_5_5.8UNSAT600.01
robots_1_5_5_50.8UNSAT739.86
robots_1_5_5_100.8UNSAT881.17
robots_1_5_5_95.8FAIL1200.18
robots_1_5_5_99.8FAIL1200.18