full results

problem
zip-dev
zip-dev.time
0.06
0.07
0.83
1.01
2.92
2.32
3.25
10.02
9.81
11.01
11.01
11.01
11.02
11.01
11.01
11.01
11.02
11.01
11.01
11.02
11.01
4.53
11.01
11.02
11.01