full results

problem
zip-dev
zip-dev.time
6.41
0.02
4.71
0.02
4.70
0.02
3.48
0.02
9.82
0.03
9.88
0.03
9.82
0.04
9.81
0.07
9.86
0.06
9.92
0.04
5.70
0.04
0.09
6.68
0.02