full results

problem
zip-dev
zip-dev.time
9.78
9.80
9.82
9.85
9.96
9.81
9.90
10.03
10.35
10.69
9.98
10.36
10.12
10.62
11.02
10.85
11.01
9.80
10.02
10.02
0.09
2.21
0.13
0.03
0.07