full results

problem
zip-dev
zip-dev.time
11.01
11.01
11.01
11.02
11.01
0.24
0.20
0.10
0.12
0.10
4.69
0.16
0.17
0.14
0.45
0.28
0.17
0.19
0.45
0.52
0.64
0.66
1.98
1.54
1.99