full results

problem
zip-dev
zip-dev.time
11.02
0.04
1.20
11.01
11.01
11.02
11.02
0.02
0.17
2.00
11.02
11.02
11.02
0.03
1.95
11.01
11.02
11.02
11.02
0.03
3.21
11.01
11.02
11.02
11.03