Cross-stage experiments: code, paper figures (solve/exact/precision/recall)

a40741d