full results

problem
z3
sidekick-dev
z3.time
sidekick-dev.time
0.20
0.05
0.03
0.01