TSTP Solution File: NLP217+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP217+1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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
% WCLimit : 600s
% DateTime : Mon Jul 18 02:33:33 EDT 2022
% Result : Unknown 114.93s 115.15s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : NLP217+1 : TPTP v8.1.0. Released v2.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.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 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jul 1 02:00:27 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.92/4.14 eprover: CPU time limit exceeded, terminating
% 7.60/7.82 eprover: CPU time limit exceeded, terminating
% 10.97/11.14 eprover: CPU time limit exceeded, terminating
% 26.68/26.99 eprover: CPU time limit exceeded, terminating
% 39.13/39.34 eprover: CPU time limit exceeded, terminating
% 45.02/45.19 eprover: CPU time limit exceeded, terminating
% 53.37/53.59 eprover: CPU time limit exceeded, terminating
% 55.68/55.86 eprover: CPU time limit exceeded, terminating
% 57.67/57.86 eprover: CPU time limit exceeded, terminating
% 60.33/60.49 eprover: CPU time limit exceeded, terminating
% 62.34/62.50 eprover: CPU time limit exceeded, terminating
% 64.73/64.93 eprover: CPU time limit exceeded, terminating
% 66.78/66.94 eprover: CPU time limit exceeded, terminating
% 69.22/69.42 eprover: CPU time limit exceeded, terminating
% 71.27/71.43 eprover: CPU time limit exceeded, terminating
% 73.26/73.44 eprover: CPU time limit exceeded, terminating
% 75.30/75.45 eprover: CPU time limit exceeded, terminating
% 77.32/77.46 eprover: CPU time limit exceeded, terminating
% 79.31/79.48 eprover: CPU time limit exceeded, terminating
% 83.16/83.31 eprover: CPU time limit exceeded, terminating
% 85.21/85.36 eprover: CPU time limit exceeded, terminating
% 87.26/87.37 eprover: CPU time limit exceeded, terminating
% 110.67/110.82 eprover: CPU time limit exceeded, terminating
% 114.93/115.14 infinox: equinox: runProcess: runInteractiveProcess: exec: does not exist (No such file or directory)
% 114.93/115.14 Infinox, version 1.0, 2009-07-20.
% 114.93/115.14 +++ PROBLEM: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 114.93/115.14 Reading '/export/starexec/sandbox2/benchmark/theBenchmark.p' ... OK
% 114.93/115.14 +++ SOLVING: /export/starexec/sandbox2/benchmark/theBenchmark.p
% 114.93/115.14 InjNotSurj
% 114.93/115.14 SurjNotInj
% 114.93/115.14 Serial
% 114.93/115.14 Trans
% 114.93/115.14 Auto
%------------------------------------------------------------------------------