full results

problem
zip-dev
zip-dev.time
9.94
9.92
0.03
9.92
9.78
9.94
0.03
9.92
0.03
9.97
0.03
9.94
0.03
9.92
10.02
9.93
9.99
9.93
0.03
9.92
9.80
6.48
0.02
5.86
0.02