@RELATION ALGORITHM_FEATURE_RUNSTATUS

@ATTRIBUTE algorithm STRING
@ATTRIBUTE repetition NUMERIC
@ATTRIBUTE code {ok, timeout, memout, not_applicable, crash, other}
@ATTRIBUTE AST {ok, timeout, memout, not_applicable, crash, other}

@DATA
clasp_2.0-R4092-crafted,1,ok,ok
CryptoMiniSat_Strange-Night2-st_fixed_,1,ok,ok
glucose_2,1,ok,ok
MPhaseSAT_2011-02-15,1,ok,ok
PicoSAT_941,1,ok,ok
QuteRSat_2011-05-12_fixed_,1,ok,ok
RestartSAT_B95,1,ok,ok
SApperloT2010_2011-05-15_fixed_,1,ok,ok
SAT07referencesolverminisat_SAT2007,1,ok,ok
SAT09referencesolverclasp_1.2.0-SAT09.32,1,ok,ok
sathys_2011-04-01,1,ok,ok