full results

problem
zip-dev
zip-dev.time
0.08
0.73
9.83
9.80
9.93
9.89
0.18
9.80
10.03
9.81
10.03
9.91
10.03
9.83
9.99
9.81
10.02
9.87
9.96
6.41
0.31
9.83
0.06
1.34
0.05