full results

problem
zip-dev
zip-dev.time
0.02
0.03
9.98
0.56
0.02
0.04
9.79
0.12
8.47
0.88
8.36
0.09
9.88
1.66
9.83
0.05
8.31
0.35
9.82
0.62
0.06
0.05
0.43
0.12
0.10