full results

problem
zip-dev
zip-dev.time
1.08
1.81
5.68
1.07
1.66
2.54
2.44
1.35
7.18
1.84
1.08
3.76
3.54
3.91
10.50
1.87
1.74
10.03
10.03
10.03
10.06
4.09
2.23
1.12
0.10