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

InstanceResultTime
robots_1_5_3_7.2SAT46.33
robots_1_5_3_30.2SAT49.85
robots_1_5_3_62.2SAT97.87
robots_1_5_3_100.2SAT98.25
robots_1_5_3_52.2SAT99.31
robots_1_5_3_51.2SAT104.8
robots_1_5_3_25.2SAT113.66
robots_1_5_3_26.2SAT114.26
robots_1_5_3_91.2SAT115.3
robots_1_5_3_80.2SAT119.37
robots_1_5_3_24.4SAT442.54
robots_1_5_3_44.4SAT457.67
robots_1_5_3_16.4SAT458.59
robots_1_5_3_100.4SAT460.72
robots_1_5_3_20.4SAT463.91
robots_1_5_3_66.4SAT479.76
robots_1_5_3_52.4SAT526.16
robots_1_5_3_57.4SAT535.96
robots_1_5_3_78.4SAT551.21
robots_1_5_3_2.4SAT625
robots_1_5_3_44.8FAIL1199.66
robots_1_5_3_100.8FAIL1200.14
robots_1_5_3_90.8FAIL1200.15
robots_1_5_3_39.8FAIL1200.15
robots_1_5_3_55.8FAIL1200.15
robots_1_5_3_16.8FAIL1200.16
robots_1_5_3_70.8FAIL1200.16
robots_1_5_3_64.8FAIL1200.17
robots_1_5_3_8.8FAIL1200.17
robots_1_5_3_27.8FAIL1200.18