+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/iterative-chaining/ifc-xp.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/iterative-chaining/ifc-xp.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/iterative-chaining/ifc-xp.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/iterative-chaining/ifc-xp.metta
["=== Test Forward Bare Entail ==="]
[()]
[()]
[()]
["=== Test Utility Functions ==="]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
["=== Test Iterative Chainer Wrapped Ardoun Forward Bare Entail (no collapse) ==="]
[()]
[()]
[()]
[()]
[()]
[()]
["=== Test Iterative Chainer Wrapped Around Forward Bare Entail (collapse) ==="]
[()]
[()]
[()]
[()]
[kb_bare, (lambda0 C), (let* (($scres#6365 (superpose ())) ($kb_ext#6366 (lambda0 $scres#6365)) ($nu_kb#6367 (superpose ((lambda0 B) $kb_ext#6366)))) (ic_bare_collapse $scres#6365 $nu_kb#6367 rb_bare (S Z) Z))]
[(→ A B), (→ B C), A, C, ((let* (($scres#7393 (superpose ())) ($kb_ext#7394 (lambda0 $scres#7393)) ($nu_kb#7395 (superpose ((lambda0 B) $kb_ext#7394)))) (ic_bare_collapse $scres#7393 $nu_kb#7395 rb_bare (S Z) Z)))]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
["=== Test Forward Chainer DTL Match ==="]
[()]
[()]
[()]
["=== Test Iterative Chainer Wrapped Around Forward Revertant (collapse) ==="]
[()]
[()]
[()]
[()]
[()]
[()]
0.58user 0.00system 0:00.58elapsed 100%CPU (0avgtext+0avgdata 27120maxresident)k
0inputs+0outputs (0major+3607minor)pagefaults 0swaps