full results

problem
minisat
minisat.time