source: http://baldur.iti.kit.edu/sat-race-2015/index.php?cat=results
authors: Marius Lindauer
translator in coseal format:  Marius Lindauer
There is no information concerning feature time.
For some instance, we were not able to compute the "base" feature of satzilla within 60 seconds -- all feature values are missing for these instances.