full results

problem
zip-dev
zip-dev.time
9.78
0.06
0.22
10.04
12.09
9.90
11.48
10.04
3.91
10.08
9.79
9.81
11.02
11.02
3.18
0.17
0.07
0.93
0.08
0.13
9.99
9.99
0.10
2.78
1.80