full results

problem
zip-dev
zip-dev.time
10.33
10.36
0.02
9.80
11.00
11.01
10.32
0.01
9.79
10.85
11.01
10.55
0.02
9.79
10.52
11.01
11.01
0.01
9.85
9.96
11.01
11.01
0.02
9.80
9.88