TSTP Solution File: NUM862+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM862+1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:41:24 EDT 2022
% Result : Timeout 286.06s 284.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NUM862+1 : TPTP v8.1.0. Released v4.1.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.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.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Thu Jul 7 18:09:59 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.17/2.37 eprover: CPU time limit exceeded, terminating
% 4.18/4.38 eprover: CPU time limit exceeded, terminating
% 6.17/6.39 eprover: CPU time limit exceeded, terminating
% 8.18/8.41 eprover: CPU time limit exceeded, terminating
% 10.18/10.42 eprover: CPU time limit exceeded, terminating
% 12.22/12.43 eprover: CPU time limit exceeded, terminating
% 14.25/14.44 eprover: CPU time limit exceeded, terminating
% 16.18/16.45 eprover: CPU time limit exceeded, terminating
% 18.27/18.48 eprover: CPU time limit exceeded, terminating
% 20.27/20.50 eprover: CPU time limit exceeded, terminating
% 22.29/22.51 eprover: CPU time limit exceeded, terminating
% 24.29/24.52 eprover: CPU time limit exceeded, terminating
% 26.33/26.54 eprover: CPU time limit exceeded, terminating
% 28.35/28.56 eprover: CPU time limit exceeded, terminating
% 30.37/30.57 eprover: CPU time limit exceeded, terminating
% 32.39/32.58 eprover: CPU time limit exceeded, terminating
% 34.37/34.60 eprover: CPU time limit exceeded, terminating
% 36.41/36.61 eprover: CPU time limit exceeded, terminating
% 38.40/38.62 eprover: CPU time limit exceeded, terminating
% 40.36/40.64 eprover: CPU time limit exceeded, terminating
% 42.44/42.65 eprover: CPU time limit exceeded, terminating
% 44.45/44.66 eprover: CPU time limit exceeded, terminating
% 46.44/46.67 eprover: CPU time limit exceeded, terminating
% 48.46/48.69 eprover: CPU time limit exceeded, terminating
% 50.48/50.70 eprover: CPU time limit exceeded, terminating
% 52.49/52.72 eprover: CPU time limit exceeded, terminating
% 54.54/54.74 eprover: CPU time limit exceeded, terminating
% 56.55/56.76 eprover: CPU time limit exceeded, terminating
% 58.56/58.77 eprover: CPU time limit exceeded, terminating
% 60.57/60.78 eprover: CPU time limit exceeded, terminating
% 62.56/62.80 eprover: CPU time limit exceeded, terminating
% 64.55/64.83 eprover: CPU time limit exceeded, terminating
% 66.54/66.84 eprover: CPU time limit exceeded, terminating
% 68.63/68.85 eprover: CPU time limit exceeded, terminating
% 70.62/70.87 eprover: CPU time limit exceeded, terminating
% 72.63/72.88 eprover: CPU time limit exceeded, terminating
% 74.62/74.91 eprover: CPU time limit exceeded, terminating
% 76.68/76.92 eprover: CPU time limit exceeded, terminating
% 78.70/78.93 eprover: CPU time limit exceeded, terminating
% 80.71/80.95 eprover: CPU time limit exceeded, terminating
% 82.73/82.96 eprover: CPU time limit exceeded, terminating
% 84.72/84.99 eprover: CPU time limit exceeded, terminating
% 86.76/87.00 eprover: CPU time limit exceeded, terminating
% 88.72/89.01 eprover: CPU time limit exceeded, terminating
% 90.77/91.03 eprover: CPU time limit exceeded, terminating
% 92.79/93.04 eprover: CPU time limit exceeded, terminating
% 94.76/95.07 eprover: CPU time limit exceeded, terminating
% 96.80/97.08 eprover: CPU time limit exceeded, terminating
% 98.83/99.09 eprover: CPU time limit exceeded, terminating
% 100.79/101.10 eprover: CPU time limit exceeded, terminating
% 102.82/103.12 eprover: CPU time limit exceeded, terminating
% 104.86/105.14 eprover: CPU time limit exceeded, terminating
% 106.80/107.15 eprover: CPU time limit exceeded, terminating
% 108.89/109.17 eprover: CPU time limit exceeded, terminating
% 110.87/111.18 eprover: CPU time limit exceeded, terminating
% 112.88/113.19 eprover: CPU time limit exceeded, terminating
% 114.94/115.22 eprover: CPU time limit exceeded, terminating
% 116.91/117.23 eprover: CPU time limit exceeded, terminating
% 120.92/119.25 eprover: CPU time limit exceeded, terminating
% 122.93/121.27 eprover: CPU time limit exceeded, terminating
% 124.90/123.28 eprover: CPU time limit exceeded, terminating
% 126.93/125.31 eprover: CPU time limit exceeded, terminating
% 128.93/127.32 eprover: CPU time limit exceeded, terminating
% 130.97/129.33 eprover: CPU time limit exceeded, terminating
% 132.96/131.35 eprover: CPU time limit exceeded, terminating
% 134.99/133.36 eprover: CPU time limit exceeded, terminating
% 137.00/135.39 eprover: CPU time limit exceeded, terminating
% 138.98/137.40 eprover: CPU time limit exceeded, terminating
% 141.03/139.42 eprover: CPU time limit exceeded, terminating
% 143.05/141.44 eprover: CPU time limit exceeded, terminating
% 145.05/143.45 eprover: CPU time limit exceeded, terminating
% 147.07/145.47 eprover: CPU time limit exceeded, terminating
% 149.06/147.49 eprover: CPU time limit exceeded, terminating
% 151.07/149.50 eprover: CPU time limit exceeded, terminating
% 153.09/151.51 eprover: CPU time limit exceeded, terminating
% 155.13/153.52 eprover: CPU time limit exceeded, terminating
% 157.13/155.54 eprover: CPU time limit exceeded, terminating
% 159.08/157.56 eprover: CPU time limit exceeded, terminating
% 161.12/159.57 eprover: CPU time limit exceeded, terminating
% 163.17/161.58 eprover: CPU time limit exceeded, terminating
% 165.20/163.59 eprover: CPU time limit exceeded, terminating
% 167.17/165.62 eprover: CPU time limit exceeded, terminating
% 169.23/167.63 eprover: CPU time limit exceeded, terminating
% 171.26/169.64 eprover: CPU time limit exceeded, terminating
% 173.26/171.65 eprover: CPU time limit exceeded, terminating
% 175.21/173.66 eprover: CPU time limit exceeded, terminating
% 177.26/175.69 eprover: CPU time limit exceeded, terminating
% 179.28/177.70 eprover: CPU time limit exceeded, terminating
% 181.27/179.71 eprover: CPU time limit exceeded, terminating
% 183.28/181.73 eprover: CPU time limit exceeded, terminating
% 185.34/183.74 eprover: CPU time limit exceeded, terminating
% 187.34/185.77 eprover: CPU time limit exceeded, terminating
% 189.34/187.78 eprover: CPU time limit exceeded, terminating
% 191.36/189.79 eprover: CPU time limit exceeded, terminating
% 193.38/191.80 eprover: CPU time limit exceeded, terminating
% 195.40/193.82 eprover: CPU time limit exceeded, terminating
% 197.42/195.84 eprover: CPU time limit exceeded, terminating
% 199.45/197.85 eprover: CPU time limit exceeded, terminating
% 201.47/199.87 eprover: CPU time limit exceeded, terminating
% 203.48/201.88 eprover: CPU time limit exceeded, terminating
% 205.43/203.89 eprover: CPU time limit exceeded, terminating
% 207.49/205.92 eprover: CPU time limit exceeded, terminating
% 209.51/207.93 eprover: CPU time limit exceeded, terminating
% 211.52/209.94 eprover: CPU time limit exceeded, terminating
% 213.54/211.95 eprover: CPU time limit exceeded, terminating
% 215.59/213.97 eprover: CPU time limit exceeded, terminating
% 217.58/215.99 eprover: CPU time limit exceeded, terminating
% 219.57/218.00 eprover: CPU time limit exceeded, terminating
% 221.61/220.01 eprover: CPU time limit exceeded, terminating
% 223.58/222.03 eprover: CPU time limit exceeded, terminating
% 225.65/224.04 eprover: CPU time limit exceeded, terminating
% 227.65/226.06 eprover: CPU time limit exceeded, terminating
% 229.67/228.07 eprover: CPU time limit exceeded, terminating
% 231.69/230.09 eprover: CPU time limit exceeded, terminating
% 233.68/232.10 eprover: CPU time limit exceeded, terminating
% 235.74/234.11 eprover: CPU time limit exceeded, terminating
% 237.69/236.13 eprover: CPU time limit exceeded, terminating
% 239.75/238.14 eprover: CPU time limit exceeded, terminating
% 241.76/240.15 eprover: CPU time limit exceeded, terminating
% 243.79/242.16 eprover: CPU time limit exceeded, terminating
% 245.76/244.18 eprover: CPU time limit exceeded, terminating
% 247.77/246.19 eprover: CPU time limit exceeded, terminating
% 249.81/248.20 eprover: CPU time limit exceeded, terminating
% 251.83/250.21 eprover: CPU time limit exceeded, terminating
% 253.85/252.22 eprover: CPU time limit exceeded, terminating
% 255.87/254.23 eprover: CPU time limit exceeded, terminating
% 257.82/256.24 eprover: CPU time limit exceeded, terminating
% 259.86/258.25 eprover: CPU time limit exceeded, terminating
% 261.90/260.26 eprover: CPU time limit exceeded, terminating
% 263.91/262.28 eprover: CPU time limit exceeded, terminating
% 265.92/264.29 eprover: CPU time limit exceeded, terminating
% 267.89/266.30 eprover: CPU time limit exceeded, terminating
% 269.95/268.31 eprover: CPU time limit exceeded, terminating
% 271.96/270.32 eprover: CPU time limit exceeded, terminating
% 273.98/272.34 eprover: CPU time limit exceeded, terminating
% 275.99/274.35 eprover: CPU time limit exceeded, terminating
% 277.96/276.36 eprover: CPU time limit exceeded, terminating
% 280.04/278.37 eprover: CPU time limit exceeded, terminating
% 282.03/280.38 eprover: CPU time limit exceeded, terminating
% 284.07/282.40 eprover: CPU time limit exceeded, terminating
% 286.06/284.41 eprover: CPU time limit exceeded, terminating
% 288.10/286.42 eprover: CPU time limit exceeded, terminating
% 290.09/288.43 eprover: CPU time limit exceeded, terminating
% 292.07/290.44 eprover: CPU time limit exceeded, terminating
% 294.10/292.45 eprover: CPU time limit exceeded, terminating
% 296.15/294.46 eprover: CPU time limit exceeded, terminating
% 298.16/296.47 eprover: CPU time limit exceeded, terminating
% 300.01/298.31 eprover: CPU time limit exceeded, terminating
% 300.01/298.32 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------