full results

problem
zip-dev
zip-dev.time
7.71
9.78
7.42
9.78
8.35
9.79
8.50
9.79
8.45
9.79
8.57
9.79
7.38
9.78
0.22
0.19
0.22
0.21
0.24
0.19
0.22
0.25
0.14
0.15
0.23