full results

problem
zip-dev
zip-dev.time
1.51
6.17
5.68
0.02
10.02
9.91
9.85
9.84
9.93
9.81
10.02
10.02
10.02
9.77
9.95
9.80
9.93
9.91
9.81
10.02
10.02
10.02
10.02
9.95
10.02