full results

problem
zip-dev
zip-dev.time
0.34
0.54
1.70
6.69
9.63
1.77
5.05
0.58
1.26
4.62
9.78
9.79
9.79
9.79
8.89
9.79
2.38
4.19
0.30
5.69
3.57
8.10
0.99
4.55
9.78