full results

problem
zip-dev
zip-dev.time
9.86
10.55
9.91
11.01
1.56
1.24
0.39
11.01
2.60
11.01
10.58
2.05
0.42
11.01
2.85
11.01
11.02
10.15
10.18
0.03
10.22
11.02
11.02
11.02
11.02