blob: bf799aee595ab84419b71bf18cdf284098fd1391 [file] [log] [blame]
:- '$benchmark'(g1f(5000), 100, g1f(5000, _), '$dummy'(_,_)).
:- '$benchmark'(g2f(5000), 100, g2f(5000, _), '$dummy'(_,_)).
:- '$benchmark'(g2a(5000), 10, g2a(5000), '$dummy'(_)).