full results

problem
zip-dev
zip-dev.time
10.12
9.94
10.25
10.00
9.94
10.11
9.90
9.97
9.92
9.93
9.92
9.93
9.87
9.94
9.91
10.17
10.11
10.07
9.99
10.13
10.11
9.97
9.81
10.15
10.12