full results

problem
zip-dev
zip-dev.time
1.87
9.78
9.78
3.32
2.02
1.40
5.92
5.84
3.48
9.80
9.79
10.03
10.03
1.41
1.45
9.78
9.78
3.92
4.07
2.37
1.46
2.56
1.14
4.67
5.37