full results

problem
zip-dev
zip-dev.time
7.56
0.02
7.55
0.02
9.91
0.30
9.88
0.02
9.88
0.02
9.91
0.07
7.52
0.02
6.52
0.02
7.95
0.02
7.22
0.02
9.88
0.04
9.90
9.85
6.87