full results

problem
zip-dev
zip-dev.time
4.71
4.53
4.91
1.93
2.49
2.86
4.43
2.29
1.34
1.24
1.59
1.74
2.26
6.93
4.63
9.78
4.04
6.55
9.79
5.96
3.88
0.64
6.67
0.89
3.09