Instances used in the experiments of [2].
All instances are given in "dzn" format.

Some  of them have been taken from [1], but we 
have changed some names. Below there is a table 
for the names conversion:

dadesForum2013a.dzn      ->   forum-13.dzn 
dadesForum2013b.dzn      ->   forum-13crafb.dzn
dadesForum2013c.dzn      ->   forum-13crafc.dzn
dadesForum2014-302r.dzn  ->   forum-14.dzn
dadesTic2012a.dzn        ->   tic-12.dzn
dadesTic2012c.dzn        ->   tic-12crafc.dzn
dadesTic2013a.dzn        ->   tic-13.dzn
dadesTic2013b.dzn        ->   tic-13crafb.dzn
dadesTic2013c.dzn        ->   tic-13crafc.dzn

Among all instances, there are five which are 
industrial (the ones that do not have "craf" in 
the name), and the rest have been crafted from 
those by increasing the number of meetings, 
reducing the number of available locations and 
removing/adding forbidden time slots.

[1] M. Bofill, J. Espasa, M. Garcia, M. Palahi, 
	J. Suy, and M. Villaret. 
	Scheduling B2B Meetings. 
	In 20th International Conference on Principles 
	and Practice of Constraint Programming, CP 2014, 
	volume 8656 of LNCS, pages 781–796.
	Springer,2014.

[2] M. Bofill, M. Garcia, J. Suy, and M. Villaret. 
	MaxSAT-based Scheduling of B2B Meetings. 
	To appear the 12th International Conference 
	on Integration of Artificial Intelligence (AI) 
	and Operations Research (OR) techniques in 
	Constraint Programming (CPAIOR 2015).