time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(2)"
% mf.pl compiled 0.00 sec, 20,192 bytes
2valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONST(conNIL)))
0.0

real	0m0.021s
user	0m0.012s
sys	0m0.008s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(4)"
% mf.pl compiled 0.00 sec, 20,192 bytes
4valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONST(conNIL)))))
0.0

real	0m0.023s
user	0m0.016s
sys	0m0.004s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(5)"
% mf.pl compiled 0.01 sec, 20,192 bytes
5valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONST(conNIL))))))
0.0

real	0m0.025s
user	0m0.016s
sys	0m0.008s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(8)"
% mf.pl compiled 0.01 sec, 20,192 bytes
8valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONS(valCONST(conINT(13)), valCONS(valCONST(conINT(17)), valCONS(valCONST(conINT(19)), valCONST(conNIL)))))))))
0.0

real	0m0.033s
user	0m0.028s
sys	0m0.004s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(10)"
% mf.pl compiled 0.00 sec, 20,192 bytes
10valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONS(valCONST(conINT(13)), valCONS(valCONST(conINT(17)), valCONS(valCONST(conINT(19)), valCONS(valCONST(conINT(23)), valCONS(valCONST(conINT(29)), valCONST(conNIL)))))))))))
0.03

real	0m0.048s
user	0m0.044s
sys	0m0.004s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(30)"
% mf.pl compiled 0.01 sec, 20,192 bytes
30valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONS(valCONST(conINT(13)), valCONS(valCONST(conINT(17)), valCONS(valCONST(conINT(19)), valCONS(valCONST(conINT(23)), valCONS(valCONST(conINT(29)), valCONS(valCONST(conINT(31)), valCONS(valCONST(conINT(37)), valCONS(valCONST(conINT(41)), valCONS(valCONST(conINT(43)), valCONS(valCONST(conINT(47)), valCONS(valCONST(conINT(53)), valCONS(valCONST(conINT(59)), valCONS(valCONST(conINT(61)), valCONS(valCONST(conINT(67)), valCONS(valCONST(conINT(71)), valCONS(valCONST(conINT(73)), valCONS(valCONST(conINT(79)), valCONS(valCONST(conINT(83)), valCONS(valCONST(conINT(89)), valCONS(valCONST(conINT(97)), valCONS(valCONST(conINT(101)), valCONS(valCONST(conINT(103)), valCONS(valCONST(conINT(107)), valCONS(valCONST(conINT(109)), valCONS(valCONST(conINT(113)), valCONST(conNIL)))))))))))))))))))))))))))))))
1.79

real	0m1.902s
user	0m1.804s
sys	0m0.092s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(40)"
% mf.pl compiled 0.00 sec, 20,192 bytes
40valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONS(valCONST(conINT(13)), valCONS(valCONST(conINT(17)), valCONS(valCONST(conINT(19)), valCONS(valCONST(conINT(23)), valCONS(valCONST(conINT(29)), valCONS(valCONST(conINT(31)), valCONS(valCONST(conINT(37)), valCONS(valCONST(conINT(41)), valCONS(valCONST(conINT(43)), valCONS(valCONST(conINT(47)), valCONS(valCONST(conINT(53)), valCONS(valCONST(conINT(59)), valCONS(valCONST(conINT(61)), valCONS(valCONST(conINT(67)), valCONS(valCONST(conINT(71)), valCONS(valCONST(conINT(73)), valCONS(valCONST(conINT(79)), valCONS(valCONST(conINT(83)), valCONS(valCONST(conINT(89)), valCONS(valCONST(conINT(97)), valCONS(valCONST(conINT(101)), valCONS(valCONST(conINT(103)), valCONS(valCONST(conINT(107)), valCONS(valCONST(conINT(109)), valCONS(valCONST(conINT(113)), valCONS(valCONST(conINT(127)), valCONS(valCONST(conINT(131)), valCONS(valCONST(conINT(137)), valCONS(valCONST(conINT(139)), valCONS(valCONST(conINT(149)), valCONS(valCONST(conINT(151)), valCONS(valCONST(conINT(157)), valCONS(valCONST(conINT(163)), valCONS(valCONST(conINT(167)), valCONS(valCONST(conINT(173)), valCONST(conNIL)))))))))))))))))))))))))))))))))))))))))
3.879

real	0m4.106s
user	0m3.880s
sys	0m0.220s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(50)"
% mf.pl compiled 0.00 sec, 20,192 bytes
50valCONS(valCONST(conINT(2)), valCONS(valCONST(conINT(3)), valCONS(valCONST(conINT(5)), valCONS(valCONST(conINT(7)), valCONS(valCONST(conINT(11)), valCONS(valCONST(conINT(13)), valCONS(valCONST(conINT(17)), valCONS(valCONST(conINT(19)), valCONS(valCONST(conINT(23)), valCONS(valCONST(conINT(29)), valCONS(valCONST(conINT(31)), valCONS(valCONST(conINT(37)), valCONS(valCONST(conINT(41)), valCONS(valCONST(conINT(43)), valCONS(valCONST(conINT(47)), valCONS(valCONST(conINT(53)), valCONS(valCONST(conINT(59)), valCONS(valCONST(conINT(61)), valCONS(valCONST(conINT(67)), valCONS(valCONST(conINT(71)), valCONS(valCONST(conINT(73)), valCONS(valCONST(conINT(79)), valCONS(valCONST(conINT(83)), valCONS(valCONST(conINT(89)), valCONS(valCONST(conINT(97)), valCONS(valCONST(conINT(101)), valCONS(valCONST(conINT(103)), valCONS(valCONST(conINT(107)), valCONS(valCONST(conINT(109)), valCONS(valCONST(conINT(113)), valCONS(valCONST(conINT(127)), valCONS(valCONST(conINT(131)), valCONS(valCONST(conINT(137)), valCONS(valCONST(conINT(139)), valCONS(valCONST(conINT(149)), valCONS(valCONST(conINT(151)), valCONS(valCONST(conINT(157)), valCONS(valCONST(conINT(163)), valCONS(valCONST(conINT(167)), valCONS(valCONST(conINT(173)), valCONS(valCONST(conINT(179)), valCONS(valCONST(conINT(181)), valCONS(valCONST(conINT(191)), valCONS(valCONST(conINT(193)), valCONS(valCONST(conINT(197)), valCONS(valCONST(conINT(199)), valCONS(valCONST(conINT(211)), valCONS(valCONST(conINT(223)), valCONS(valCONST(conINT(227)), valCONS(valCONST(conINT(229)), valCONST(conNIL)))))))))))))))))))))))))))))))))))))))))))))))))))
11.339

real	0m11.783s
user	0m11.345s
sys	0m0.436s
time pl -G128m -L128m -T128m  -O -s mf.pl -g "main(100)"
% mf.pl compiled 0.01 sec, 20,192 bytes
100
ERROR: Prolog initialisation failed:
ERROR: Out of local stack

real	0m12.324s
user	0m11.877s
sys	0m0.428s
make: *** [bench-pl] Error 1