full results

problem
zip-dev
zip-dev.time
3.15
10.13
6.60
10.13
9.79
10.11
9.79
10.16
9.80
10.14
9.79
10.10
9.80
10.13
9.81
10.16
9.81
0.63
10.03
10.22
9.90
10.22
9.79
10.28
1.11