full results

problem
zip-dev
zip-dev.time
1.16
1.88
4.82
0.96
1.71
2.19
2.50
1.31
6.02
1.61
0.94
2.57
1.96
4.03
10.56
2.08
1.30
10.05
10.04
10.03
10.06
3.42
2.87
0.82
0.10