full results

problem
zip-dev
zip-dev.time
9.79
0.10
0.06
0.30
0.51
0.26
0.27
3.17
9.79
9.07
9.79
1.85
0.12
0.11
0.18
9.79
0.33
7.89
0.32
0.34
0.32
9.79
0.57
9.81
5.56