full results

problem
zip-dev
zip-dev.time
0.36
1.12
5.18
0.99
2.25
1.01
0.85
3.29
2.90
0.75
1.64
1.97
9.78
6.37
9.80
6.61
5.28
1.02
0.63
1.75
1.71
3.24
4.58
0.52
0.79