source: http://qbf.satisfiability.org/gallery/
authors: Lars Kotthoff
translator in coseal format: Lars Kotthoff
There is no information concerning feature time, memout, crashes, ground_truth, etc.
Thus, missing values within feature_values.arff were marked as "other" due to missing knowledge of the data.