blob: c8610467fc596a58a8a8ba7b3fc494878741f604 [file] [log] [blame]
:- P = 10000, '$benchmark'(cd(P), 1000, cd(P, 0), '$dummy'(P,0)).