full results

problem
z3
sidekick-dev-p
sidekick-dev
z3.time
sidekick-dev-p.time
sidekick-dev.time
0.02
0.03
0.03
0.02
0.01
0.01
0.03
0.01
0.01
0.09
0.02
2.07
0.02
0.01
0.01
0.04
0.01
0.01
0.03
0.01
0.01
0.01
0.02
0.02
0.01
0.04
0.04
0.02
0.06
0.04
0.03
0.20
0.15
0.04
0.02
0.01
0.01
0.02
0.01
0.03
0.04
0.90
0.03
0.01
0.01
0.04
0.02
0.01
0.03
0.01
0.01
0.03
0.02
0.01
0.03
0.01
0.01
0.04
0.02
0.01
0.03
0.01
0.01
0.03
0.02
0.01
0.03
0.02
0.01
0.03
0.02
0.01
0.04
0.02
0.01