full results

problem
zip-dev
zip-dev.time
0.02
10.26
0.03
10.12
0.02
10.14
0.02
10.15
0.02
10.42
0.03
9.88
9.77
9.97
0.09
10.14
0.02
9.96
0.02
2.07
0.02
2.03
0.02
2.03
0.02