full results

problem
zip-dev
zip-dev.time
10.02
10.14
9.88
10.00
10.26
9.96
10.00
10.29
10.34
10.37
11.01
11.01
9.82
10.10
10.33
9.83
10.05
10.53
10.00
0.18
10.25
10.36
10.07
11.01
11.02