full results

problem
zip-dev
zip-dev.time
10.02
9.92
9.79
9.92
0.06
9.83
0.02
7.63
0.02
8.68
0.03
9.98
0.06
9.14
0.02
9.91
0.02
2.96
0.02
10.09
0.07
9.87
0.02
9.92
9.82