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

InstanceResultTime
robots_1_5_4_46.1SAT0.01
robots_1_5_4_74.1SAT0.01
robots_1_5_4_54.1SAT0.01
robots_1_5_4_46.2SAT0.18
robots_1_5_4_54.2SAT0.18
robots_1_5_4_74.2SAT0.18
robots_1_5_4_46.3SAT0.45
robots_1_5_4_74.3SAT0.47
robots_1_5_4_54.3SAT0.53
robots_1_5_4_46.4SAT1.03
robots_1_5_4_54.4SAT1.07
robots_1_5_4_74.4SAT1.08
robots_1_5_4_74.5SAT2.59
robots_1_5_4_54.6UNSAT2.75
robots_1_5_4_54.5UNSAT3.37
robots_1_5_4_46.5SAT3.98
robots_1_5_4_74.6UNSAT4.22
robots_1_5_4_54.7UNSAT4.32
robots_1_5_4_54.8UNSAT4.92
robots_1_5_4_54.9UNSAT5.52
robots_1_5_4_74.9UNSAT5.77
robots_1_5_4_54.10UNSAT6.42
robots_1_5_4_74.7UNSAT6.94
robots_1_5_4_74.8UNSAT7.03
robots_1_5_4_74.10UNSAT7.22
robots_1_5_4_46.10UNSAT11.71
robots_1_5_4_46.7UNSAT18.9
robots_1_5_4_46.6SAT20.64
robots_1_5_4_46.9UNSAT22.73
robots_1_5_4_46.8UNSAT131