full results

problem
zip-dev
zip-dev.time
10.01
10.03
0.06
9.88
0.19
9.99
0.16
9.88
10.07
9.88
10.12
9.87
9.83
9.96
9.87
10.07
10.07
9.94
4.75
10.06
9.88
9.88
10.07
9.92
5.27