source: http://sat2018.forsyte.tuwien.ac.at/
authors: Damir Pulatov
translator in coseal format: Damir Pulatov

There is no information concerning feature time, 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.