full results

problem
zip-dev
zip-dev.time
1.07
2.17
4.88
1.05
1.47
2.26
2.28
1.27
5.89
1.80
0.99
3.06
2.39
4.18
10.47
2.06
1.13
10.03
10.04
10.03
10.07
3.63
2.61
1.25
0.10