full results

problem
zip-dev
zip-dev.time
9.79
0.31
9.79
9.78
2.15
0.02
1.12
0.03
3.21
3.47
1.55
1.63
9.80
0.52
9.80
1.35
9.78
9.78
1.26
0.36
9.79
9.78
9.79
9.79
9.78