full results

problem
zip-dev
zip-dev.time
0.11
0.13
0.11
0.13
0.11
0.12
0.10
0.56
9.81
1.28
9.79
2.12
9.77
1.52
9.78
1.25
9.79
2.02
9.78
9.80
9.77
1.49
4.52
0.50
1.78