full results

problem
zip-dev
zip-dev.time
4.68
4.14
4.71
1.88
2.36
2.75
4.56
2.36
1.27
1.16
1.50
1.74
2.06
6.64
4.67
9.79
4.04
6.61
9.86
5.78
3.87
0.64
6.78
0.89
3.32