full results

problem
zip-dev
zip-dev.time
0.34
0.77
1.70
7.31
9.59
1.69
5.08
0.54
1.37
4.61
9.77
9.78
9.80
9.78
8.74
9.78
2.39
4.21
0.48
5.43
3.71
8.07
0.96
4.48
9.78