full results

problem
zip-dev
zip-dev.time
2.99
10.11
6.49
10.13
9.78
10.10
9.79
10.09
9.80
10.10
9.79
10.15
9.79
10.10
9.80
10.15
9.81
0.71
10.02
10.20
9.93
10.22
9.79
10.29
1.02