reset;
reset;
model kilroy.mod;
data kilroy.dat;
solve;
display firestations >> kilroy.txt;
display build >> kilroy.txt;
display reachability >> kilroy.txt;
display firestations;
display build;
display reachability;