full results

problem
zip-dev
zip-dev.time
10.05
9.96
7.83
9.85
9.90
9.95
9.90
9.90
9.90
9.82
10.00
9.87
9.89
10.04
9.94
9.94
10.01
9.95
10.06
10.00
9.88
0.17
0.17
9.90
9.90