full results

problem
zip-dev
zip-dev.time
10.75
10.98
0.05
10.67
10.83
11.02
10.73
10.72
10.78
11.02
10.82
10.78
11.02
11.02
0.13
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.03
11.02