full results

problem
zip-dev
zip-dev.time
11.03
0.03
1.09
11.01
11.02
11.02
11.02
0.02
0.18
2.12
11.02
11.02
12.11
0.03
1.97
11.01
11.02
11.03
11.03
0.03
2.95
11.01
11.02
11.02
12.09