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

InstanceResultTime
robots_1_5_3_94.1SAT0.04
robots_1_5_3_98.1SAT0.05
robots_1_5_3_56.1SAT0.05
robots_1_5_3_98.2SAT0.25
robots_1_5_3_94.2SAT0.25
robots_1_5_3_56.2SAT0.25
robots_1_5_3_98.3SAT0.65
robots_1_5_3_94.3SAT0.67
robots_1_5_3_56.3SAT0.7
robots_1_5_3_94.4SAT1.35
robots_1_5_3_98.4SAT1.52
robots_1_5_3_56.4SAT1.61
robots_1_5_3_56.5SAT2.64
robots_1_5_3_94.5SAT2.76
robots_1_5_3_98.5SAT3.25
robots_1_5_3_56.6SAT3.76
robots_1_5_3_94.6SAT5.45
robots_1_5_3_56.7SAT6.5
robots_1_5_3_98.6SAT6.64
robots_1_5_3_94.8UNSAT7.8
robots_1_5_3_94.7UNSAT9.86
robots_1_5_3_94.9UNSAT15.53
robots_1_5_3_94.10UNSAT15.96
robots_1_5_3_56.8SAT18.79
robots_1_5_3_98.7SAT19.18
robots_1_5_3_98.8UNSAT20.05
robots_1_5_3_98.9UNSAT28.82
robots_1_5_3_56.9SAT36.12
robots_1_5_3_98.10UNSAT42.78
robots_1_5_3_56.10SAT235.21