full results

problem
zip-dev
zip-dev.time
9.83
9.97
3.09
2.23
10.07
4.27
3.27
2.50
9.85
2.62
9.84
9.95
9.85
9.98
9.82
9.90
9.80
9.81
10.08
9.80
9.83
3.09
10.08
10.02
9.87