full results

problem
zip-dev
zip-dev.time
10.01
9.82
0.06
9.88
0.17
9.90
0.17
9.85
9.82
10.09
10.12
9.84
9.87
10.04
10.08
10.07
10.06
9.83
4.72
9.84
9.89
9.84
10.08
9.91
4.54