full results

problem
zip-dev
zip-dev.time
10.88
11.01
0.04
10.72
10.79
11.02
10.71
10.75
10.77
11.01
10.66
10.66
11.01
11.02
0.11
11.01
11.02
11.04
11.01
11.02
11.02
11.01
11.01
11.01
11.02