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