full results

problem
zip-dev
zip-dev.time
11.03
11.03
0.03
0.26
11.02
11.03
11.03
11.03
0.04
2.04
11.02
11.02
11.03
11.03
0.03
0.17
1.99
11.02
11.03
11.03
0.06
9.87
11.02
11.03
11.03