Instances of family RobotsD4 solved by 2clsQ
QBFEVAL'06

InstanceResultTime
robots_1_5_4_46.4SAT1308.54
robots_1_5_4_31.4SAT1485.63
robots_1_5_4_98.4SAT1490.93
robots_1_5_4_91.4SAT1506.08
robots_1_5_4_87.4SAT1589.74
robots_1_5_4_30.4SAT1759.51
robots_1_5_4_100.4SAT1937.35
robots_1_5_4_50.4SAT2632.42
robots_1_5_4_2.4SAT2750.77
robots_1_5_4_51.4SAT2878.47