full results

problem
zip-dev
zip-dev.time
0.94
9.79
10.03
0.62
1.45
10.03
1.02
4.49
0.94
1.07
0.91
1.89
5.76
2.78
2.48
6.80
3.32
0.76
1.01
8.09
1.09
1.78
3.74
5.34
0.73