full results

problem
zip-dev
zip-dev.time
1.16
1.28
0.18
6.50
0.69
1.14
1.13
9.78
8.21
5.10
0.29
2.17
6.32
0.60
1.33
0.86
0.26
0.19
8.06
0.80
4.84
1.37
4.71
1.86
1.29