full results

problem
zip-dev
zip-dev.time
10.02
9.78
9.93
0.05
0.05
1.09
1.18
10.02
9.86
10.02
10.02
1.18
1.53
1.58
1.11
1.23
1.04
10.02
1.65
1.54
10.02
0.05
0.06
10.02
10.02