full results

problem
zip-dev
zip-dev.time
10.89
11.01
11.02
11.02
11.02
11.02
10.19
10.18
10.17
10.74
10.93
10.85
10.97
11.01
11.01
11.02
11.02
11.02
11.02
10.14
10.16
10.87
10.89
10.92
11.01