full results

problem
zip-dev
zip-dev.time
9.93
10.01
1.67
9.96
10.24
7.33
10.05
10.04
10.19
9.89
10.36
10.53
9.86
9.95
10.02
9.83
10.01
10.17
9.84
9.79
9.93
10.17
9.92
10.16
10.39