full results

problem
zip-dev
zip-dev.time
9.87
2.94
8.01
9.91
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
11.02
12.11
11.02
11.03
1.12
0.34
0.04
1.16
11.02
11.02
11.02
11.02
0.97