TSTP Solution File: NUM516+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM516+3 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n016.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:40 EDT 2022
% Result : Timeout 286.30s 286.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NUM516+3 : TPTP v8.1.0. Released v4.0.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n016.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue Jul 5 15:08:33 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.24/2.45 eprover: CPU time limit exceeded, terminating
% 4.23/4.46 eprover: CPU time limit exceeded, terminating
% 6.24/6.47 eprover: CPU time limit exceeded, terminating
% 8.27/8.48 eprover: CPU time limit exceeded, terminating
% 10.32/10.49 eprover: CPU time limit exceeded, terminating
% 12.34/12.50 eprover: CPU time limit exceeded, terminating
% 14.34/14.51 eprover: CPU time limit exceeded, terminating
% 16.34/16.52 eprover: CPU time limit exceeded, terminating
% 18.37/18.52 eprover: CPU time limit exceeded, terminating
% 20.37/20.53 eprover: CPU time limit exceeded, terminating
% 22.41/22.54 eprover: CPU time limit exceeded, terminating
% 24.37/24.55 eprover: CPU time limit exceeded, terminating
% 26.41/26.56 eprover: CPU time limit exceeded, terminating
% 28.40/28.57 eprover: CPU time limit exceeded, terminating
% 30.41/30.58 eprover: CPU time limit exceeded, terminating
% 32.46/32.59 eprover: CPU time limit exceeded, terminating
% 34.48/34.60 eprover: CPU time limit exceeded, terminating
% 36.49/36.61 eprover: CPU time limit exceeded, terminating
% 38.52/38.61 eprover: CPU time limit exceeded, terminating
% 40.50/40.62 eprover: CPU time limit exceeded, terminating
% 42.55/42.63 eprover: CPU time limit exceeded, terminating
% 44.53/44.64 eprover: CPU time limit exceeded, terminating
% 46.57/46.65 eprover: CPU time limit exceeded, terminating
% 48.53/48.66 eprover: CPU time limit exceeded, terminating
% 50.55/50.67 eprover: CPU time limit exceeded, terminating
% 52.58/52.68 eprover: CPU time limit exceeded, terminating
% 54.63/54.69 eprover: CPU time limit exceeded, terminating
% 56.64/56.70 eprover: CPU time limit exceeded, terminating
% 58.66/58.72 eprover: CPU time limit exceeded, terminating
% 60.66/60.73 eprover: CPU time limit exceeded, terminating
% 62.66/62.74 eprover: CPU time limit exceeded, terminating
% 64.64/64.75 eprover: CPU time limit exceeded, terminating
% 66.70/66.76 eprover: CPU time limit exceeded, terminating
% 68.74/68.79 eprover: CPU time limit exceeded, terminating
% 70.70/70.80 eprover: CPU time limit exceeded, terminating
% 72.76/72.81 eprover: CPU time limit exceeded, terminating
% 74.74/74.83 eprover: CPU time limit exceeded, terminating
% 76.80/76.84 eprover: CPU time limit exceeded, terminating
% 78.77/78.86 eprover: CPU time limit exceeded, terminating
% 80.81/80.88 eprover: CPU time limit exceeded, terminating
% 82.77/82.89 eprover: CPU time limit exceeded, terminating
% 84.88/84.90 eprover: CPU time limit exceeded, terminating
% 86.87/86.92 eprover: CPU time limit exceeded, terminating
% 88.88/88.94 eprover: CPU time limit exceeded, terminating
% 90.88/90.95 eprover: CPU time limit exceeded, terminating
% 92.87/92.97 eprover: CPU time limit exceeded, terminating
% 94.91/94.98 eprover: CPU time limit exceeded, terminating
% 96.97/96.99 eprover: CPU time limit exceeded, terminating
% 98.97/99.01 eprover: CPU time limit exceeded, terminating
% 100.94/101.02 eprover: CPU time limit exceeded, terminating
% 102.97/103.04 eprover: CPU time limit exceeded, terminating
% 105.01/105.05 eprover: CPU time limit exceeded, terminating
% 106.97/107.06 eprover: CPU time limit exceeded, terminating
% 109.05/109.09 eprover: CPU time limit exceeded, terminating
% 111.04/111.10 eprover: CPU time limit exceeded, terminating
% 113.08/113.11 eprover: CPU time limit exceeded, terminating
% 115.10/115.13 eprover: CPU time limit exceeded, terminating
% 117.08/117.14 eprover: CPU time limit exceeded, terminating
% 119.08/119.17 eprover: CPU time limit exceeded, terminating
% 121.14/121.19 eprover: CPU time limit exceeded, terminating
% 123.10/123.20 eprover: CPU time limit exceeded, terminating
% 125.16/125.22 eprover: CPU time limit exceeded, terminating
% 127.17/127.23 eprover: CPU time limit exceeded, terminating
% 129.12/129.24 eprover: CPU time limit exceeded, terminating
% 131.16/131.25 eprover: CPU time limit exceeded, terminating
% 133.21/133.27 eprover: CPU time limit exceeded, terminating
% 135.23/135.28 eprover: CPU time limit exceeded, terminating
% 137.27/137.29 eprover: CPU time limit exceeded, terminating
% 139.23/139.30 eprover: CPU time limit exceeded, terminating
% 141.22/141.31 eprover: CPU time limit exceeded, terminating
% 143.29/143.32 eprover: CPU time limit exceeded, terminating
% 145.33/145.33 eprover: CPU time limit exceeded, terminating
% 147.30/147.34 eprover: CPU time limit exceeded, terminating
% 149.34/149.36 eprover: CPU time limit exceeded, terminating
% 151.30/151.37 eprover: CPU time limit exceeded, terminating
% 153.38/153.38 eprover: CPU time limit exceeded, terminating
% 155.40/155.39 eprover: CPU time limit exceeded, terminating
% 157.39/157.40 eprover: CPU time limit exceeded, terminating
% 159.38/159.42 eprover: CPU time limit exceeded, terminating
% 161.39/161.43 eprover: CPU time limit exceeded, terminating
% 163.42/163.45 eprover: CPU time limit exceeded, terminating
% 165.43/165.46 eprover: CPU time limit exceeded, terminating
% 167.45/167.48 eprover: CPU time limit exceeded, terminating
% 169.50/169.51 eprover: CPU time limit exceeded, terminating
% 171.50/171.51 eprover: CPU time limit exceeded, terminating
% 173.47/173.53 eprover: CPU time limit exceeded, terminating
% 175.55/175.54 eprover: CPU time limit exceeded, terminating
% 177.55/177.55 eprover: CPU time limit exceeded, terminating
% 179.53/179.57 eprover: CPU time limit exceeded, terminating
% 181.56/181.59 eprover: CPU time limit exceeded, terminating
% 183.57/183.63 eprover: CPU time limit exceeded, terminating
% 185.61/185.64 eprover: CPU time limit exceeded, terminating
% 187.59/187.65 eprover: CPU time limit exceeded, terminating
% 189.64/189.67 eprover: CPU time limit exceeded, terminating
% 191.64/191.68 eprover: CPU time limit exceeded, terminating
% 193.67/193.70 eprover: CPU time limit exceeded, terminating
% 195.63/195.71 eprover: CPU time limit exceeded, terminating
% 197.66/197.72 eprover: CPU time limit exceeded, terminating
% 199.71/199.74 eprover: CPU time limit exceeded, terminating
% 201.70/201.75 eprover: CPU time limit exceeded, terminating
% 203.71/203.78 eprover: CPU time limit exceeded, terminating
% 205.74/205.79 eprover: CPU time limit exceeded, terminating
% 207.76/207.80 eprover: CPU time limit exceeded, terminating
% 209.79/209.81 eprover: CPU time limit exceeded, terminating
% 211.80/211.82 eprover: CPU time limit exceeded, terminating
% 213.82/213.85 eprover: CPU time limit exceeded, terminating
% 215.78/215.86 eprover: CPU time limit exceeded, terminating
% 217.80/217.87 eprover: CPU time limit exceeded, terminating
% 219.84/219.88 eprover: CPU time limit exceeded, terminating
% 221.87/221.90 eprover: CPU time limit exceeded, terminating
% 223.88/223.91 eprover: CPU time limit exceeded, terminating
% 225.87/225.93 eprover: CPU time limit exceeded, terminating
% 227.84/227.93 eprover: CPU time limit exceeded, terminating
% 229.94/229.95 eprover: CPU time limit exceeded, terminating
% 231.92/231.96 eprover: CPU time limit exceeded, terminating
% 233.93/233.97 eprover: CPU time limit exceeded, terminating
% 235.96/235.98 eprover: CPU time limit exceeded, terminating
% 237.95/237.99 eprover: CPU time limit exceeded, terminating
% 239.97/240.01 eprover: CPU time limit exceeded, terminating
% 241.99/242.02 eprover: CPU time limit exceeded, terminating
% 244.02/244.03 eprover: CPU time limit exceeded, terminating
% 246.02/246.05 eprover: CPU time limit exceeded, terminating
% 247.99/248.06 eprover: CPU time limit exceeded, terminating
% 250.07/250.09 eprover: CPU time limit exceeded, terminating
% 252.06/252.10 eprover: CPU time limit exceeded, terminating
% 254.12/254.11 eprover: CPU time limit exceeded, terminating
% 256.08/256.12 eprover: CPU time limit exceeded, terminating
% 258.11/258.14 eprover: CPU time limit exceeded, terminating
% 260.09/260.15 eprover: CPU time limit exceeded, terminating
% 262.15/262.16 eprover: CPU time limit exceeded, terminating
% 264.16/264.17 eprover: CPU time limit exceeded, terminating
% 266.18/266.18 eprover: CPU time limit exceeded, terminating
% 268.17/268.19 eprover: CPU time limit exceeded, terminating
% 270.20/270.21 eprover: CPU time limit exceeded, terminating
% 272.17/272.22 eprover: CPU time limit exceeded, terminating
% 274.23/274.23 eprover: CPU time limit exceeded, terminating
% 276.25/276.25 eprover: CPU time limit exceeded, terminating
% 278.27/278.26 eprover: CPU time limit exceeded, terminating
% 280.29/280.27 eprover: CPU time limit exceeded, terminating
% 282.28/282.28 eprover: CPU time limit exceeded, terminating
% 284.30/284.29 eprover: CPU time limit exceeded, terminating
% 286.30/286.30 eprover: CPU time limit exceeded, terminating
% 288.36/288.32 eprover: CPU time limit exceeded, terminating
% 290.32/290.33 eprover: CPU time limit exceeded, terminating
% 292.33/292.34 eprover: CPU time limit exceeded, terminating
% 294.35/294.36 eprover: CPU time limit exceeded, terminating
% 296.40/296.37 eprover: CPU time limit exceeded, terminating
% 298.42/298.38 eprover: CPU time limit exceeded, terminating
% 300.01/299.96 eprover: CPU time limit exceeded, terminating
% 300.01/299.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------