full results

problem
zip-dev
zip-dev.time
0.34
1.18
5.27
0.96
2.03
0.97
0.85
3.10
2.96
0.76
1.72
1.88
9.02
7.49
9.79
7.00
4.94
1.07
0.62
1.85
1.51
3.38
4.49
0.59
0.73