full results

problem
zip-dev
zip-dev.time
9.78
0.06
0.04
9.77
0.06
0.05
0.19
0.02
9.79
9.78
9.84
9.94
9.77
0.41
0.18
0.02
0.29
0.31
0.18
0.29
0.31
0.13
0.31
0.33
0.19