full results

problem
zip-dev
zip-dev.time
1.87
5.20
0.88
0.85
4.32
4.83
9.79
1.62
1.32
7.97
4.01
1.48
0.78
0.96
5.53
0.77
1.74
5.47
5.08
1.11
8.71
3.34
1.74
3.56
0.89