clisp，sbcl，cmucl

nnsの原理は冪集合によるものなので，式が少し長くなるとそれなりに時間が掛かります．

ということで，Lispを替えて実行してみると．．．



のように，速度，メモリのバランスはやはり cmucl が良さそうです．