full results

problem
zip-dev
zip-dev.time
2.54
10.14
6.43
10.11
9.78
10.09
9.79
10.09
9.79
10.13
9.78
10.10
9.79
10.13
9.80
10.19
9.82
0.62
10.03
10.17
9.83
10.16
9.78
10.16
1.04