Instances of family RobotsD2 solved by sSolve
QBFEVAL'05

InstanceResultTime
robots_1_5_2_49.2SAT0.23
robots_1_5_2_81.2SAT0.23
robots_1_5_2_85.2SAT0.23
robots_1_5_2_28.2SAT0.32
robots_1_5_2_100.2SAT0.34
robots_1_5_2_47.2SAT0.34
robots_1_5_2_31.2SAT0.36
robots_1_5_2_14.2SAT0.39
robots_1_5_2_33.2SAT0.39
robots_1_5_2_10.2SAT0.4
robots_1_5_2_85.4SAT3.41
robots_1_5_2_3.4SAT3.46
robots_1_5_2_21.4SAT3.46
robots_1_5_2_100.4SAT18.04
robots_1_5_2_80.4SAT22.83
robots_1_5_2_2.4SAT24.33
robots_1_5_2_45.4SAT28.49
robots_1_5_2_99.4SAT29.7
robots_1_5_2_82.4SAT44.6
robots_1_5_2_39.4SAT44.95
robots_1_5_2_75.8SAT263.93
robots_1_5_2_54.8FAIL900.97
robots_1_5_2_82.8FAIL900.99
robots_1_5_2_91.8FAIL900.99
robots_1_5_2_9.8FAIL900.99
robots_1_5_2_40.8FAIL901
robots_1_5_2_67.8FAIL901
robots_1_5_2_61.8FAIL901
robots_1_5_2_100.8FAIL901.01
robots_1_5_2_32.8FAIL901.01