System: OCTOPUS Division: MIX Command: octopus %s Problems: NoTransform/tptp Theorem: NonThm: NoSoln: System: OSCAR Division: FOF Command: Problems: NoTransform/oscar Theorem: NonThm: NoSoln: Status: NONE