full results

problem
zip-dev
zip-dev.time
0.13
0.18
0.11
0.13
0.11
0.17
0.10
0.14
0.08
10.59
9.78
10.51
9.79
10.41
9.78
10.46
9.79
10.49
9.79
10.50
9.79
10.43
9.80
10.53
9.78