full results

problem
zip-dev
zip-dev.time
9.81
0.40
0.98
3.04
9.79
9.85
2.28
0.21
2.17
4.49
9.32
1.29
2.62
9.88
9.82
0.91
0.40
9.79
0.49
9.88
9.81
9.88
2.40
9.84
6.20