full results

problem
zip-dev
zip-dev.time
10.14
0.02
10.17
0.02
10.12
0.02
10.06
11.02
11.02
11.02
9.79
11.02
11.02
11.02
9.93
11.02
11.02
11.02
9.92
11.01
11.02
11.02
9.79
11.02
11.02