full results

problem
zip-dev
zip-dev.time
7.82
0.63
0.56
0.57
2.65
2.35
0.03
0.16
2.23
11.02
11.03
11.03
0.05
9.89
11.02
11.03
11.02
11.03
0.08
9.92
11.02
11.02
11.03
11.03
0.03