test(N,G):-
    statistics(runtime,_),
    X in 1..N,
    indomain(X),
    %write(X),write('\t'),
    %once(run_open(_)),
    call(G),
    fail.
test(_,_):-
    statistics(runtime,L),
    write(statistics(L)),
    nl.

test_1st(N,G):-
    statistics(runtime,_),
    X in 1..N,
    indomain(X),
    \+(G), fail.
test_1st(_,_):-
    statistics(runtime,L),
    write(statistics(L)),
    nl.