full results

problem
zip-dev
zip-dev.time
10.10
9.86
10.05
10.03
10.10
9.78
10.10
9.84
10.05
9.90
10.07
9.78
10.07
10.03
10.08
9.80
10.15
9.80
10.15
0.52
10.14
9.80
10.11
0.10
10.10