full results

problem
zip-dev
zip-dev.time
10.04
1.20
10.08
9.88
9.92
9.82
9.89
9.86
10.07
10.06
9.81
9.95
9.85
9.82
9.88
10.11
10.12
9.96
9.97
10.05
10.08
10.09
9.82
2.58
9.87