full results

problem
zip-dev
zip-dev.time
10.03
10.14
9.97
10.11
9.91
9.97
9.94
9.89
0.20
9.96
10.03
10.02
9.90
9.93
9.97
10.03
10.00
10.01
9.88
9.93
10.03
1.94
6.12
9.90
9.95