full results

problem
zip-dev
zip-dev.time
9.80
2.12
1.10
0.54
9.79
9.79
9.81
9.79
1.02
0.51
9.79
2.65
9.79
5.75
0.04
0.18
0.06
0.64
0.63
0.59
9.80
2.48
7.86
2.14
9.79