full results

problem
zip-dev
zip-dev.time
9.79
0.09
0.06
0.31
0.40
0.30
0.27
3.10
9.89
8.75
9.81
1.66
0.10
0.11
0.17
9.93
0.35
7.25
0.34
0.37
0.37
9.79
0.51
9.89
6.33