full results

problem
zip-dev
zip-dev.time
9.79
1.90
1.05
0.61
9.79
9.81
9.80
9.78
1.06
0.58
9.79
2.56
9.79
5.80
0.04
0.18
0.06
0.57
0.63
0.52
9.79
2.49
8.36
2.11
9.79