full results

problem
zip-dev
zip-dev.time
10.03
10.02
9.91
9.78
0.03
9.78
10.03
10.03
10.03
10.03
10.03
9.93
9.82
10.02
10.03
10.02
0.06
10.03
10.03
10.03
9.79
0.07
0.38
1.13
2.14