full results

problem
zip-dev
zip-dev.time
1.20
2.49
5.81
1.03
1.45
2.47
2.37
1.32
6.42
1.62
1.08
3.76
2.60
4.05
10.48
1.91
1.14
10.03
10.03
10.05
10.06
3.82
2.66
1.21
0.13