full results

problem
zip-dev
zip-dev.time
9.82
2.97
9.81
0.66
9.93
10.12
3.27
3.11
9.96
3.25
9.94
9.90
9.88
2.23
9.84
2.86
2.15
2.55
9.96
2.37
10.06
9.84
9.82
10.05
9.86