full results

problem
zip-dev
zip-dev.time
10.03
1.79
10.03
2.14
10.03
1.66
9.78
2.06
9.87
2.12
9.81
1.94
10.03
1.93
10.01
1.90
10.04
1.77
10.03
8.47
9.79
8.59
9.78
7.46
9.79