full results

problem
zip-dev
zip-dev.time
5.80
0.02
4.69
0.02
5.42
0.02
4.04
0.02
9.83
0.03
9.85
0.02
9.83
0.03
9.82
0.07
9.82
0.06
9.93
0.04
5.01
0.04
0.10
5.96
0.02