full results

problem
zip-dev
zip-dev.time
10.01
3.45
8.17
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
12.03
11.02
11.02
1.00
0.35
0.04
1.16
11.02
11.03
11.02
11.02
0.98