full results

problem
zip-dev
zip-dev.time
9.78
9.80
10.02
10.02
10.02
0.22
10.02
7.70
3.99
1.26
1.08
0.55
2.23
1.75
1.74
1.34
2.13
7.25
1.29
9.78
9.77
0.29
2.46
9.78
4.90