full results

problem
zip-dev
zip-dev.time
10.08
9.94
3.04
2.24
10.07
4.18
3.25
2.75
9.79
2.59
9.83
9.84
9.84
10.05
9.80
9.93
9.87
9.82
9.87
9.80
9.91
3.17
10.07
10.01
9.85