full results

problem
zip-dev
zip-dev.time
9.78
2.01
9.79
2.18
10.04
1.99
10.03
2.01
9.78
2.22
9.80
1.95
9.91
2.18
10.03
2.17
10.03
1.82
10.03
7.74
9.78
8.61
9.78
7.67
9.78