full results

problem
minisat
batsat
minisat.time
batsat.time