full results

problem
zip-dev
zip-dev.time
10.26
10.27
9.81
9.78
10.34
10.46
0.02
0.02
10.69
11.00
10.34
10.41
9.94
9.82
10.58
10.74
0.03
0.03
9.80
9.79
10.47
10.53
9.80
9.88
10.69