full results

problem
zip-dev
zip-dev.time
9.94
0.03
10.36
0.02
10.00
0.02
9.89
0.05
9.89
0.05
9.90
0.07
9.88
0.12
10.39
9.93
10.13
0.44
10.33
9.78
10.13
9.79
10.22
0.02
10.32