full results

problem
zip-dev
zip-dev.time
10.05
1.05
10.06
9.90
10.01
10.02
9.89
9.83
10.10
10.06
9.93
9.87
9.82
9.85
10.08
10.09
9.87
10.08
9.82
10.05
10.09
10.08
9.87
2.58
9.82