TSTP Solution File: SWB021-10 by Infinox---1.0

View Problem - Process Solution

%------------------------------------------------------------------------------
% File     : Infinox---1.0
% Problem  : SWB021-10 : TPTP v7.5.0. Released v7.5.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : run_infinox %s

% Computer : n010.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% DateTime : Sun Mar 21 15:06:22 EDT 2021

% Result   : Unknown 265.28s
% Output   : None 
% Verified : 
% SZS Type : None (Parsing solution fails)
% Syntax   : Number of formulae    : 0

% Comments : 
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12  % Problem  : SWB021-10 : TPTP v7.5.0. Released v7.5.0.
% 0.11/0.12  % Command  : run_infinox %s
% 0.12/0.33  % Computer : n010.cluster.edu
% 0.12/0.33  % Model    : x86_64 x86_64
% 0.12/0.33  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33  % Memory   : 8042.1875MB
% 0.12/0.33  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33  % CPULimit : 300
% 0.12/0.33  % DateTime : Fri Mar 19 12:23:13 EDT 2021
% 0.12/0.33  % CPUTime  : 
% 5.83/6.06  eprover: CPU time limit exceeded, terminating
% 7.86/8.07  eprover: CPU time limit exceeded, terminating
% 10.97/11.15  eprover: CPU time limit exceeded, terminating
% 12.96/13.16  eprover: CPU time limit exceeded, terminating
% 14.98/15.17  eprover: CPU time limit exceeded, terminating
% 16.97/17.18  eprover: CPU time limit exceeded, terminating
% 18.98/19.19  eprover: CPU time limit exceeded, terminating
% 21.04/21.19  eprover: CPU time limit exceeded, terminating
% 38.13/38.26  eprover: CPU time limit exceeded, terminating
% 43.64/43.71  eprover: CPU time limit exceeded, terminating
% 45.66/45.72  eprover: CPU time limit exceeded, terminating
% 52.05/52.17  eprover: CPU time limit exceeded, terminating
% 59.90/59.96  eprover: CPU time limit exceeded, terminating
% 61.90/61.97  eprover: CPU time limit exceeded, terminating
% 63.92/63.98  eprover: CPU time limit exceeded, terminating
% 68.74/68.72  eprover: CPU time limit exceeded, terminating
% 70.70/70.74  eprover: CPU time limit exceeded, terminating
% 73.61/73.60  eprover: CPU time limit exceeded, terminating
% 75.64/75.61  eprover: CPU time limit exceeded, terminating
% 77.61/77.62  eprover: CPU time limit exceeded, terminating
% 79.65/79.63  eprover: CPU time limit exceeded, terminating
% 82.76/82.69  eprover: CPU time limit exceeded, terminating
% 84.76/84.70  eprover: CPU time limit exceeded, terminating
% 86.77/86.72  eprover: CPU time limit exceeded, terminating
% 88.79/88.73  eprover: CPU time limit exceeded, terminating
% 90.78/90.75  eprover: CPU time limit exceeded, terminating
% 93.96/93.92  eprover: CPU time limit exceeded, terminating
% 96.01/95.93  eprover: CPU time limit exceeded, terminating
% 98.01/97.94  eprover: CPU time limit exceeded, terminating
% 124.40/124.22  eprover: CPU time limit exceeded, terminating
% 127.25/127.02  eprover: CPU time limit exceeded, terminating
% 129.25/129.03  eprover: CPU time limit exceeded, terminating
% 132.05/131.84  eprover: CPU time limit exceeded, terminating
% 135.86/135.59  eprover: CPU time limit exceeded, terminating
% 137.86/137.60  eprover: CPU time limit exceeded, terminating
% 139.90/139.60  eprover: CPU time limit exceeded, terminating
% 141.88/141.61  eprover: CPU time limit exceeded, terminating
% 143.91/143.62  eprover: CPU time limit exceeded, terminating
% 146.71/146.50  eprover: CPU time limit exceeded, terminating
% 148.74/148.51  eprover: CPU time limit exceeded, terminating
% 152.34/152.07  eprover: CPU time limit exceeded, terminating
% 154.34/154.08  eprover: CPU time limit exceeded, terminating
% 166.79/166.44  eprover: CPU time limit exceeded, terminating
% 168.78/168.45  eprover: CPU time limit exceeded, terminating
% 170.78/170.46  eprover: CPU time limit exceeded, terminating
% 172.84/172.47  eprover: CPU time limit exceeded, terminating
% 174.78/174.49  eprover: CPU time limit exceeded, terminating
% 176.86/176.50  eprover: CPU time limit exceeded, terminating
% 178.90/178.51  eprover: CPU time limit exceeded, terminating
% 180.89/180.52  eprover: CPU time limit exceeded, terminating
% 184.52/184.17  eprover: CPU time limit exceeded, terminating
% 196.72/196.29  eprover: CPU time limit exceeded, terminating
% 198.66/198.30  eprover: CPU time limit exceeded, terminating
% 201.78/201.39  eprover: CPU time limit exceeded, terminating
% 203.83/203.40  eprover: CPU time limit exceeded, terminating
% 205.86/205.40  eprover: CPU time limit exceeded, terminating
% 207.85/207.41  eprover: CPU time limit exceeded, terminating
% 215.20/214.73  eprover: CPU time limit exceeded, terminating
% 220.46/219.96  eprover: CPU time limit exceeded, terminating
% 234.61/234.02  eprover: CPU time limit exceeded, terminating
% 236.57/236.03  eprover: CPU time limit exceeded, terminating
% 240.12/239.53  eprover: CPU time limit exceeded, terminating
% 242.12/241.54  eprover: CPU time limit exceeded, terminating
% 244.13/243.55  eprover: CPU time limit exceeded, terminating
% 246.16/245.56  eprover: CPU time limit exceeded, terminating
% 248.13/247.57  eprover: CPU time limit exceeded, terminating
% 250.17/249.58  eprover: CPU time limit exceeded, terminating
% 265.28/264.66  infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 265.28/264.66  Infinox, version 1.0, 2009-07-20.
% 265.28/264.66  +++ PROBLEM: /export/starexec/sandbox/benchmark/theBenchmark.p
% 265.28/264.66  Reading '/export/starexec/sandbox/benchmark/theBenchmark.p' ... OK
% 265.28/264.66  +++ SOLVING: /export/starexec/sandbox/benchmark/theBenchmark.p
% 265.28/264.66  InjNotSurj
% 265.28/264.66  SurjNotInj
% 265.28/264.66  Serial
% 265.28/264.66  Trans
% 265.28/264.66  Auto
%------------------------------------------------------------------------------