full results

problem
zip-dev
zip-dev.time
8.30
9.78
7.41
9.80
7.55
9.78
8.67
9.78
7.31
9.78
8.64
9.79
7.58
9.79
0.24
0.24
0.21
0.18
0.21
0.19
0.21
0.27
0.13
0.16
0.23