full results

problem
zip-dev
zip-dev.time
2.97
1.31
0.86
2.13
0.78
1.23
0.91
1.89
1.05
1.18
10.03
0.86
1.10
1.18
2.67
7.05
1.36
9.80
7.38
1.40
2.26
2.05
1.32
2.29
6.10