full results

problem
zip-dev
zip-dev.time
11.01
11.01
11.01
11.01
11.01
11.01
11.02
8.66
1.08
11.01
11.02
8.82
1.21
11.01
1.72
9.81
0.10
9.79
0.02
9.83
9.79
0.03
0.02
9.78
9.78