TSTP Solution File: NUM345+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM345+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:36:12 EDT 2022
% Result : Timeout 287.66s 286.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : NUM345+1 : TPTP v8.1.0. Released v3.1.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n020.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Thu Jul 7 12:43:44 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.35/2.53 eprover: CPU time limit exceeded, terminating
% 4.39/4.55 eprover: CPU time limit exceeded, terminating
% 6.42/6.56 eprover: CPU time limit exceeded, terminating
% 8.44/8.57 eprover: CPU time limit exceeded, terminating
% 10.44/10.59 eprover: CPU time limit exceeded, terminating
% 12.44/12.60 eprover: CPU time limit exceeded, terminating
% 14.46/14.61 eprover: CPU time limit exceeded, terminating
% 16.53/16.65 eprover: CPU time limit exceeded, terminating
% 18.56/18.66 eprover: CPU time limit exceeded, terminating
% 20.55/20.67 eprover: CPU time limit exceeded, terminating
% 22.58/22.69 eprover: CPU time limit exceeded, terminating
% 24.59/24.70 eprover: CPU time limit exceeded, terminating
% 26.66/26.71 eprover: CPU time limit exceeded, terminating
% 28.68/28.72 eprover: CPU time limit exceeded, terminating
% 30.65/30.74 eprover: CPU time limit exceeded, terminating
% 32.74/32.75 eprover: CPU time limit exceeded, terminating
% 34.73/34.77 eprover: CPU time limit exceeded, terminating
% 36.74/36.79 eprover: CPU time limit exceeded, terminating
% 38.78/38.80 eprover: CPU time limit exceeded, terminating
% 40.82/40.82 eprover: CPU time limit exceeded, terminating
% 42.82/42.83 eprover: CPU time limit exceeded, terminating
% 44.87/44.84 eprover: CPU time limit exceeded, terminating
% 46.86/46.85 eprover: CPU time limit exceeded, terminating
% 48.92/48.87 eprover: CPU time limit exceeded, terminating
% 50.90/50.88 eprover: CPU time limit exceeded, terminating
% 52.92/52.90 eprover: CPU time limit exceeded, terminating
% 54.99/54.91 eprover: CPU time limit exceeded, terminating
% 57.00/56.92 eprover: CPU time limit exceeded, terminating
% 59.00/58.94 eprover: CPU time limit exceeded, terminating
% 61.07/60.95 eprover: CPU time limit exceeded, terminating
% 63.09/62.96 eprover: CPU time limit exceeded, terminating
% 65.12/64.98 eprover: CPU time limit exceeded, terminating
% 67.12/66.99 eprover: CPU time limit exceeded, terminating
% 69.11/69.00 eprover: CPU time limit exceeded, terminating
% 71.18/71.02 eprover: CPU time limit exceeded, terminating
% 73.21/73.03 eprover: CPU time limit exceeded, terminating
% 75.22/75.04 eprover: CPU time limit exceeded, terminating
% 77.24/77.06 eprover: CPU time limit exceeded, terminating
% 79.25/79.07 eprover: CPU time limit exceeded, terminating
% 81.29/81.09 eprover: CPU time limit exceeded, terminating
% 83.27/83.10 eprover: CPU time limit exceeded, terminating
% 85.33/85.12 eprover: CPU time limit exceeded, terminating
% 87.35/87.13 eprover: CPU time limit exceeded, terminating
% 89.36/89.14 eprover: CPU time limit exceeded, terminating
% 91.39/91.16 eprover: CPU time limit exceeded, terminating
% 93.46/93.17 eprover: CPU time limit exceeded, terminating
% 95.46/95.18 eprover: CPU time limit exceeded, terminating
% 97.47/97.19 eprover: CPU time limit exceeded, terminating
% 99.47/99.20 eprover: CPU time limit exceeded, terminating
% 101.47/101.21 eprover: CPU time limit exceeded, terminating
% 103.47/103.23 eprover: CPU time limit exceeded, terminating
% 105.54/105.24 eprover: CPU time limit exceeded, terminating
% 107.59/107.25 eprover: CPU time limit exceeded, terminating
% 109.62/109.26 eprover: CPU time limit exceeded, terminating
% 111.62/111.27 eprover: CPU time limit exceeded, terminating
% 113.67/113.28 eprover: CPU time limit exceeded, terminating
% 115.65/115.29 eprover: CPU time limit exceeded, terminating
% 117.70/117.31 eprover: CPU time limit exceeded, terminating
% 119.66/119.32 eprover: CPU time limit exceeded, terminating
% 121.69/121.33 eprover: CPU time limit exceeded, terminating
% 123.77/123.34 eprover: CPU time limit exceeded, terminating
% 125.78/125.36 eprover: CPU time limit exceeded, terminating
% 127.78/127.37 eprover: CPU time limit exceeded, terminating
% 129.84/129.38 eprover: CPU time limit exceeded, terminating
% 131.83/131.40 eprover: CPU time limit exceeded, terminating
% 133.84/133.42 eprover: CPU time limit exceeded, terminating
% 135.92/135.43 eprover: CPU time limit exceeded, terminating
% 137.94/137.45 eprover: CPU time limit exceeded, terminating
% 139.93/139.46 eprover: CPU time limit exceeded, terminating
% 141.98/141.48 eprover: CPU time limit exceeded, terminating
% 143.97/143.50 eprover: CPU time limit exceeded, terminating
% 146.03/145.51 eprover: CPU time limit exceeded, terminating
% 147.99/147.53 eprover: CPU time limit exceeded, terminating
% 150.02/149.54 eprover: CPU time limit exceeded, terminating
% 152.10/151.56 eprover: CPU time limit exceeded, terminating
% 154.13/153.58 eprover: CPU time limit exceeded, terminating
% 156.12/155.59 eprover: CPU time limit exceeded, terminating
% 158.17/157.61 eprover: CPU time limit exceeded, terminating
% 160.19/159.62 eprover: CPU time limit exceeded, terminating
% 162.20/161.64 eprover: CPU time limit exceeded, terminating
% 164.25/163.65 eprover: CPU time limit exceeded, terminating
% 166.25/165.67 eprover: CPU time limit exceeded, terminating
% 168.25/167.68 eprover: CPU time limit exceeded, terminating
% 170.33/169.70 eprover: CPU time limit exceeded, terminating
% 172.31/171.71 eprover: CPU time limit exceeded, terminating
% 174.34/173.73 eprover: CPU time limit exceeded, terminating
% 176.34/175.74 eprover: CPU time limit exceeded, terminating
% 178.35/177.76 eprover: CPU time limit exceeded, terminating
% 180.38/179.77 eprover: CPU time limit exceeded, terminating
% 182.44/181.78 eprover: CPU time limit exceeded, terminating
% 184.46/183.80 eprover: CPU time limit exceeded, terminating
% 186.43/185.82 eprover: CPU time limit exceeded, terminating
% 188.46/187.83 eprover: CPU time limit exceeded, terminating
% 190.54/189.85 eprover: CPU time limit exceeded, terminating
% 192.58/191.86 eprover: CPU time limit exceeded, terminating
% 194.58/193.88 eprover: CPU time limit exceeded, terminating
% 196.61/195.89 eprover: CPU time limit exceeded, terminating
% 198.61/197.91 eprover: CPU time limit exceeded, terminating
% 200.63/199.92 eprover: CPU time limit exceeded, terminating
% 202.69/201.94 eprover: CPU time limit exceeded, terminating
% 204.72/203.95 eprover: CPU time limit exceeded, terminating
% 206.72/205.97 eprover: CPU time limit exceeded, terminating
% 208.73/207.99 eprover: CPU time limit exceeded, terminating
% 210.76/210.00 eprover: CPU time limit exceeded, terminating
% 212.80/212.02 eprover: CPU time limit exceeded, terminating
% 214.82/214.03 eprover: CPU time limit exceeded, terminating
% 216.86/216.05 eprover: CPU time limit exceeded, terminating
% 218.90/218.07 eprover: CPU time limit exceeded, terminating
% 220.89/220.08 eprover: CPU time limit exceeded, terminating
% 222.90/222.09 eprover: CPU time limit exceeded, terminating
% 224.92/224.11 eprover: CPU time limit exceeded, terminating
% 227.00/226.13 eprover: CPU time limit exceeded, terminating
% 228.96/228.14 eprover: CPU time limit exceeded, terminating
% 231.02/230.16 eprover: CPU time limit exceeded, terminating
% 233.04/232.17 eprover: CPU time limit exceeded, terminating
% 235.08/234.19 eprover: CPU time limit exceeded, terminating
% 237.09/236.20 eprover: CPU time limit exceeded, terminating
% 239.09/238.22 eprover: CPU time limit exceeded, terminating
% 241.14/240.23 eprover: CPU time limit exceeded, terminating
% 243.12/242.25 eprover: CPU time limit exceeded, terminating
% 245.16/244.27 eprover: CPU time limit exceeded, terminating
% 247.21/246.28 eprover: CPU time limit exceeded, terminating
% 249.20/248.30 eprover: CPU time limit exceeded, terminating
% 251.27/250.31 eprover: CPU time limit exceeded, terminating
% 253.24/252.33 eprover: CPU time limit exceeded, terminating
% 255.31/254.34 eprover: CPU time limit exceeded, terminating
% 257.33/256.36 eprover: CPU time limit exceeded, terminating
% 259.33/258.37 eprover: CPU time limit exceeded, terminating
% 261.38/260.39 eprover: CPU time limit exceeded, terminating
% 263.43/262.40 eprover: CPU time limit exceeded, terminating
% 265.41/264.42 eprover: CPU time limit exceeded, terminating
% 267.47/266.43 eprover: CPU time limit exceeded, terminating
% 269.42/268.45 eprover: CPU time limit exceeded, terminating
% 271.52/270.46 eprover: CPU time limit exceeded, terminating
% 273.49/272.48 eprover: CPU time limit exceeded, terminating
% 275.53/274.50 eprover: CPU time limit exceeded, terminating
% 277.52/276.51 eprover: CPU time limit exceeded, terminating
% 279.56/278.53 eprover: CPU time limit exceeded, terminating
% 281.62/280.55 eprover: CPU time limit exceeded, terminating
% 283.68/282.56 eprover: CPU time limit exceeded, terminating
% 285.66/284.58 eprover: CPU time limit exceeded, terminating
% 287.66/286.59 eprover: CPU time limit exceeded, terminating
% 289.74/288.61 eprover: CPU time limit exceeded, terminating
% 291.76/290.62 eprover: CPU time limit exceeded, terminating
% 293.76/292.64 eprover: CPU time limit exceeded, terminating
% 295.75/294.66 eprover: CPU time limit exceeded, terminating
% 297.82/296.67 eprover: CPU time limit exceeded, terminating
% 299.81/298.69 eprover: CPU time limit exceeded, terminating
% 300.04/298.84 eprover: CPU time limit exceeded, terminating
% 300.04/298.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------