full results

problem
zip-dev
zip-dev.time
1.07
1.75
4.86
0.95
1.43
2.23
2.15
1.38
6.26
1.76
1.07
2.75
2.91
3.73
10.48
1.86
1.08
10.03
10.04
10.03
10.07
3.38
2.50
1.05
0.09