full results

problem
msat
minisat
msat.time
minisat.time