full results

problem
zip-dev
zip-dev.time
0.05
0.04
9.84
3.80
10.08
0.18
9.94
0.19
7.99
0.23
0.08
0.05
9.83
9.78
9.84
9.80
9.84
9.80
9.85
10.05
0.07
0.12
4.88
0.22
9.82