Directory listing for /bitcoin/harnesses/clusterlin_linearization