workers|time
4|8.88
3|11.14
2|13.66
1|22.80
1|25.42
2|16.37
3|12.09
4|11.06
4|11.40
3|11.51
2|15.20
1|24.18
1|22.09
2|12.48
3|10.78
4|10.48
4|8.48
3|10.07
2|12.42
1|20.24
1|20.31
2|11.39
3|10.88
4|10.44
4|10.43
3|11.11
2|12.39
1|20.69
1|20.53
2|11.80
3|11.01
4|10.52
4|11.50
3|14.45
2|16.95
1|24.77
1|22.71
2|18.35
3|12.66
4|12.20
4|12.37
3|13.37
2|19.30
1|24.30
1|23.93
2|18.51
3|13.88
4|12.97