full results

problem
zip-dev
zip-dev.time
10.17
0.02
10.20
0.02
10.17
0.03
10.34
0.03
10.17
0.02
10.24
0.03
10.19
0.02
10.17
0.03
5.32
0.02
0.03
10.03
0.04
10.03
0.20
3.51
9.98