full results

problem
zip-dev
zip-dev.time
0.10
0.07
0.86
1.03
2.74
2.70
3.11
9.79
9.81
11.01
11.01
11.01
11.02
11.02
11.01
11.01
11.01
11.01
11.01
11.02
11.01
4.28
11.01
11.02
11.01