full results

problem
zip-dev
zip-dev.time
9.82
9.86
9.82
0.03
0.09
9.79
0.03
0.13
9.79
0.11
0.08
9.78
0.03
0.07
0.03
0.06
0.03
2.01
0.03
0.05
0.03
1.25
0.54
0.34
3.95