full results

problem
zip-dev
zip-dev.time
10.51
9.79
10.51
9.78
0.22
0.18
0.27
0.16
0.22
0.16
0.34
0.18
0.24
0.21
0.24
0.18
0.22
0.16
0.24
0.16
0.21
0.18
0.22
0.16
1.88