root@gitlab:/opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base#  /opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base/xsb-src/XSB/bin/xsb
[xsb_configuration loaded, cpu time used: 0.004 seconds]
[sysinitrc loaded]
[xsbbrat loaded]

XSB Version 3.8.0 (Three-Buck Chuck) of October 28, 2017
[x86_64-unknown-linux-gnu 64 bits; mode: optimal; engine: slg-wam; scheduling: local]
[Build date: 2018-07-01]

| ?-  ['nldm640.P'].
[nldm640 loaded]
% 42.376 CPU in 42.45 seconds (99% CPU)

yes
| ?-
End XSB (cputime 42.40 secs, elapsetime 57.85 secs)
root@gitlab:/opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base#  /opt/logicmoo_workspace/packs_sys/pfc/t/sanity_base/xsb-src/XSB/bin/xsb
[xsb_configuration loaded]
[sysinitrc loaded]
[xsbbrat loaded]

XSB Version 3.8.0 (Three-Buck Chuck) of October 28, 2017
[x86_64-unknown-linux-gnu 64 bits; mode: optimal; engine: slg-wam; scheduling: local]
[Build date: 2018-07-01]

| ?- ['nldm1280.P'].
[Compiling ./nldm1280]
[nldm1280 compiled, cpu time used: 0.080 seconds]
[nldm1280 loaded]
% 326.172 CPU in 326.713 seconds (99% CPU)

yes
| ?-