full results

problem
zip-dev
zip-dev.time
9.88
10.05
0.06
10.06
0.19
9.91
0.15
9.84
10.06
10.09
10.13
9.95
9.84
9.91
10.08
9.90
10.06
9.82
5.08
9.82
10.08
9.99
10.00
9.91
4.55