full results

problem
zip-dev
zip-dev.time
9.92
0.04
9.97
0.03
9.90
0.03
9.94
0.03
9.90
0.05
9.88
0.03
1.65
0.03
10.13
0.03
9.88
0.03
9.91
0.04
9.90
0.08
9.91
9.82
1.01