full results

problem
zip-dev
zip-dev.time
9.83
10.11
9.96
10.26
9.93
10.05
9.88
9.91
0.23
9.96
10.02
10.00
9.97
9.93
9.93
9.89
10.02
10.07
9.92
9.95
10.04
1.70
5.68
10.02
9.95