full results

problem
zip-dev
zip-dev.time
0.17
9.97
10.21
11.01
9.85
0.56
1.30
11.01
9.87
0.64
1.21
11.01
0.73
3.10
9.88
10.13
11.01
2.76
9.88
10.36
11.01
3.12
6.34
9.97
11.01