full results

problem
zip-dev
zip-dev.time
10.08
10.05
9.85
2.21
2.21
0.10
2.18
9.85
10.06
9.96
10.06
9.93
0.03
9.92
0.03
9.84
10.06
9.99
3.91
9.93
0.06
9.83
10.09
9.88
2.80