full results

problem
zip-dev
zip-dev.time
9.82
0.07
9.84
9.78
0.26
0.17
0.14
9.77
9.77
9.79
0.54
9.82
0.27
9.82
0.70
0.08
0.11
0.17
0.15
9.78
0.22
0.10
9.87
0.11
9.78