full results

problem
zip-dev
zip-dev.time
0.34
1.16
5.33
0.94
1.81
0.94
0.92
3.03
3.30
0.80
1.59
2.10
9.56
7.27
9.78
6.41
5.69
0.99
0.58
1.87
1.80
3.44
4.86
0.51
0.78