full results

problem
z3
sidekick
mc2
z3.time
sidekick.time
mc2.time
0.02
0.06
0.09
0.36
0.56
4.30
0.25
2.75
9.49
0.06
0.24
0.34
0.06
0.13
0.41
0.02
0.09
0.15
0.02
0.06
0.17
0.04
0.10
0.22
0.03
0.13
0.12
0.07
0.34
0.34
0.03
0.19
0.24
0.02
0.14
0.13
0.02
0.18
0.12
0.04
0.31
0.37
0.02
0.10
0.21
0.05
0.17
0.78
0.13
0.69
3.50
0.10
0.58
0.52
0.03
0.17
0.15
0.03
0.12
0.24
0.10
0.21
0.52
0.03
0.10
0.24
0.07
0.29
0.27
0.04
0.09
0.37
0.02
0.08
0.10