full results

problem
zip-dev
zip-dev.time
9.82
0.11
0.08
0.32
0.44
0.23
0.30
3.22
9.81
8.95
9.91
1.68
0.11
0.11
0.17
9.79
0.36
7.17
0.36
0.41
0.32
9.84
0.51
9.84
6.43