TSTP Solution File: NUM456+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM456+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 10:37:04 EDT 2022
% Result : Timeout 286.32s 286.07s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : NUM456+1 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.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 : Wed Jul 6 19:32:28 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.22/2.42 eprover: CPU time limit exceeded, terminating
% 4.23/4.43 eprover: CPU time limit exceeded, terminating
% 6.22/6.44 eprover: CPU time limit exceeded, terminating
% 8.24/8.45 eprover: CPU time limit exceeded, terminating
% 10.27/10.46 eprover: CPU time limit exceeded, terminating
% 12.22/12.47 eprover: CPU time limit exceeded, terminating
% 14.27/14.48 eprover: CPU time limit exceeded, terminating
% 16.25/16.49 eprover: CPU time limit exceeded, terminating
% 18.35/18.50 eprover: CPU time limit exceeded, terminating
% 20.37/20.51 eprover: CPU time limit exceeded, terminating
% 22.37/22.52 eprover: CPU time limit exceeded, terminating
% 24.37/24.53 eprover: CPU time limit exceeded, terminating
% 26.39/26.54 eprover: CPU time limit exceeded, terminating
% 28.39/28.55 eprover: CPU time limit exceeded, terminating
% 30.38/30.56 eprover: CPU time limit exceeded, terminating
% 32.39/32.57 eprover: CPU time limit exceeded, terminating
% 34.39/34.58 eprover: CPU time limit exceeded, terminating
% 36.40/36.59 eprover: CPU time limit exceeded, terminating
% 38.51/38.61 eprover: CPU time limit exceeded, terminating
% 40.48/40.62 eprover: CPU time limit exceeded, terminating
% 42.52/42.63 eprover: CPU time limit exceeded, terminating
% 44.53/44.64 eprover: CPU time limit exceeded, terminating
% 46.51/46.65 eprover: CPU time limit exceeded, terminating
% 48.53/48.66 eprover: CPU time limit exceeded, terminating
% 50.53/50.67 eprover: CPU time limit exceeded, terminating
% 52.52/52.68 eprover: CPU time limit exceeded, terminating
% 54.62/54.69 eprover: CPU time limit exceeded, terminating
% 56.63/56.70 eprover: CPU time limit exceeded, terminating
% 58.65/58.72 eprover: CPU time limit exceeded, terminating
% 60.64/60.73 eprover: CPU time limit exceeded, terminating
% 62.63/62.74 eprover: CPU time limit exceeded, terminating
% 64.65/64.75 eprover: CPU time limit exceeded, terminating
% 66.65/66.76 eprover: CPU time limit exceeded, terminating
% 68.64/68.78 eprover: CPU time limit exceeded, terminating
% 70.73/70.79 eprover: CPU time limit exceeded, terminating
% 72.75/72.81 eprover: CPU time limit exceeded, terminating
% 74.77/74.82 eprover: CPU time limit exceeded, terminating
% 76.74/76.83 eprover: CPU time limit exceeded, terminating
% 78.75/78.85 eprover: CPU time limit exceeded, terminating
% 80.78/80.86 eprover: CPU time limit exceeded, terminating
% 82.74/82.87 eprover: CPU time limit exceeded, terminating
% 84.76/84.88 eprover: CPU time limit exceeded, terminating
% 86.76/86.89 eprover: CPU time limit exceeded, terminating
% 88.85/88.91 eprover: CPU time limit exceeded, terminating
% 90.85/90.92 eprover: CPU time limit exceeded, terminating
% 92.88/92.93 eprover: CPU time limit exceeded, terminating
% 94.86/94.94 eprover: CPU time limit exceeded, terminating
% 96.86/96.95 eprover: CPU time limit exceeded, terminating
% 98.85/98.98 eprover: CPU time limit exceeded, terminating
% 100.92/100.99 eprover: CPU time limit exceeded, terminating
% 102.94/103.00 eprover: CPU time limit exceeded, terminating
% 104.87/105.01 eprover: CPU time limit exceeded, terminating
% 106.98/107.02 eprover: CPU time limit exceeded, terminating
% 108.96/109.04 eprover: CPU time limit exceeded, terminating
% 110.99/111.05 eprover: CPU time limit exceeded, terminating
% 112.96/113.06 eprover: CPU time limit exceeded, terminating
% 114.96/115.07 eprover: CPU time limit exceeded, terminating
% 116.99/117.09 eprover: CPU time limit exceeded, terminating
% 118.99/119.11 eprover: CPU time limit exceeded, terminating
% 121.06/121.12 eprover: CPU time limit exceeded, terminating
% 123.05/123.13 eprover: CPU time limit exceeded, terminating
% 125.07/125.14 eprover: CPU time limit exceeded, terminating
% 127.10/127.15 eprover: CPU time limit exceeded, terminating
% 129.08/129.17 eprover: CPU time limit exceeded, terminating
% 131.08/131.18 eprover: CPU time limit exceeded, terminating
% 133.07/133.19 eprover: CPU time limit exceeded, terminating
% 135.18/135.21 eprover: CPU time limit exceeded, terminating
% 137.18/137.22 eprover: CPU time limit exceeded, terminating
% 139.20/139.23 eprover: CPU time limit exceeded, terminating
% 141.21/141.24 eprover: CPU time limit exceeded, terminating
% 143.19/143.25 eprover: CPU time limit exceeded, terminating
% 145.24/145.26 eprover: CPU time limit exceeded, terminating
% 147.18/147.27 eprover: CPU time limit exceeded, terminating
% 149.28/149.29 eprover: CPU time limit exceeded, terminating
% 151.30/151.30 eprover: CPU time limit exceeded, terminating
% 153.29/153.31 eprover: CPU time limit exceeded, terminating
% 155.32/155.32 eprover: CPU time limit exceeded, terminating
% 157.35/157.34 eprover: CPU time limit exceeded, terminating
% 159.34/159.35 eprover: CPU time limit exceeded, terminating
% 161.34/161.36 eprover: CPU time limit exceeded, terminating
% 163.36/163.37 eprover: CPU time limit exceeded, terminating
% 165.37/165.38 eprover: CPU time limit exceeded, terminating
% 167.43/167.39 eprover: CPU time limit exceeded, terminating
% 169.43/169.40 eprover: CPU time limit exceeded, terminating
% 171.45/171.42 eprover: CPU time limit exceeded, terminating
% 173.45/173.43 eprover: CPU time limit exceeded, terminating
% 175.48/175.44 eprover: CPU time limit exceeded, terminating
% 177.49/177.45 eprover: CPU time limit exceeded, terminating
% 179.46/179.47 eprover: CPU time limit exceeded, terminating
% 181.50/181.48 eprover: CPU time limit exceeded, terminating
% 183.50/183.49 eprover: CPU time limit exceeded, terminating
% 185.56/185.50 eprover: CPU time limit exceeded, terminating
% 187.60/187.51 eprover: CPU time limit exceeded, terminating
% 189.61/189.52 eprover: CPU time limit exceeded, terminating
% 191.61/191.53 eprover: CPU time limit exceeded, terminating
% 193.63/193.55 eprover: CPU time limit exceeded, terminating
% 195.61/195.56 eprover: CPU time limit exceeded, terminating
% 197.64/197.57 eprover: CPU time limit exceeded, terminating
% 199.62/199.58 eprover: CPU time limit exceeded, terminating
% 201.65/201.59 eprover: CPU time limit exceeded, terminating
% 203.63/203.60 eprover: CPU time limit exceeded, terminating
% 205.71/205.61 eprover: CPU time limit exceeded, terminating
% 207.74/207.62 eprover: CPU time limit exceeded, terminating
% 209.75/209.63 eprover: CPU time limit exceeded, terminating
% 211.74/211.65 eprover: CPU time limit exceeded, terminating
% 213.75/213.66 eprover: CPU time limit exceeded, terminating
% 215.79/215.67 eprover: CPU time limit exceeded, terminating
% 217.78/217.68 eprover: CPU time limit exceeded, terminating
% 219.80/219.69 eprover: CPU time limit exceeded, terminating
% 221.86/221.70 eprover: CPU time limit exceeded, terminating
% 223.86/223.71 eprover: CPU time limit exceeded, terminating
% 225.88/225.72 eprover: CPU time limit exceeded, terminating
% 227.91/227.74 eprover: CPU time limit exceeded, terminating
% 229.88/229.75 eprover: CPU time limit exceeded, terminating
% 231.91/231.76 eprover: CPU time limit exceeded, terminating
% 233.89/233.77 eprover: CPU time limit exceeded, terminating
% 235.90/235.78 eprover: CPU time limit exceeded, terminating
% 237.98/237.79 eprover: CPU time limit exceeded, terminating
% 240.02/239.80 eprover: CPU time limit exceeded, terminating
% 242.03/241.82 eprover: CPU time limit exceeded, terminating
% 244.05/243.83 eprover: CPU time limit exceeded, terminating
% 246.05/245.84 eprover: CPU time limit exceeded, terminating
% 248.04/247.85 eprover: CPU time limit exceeded, terminating
% 250.02/249.86 eprover: CPU time limit exceeded, terminating
% 252.11/251.87 eprover: CPU time limit exceeded, terminating
% 254.07/253.89 eprover: CPU time limit exceeded, terminating
% 256.14/255.90 eprover: CPU time limit exceeded, terminating
% 258.08/257.91 eprover: CPU time limit exceeded, terminating
% 260.11/259.92 eprover: CPU time limit exceeded, terminating
% 262.20/261.93 eprover: CPU time limit exceeded, terminating
% 264.20/263.94 eprover: CPU time limit exceeded, terminating
% 266.23/265.95 eprover: CPU time limit exceeded, terminating
% 268.15/267.97 eprover: CPU time limit exceeded, terminating
% 270.25/269.98 eprover: CPU time limit exceeded, terminating
% 272.18/271.99 eprover: CPU time limit exceeded, terminating
% 274.28/274.00 eprover: CPU time limit exceeded, terminating
% 276.22/276.01 eprover: CPU time limit exceeded, terminating
% 278.32/278.02 eprover: CPU time limit exceeded, terminating
% 280.33/280.03 eprover: CPU time limit exceeded, terminating
% 282.34/282.04 eprover: CPU time limit exceeded, terminating
% 284.33/284.06 eprover: CPU time limit exceeded, terminating
% 286.32/286.07 eprover: CPU time limit exceeded, terminating
% 288.34/288.08 eprover: CPU time limit exceeded, terminating
% 290.40/290.09 eprover: CPU time limit exceeded, terminating
% 292.42/292.10 eprover: CPU time limit exceeded, terminating
% 294.43/294.11 eprover: CPU time limit exceeded, terminating
% 296.45/296.13 eprover: CPU time limit exceeded, terminating
% 298.49/298.14 eprover: CPU time limit exceeded, terminating
% 300.07/299.71 eprover: CPU time limit exceeded, terminating
% 300.07/299.72 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------