Added SeminarGenerator and a large dataset generated
Outcommented timeout while solving in config
Fixed up SeminarGenerator and Importer
Added three datasets
Updated benchmark configs