full results

problem
zip-dev
zip-dev.time
9.90
10.09
11.01
9.95
1.12
9.87
10.06
11.01
10.04
9.91
10.32
11.01
10.03
9.89
9.99
11.02
10.03
9.88
10.07
11.01
9.80
9.82
0.59
1.68
11.02