full results

problem
zip-dev
zip-dev.time
10.14
0.02
10.14
0.02
10.17
0.02
9.85
11.01
11.02
11.02
9.85
11.02
11.04
11.02
9.81
11.02
11.02
11.02
9.97
11.01
11.02
11.02
9.79
11.01
11.01