model.small.LStar.wm.eps model.small.TTT.wm.eps model.small.RS.wm.eps model.small.KV.wm.eps \
model.partial.LStar.rand.eps model.partial.TTT.rand.eps model.partial.RS.rand.eps model.partial.KV.rand.eps \
model.partial.LStar.wm.eps model.partial.TTT.wm.eps model.partial.RS.wm.eps model.partial.KV.wm.eps \
- model.partial.LStar.rand.eps model.full.LStar.rand.eps
+ model.full.LStar.rand.eps model.full.TTT.rand.eps model.full.RS.rand.eps model.full.KV.rand.eps \
+ model.full.LStar.wm.eps model.full.TTT.wm.eps model.full.RS.wm.eps
.SECONDARY: $(DOCUMENT).fmt
.PHONY: clean