Following data sets are from the Complex University Course Timetabling paper.
 LLR: Large Lecture Room Problem
 MS: Mathematics & Statistics Department
 CS: Computer Science Department
 ECET: Electrical & Computer Engineering Technology Department
 SA: Sociology & Anthropology Department
 CFS: College of Consumer and Family Sciences
 VPA: Visual and Performing Arts
 LAB: Central Computer Laboratories Problem
 C8: Combined Problem
 LLR: Large Lecture Room Problem
 input data [pufal07llr], committed solution [pufal07llrcs], example automated solution [pufal07llrs]
 LLR problem was solved first, all the other problems were solved on top of the given committed solution.
 Selected Departmental Problems
 MS: Mathematics & Statistics Department
 CS: Computer Science Department
 CHM: Chemistry Department
 CFS: College of Consumer and Family Sciences
 ECET: Electrical & Computer Engineering Technology Department
 COM: Communications Department
 ENGL: English Department
 FLL: Foreign Languages & Literature Department
 SA: Sociology & Anthropology Department
 LAB: Central Computer Laboratories Problem
 input data [pufal07lab], committed solution [pufal07labcs], example automated solution [pufal07labs]
 LAB problem was solved after all departmental problems, on top of all committed solutions of all the above problems.
 NC: Need Classroom Problem
 input data [pufal07nc], committed solution [pufal07nccs], example automated solution [pufal07ncs]
 NC problem was solved last, on top of all committed solutions of all the above problems.
Committed solutions refer to the final timetables that were produced by schedule managers using for Fall 2007.
These solutions were initialy computed individually using the automated solver; however, some additional changes were applied manually later in the process using the solver in its interactive mode.
Example automated solutions refer to solutions computed by our using configuration for LLR problem and configuration for all the other problems.
 LLR: Large Lecture Room Problem
 input data [puspr07llr], committed solution [puspr07llrcs], example automated solution [puspr07llrs]
 LLR problem was solved first, all the other problems were solved on top of the given committed solution.
 Departmental Problems
 MS: Mathematics & Statistics Department
 CS: Computer Scince Department
 ECET: Electrical & Computer Engineering Technology Department
 SA: Sociology & Anthropology Department
 CFS: College of Consumer and Family Sciences
 VPA: Visual and Performing Arts
 Departmental problems solved independently, on top of the LLR committed solution.
 LAB: Central Computer Laboratories Problem
 LLR+MS+SA+LAB Problems Together
Committed solutions refer to the final timetables that were produced by schedule managers using for Spring 2007.
These solutions were initialy computed individually using the automated solver; however, some additional changes were applied manually later in the process using the solver in its interactive mode.
Example automated solutions refer to solutions computed by our using configuration for LLR problem and configuration for all the other problems.
 LLR: Large Lecture Room Problem (data format version 2.1)
 LLR: Large Lecture Room Problem (example automated solutions)
Example automated solutions refer to solutions computed by our using configuration.
