Reconciliation Queries: Proving the KPI With Tie-Outs