full results

problem
zip-dev
zip-dev.time
9.79
9.94
9.89
10.02
3.52
0.08
9.94
10.04
10.02
10.04
1.76
9.98
9.95
9.96
9.97
10.05
10.04
10.22
10.12
10.21
10.00
10.13
10.26
10.21
9.97