TSTP Solution File: SYO450^2 by GrAnDe---1.1

View Problem - Process Solution

%------------------------------------------------------------------------------
% File       : GrAnDe---1.1
% Problem    : SYO450^2 : TPTP v7.1.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   : Tue Jul 17 03:33:57 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
%------------------------------------------------------------------------------