full results

problem
zip-dev
zip-dev.time
10.03
0.65
3.14
0.04
0.03
11.02
0.02
0.02
9.86
9.92
10.03
10.03
10.01
10.03
9.91
9.78
10.03
10.02
9.80
9.85
10.03
10.03
10.03
10.03
10.03