full results

problem
zip-dev
zip-dev.time
9.97
10.19
9.89
10.27
10.28
9.89
9.95
10.28
10.30
10.38
11.01
11.02
9.88
10.01
10.22
9.84
10.22
10.64
9.89
0.17
10.10
10.28
10.22
11.01
11.01