full results

problem
zip-dev
zip-dev.time
9.81
9.73
5.20
9.95
1.04
9.88
2.45
9.87
2.59
9.85
10.07
9.86
2.50
9.82
2.38
9.84
9.94
9.96
1.75
3.94
10.08
1.54
1.89
9.97
1.32