full results

problem
zip-dev
zip-dev.time
1.08
9.79
10.03
0.70
1.35
10.03
0.93
4.45
1.03
0.98
0.91
3.25
6.32
2.41
2.86
6.69
3.71
0.64
1.00
9.68
1.11
1.54
2.67
6.07
0.82