full results

problem
zip-dev
zip-dev.time
10.05
10.18
9.84
10.00
10.24
10.00
9.82
10.36
10.32
10.33
11.01
11.01
9.82
9.98
10.11
9.82
10.31
10.25
9.93
0.18
10.05
10.34
10.07
11.01
11.01