full results

problem
zip-dev
zip-dev.time
9.87
10.29
10.07
10.00
9.98
10.11
10.01
10.04
9.98
9.93
9.87
9.97
9.92
8.26
9.15
9.39
9.95
9.93
9.99
9.99
9.89
9.91
9.88
10.08
10.05