Instances of family RobotsD2 solved by qube3.0
QBFEVAL'06

InstanceResultTime
robots_1_5_2_21.4SAT0.53
robots_1_5_2_3.4SAT0.57
robots_1_5_2_85.4SAT0.59
robots_1_5_2_100.4SAT3.89
robots_1_5_2_80.4SAT4.93
robots_1_5_2_2.4SAT4.96
robots_1_5_2_45.4SAT5.75
robots_1_5_2_99.4SAT6.51
robots_1_5_2_39.4SAT7.9
robots_1_5_2_82.4SAT8.02