Algorithms in conflict resolution: A lab experiment