full results

problem
zip-dev
zip-dev.time
10.04
9.86
10.06
9.81
9.86
10.14
5.36
4.74
10.15
2.45
10.07
10.34
9.83
9.97
10.04
4.96
4.48
10.12
9.87
10.03
10.15
10.01
10.43
10.58
9.83