full results

problem
zip-dev
zip-dev.time
0.12
1.77
11.02
11.02
11.02
0.04
9.90
11.01
11.02
11.02
11.02
0.04
3.86
11.02
11.02
11.02
11.02
0.03
3.30
11.01
11.02
11.02
11.02
0.03
2.21