full results

problem
zip-dev
zip-dev.time
10.34
10.37
0.02
9.79
10.94
11.01
10.23
0.02
9.78
10.80
11.02
10.28
0.02
9.81
10.39
11.01
11.02
0.02
9.86
9.96
11.01
11.01
0.02
9.81
9.85