TSTP Solution File: NLP023-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP023-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:31:44 EDT 2022
% Result : Timeout 286.60s 286.14s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NLP023-10 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n013.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 05:53:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.14/3.38 eprover: CPU time limit exceeded, terminating
% 5.73/5.93 eprover: CPU time limit exceeded, terminating
% 8.40/8.62 eprover: CPU time limit exceeded, terminating
% 11.00/11.16 eprover: CPU time limit exceeded, terminating
% 13.65/13.83 eprover: CPU time limit exceeded, terminating
% 16.44/16.62 eprover: CPU time limit exceeded, terminating
% 19.64/19.77 eprover: CPU time limit exceeded, terminating
% 22.67/22.80 eprover: CPU time limit exceeded, terminating
% 25.28/25.41 eprover: CPU time limit exceeded, terminating
% 27.97/28.10 eprover: CPU time limit exceeded, terminating
% 30.48/30.64 eprover: CPU time limit exceeded, terminating
% 32.97/33.09 eprover: CPU time limit exceeded, terminating
% 35.37/35.55 eprover: CPU time limit exceeded, terminating
% 38.20/38.33 eprover: CPU time limit exceeded, terminating
% 41.01/41.13 eprover: CPU time limit exceeded, terminating
% 43.56/43.67 eprover: CPU time limit exceeded, terminating
% 46.03/46.13 eprover: CPU time limit exceeded, terminating
% 48.27/48.34 eprover: CPU time limit exceeded, terminating
% 50.94/51.06 eprover: CPU time limit exceeded, terminating
% 54.19/54.28 eprover: CPU time limit exceeded, terminating
% 56.57/56.63 eprover: CPU time limit exceeded, terminating
% 58.60/58.64 eprover: CPU time limit exceeded, terminating
% 61.71/61.77 eprover: CPU time limit exceeded, terminating
% 64.71/64.72 eprover: CPU time limit exceeded, terminating
% 66.94/66.99 eprover: CPU time limit exceeded, terminating
% 69.00/69.00 eprover: CPU time limit exceeded, terminating
% 71.53/71.55 eprover: CPU time limit exceeded, terminating
% 73.75/73.75 eprover: CPU time limit exceeded, terminating
% 75.79/75.76 eprover: CPU time limit exceeded, terminating
% 77.75/77.77 eprover: CPU time limit exceeded, terminating
% 80.13/80.11 eprover: CPU time limit exceeded, terminating
% 82.69/82.71 eprover: CPU time limit exceeded, terminating
% 84.97/84.91 eprover: CPU time limit exceeded, terminating
% 86.95/86.92 eprover: CPU time limit exceeded, terminating
% 89.74/89.66 eprover: CPU time limit exceeded, terminating
% 91.70/91.67 eprover: CPU time limit exceeded, terminating
% 95.49/95.43 eprover: CPU time limit exceeded, terminating
% 101.60/101.59 eprover: CPU time limit exceeded, terminating
% 103.69/103.60 eprover: CPU time limit exceeded, terminating
% 105.63/105.61 eprover: CPU time limit exceeded, terminating
% 107.72/107.61 eprover: CPU time limit exceeded, terminating
% 111.16/111.05 eprover: CPU time limit exceeded, terminating
% 114.23/114.11 eprover: CPU time limit exceeded, terminating
% 116.18/116.12 eprover: CPU time limit exceeded, terminating
% 118.46/118.38 eprover: CPU time limit exceeded, terminating
% 151.18/150.98 eprover: CPU time limit exceeded, terminating
% 153.19/153.00 eprover: CPU time limit exceeded, terminating
% 155.13/155.01 eprover: CPU time limit exceeded, terminating
% 157.22/157.02 eprover: CPU time limit exceeded, terminating
% 159.24/159.04 eprover: CPU time limit exceeded, terminating
% 161.19/161.06 eprover: CPU time limit exceeded, terminating
% 163.20/163.07 eprover: CPU time limit exceeded, terminating
% 165.23/165.09 eprover: CPU time limit exceeded, terminating
% 167.29/167.09 eprover: CPU time limit exceeded, terminating
% 169.27/169.10 eprover: CPU time limit exceeded, terminating
% 171.24/171.12 eprover: CPU time limit exceeded, terminating
% 173.32/173.13 eprover: CPU time limit exceeded, terminating
% 175.35/175.15 eprover: CPU time limit exceeded, terminating
% 177.34/177.16 eprover: CPU time limit exceeded, terminating
% 179.35/179.17 eprover: CPU time limit exceeded, terminating
% 181.39/181.19 eprover: CPU time limit exceeded, terminating
% 183.39/183.20 eprover: CPU time limit exceeded, terminating
% 185.42/185.22 eprover: CPU time limit exceeded, terminating
% 187.40/187.23 eprover: CPU time limit exceeded, terminating
% 189.41/189.24 eprover: CPU time limit exceeded, terminating
% 191.41/191.25 eprover: CPU time limit exceeded, terminating
% 193.45/193.26 eprover: CPU time limit exceeded, terminating
% 195.45/195.27 eprover: CPU time limit exceeded, terminating
% 197.43/197.28 eprover: CPU time limit exceeded, terminating
% 199.48/199.29 eprover: CPU time limit exceeded, terminating
% 201.54/201.29 eprover: CPU time limit exceeded, terminating
% 203.50/203.30 eprover: CPU time limit exceeded, terminating
% 205.55/205.31 eprover: CPU time limit exceeded, terminating
% 207.97/207.73 eprover: CPU time limit exceeded, terminating
% 226.56/226.34 eprover: CPU time limit exceeded, terminating
% 228.60/228.35 eprover: CPU time limit exceeded, terminating
% 230.57/230.36 eprover: CPU time limit exceeded, terminating
% 232.61/232.36 eprover: CPU time limit exceeded, terminating
% 234.68/234.37 eprover: CPU time limit exceeded, terminating
% 236.63/236.38 eprover: CPU time limit exceeded, terminating
% 240.73/240.47 eprover: CPU time limit exceeded, terminating
% 243.90/243.60 eprover: CPU time limit exceeded, terminating
% 286.60/286.14 eprover: CPU time limit exceeded, terminating
% 290.90/290.48 eprover: CPU time limit exceeded, terminating
% 292.94/292.50 eprover: CPU time limit exceeded, terminating
% 296.87/296.46 eprover: CPU time limit exceeded, terminating
% 298.90/298.48 eprover: CPU time limit exceeded, terminating
% 300.06/299.59 eprover: CPU time limit exceeded, terminating
% 300.06/299.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------