full results

problem
zip-dev
zip-dev.time
1.75
4.65
0.84
0.85
4.31
5.24
9.80
1.92
1.49
7.98
4.38
1.39
0.78
0.85
6.19
0.68
1.73
5.39
5.19
1.18
8.64
3.74
1.70
3.50
1.04