full results

problem
zip-dev
zip-dev.time
4.57
4.51
4.87
1.94
2.51
2.58
5.27
2.54
1.33
1.29
1.73
1.96
2.04
6.31
4.37
9.78
3.68
6.52
9.77
5.35
3.88
0.65
6.75
0.91
3.45