full results

problem
zip-dev
zip-dev.time
0.37
1.04
5.33
0.93
1.81
1.05
0.98
3.38
2.92
0.75
1.73
1.98
9.77
7.21
9.78
6.59
4.86
0.98
0.65
1.63
1.52
3.02
4.52
0.52
0.72