full results

problem
zip-dev
zip-dev.time
0.03
9.80
9.88
10.27
10.21
0.03
0.03
10.33
10.60
0.03
0.03
10.48
10.59
10.11
10.21
9.92
9.83
10.30
10.34
0.03
0.03
10.67
10.88
0.03
0.03