full results

problem
zip-dev
zip-dev.time
9.80
0.10
0.06
0.29
0.39
0.18
0.28
3.21
9.81
8.82
9.86
1.90
0.10
0.11
0.17
9.79
0.35
7.83
0.36
0.38
0.32
9.79
0.54
9.85
6.06