full results

problem
zip-dev
zip-dev.time
10.03
10.00
0.18
10.01
9.78
10.00
10.03
10.00
10.03
10.00
0.38
10.05
0.05
10.06
9.77
10.09
9.77
10.07
9.81
10.06
0.08
10.07
9.77
10.27
0.12