Core abstractions, runner, comparison, and results for experiment driver