full results

problem
zip-dev
zip-dev.time
10.02
0.09
0.19
10.03
12.03
10.03
11.81
9.82
3.72
10.04
9.78
9.80
11.01
11.01
4.35
0.21
0.06
0.86
0.14
0.11
9.97
10.00
0.08
2.60
1.78