full results

problem
zip-dev
zip-dev.time
9.94
9.93
9.99
9.99
10.08
10.00
10.03
10.00
10.00
10.05
10.11
10.10
9.95
10.00
9.95
10.09
10.13
10.11
9.99
9.98
10.11
10.10
9.95
10.02
10.05