full results

problem
zip-dev
zip-dev.time
9.79
0.61
0.86
2.71
9.80
9.86
2.54
0.23
2.20
4.52
9.42
1.34
2.39
9.89
9.87
0.81
0.60
9.88
0.49
9.79
9.86
9.89
3.06
9.82
5.52