full results

problem
zip-dev
zip-dev.time
0.18
9.99
10.16
11.02
9.78
0.67
1.33
11.01
9.88
0.65
1.33
11.01
0.73
3.10
9.91
10.08
11.01
2.80
9.91
10.23
11.02
2.99
7.02
9.98
11.01