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

InstanceResultTime
robots_1_5_4_100.4SAT1.21
robots_1_5_4_98.4SAT1.41
robots_1_5_4_46.4SAT1.47
robots_1_5_4_50.4SAT1.62
robots_1_5_4_31.4SAT1.71
robots_1_5_4_30.4SAT1.73
robots_1_5_4_87.4SAT1.77
robots_1_5_4_2.4SAT2.02
robots_1_5_4_91.4SAT2.03
robots_1_5_4_51.4SAT2.34