more models for timetabling