full results

problem
zip-dev
zip-dev.time
9.82
0.32
9.77
9.68
0.31
9.30
0.89
0.35
3.83
0.02
0.04
0.74
0.02
0.04
0.71
0.02
0.04
1.13
0.02
0.05
1.07
0.17
0.31
9.87
9.88