full results

problem
zip-dev
zip-dev.time
9.78
9.79
9.78
9.78
9.78
2.86
9.82
9.78
9.78
9.78
9.78
9.88
10.01
9.98
10.02
9.79
9.78
10.02
6.93
0.99
4.33
0.83
11.01
3.67
11.01