TSTP Solution File: SYO450^2 by E---2.2pre

View Problem - Process Solution

%------------------------------------------------------------------------------
% File       : E---2.2pre
% Problem    : SYO450^2 : TPTP v7.1.0. Released v4.0.0.
% Transform  : NO INFORMATION
% Format     : NO INFORMATION
% Command    : Unknown

% Computer   : Unknown
% Model      : Unknown
% CPU        : Unknown
% Memory     : Unknown
% OS         : Unknown
% CPULimit   : Unknowns
% DateTime   : Thu Jul  5 15:15:34 EDT 2018

% Result     : Inappropriate 0.00s
% Output     : None 
% Verified   : 
% Statistics : -

% Comments   : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.03  % Problem    : SYO450^2 : TPTP v7.1.0. Released v4.0.0.
% 0.00/0.04  % SZS status Inappropriate
%------------------------------------------------------------------------------