full results

problem
zip-dev
zip-dev.time
0.38
0.58
1.95
7.10
9.76
1.77
5.22
0.55
1.22
5.32
9.78
9.78
9.81
9.78
8.75
9.77
2.80
4.16
0.29
4.96
3.59
9.15
0.89
4.94
9.77