Read output files, extract proofs.