Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/hyperon-wam/reports/extended_compat/hyperon-pln/metta/pln/equal/DeductionEqualTest.metta
[()]
[(, (≞ P (STV 1 0.1)) (≞ Q (STV 1 0.1)) (≞ R (STV 1 0.1)) (≞ (→ P Q) (STV 1 0.5)) (≞ (→ Q R) (STV 1 0.5)))]
[(, (≞ P (STV 1 0.1)) (≞ R (STV 1 0.1)) (≞ S (STV 1 0.1)) (, (≞ P (STV 1 0.1)) (≞ Q (STV 1 0.1)) (≞ R (STV 1 0.1)) (≞ (→ P Q) (STV 1 0.5)) (≞ (→ Q R) (STV 1 0.5))) (≞ (→ R S) (STV 1 0.5)))]
0.11user 0.00system 0:00.11elapsed 100%CPU (0avgtext+0avgdata 33304maxresident)k
0inputs+0outputs (0major+3669minor)pagefaults 0swaps