full results

problem
zip-dev
zip-dev.time
9.78
0.40
9.78
9.79
1.92
0.03
1.16
0.03
3.15
3.88
1.85
1.82
9.80
0.52
9.80
1.21
9.87
9.78
1.12
0.37
9.78
9.88
9.82
9.83
9.78