full results

problem
zip-dev
zip-dev.time
0.11
1.41
0.26
0.06
0.12
0.55
0.16
0.17
0.11
2.61
0.27
0.05
0.07
0.84
0.43
9.91
0.40
9.85
2.08
10.02
0.31
9.93
0.87
9.82
1.05