Instances of family RobotsD3 solved by sKizzo-0.9-abs
QBFEVAL'06

InstanceResultTime
robots_1_5_3_100.4SAT1.01
robots_1_5_3_44.4SAT1.52
robots_1_5_3_20.4SAT1.86
robots_1_5_3_78.4SAT1.89
robots_1_5_3_66.4SAT2.39
robots_1_5_3_16.4SAT2.49
robots_1_5_3_2.4SAT2.66
robots_1_5_3_57.4SAT2.76
robots_1_5_3_24.4SAT2.82
robots_1_5_3_52.4SAT3.29