full results

problem
zip-dev
zip-dev.time
10.41
0.02
10.28
0.03
10.46
0.01
10.25
0.02
9.89
0.02
2.20
0.02
9.89
0.03
10.37
0.03
10.21
0.02
10.19
0.06
10.16
0.02
10.17
0.03
10.41