full results

problem
zip-dev
zip-dev.time
9.85
0.02
9.89
9.81
4.72
0.02
9.90
0.02
4.55
0.02
5.56
0.02
0.10
9.92
0.07
4.93
0.02
9.87
0.03
4.31
0.03
4.79
0.02
9.83
10.02