full results

problem
zip-dev
zip-dev.time
1.47
2.87
5.48
1.05
1.68
2.53
2.44
1.37
6.58
1.45
0.95
3.82
2.02
4.12
10.48
2.33
1.30
10.04
10.04
10.03
10.09
3.48
2.89
0.79
0.11