TSTP Solution File: NLP213-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP213-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:30 EDT 2022
% Result : Timeout 286.19s 285.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : NLP213-1 : TPTP v8.1.0. Released v2.4.0.
% 0.14/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n008.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jul 1 08:24:08 EDT 2022
% 0.14/0.34 % CPUTime :
% 2.24/2.43 eprover: CPU time limit exceeded, terminating
% 4.27/4.44 eprover: CPU time limit exceeded, terminating
% 6.27/6.45 eprover: CPU time limit exceeded, terminating
% 8.24/8.46 eprover: CPU time limit exceeded, terminating
% 10.23/10.47 eprover: CPU time limit exceeded, terminating
% 12.26/12.48 eprover: CPU time limit exceeded, terminating
% 14.35/14.49 eprover: CPU time limit exceeded, terminating
% 16.37/16.50 eprover: CPU time limit exceeded, terminating
% 18.40/18.52 eprover: CPU time limit exceeded, terminating
% 20.40/20.53 eprover: CPU time limit exceeded, terminating
% 22.42/22.54 eprover: CPU time limit exceeded, terminating
% 24.42/24.55 eprover: CPU time limit exceeded, terminating
% 26.43/26.56 eprover: CPU time limit exceeded, terminating
% 28.45/28.57 eprover: CPU time limit exceeded, terminating
% 30.46/30.58 eprover: CPU time limit exceeded, terminating
% 32.48/32.59 eprover: CPU time limit exceeded, terminating
% 34.46/34.60 eprover: CPU time limit exceeded, terminating
% 36.48/36.61 eprover: CPU time limit exceeded, terminating
% 38.49/38.62 eprover: CPU time limit exceeded, terminating
% 40.51/40.63 eprover: CPU time limit exceeded, terminating
% 42.54/42.65 eprover: CPU time limit exceeded, terminating
% 44.60/44.66 eprover: CPU time limit exceeded, terminating
% 46.58/46.67 eprover: CPU time limit exceeded, terminating
% 48.57/48.68 eprover: CPU time limit exceeded, terminating
% 50.64/50.69 eprover: CPU time limit exceeded, terminating
% 52.58/52.70 eprover: CPU time limit exceeded, terminating
% 54.63/54.71 eprover: CPU time limit exceeded, terminating
% 56.65/56.72 eprover: CPU time limit exceeded, terminating
% 58.68/58.73 eprover: CPU time limit exceeded, terminating
% 60.64/60.74 eprover: CPU time limit exceeded, terminating
% 62.70/62.75 eprover: CPU time limit exceeded, terminating
% 64.76/64.76 eprover: CPU time limit exceeded, terminating
% 66.72/66.77 eprover: CPU time limit exceeded, terminating
% 68.77/68.79 eprover: CPU time limit exceeded, terminating
% 70.75/70.79 eprover: CPU time limit exceeded, terminating
% 72.80/72.80 eprover: CPU time limit exceeded, terminating
% 74.76/74.81 eprover: CPU time limit exceeded, terminating
% 76.80/76.82 eprover: CPU time limit exceeded, terminating
% 78.83/78.83 eprover: CPU time limit exceeded, terminating
% 80.79/80.84 eprover: CPU time limit exceeded, terminating
% 82.84/82.85 eprover: CPU time limit exceeded, terminating
% 84.88/84.86 eprover: CPU time limit exceeded, terminating
% 86.84/86.87 eprover: CPU time limit exceeded, terminating
% 88.88/88.88 eprover: CPU time limit exceeded, terminating
% 90.84/90.90 eprover: CPU time limit exceeded, terminating
% 92.91/92.91 eprover: CPU time limit exceeded, terminating
% 94.86/94.92 eprover: CPU time limit exceeded, terminating
% 96.94/96.93 eprover: CPU time limit exceeded, terminating
% 98.93/98.94 eprover: CPU time limit exceeded, terminating
% 100.90/100.96 eprover: CPU time limit exceeded, terminating
% 102.95/102.97 eprover: CPU time limit exceeded, terminating
% 105.00/104.99 eprover: CPU time limit exceeded, terminating
% 106.93/107.00 eprover: CPU time limit exceeded, terminating
% 108.99/109.01 eprover: CPU time limit exceeded, terminating
% 110.93/111.02 eprover: CPU time limit exceeded, terminating
% 113.04/113.03 eprover: CPU time limit exceeded, terminating
% 115.02/115.03 eprover: CPU time limit exceeded, terminating
% 117.03/117.04 eprover: CPU time limit exceeded, terminating
% 119.03/119.05 eprover: CPU time limit exceeded, terminating
% 121.05/121.06 eprover: CPU time limit exceeded, terminating
% 123.11/123.07 eprover: CPU time limit exceeded, terminating
% 125.06/125.08 eprover: CPU time limit exceeded, terminating
% 127.12/127.09 eprover: CPU time limit exceeded, terminating
% 129.06/129.10 eprover: CPU time limit exceeded, terminating
% 131.18/131.11 eprover: CPU time limit exceeded, terminating
% 133.18/133.12 eprover: CPU time limit exceeded, terminating
% 135.19/135.12 eprover: CPU time limit exceeded, terminating
% 137.13/137.16 eprover: CPU time limit exceeded, terminating
% 139.15/139.17 eprover: CPU time limit exceeded, terminating
% 141.18/141.18 eprover: CPU time limit exceeded, terminating
% 143.16/143.19 eprover: CPU time limit exceeded, terminating
% 145.20/145.19 eprover: CPU time limit exceeded, terminating
% 147.26/147.20 eprover: CPU time limit exceeded, terminating
% 149.28/149.21 eprover: CPU time limit exceeded, terminating
% 151.28/151.22 eprover: CPU time limit exceeded, terminating
% 153.26/153.23 eprover: CPU time limit exceeded, terminating
% 155.29/155.24 eprover: CPU time limit exceeded, terminating
% 157.27/157.25 eprover: CPU time limit exceeded, terminating
% 159.30/159.25 eprover: CPU time limit exceeded, terminating
% 161.28/161.26 eprover: CPU time limit exceeded, terminating
% 163.30/163.27 eprover: CPU time limit exceeded, terminating
% 165.39/165.28 eprover: CPU time limit exceeded, terminating
% 167.33/167.29 eprover: CPU time limit exceeded, terminating
% 169.41/169.30 eprover: CPU time limit exceeded, terminating
% 171.41/171.31 eprover: CPU time limit exceeded, terminating
% 173.44/173.32 eprover: CPU time limit exceeded, terminating
% 175.45/175.33 eprover: CPU time limit exceeded, terminating
% 177.44/177.34 eprover: CPU time limit exceeded, terminating
% 179.46/179.35 eprover: CPU time limit exceeded, terminating
% 181.46/181.36 eprover: CPU time limit exceeded, terminating
% 183.44/183.37 eprover: CPU time limit exceeded, terminating
% 185.52/185.38 eprover: CPU time limit exceeded, terminating
% 187.54/187.39 eprover: CPU time limit exceeded, terminating
% 189.55/189.40 eprover: CPU time limit exceeded, terminating
% 191.52/191.46 eprover: CPU time limit exceeded, terminating
% 193.54/193.47 eprover: CPU time limit exceeded, terminating
% 195.51/195.48 eprover: CPU time limit exceeded, terminating
% 197.57/197.49 eprover: CPU time limit exceeded, terminating
% 199.55/199.50 eprover: CPU time limit exceeded, terminating
% 201.65/201.50 eprover: CPU time limit exceeded, terminating
% 203.65/203.51 eprover: CPU time limit exceeded, terminating
% 205.63/205.52 eprover: CPU time limit exceeded, terminating
% 207.64/207.53 eprover: CPU time limit exceeded, terminating
% 209.67/209.54 eprover: CPU time limit exceeded, terminating
% 211.64/211.55 eprover: CPU time limit exceeded, terminating
% 213.67/213.56 eprover: CPU time limit exceeded, terminating
% 215.70/215.57 eprover: CPU time limit exceeded, terminating
% 217.67/217.57 eprover: CPU time limit exceeded, terminating
% 219.69/219.58 eprover: CPU time limit exceeded, terminating
% 221.75/221.63 eprover: CPU time limit exceeded, terminating
% 223.77/223.64 eprover: CPU time limit exceeded, terminating
% 225.78/225.65 eprover: CPU time limit exceeded, terminating
% 227.78/227.66 eprover: CPU time limit exceeded, terminating
% 229.75/229.67 eprover: CPU time limit exceeded, terminating
% 231.78/231.68 eprover: CPU time limit exceeded, terminating
% 233.80/233.69 eprover: CPU time limit exceeded, terminating
% 235.88/235.70 eprover: CPU time limit exceeded, terminating
% 237.89/237.71 eprover: CPU time limit exceeded, terminating
% 239.90/239.72 eprover: CPU time limit exceeded, terminating
% 241.91/241.73 eprover: CPU time limit exceeded, terminating
% 243.88/243.74 eprover: CPU time limit exceeded, terminating
% 245.91/245.74 eprover: CPU time limit exceeded, terminating
% 247.91/247.75 eprover: CPU time limit exceeded, terminating
% 249.90/249.76 eprover: CPU time limit exceeded, terminating
% 251.91/251.79 eprover: CPU time limit exceeded, terminating
% 253.93/253.80 eprover: CPU time limit exceeded, terminating
% 256.00/255.81 eprover: CPU time limit exceeded, terminating
% 258.02/257.81 eprover: CPU time limit exceeded, terminating
% 260.03/259.82 eprover: CPU time limit exceeded, terminating
% 262.03/261.83 eprover: CPU time limit exceeded, terminating
% 264.02/263.84 eprover: CPU time limit exceeded, terminating
% 266.03/265.85 eprover: CPU time limit exceeded, terminating
% 268.06/267.86 eprover: CPU time limit exceeded, terminating
% 270.04/269.86 eprover: CPU time limit exceeded, terminating
% 272.05/271.87 eprover: CPU time limit exceeded, terminating
% 274.06/273.88 eprover: CPU time limit exceeded, terminating
% 276.06/275.89 eprover: CPU time limit exceeded, terminating
% 278.08/277.90 eprover: CPU time limit exceeded, terminating
% 280.15/279.91 eprover: CPU time limit exceeded, terminating
% 282.16/281.92 eprover: CPU time limit exceeded, terminating
% 284.16/283.93 eprover: CPU time limit exceeded, terminating
% 286.19/285.94 eprover: CPU time limit exceeded, terminating
% 288.17/287.95 eprover: CPU time limit exceeded, terminating
% 290.21/289.96 eprover: CPU time limit exceeded, terminating
% 292.17/291.97 eprover: CPU time limit exceeded, terminating
% 294.21/293.98 eprover: CPU time limit exceeded, terminating
% 296.21/295.99 eprover: CPU time limit exceeded, terminating
% 298.30/298.00 eprover: CPU time limit exceeded, terminating
% 300.04/299.75 eprover: CPU time limit exceeded, terminating
% 300.04/299.76 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------