source: http://sat2018.forsyte.tuwien.ac.at/
authors: Damir Pulatov
translator in coseal format: Damir Pulatov
Feature costs by: Haniye Kashgarani 

There is no information concerning memout, crashes.
The data does not distinguish between timeout, memout and crashes. 
Not all instances from SAT18 competition are included in scenario. 
I excluded instances for which I couldn't extract instance features 
due to timeout or memout.