To run the benchmarks, compile one of the files below and call

test(N, AB, Batch, Order) where

	N	test size (number of constraints)
	AB	AB = 0  -> Non-strict inequalities X>=Y
		AB = 1  -> Strict inequalities X>Y
	Batch	posting strategy: inc, batch
	Order	posting order: up, down, binchop, etc


or test(AB, Batch, Order) to run a predetermined sequence of tests.

-------
The solver is selected by compiling the appropriate file:

    proptest_fd.pl

	ECLiPSe fd solver

    proptest_eplex.pl

	ECLiPSe eplex solver (CPLEX/XPRESS-MP interface)

    proptest_eplex_lowlevel.pl

	ECLiPSe eplex solver using lower level primitives

    proptest_sicstus.pl

	SICStus clpfd solver

    proptest_dummy.pl

	No solver, dummy constraints

-------
Auxiliary (included by all of the above):

    proptest_common.pl

	common portable support code