full results

problem
z3
mc2-dev
z3.time
mc2-dev.time