-- ========================================================================
--          ABP Proof scores for invariant properties
-- ========================================================================

-- ========================================================================
input abp-inv-1-ps
input abp-inv-2-ps
input abp-inv-3-ps
input abp-factTbu-ps

-- ========================================================================
eof