full results

problem
zip-dev
zip-dev.time
0.34
0.58
1.72
7.38
9.44
1.68
5.30
0.54
1.36
4.59
9.77
9.78
9.78
9.77
8.80
9.78
2.75
4.06
0.29
5.58
3.63
8.07
0.92
4.99
9.78