full results

problem
zip-dev
zip-dev.time
0.13
1.42
0.28
0.09
0.12
0.56
0.17
0.18
0.12
2.74
0.28
0.05
0.07
0.82
0.38
9.84
0.41
9.81
2.31
10.02
0.32
9.79
0.98
9.81
1.05