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

InstanceResultTime
robots_1_5_3_94.1SAT0.01
robots_1_5_3_98.1SAT0.01
robots_1_5_3_56.1SAT0.01
robots_1_5_3_56.2SAT0.19
robots_1_5_3_94.2SAT0.19
robots_1_5_3_98.2SAT0.2
robots_1_5_3_94.3SAT0.82
robots_1_5_3_98.3SAT0.91
robots_1_5_3_56.3SAT1.3
robots_1_5_3_94.4SAT1.48
robots_1_5_3_98.4SAT1.7
robots_1_5_3_98.5SAT2.82
robots_1_5_3_56.4SAT2.85
robots_1_5_3_94.6SAT3.67
robots_1_5_3_94.5SAT3.73
robots_1_5_3_56.5SAT4.22
robots_1_5_3_98.6SAT4.59
robots_1_5_3_56.6SAT5.05
robots_1_5_3_56.8SAT5.14
robots_1_5_3_94.7UNSAT5.32
robots_1_5_3_94.8UNSAT5.86
robots_1_5_3_56.7SAT6.31
robots_1_5_3_98.9UNSAT7.15
robots_1_5_3_98.7SAT7.58
robots_1_5_3_94.9UNSAT7.79
robots_1_5_3_94.10UNSAT8.08
robots_1_5_3_98.8UNSAT8.75
robots_1_5_3_56.9SAT9
robots_1_5_3_56.10SAT10.38
robots_1_5_3_98.10UNSAT23.05