full results

problem
zip-dev
zip-dev.time
9.79
10.04
11.03
11.01
11.01
11.01
1.75
1.78
0.25
1.18
0.27
0.89
0.06
0.05
0.52
0.33
0.84
0.17
0.29
0.19
0.18
9.78
0.20
0.16
0.11