full results

problem
zip-dev
zip-dev.time
10.09
9.85
0.51
9.84
0.06
9.79
9.82
9.82
5.63
0.02
9.82
9.86
9.83
10.06
9.85
9.95
9.83
10.00
0.44
9.85
9.88
0.02
10.16
10.28
9.94