full results

problem
zip-dev
zip-dev.time
6.52
0.02
5.22
0.02
5.26
0.02
3.48
0.02
9.82
0.02
9.89
0.03
9.84
0.04
9.83
0.07
9.87
0.06
9.82
0.04
4.94
0.04
0.09
5.85
0.03