full results

problem
zip-dev
zip-dev.time
4.62
0.02
0.06
0.02
4.44
0.02
9.91
0.02
9.82
0.02
9.98
0.02
9.93
0.02
9.82
0.03
3.62
0.02
3.77
0.02
9.80
0.02
0.07
0.02
9.90