full results

problem
zip-dev
zip-dev.time
11.01
10.27
11.02
10.04
10.07
10.09
10.02
9.99
9.97
10.04
9.89
9.85
7.91
10.03
10.00
10.11
10.13
9.93
10.16
9.93
10.11
9.90
10.08
9.95
9.87