full results

problem
zip-dev
zip-dev.time
0.25
9.81
0.29
10.03
0.14
0.11
0.42
0.18
0.46
0.19
0.39
0.13
0.29
0.17
0.23
0.17
0.24
0.21
0.14
0.17
0.13
0.18
0.21
0.16
1.03