full results

problem
zip-dev
zip-dev.time
9.79
0.27
9.89
0.23
9.85
0.57
10.02
0.22
10.02
0.23
9.77
1.25
9.91
1.51
10.02
0.26
10.02
0.22
9.86
0.38
9.91
0.38
9.78
9.87
11.01