full results

problem
zip-dev
zip-dev.time
8.41
9.78
8.88
9.77
8.59
9.78
7.45
9.78
8.73
9.78
7.51
9.78
8.35
9.78
0.21
0.21
0.23
0.21
0.23
0.32
0.21
0.18
0.13
0.16
0.21