full results

problem
zip-dev
zip-dev.time
0.19
9.96
10.22
11.01
9.84
0.68
1.33
11.01
9.86
0.60
1.21
11.02
0.68
2.76
9.91
10.09
11.01
2.80
9.89
10.20
11.02
3.11
6.43
9.97
11.01