full results

problem
zip-dev
zip-dev.time
0.02
5.77
0.02
5.59
0.02
4.29
0.02
9.93
0.02
9.91
0.02
9.87
9.77
9.87
0.52
7.21
0.02
7.08
0.02
9.99
0.05
9.88
0.08
9.91
9.78