full results

problem
zip-dev
zip-dev.time
0.03
9.80
0.03
9.79
9.83
0.03
11.01
0.03
10.55
11.01
0.37
0.30
0.62
0.64
0.69
0.63
0.74
0.70
9.38
9.57
8.49
8.46
8.18
8.48
0.04