full results

problem
zip-dev
zip-dev.time
10.02
10.02
10.02
9.77
7.28
0.58
10.02
0.21
0.25
0.05
0.04
8.48
8.30
6.81
7.50
0.08
2.86
10.02
9.81
0.30
9.94
10.02
10.02
9.80
10.02