full results

problem
zip-dev
zip-dev.time
9.89
9.89
9.88
9.89
9.94
0.12
9.89
9.89
9.95
9.87
9.89
9.90
9.85
9.95
0.11
9.89
9.89
9.52
9.88
9.90
9.87
9.87
9.88
9.88
9.93