full results

problem
zip-dev
zip-dev.time
0.06
0.02
0.05
0.04
0.84
3.83
0.03
9.94
10.02
9.82
9.94
4.58
0.03
4.67
0.02
9.81
0.03
4.02
0.02
9.82
9.83
9.81
0.02
9.80
0.02