Number of workstations * Time allocated
Number of problems = ---------------------------------------
Number of ATP systems * Time limit
equal/2
tptp2X
Number of workstations * Time allocated
Time limit = --------------------------------------------------
Number of ATP systems * Minimal number of problems