full results

problem
zip-dev
zip-dev.time
0.03
9.83
9.83
10.16
10.18
0.02
0.02
10.43
10.39
0.02
0.02
10.60
10.58
10.09
10.20
9.83
9.93
10.31
10.34
0.02
0.02
10.50
10.75
0.02
0.02