full results

problem
zip-dev
zip-dev.time
9.81
9.84
11.02
10.28
9.81
9.80
9.83
9.69
0.03
0.03
0.03
9.84
9.84
10.13
10.77
10.17
9.84
10.64
9.87
10.05
9.79
9.89
9.80
0.03
9.80