+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/backward-chainer/backward-chainer-xp.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/backward-chainer/backward-chainer-xp.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/backward-chainer/backward-chainer-xp.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/backward-chainer/backward-chainer-xp.metta
["=== Bare Entail ==="]
[()]
[()]
[()]
[()]
["=== Equality ==="]
[()]
[()]
[()]
[()]
[()]
[()]
["=== Bare Entail Match ==="]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
["=== Equality Match ==="]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
["=== DTL Equality Match ==="]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
[()]
0.45user 0.00system 0:00.45elapsed 100%CPU (0avgtext+0avgdata 25580maxresident)k
0inputs+0outputs (0major+3288minor)pagefaults 0swaps