full results

problem
zip-dev
zip-dev.time
7.46
9.79
7.67
9.79
8.47
9.79
8.59
9.78
7.41
9.78
7.34
9.78
7.38
9.79
0.21
0.20
0.21
0.21
0.29
0.22
0.21
0.19
0.13
0.14
0.24