full results

problem
zip-dev
zip-dev.time
9.80
9.10
5.16
9.89
1.06
9.86
2.43
9.90
2.63
9.85
9.95
9.80
2.52
9.81
2.35
9.80
9.98
9.99
1.78
3.51
10.09
1.57
1.90
10.06
1.27