full results

problem
zip-dev
zip-dev.time
1.73
5.05
0.87
0.75
3.92
5.21
9.78
1.67
1.49
8.82
4.44
1.35
0.80
0.87
5.70
0.69
1.90
5.22
5.25
1.16
9.58
3.54
1.89
3.24
1.22