full results

problem
zip-dev
zip-dev.time
0.32
0.20
0.13
0.15
0.72
0.13
0.14
10.06
10.05
10.05
10.12
10.05
9.81
3.00
10.64
10.52
2.69
4.28
3.19
10.68
10.97
2.49
0.99
6.21
2.38