full results

problem
zip-dev
zip-dev.time
0.86
2.61
2.58
1.11
1.10
1.31
9.80
9.78
1.39
2.50
0.90
9.78
9.78
2.62
0.27
6.04
4.41
9.96
2.21
4.78
4.66
5.84
6.12
6.56
2.55