full results

problem
zip-dev
zip-dev.time
9.83
10.02
10.02
9.78
9.77
0.22
9.79
7.82
3.63
1.44
1.08
0.60
2.22
1.90
1.91
1.31
2.09
6.51
1.54
9.77
9.77
0.24
2.47
9.78
5.01