full results

problem
zip-dev
zip-dev.time
9.88
9.93
3.07
2.21
10.07
4.26
3.46
2.51
9.85
2.56
9.82
9.83
9.85
9.83
9.86
9.89
9.84
9.98
9.86
9.85
9.85
3.17
10.07
10.05
9.84