full results

problem
zip-dev
zip-dev.time
2.52
1.04
0.77
2.08
0.86
1.15
1.10
1.96
1.11
1.21
10.03
0.77
1.07
1.17
2.37
7.17
1.52
9.80
6.47
1.35
2.50
2.62
1.30
2.22
6.19