full results

problem
zip-dev
zip-dev.time
9.80
9.79
0.09
9.80
0.14
9.79
4.12
9.78
0.18
0.02
9.97
0.05
0.18
0.02
9.94
0.05
1.69
0.02
10.03
0.12
10.13
9.93
10.00
0.03
10.14