full results

problem
zip-dev
zip-dev.time
9.88
9.88
9.88
9.91
9.95
0.12
9.90
9.87
9.89
9.87
9.91
9.27
9.89
9.89
0.13
9.89
9.89
9.58
9.88
9.88
9.88
9.89
9.88
9.88
9.89