full results

problem
zip-dev
zip-dev.time
2.58
10.09
6.36
10.14
9.78
10.14
9.78
10.10
9.81
10.10
9.79
10.12
9.78
10.14
9.80
10.19
9.79
0.69
10.02
10.22
9.93
10.17
9.80
10.16
1.03