full results

problem
zip-dev
zip-dev.time
10.14
10.42
9.85
9.79
10.38
10.61
0.03
0.03
10.69
10.74
10.33
10.43
9.85
9.88
10.46
10.69
0.03
0.03
9.80
9.79
10.35
10.51
9.83
9.79
10.63