TSTP Solution File: SYO450^2 by Satallax---3.3

View Problem - Process Solution

%------------------------------------------------------------------------------
% File       : Satallax---3.3
% Problem    : SYO450^2 : TPTP v7.1.0. Released v4.0.0.
% Transform  : none
% Format     : tptp:raw
% Command    : satallax -s schedule_3_1 -E eprover -P picomus -M modes -p tstp -t %d %s

% Computer   : n066.star.cs.uiowa.edu
% Model      : x86_64 x86_64
% CPU        : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory     : 32218.625MB
% OS         : Linux 3.10.0-693.2.2.el7.x86_64
% CPULimit   : 300s
% DateTime   : Tue Jul  3 09:30:59 EDT 2018

% Result     : Unknown 239.63s
% 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  % Command    : satallax -s schedule_3_1 -E eprover -P picomus -M modes -p tstp -t %d %s
% 0.03/0.24  % Computer   : n066.star.cs.uiowa.edu
% 0.03/0.24  % Model      : x86_64 x86_64
% 0.03/0.24  % CPU        : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.03/0.24  % Memory     : 32218.625MB
% 0.03/0.24  % OS         : Linux 3.10.0-693.2.2.el7.x86_64
% 0.03/0.24  % CPULimit   : 300
% 0.03/0.24  % DateTime   : Mon Jul  2 17:36:55 CDT 2018
% 0.03/0.24  % CPUTime    : 
% 239.63/239.22  % SZS status Timeout
% 239.63/239.22  % Inferences: 0
%------------------------------------------------------------------------------