full results

problem
zip-dev
zip-dev.time
0.03
9.79
0.03
9.81
9.55
0.03
11.01
0.03
11.01
11.01
0.33
0.31
0.72
0.91
0.72
0.69
0.68
0.64
9.56
8.56
8.74
7.72
8.51
7.66
0.03