full results

problem
zip-dev
zip-dev.time
0.03
9.78
10.43
0.02
10.03
10.41
0.04
0.19
6.75
0.02
0.15
6.86
0.02
0.15
10.65
0.20
10.03
10.47
0.04
0.02
0.03
0.04
0.04
0.03
0.04