full results

problem
zip-dev
zip-dev.time
9.88
9.79
9.82
9.81
9.91
9.79
9.82
9.84
2.59
9.79
9.81
0.71
0.43
9.90
9.87
9.83
2.19
0.30
0.21
6.75
0.32
9.31
0.45
9.79
9.85