full results

problem
zip-dev
zip-dev.time
9.79
9.79
0.05
9.81
0.12
9.81
0.14
9.87
0.28
0.42
0.42
0.50
6.93
7.67
0.26
0.25
1.79
9.80
9.81
9.79
9.78
0.08
0.16
0.30
0.08