full results

problem
zip-dev
zip-dev.time
10.07
10.08
10.05
9.87
9.88
10.13
10.07
9.89
9.87
10.05
9.86
9.92
9.92
9.91
10.00
9.87
10.07
7.64
9.97
9.94
10.00
10.15
10.05
10.15
0.06