Doing: timeout --foreground --kill-after=5 --signal=SIGINT 61 time metta /opt/logicmoo_workspace/packs_sys/logicmoo_opencog/MeTTa/hyperon-wam/reports/performance/comparisons/nils_if_control_test_2.metta
[()]
[()]
[()]
[(: ((AS AK) (AS AK)) (-> (: $f (-> (: $x $b) (-> (: $x $b) $c))) (-> (: $x $b) (-> (: $x $b) $c)))), (: ((AS AK) (AK AS)) (-> (: $f (-> (: $x $b) (-> (: $x $b) $c))) (-> (: $x $b) (-> (: $x $b) $c)))), (: ((AS AK) (AK AK)) (-> (: $f (-> (: $x $b) (-> (: $x $b) $c))) (-> (: $x $b) (-> (: $x $b) $c)))), (: ((AS AK) AS) (-> (: $f (-> (: $x $b) (-> (: $x $b) $c))) (-> (: $x $b) (-> (: $x $b) $c)))), (: ((AS AK) AK) (-> (: $f (-> (: $x $b) (-> (: $x $b) $c))) (-> (: $x $b) (-> (: $x $b) $c)))), (: (AK (AS AS)) (-> (: $f (-> (: $x (-> (: $x#3104 $a#3105) (-> (: $y#3106 $b#3107) $c#3108))) (-> (: $y (-> (: $x (-> (: $x#3104 $a#3105) (-> (: $y#3106 $b#3107) $c#3108))) (-> (: $x#3104 $a#3105) $b#3107))) (-> (: $x#3104 $a#3105) $c#3108)))) (-> (: $y (-> (: $x (-> (: $x#3104 $a#3105) (-> (: $y#3106 $b#3107) $c#3108))) (-> (: $x#3104 $a#3105) $b#3107))) (-> (: $x (-> (: $x#3104 $a#3105) (-> (: $y#3106 $b#3107) $c#3108))) (-> (: $x#3104 $a#3105) $c#3108))))), (: (AK (AS AK)) (-> (: $f (-> (: $x $a) (-> (: $y (-> (: $x $a) $b#2922)) $a))) (-> (: $y (-> (: $x $a) $b#2922)) (-> (: $x $a) $a)))), (: (AK (AK AS)) (-> (: $f (-> (: $x (-> (: $x#3424 $a#3425) (-> (: $y#3426 $b#3427) $c#3428))) (-> (: $y $b) (-> (: $f#3429 (-> (: $x#3424 $a#3425) $b#3427)) (-> (: $x#3424 $a#3425) $c#3428))))) (-> (: $y $b) (-> (: $x (-> (: $x#3424 $a#3425) (-> (: $y#3426 $b#3427) $c#3428))) (-> (: $f#3429 (-> (: $x#3424 $a#3425) $b#3427)) (-> (: $x#3424 $a#3425) $c#3428)))))), (: (AK (AK AK)) (-> (: $f (-> (: $x $a) (-> (: $y $b) (-> (: $y#3432 $b#3433) $a)))) (-> (: $y $b) (-> (: $x $a) (-> (: $y#3432 $b#3433) $a))))), (: (AK AS) (-> (: $f (-> (: $x (-> (: $x#3676 $a#3677) $b#3679)) (-> (: $y (-> (: $x#3676 $a#3677) (-> (: $y#3678 $b#3679) $c#3680))) (-> (: $x#3676 $a#3677) $c#3680)))) (-> (: $y (-> (: $x#3676 $a#3677) (-> (: $y#3678 $b#3679) $c#3680))) (-> (: $x (-> (: $x#3676 $a#3677) $b#3679)) (-> (: $x#3676 $a#3677) $c#3680))))), (: (AK AK) (-> (: $f (-> (: $x $a) (-> (: $y $b) $b))) (-> (: $y $b) (-> (: $x $a) $b))))]
1.24user 0.01system 0:01.26elapsed 99%CPU (0avgtext+0avgdata 36872maxresident)k
0inputs+0outputs (0major+4517minor)pagefaults 0swaps