full results

problem
zip-dev
zip-dev.time
9.77
4.74
0.02
9.91
0.03
9.93
0.04
5.03
0.11
9.90
1.27
9.92
9.93
0.03
9.91
9.96
9.92
9.90
1.30
9.93
0.03
10.04
9.89
9.65
0.03