full results

problem
zip-dev
zip-dev.time
9.81
9.79
11.02
10.27
9.65
9.78
9.94
9.23
0.03
0.03
0.03
9.85
9.84
10.14
10.76
10.19
9.84
10.62
9.87
10.09
9.84
9.85
11.20
0.03
9.81