TSTP Solution File: SYO450^2 by Vampire---4.3

View Problem - Process Solution

%------------------------------------------------------------------------------
% File       : Vampire---4.3
% 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   : Thu Sep  6 11:16:00 EDT 2018

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

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