full results

problem
zip-dev
zip-dev.time
0.85
2.86
2.44
1.13
1.15
1.40
9.78
9.80
1.45
2.52
0.84
9.77
9.77
2.66
0.25
5.96
4.44
9.94
2.21
4.50
5.03
5.90
6.12
6.61
2.26