full results

problem
zip-dev
zip-dev.time
9.84
0.35
9.78
9.81
2.12
0.03
1.19
0.03
2.82
3.98
1.59
1.98
9.79
0.53
9.81
1.21
9.81
9.78
1.23
0.32
9.81
9.78
9.78
9.80
9.79