full results

problem
zip-dev
zip-dev.time
10.02
0.07
0.18
10.03
12.14
9.80
11.54
10.00
4.66
10.04
9.79
9.80
11.01
11.01
3.28
0.16
0.09
0.91
0.09
0.12
10.00
9.98
0.09
2.38
1.58