Instances of family RobotsD4 solved by nenofex-qbfeval10
QBFEVAL'10 - Random QBFs Track.

InstanceResultTime
robots_1_5_4_100.2SAT45.97
robots_1_5_4_52.2SAT46.22
robots_1_5_4_59.2SAT47.13
robots_1_5_4_73.2SAT47.24
robots_1_5_4_71.2SAT49.79
robots_1_5_4_22.2SAT49.85
robots_1_5_4_32.2SAT49.96
robots_1_5_4_75.2SAT50.59
robots_1_5_4_81.2SAT50.88
robots_1_5_4_44.2SAT52.86
robots_1_5_4_91.4SAT458.32
robots_1_5_4_30.4SAT469.18
robots_1_5_4_46.4SAT473.05
robots_1_5_4_31.4SAT475.11
robots_1_5_4_87.4SAT490.8
robots_1_5_4_50.4SAT525.32
robots_1_5_4_98.4SAT536.29
robots_1_5_4_100.4SAT537.1
robots_1_5_4_2.4SAT556.08
robots_1_5_4_51.4SAT564.94
robots_1_5_4_46.8FAIL1200.15
robots_1_5_4_17.8FAIL1200.15
robots_1_5_4_96.8FAIL1200.15
robots_1_5_4_99.8FAIL1200.16
robots_1_5_4_100.8FAIL1200.16
robots_1_5_4_24.8FAIL1200.16
robots_1_5_4_75.8FAIL1200.16
robots_1_5_4_91.8FAIL1200.16
robots_1_5_4_1.8FAIL1200.16
robots_1_5_4_56.8FAIL1200.17