full results

problem
zip-dev
zip-dev.time
10.57
9.78
10.49
9.79
0.24
0.16
0.24
0.20
0.22
0.19
0.24
0.18
0.23
0.22
0.26
0.21
0.22
0.16
0.22
0.16
0.22
0.25
0.28
0.18
1.88