full results

problem
zip-dev
zip-dev.time
9.79
5.03
0.02
9.92
0.03
9.93
0.03
4.30
0.10
9.92
1.13
9.94
9.93
0.03
9.92
9.92
9.92
9.92
1.51
9.91
0.02
9.94
10.02
9.92
0.02