full results

problem
zip-dev
zip-dev.time
9.94
10.12
0.02
10.03
9.93
11.00
11.01
0.02
0.25
9.95
10.99
11.01
0.61
9.81
9.92
10.11
10.61
9.78
9.82
9.88
10.10
10.64
9.77
9.78
9.79