full results

problem
zip-dev
zip-dev.time
7.80
0.61
0.55
0.54
2.68
2.09
0.02
0.17
1.77
11.02
11.03
11.02
0.05
9.89
11.02
11.02
11.02
11.02
0.07
9.94
11.01
11.02
11.02
11.02
0.02