full results

problem
zip-dev
zip-dev.time
10.02
10.05
0.06
9.89
0.22
9.90
0.17
9.85
9.85
10.09
10.11
10.08
9.81
10.09
10.07
10.07
10.06
9.89
4.62
10.01
9.98
10.09
10.09
10.12
5.27