full results

problem
zip-dev
zip-dev.time
9.80
10.04
11.01
11.01
11.01
11.01
1.88
1.34
0.30
0.98
0.48
0.91
0.10
0.05
0.81
0.33
0.69
0.16
0.18
0.19
0.18
9.78
0.19
0.11
0.10