full results

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