Instances of family RobotsD2 solved by rareqs
QBFEVAL'16 - Random QBFs Track.

InstanceResultTime
robots_1_5_2_65.1SAT0.01
robots_1_5_2_46.1SAT0.01
robots_1_5_2_93.1SAT0.01
robots_1_5_2_46.2SAT0.21
robots_1_5_2_65.2SAT0.21
robots_1_5_2_93.2SAT0.21
robots_1_5_2_46.3SAT0.79
robots_1_5_2_93.3SAT0.95
robots_1_5_2_65.3SAT0.99
robots_1_5_2_93.4SAT1.77
robots_1_5_2_46.4SAT1.9
robots_1_5_2_65.4SAT2.37
robots_1_5_2_93.5SAT2.97
robots_1_5_2_46.5SAT3.45
robots_1_5_2_46.7UNSAT4.33
robots_1_5_2_65.5SAT4.4
robots_1_5_2_46.6SAT5.56
robots_1_5_2_46.8UNSAT5.59
robots_1_5_2_93.6SAT5.73
robots_1_5_2_65.6SAT6.02
robots_1_5_2_93.7SAT7.17
robots_1_5_2_46.10UNSAT10.54
robots_1_5_2_46.9UNSAT10.94
robots_1_5_2_65.7SAT12.06
robots_1_5_2_93.8SAT13.24
robots_1_5_2_93.9SAT38.63
robots_1_5_2_65.8SAT39.03
robots_1_5_2_93.10SAT108.86
robots_1_5_2_65.9SAT134.17
robots_1_5_2_65.10SAT451.26