) and top trading cycles with random endowments (TTC). In standard theory, both mechanisms are strategy-proof and Pareto …-efficient for the house allocation problem without endowments. In the experiment, RSD outperforms TTC. This can be attributed to … more dominant strategy play under RSD. The behavioral theory of obvious strategy-proofness can partly explain this …