-- ========================================================================
--    QLOCK Proof scores for invariant and (p leads-to q) properties
-- ========================================================================

-- ========================================================================
input qlock-inv-1-ps
input qlock-inv-2-ps
input qlock-inv-3-ps
input qlock-pq-1-ps
input qlock-pq-2-ps
input qlock-pq-3-ps
input qlock-pq-4-ps

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