News added on 2008-07-15 17:17:14
The Curriculum-Based Course Timetabling PMS site is online. Now it is ready to accept solutions from other researchers. The tool is still under testing: comments are very welcome. The CTT staff.
News added on 2010-08-23 16:18:12
All instances have been translated into Weighted Partial MaxSAT instances by Roberto Asin (see http://www.lsi.upc.edu/~rasin/timetabling.html)
News added on 2012-10-08 08:51:51
Three new large instances from University of Erlangen, supplied by Moritz Muehlenthaler, have been added.
News added on 2018-06-07 16:58:38
As pointed out by Edmar Hell Kampke and Maria Claudia Silva Boeres instances comp03 and comp15 in the .ctt format are identical. This is not intentional and it must have been caused by a mistake when we initially converted the files from their original formats to .ctt. We apologize for this mistake. The corresponding .ectt files are significantly different because the extended .ectt format contains extra information that has been added in a later stage in a partially-random way. In conclusions, if you solve the basic formulations UD1/UD2, you can ignore one of the two instances comp03 and comp15. If you work of formulations UD3-UD5, they are both meaningful. Luca Di Gaspero and Andrea Schaerf