full results

problem
zip-dev
zip-dev.time
9.95
8.81
5.23
9.91
1.05
9.87
2.46
9.90
2.63
9.87
9.91
9.82
2.44
9.86
2.38
9.84
10.07
10.01
1.76
3.51
10.07
1.57
1.92
9.96
1.30