\newcommand{\nConfTasks}{24}
\newcommand{\nDevTasks}{7}
\newcommand{\nTransferTasks}{3}
\newcommand{\nConfRealData}{14}
\newcommand{\nConfSourceDocs}{5}
\newcommand{\nConfNullTruth}{7}
\newcommand{\nOracles}{31}
\newcommand{\envUSD}{4.00}
\newcommand{\envWall}{1,500}
\newcommand{\envTurns}{80}
\newcommand{\ctxA}{2,238}
\newcommand{\ctxB}{3,717}
\newcommand{\ctxC}{4,111}
\newcommand{\ctxD}{4,319}
\newcommand{\nMainRuns}{288}
\newcommand{\nMainEvaluated}{288}
\newcommand{\costMainTotal}{126.42}
\newcommand{\nPilotRuns}{24}
\newcommand{\nPilotEvaluated}{24}
\newcommand{\costPilotTotal}{9.45}
\newcommand{\nTransferRuns}{24}
\newcommand{\nTransferEvaluated}{11}
\newcommand{\costTransferTotal}{10.73}
\newcommand{\nRecoveryRuns}{15}
\newcommand{\nRecoveryEvaluated}{13}
\newcommand{\costRecoveryTotal}{5.82}
\newcommand{\nAblationRuns}{24}
\newcommand{\nAblationEvaluated}{16}
\newcommand{\costAblationTotal}{4.11}
\newcommand{\nRepeats}{3}
\newcommand{\costAllTotal}{157.63}
\newcommand{\nAllRuns}{379}
\newcommand{\pA}{0.903}
\newcommand{\violA}{0.042}
\newcommand{\nviolA}{3}
\newcommand{\costA}{0.24}
\newcommand{\costMedA}{0.21}
\newcommand{\wallA}{68}
\newcommand{\qualA}{0.981}
\newcommand{\nRunsA}{72}
\newcommand{\costPerSuccessA}{0.27}
\newcommand{\pB}{0.917}
\newcommand{\violB}{0.042}
\newcommand{\nviolB}{3}
\newcommand{\costB}{0.42}
\newcommand{\costMedB}{0.39}
\newcommand{\wallB}{116}
\newcommand{\qualB}{0.984}
\newcommand{\nRunsB}{72}
\newcommand{\costPerSuccessB}{0.46}
\newcommand{\pC}{0.917}
\newcommand{\violC}{0.042}
\newcommand{\nviolC}{3}
\newcommand{\costC}{0.45}
\newcommand{\costMedC}{0.43}
\newcommand{\wallC}{128}
\newcommand{\qualC}{0.985}
\newcommand{\nRunsC}{72}
\newcommand{\costPerSuccessC}{0.49}
\newcommand{\pD}{0.917}
\newcommand{\violD}{0.056}
\newcommand{\nviolD}{4}
\newcommand{\costD}{0.64}
\newcommand{\costMedD}{0.61}
\newcommand{\wallD}{176}
\newcommand{\qualD}{0.985}
\newcommand{\nRunsD}{72}
\newcommand{\costPerSuccessD}{0.70}
\newcommand{\dDA}{+0.014}
\newcommand{\dDAlo}{-0.028}
\newcommand{\dDAhi}{+0.056}
\newcommand{\dDAp}{1.00}
\newcommand{\dDAfav}{2/21/1}
\newcommand{\dBA}{+0.014}
\newcommand{\dBAlo}{+0.000}
\newcommand{\dBAhi}{+0.042}
\newcommand{\dBAp}{1.00}
\newcommand{\dBAfav}{1/23/0}
\newcommand{\dCB}{+0.000}
\newcommand{\dCBlo}{+0.000}
\newcommand{\dCBhi}{+0.000}
\newcommand{\dCBp}{1.00}
\newcommand{\dCBfav}{0/24/0}
\newcommand{\dDC}{-0.000}
\newcommand{\dDClo}{-0.042}
\newcommand{\dDChi}{+0.042}
\newcommand{\dDCp}{1.00}
\newcommand{\dDCfav}{1/22/1}
\newcommand{\dCA}{+0.014}
\newcommand{\dCAlo}{+0.000}
\newcommand{\dCAhi}{+0.042}
\newcommand{\dCAp}{1.00}
\newcommand{\dCAfav}{1/23/0}
\newcommand{\dDB}{-0.000}
\newcommand{\dDBlo}{-0.042}
\newcommand{\dDBhi}{+0.042}
\newcommand{\dDBp}{1.00}
\newcommand{\dDBfav}{1/22/1}
\newcommand{\dDAqual}{+0.0036}
\newcommand{\dDAquallo}{-0.0058}
\newcommand{\dDAqualhi}{+0.0145}
\newcommand{\sensA}{0.986}
\newcommand{\sensB}{1.000}
\newcommand{\sensC}{1.000}
\newcommand{\sensD}{0.986}
\newcommand{\sensDA}{+0.000}
\newcommand{\sensDAlo}{-0.042}
\newcommand{\sensDAhi}{+0.042}
\newcommand{\nMainTimeouts}{0}
\newcommand{\nMainBudget}{0}
\newcommand{\nMainInfraErrors}{1}
\newcommand{\costMainMean}{0.44}
\newcommand{\nMainViolRuns}{13}
\newcommand{\nMainSuccess}{263}
\newcommand{\costAllSessions}{158.79}
\newcommand{\costRatioB}{1.7}
\newcommand{\costRatioC}{1.9}
\newcommand{\costRatioD}{2.6}
\newcommand{\nGateControllerFail}{0}
\newcommand{\nContractFailA}{7}
\newcommand{\nContractFailB}{9}
\newcommand{\nReviews}{73}
\newcommand{\nReviewsRevise}{1}
\newcommand{\reviewIssuesMean}{2.7}