
% sample rules, for testing 

good_int(X) :- in_range(1, 6, X).

bad_int(X) :- in_range(5, 10, X).

controversial_int(X) :- good_int(X), bad_int(X).

% try to run yices with different timeouts
yices_multiple(P, R) :- in_range(2, 5, T), yices_batch(P, {"-tm": T, "-smt": ""}, R).

% Testing sleep to see if we can get info for unfinished queries

test(X, Y, Z, W) :- test1(X, Y, Z), test12(Y, Z, U), test2(U, Z, W).

test12(X, Y, Z) :- test1(X, Y, U), test2(Y, U, Z).
