full results

problem
zip-dev
zip-dev.time
5.09
9.92
0.07
10.02
9.82
0.15
0.10
4.84
9.79
9.88
10.03
9.81
10.03
10.03
10.03
0.18
9.78
0.15
0.16
0.18
0.04
0.15
2.32
10.00
0.02