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

InstanceResultTime
robots_1_5_4_54.1SAT0.03
robots_1_5_4_74.1SAT0.03
robots_1_5_4_46.1SAT0.03
robots_1_5_4_54.2SAT0.22
robots_1_5_4_74.2SAT0.22
robots_1_5_4_46.2SAT0.23
robots_1_5_4_74.3SAT0.47
robots_1_5_4_54.3SAT0.5
robots_1_5_4_46.3SAT0.5
robots_1_5_4_54.4SAT0.87
robots_1_5_4_74.4SAT0.93
robots_1_5_4_46.4SAT1.03
robots_1_5_4_74.5SAT1.33
robots_1_5_4_46.5SAT1.5
robots_1_5_4_54.5UNSAT1.59
robots_1_5_4_54.6UNSAT2.38
robots_1_5_4_54.8UNSAT2.61
robots_1_5_4_46.6SAT2.75
robots_1_5_4_74.8UNSAT2.82
robots_1_5_4_54.9UNSAT2.89
robots_1_5_4_74.6UNSAT2.94
robots_1_5_4_46.7UNSAT3.01
robots_1_5_4_74.7UNSAT3.27
robots_1_5_4_54.7UNSAT3.29
robots_1_5_4_46.9UNSAT3.81
robots_1_5_4_74.10UNSAT3.86
robots_1_5_4_46.8UNSAT3.87
robots_1_5_4_74.9UNSAT4.68
robots_1_5_4_54.10UNSAT6.36
robots_1_5_4_46.10UNSAT6.42