full results

problem
zip-dev
zip-dev.time
7.58
9.78
7.63
9.78
8.68
9.80
8.84
9.79
7.40
9.78
8.75
9.80
7.34
9.79
0.23
0.19
0.21
0.18
0.21
0.21
0.24
0.22
0.13
0.16
0.21