full results

problem
zip-dev
zip-dev.time
10.02
0.09
0.17
9.92
12.07
10.03
11.50
10.03
3.79
10.04
9.78
9.81
11.01
11.01
3.85
0.15
0.07
0.92
0.08
0.10
9.98
9.99
0.09
2.69
1.72