TSTP Solution File: SYO450^2 by SuperZenon---0.0.1

View Problem - Process Solution

%------------------------------------------------------------------------------
% File       : SuperZenon---0.0.1
% Problem    : SYO450^2 : TPTP v7.0.0. Released v4.0.0.
% Transform  : none
% Format     : tptp:raw
% Command    : Unknown

% Computer   : Unknown
% Model      : Unknown
% CPU        : Unknown
% Memory     : Unknown
% OS         : Unknown
% CPULimit   : Unknowns
% DateTime   : Fri Dec 29 09:36:15 EST 2017

% 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.0.0. Released v4.0.0.
% 0.00/0.04  % SZS status Inappropriate
%------------------------------------------------------------------------------