full results

problem
zip-dev
zip-dev.time
9.86
10.35
9.98
11.01
1.60
1.31
0.43
11.01
2.93
11.01
10.64
2.10
0.52
11.01
2.92
11.01
11.02
10.31
10.24
0.04
10.20
11.02
11.02
11.02
11.02