full results

problem
zip-dev
zip-dev.time
9.79
0.31
9.78
9.55
0.34
9.19
0.93
0.35
4.20
0.02
0.05
0.76
0.02
0.04
0.73
0.02
0.05
1.02
0.02
0.05
1.15
0.17
0.31
9.98
10.02