full results

problem
zip-dev
zip-dev.time
9.57
0.32
9.77
9.83
0.31
9.79
0.79
0.37
4.07
0.02
0.05
0.75
0.02
0.04
0.81
0.02
0.05
1.15
0.02
0.05
1.11
0.19
0.33
9.85
9.93