full results

problem
zip-dev
zip-dev.time
10.01
10.16
9.83
10.04
10.19
9.85
10.21
10.19
10.28
11.01
11.01
10.08
9.98
10.18
9.84
9.98
10.23
10.18
9.93
9.97
10.16
10.29
11.01
11.02
9.86