full results

problem
zip-dev
zip-dev.time
1.63
5.15
0.79
0.84
4.39
5.45
9.79
1.66
1.45
9.11
4.02
1.31
0.80
0.86
5.66
0.69
1.75
4.70
5.69
1.21
8.71
3.28
1.73
3.16
1.03