From time.m

[Tyson Richard DOWD]

% benchmark_nondet(Pred, In, Count, Repeats, Time) is for benchmarking
% the nondet predicate Pred. benchmark_nondet is similar to benchmark_det,
% but since solutions/2 is not yet available in all grades, it can't
% return the list of solutions, so it returns the count of solutions
% as the next best thing.

This is no longer true - solutions is available in all grades, although
it isn't particularly efficient.  Is it worth fixing this?

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of
     trd at cs.mu.oz.au        #  fur.
http://www.cs.mu.oz.au/~trd #