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

InstanceResultTime
robots_1_5_4_54.1SAT0.01
robots_1_5_4_74.1SAT0.01
robots_1_5_4_46.1SAT0.01
robots_1_5_4_74.2SAT0.18
robots_1_5_4_54.2SAT0.18
robots_1_5_4_46.2SAT0.18
robots_1_5_4_74.3SAT0.46
robots_1_5_4_46.3SAT0.46
robots_1_5_4_54.3SAT0.53
robots_1_5_4_46.4SAT1.02
robots_1_5_4_74.4SAT1.07
robots_1_5_4_54.4SAT1.07
robots_1_5_4_46.5SAT1.89
robots_1_5_4_74.5SAT1.99
robots_1_5_4_54.5UNSAT2.25
robots_1_5_4_74.6UNSAT2.28
robots_1_5_4_54.6UNSAT2.37
robots_1_5_4_46.6SAT3
robots_1_5_4_74.8UNSAT3.36
robots_1_5_4_46.7UNSAT3.65
robots_1_5_4_74.7UNSAT3.85
robots_1_5_4_54.7UNSAT4.12
robots_1_5_4_54.8UNSAT4.34
robots_1_5_4_46.8UNSAT4.74
robots_1_5_4_54.9UNSAT4.9
robots_1_5_4_74.9UNSAT5.53
robots_1_5_4_54.10UNSAT5.71
robots_1_5_4_74.10UNSAT5.91
robots_1_5_4_46.9UNSAT6.18
robots_1_5_4_46.10UNSAT6.34