fridge domain, adapted from the IPP domain collection / from the
literature. modified with some simple ADL constructs, such that the
same domain file can handle taks with variable numbers of screws to
hold the backplanes. scaled in terms of number of fridges and number
of screws. directory contains tasks from 1 to 14 fridges, and 1 to 12
screws per fridge. combinations of the parameters are chosen in a way
such that FF needs approx. between 0.2 and 150 seconds to solve.
