full results

problem
zip-dev
zip-dev.time
9.80
0.61
0.86
3.13
9.80
9.82
2.55
0.24
2.44
5.17
9.79
1.47
2.40
9.88
9.82
0.91
0.61
9.81
0.44
9.79
9.91
9.81
2.53
9.87
5.96