We investigated why in several cases the mission requirement was always not satisfied. In these cases we relaxed the mission requirements, by removing certain patterns. We executed the same steps of Exp4. Results confirmed that by relaxing the mission requirements there were cases in which the mission requirement was actually satisfied. This is a further confirmation that the mission specifications are correct.

Reproduction Kit

To replicate this experiment run java -jar Exp6.jar randomMissions.txt 6 ./ true

Specifications & Data

Archive File Contents # 13