TSTP Solution File: NUM667+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM667+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:39:19 EDT 2022
% Result : Timeout 285.93s 282.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : NUM667+4 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.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 : Wed Jul 6 16:49:26 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.84/3.00 eprover: CPU time limit exceeded, terminating
% 4.81/5.01 eprover: CPU time limit exceeded, terminating
% 6.90/7.02 eprover: CPU time limit exceeded, terminating
% 8.94/9.03 eprover: CPU time limit exceeded, terminating
% 10.93/11.04 eprover: CPU time limit exceeded, terminating
% 13.01/13.05 eprover: CPU time limit exceeded, terminating
% 15.07/15.06 eprover: CPU time limit exceeded, terminating
% 17.05/17.07 eprover: CPU time limit exceeded, terminating
% 19.14/19.08 eprover: CPU time limit exceeded, terminating
% 21.12/21.09 eprover: CPU time limit exceeded, terminating
% 23.21/23.10 eprover: CPU time limit exceeded, terminating
% 25.18/25.11 eprover: CPU time limit exceeded, terminating
% 27.29/27.12 eprover: CPU time limit exceeded, terminating
% 29.31/29.13 eprover: CPU time limit exceeded, terminating
% 31.30/31.14 eprover: CPU time limit exceeded, terminating
% 33.34/33.15 eprover: CPU time limit exceeded, terminating
% 35.35/35.16 eprover: CPU time limit exceeded, terminating
% 37.39/37.17 eprover: CPU time limit exceeded, terminating
% 39.50/39.18 eprover: CPU time limit exceeded, terminating
% 41.47/41.19 eprover: CPU time limit exceeded, terminating
% 43.59/43.20 eprover: CPU time limit exceeded, terminating
% 45.62/45.21 eprover: CPU time limit exceeded, terminating
% 47.66/47.22 eprover: CPU time limit exceeded, terminating
% 49.69/49.23 eprover: CPU time limit exceeded, terminating
% 51.68/51.24 eprover: CPU time limit exceeded, terminating
% 53.73/53.25 eprover: CPU time limit exceeded, terminating
% 55.73/55.26 eprover: CPU time limit exceeded, terminating
% 57.78/57.27 eprover: CPU time limit exceeded, terminating
% 59.86/59.28 eprover: CPU time limit exceeded, terminating
% 61.83/61.29 eprover: CPU time limit exceeded, terminating
% 63.93/63.30 eprover: CPU time limit exceeded, terminating
% 65.98/65.31 eprover: CPU time limit exceeded, terminating
% 67.99/67.32 eprover: CPU time limit exceeded, terminating
% 70.00/69.33 eprover: CPU time limit exceeded, terminating
% 72.04/71.34 eprover: CPU time limit exceeded, terminating
% 74.06/73.35 eprover: CPU time limit exceeded, terminating
% 76.13/75.36 eprover: CPU time limit exceeded, terminating
% 78.20/77.37 eprover: CPU time limit exceeded, terminating
% 80.19/79.38 eprover: CPU time limit exceeded, terminating
% 82.26/81.39 eprover: CPU time limit exceeded, terminating
% 84.32/83.40 eprover: CPU time limit exceeded, terminating
% 86.28/85.41 eprover: CPU time limit exceeded, terminating
% 88.40/87.42 eprover: CPU time limit exceeded, terminating
% 90.40/89.43 eprover: CPU time limit exceeded, terminating
% 92.41/91.44 eprover: CPU time limit exceeded, terminating
% 94.48/93.45 eprover: CPU time limit exceeded, terminating
% 96.53/95.46 eprover: CPU time limit exceeded, terminating
% 98.54/97.47 eprover: CPU time limit exceeded, terminating
% 100.61/99.48 eprover: CPU time limit exceeded, terminating
% 102.64/101.49 eprover: CPU time limit exceeded, terminating
% 104.68/103.50 eprover: CPU time limit exceeded, terminating
% 106.72/105.51 eprover: CPU time limit exceeded, terminating
% 108.73/107.52 eprover: CPU time limit exceeded, terminating
% 110.79/109.53 eprover: CPU time limit exceeded, terminating
% 112.80/111.54 eprover: CPU time limit exceeded, terminating
% 114.84/113.55 eprover: CPU time limit exceeded, terminating
% 116.86/115.56 eprover: CPU time limit exceeded, terminating
% 118.89/117.57 eprover: CPU time limit exceeded, terminating
% 120.92/119.59 eprover: CPU time limit exceeded, terminating
% 122.91/121.60 eprover: CPU time limit exceeded, terminating
% 125.06/123.62 eprover: CPU time limit exceeded, terminating
% 127.05/125.63 eprover: CPU time limit exceeded, terminating
% 129.09/127.64 eprover: CPU time limit exceeded, terminating
% 131.11/129.65 eprover: CPU time limit exceeded, terminating
% 133.15/131.66 eprover: CPU time limit exceeded, terminating
% 135.14/133.68 eprover: CPU time limit exceeded, terminating
% 137.17/135.69 eprover: CPU time limit exceeded, terminating
% 139.23/137.70 eprover: CPU time limit exceeded, terminating
% 141.33/139.73 eprover: CPU time limit exceeded, terminating
% 143.37/141.74 eprover: CPU time limit exceeded, terminating
% 145.37/143.76 eprover: CPU time limit exceeded, terminating
% 147.37/145.77 eprover: CPU time limit exceeded, terminating
% 149.43/147.79 eprover: CPU time limit exceeded, terminating
% 151.45/149.80 eprover: CPU time limit exceeded, terminating
% 153.55/151.81 eprover: CPU time limit exceeded, terminating
% 155.59/153.82 eprover: CPU time limit exceeded, terminating
% 157.62/155.83 eprover: CPU time limit exceeded, terminating
% 159.65/157.84 eprover: CPU time limit exceeded, terminating
% 161.67/159.86 eprover: CPU time limit exceeded, terminating
% 163.72/161.87 eprover: CPU time limit exceeded, terminating
% 165.71/163.88 eprover: CPU time limit exceeded, terminating
% 167.78/165.89 eprover: CPU time limit exceeded, terminating
% 169.85/167.91 eprover: CPU time limit exceeded, terminating
% 171.89/169.92 eprover: CPU time limit exceeded, terminating
% 173.91/171.93 eprover: CPU time limit exceeded, terminating
% 175.95/173.95 eprover: CPU time limit exceeded, terminating
% 177.94/175.96 eprover: CPU time limit exceeded, terminating
% 179.99/177.97 eprover: CPU time limit exceeded, terminating
% 182.02/179.98 eprover: CPU time limit exceeded, terminating
% 184.13/181.99 eprover: CPU time limit exceeded, terminating
% 186.13/184.01 eprover: CPU time limit exceeded, terminating
% 188.20/186.02 eprover: CPU time limit exceeded, terminating
% 190.18/188.03 eprover: CPU time limit exceeded, terminating
% 192.24/190.04 eprover: CPU time limit exceeded, terminating
% 194.23/192.05 eprover: CPU time limit exceeded, terminating
% 196.28/194.06 eprover: CPU time limit exceeded, terminating
% 198.38/196.08 eprover: CPU time limit exceeded, terminating
% 200.35/198.09 eprover: CPU time limit exceeded, terminating
% 202.45/200.10 eprover: CPU time limit exceeded, terminating
% 204.48/202.12 eprover: CPU time limit exceeded, terminating
% 206.51/204.13 eprover: CPU time limit exceeded, terminating
% 208.54/206.14 eprover: CPU time limit exceeded, terminating
% 210.55/208.15 eprover: CPU time limit exceeded, terminating
% 212.59/210.16 eprover: CPU time limit exceeded, terminating
% 214.59/212.18 eprover: CPU time limit exceeded, terminating
% 216.65/214.19 eprover: CPU time limit exceeded, terminating
% 218.74/216.20 eprover: CPU time limit exceeded, terminating
% 220.77/218.21 eprover: CPU time limit exceeded, terminating
% 222.76/220.22 eprover: CPU time limit exceeded, terminating
% 224.82/222.23 eprover: CPU time limit exceeded, terminating
% 226.89/224.24 eprover: CPU time limit exceeded, terminating
% 228.88/226.26 eprover: CPU time limit exceeded, terminating
% 230.92/228.27 eprover: CPU time limit exceeded, terminating
% 232.94/230.28 eprover: CPU time limit exceeded, terminating
% 235.03/232.31 eprover: CPU time limit exceeded, terminating
% 237.05/234.32 eprover: CPU time limit exceeded, terminating
% 239.09/236.34 eprover: CPU time limit exceeded, terminating
% 241.09/238.35 eprover: CPU time limit exceeded, terminating
% 243.17/240.36 eprover: CPU time limit exceeded, terminating
% 245.16/242.38 eprover: CPU time limit exceeded, terminating
% 247.25/244.39 eprover: CPU time limit exceeded, terminating
% 249.22/246.40 eprover: CPU time limit exceeded, terminating
% 251.34/248.42 eprover: CPU time limit exceeded, terminating
% 253.36/250.43 eprover: CPU time limit exceeded, terminating
% 255.39/252.44 eprover: CPU time limit exceeded, terminating
% 257.41/254.45 eprover: CPU time limit exceeded, terminating
% 259.41/256.46 eprover: CPU time limit exceeded, terminating
% 261.45/258.48 eprover: CPU time limit exceeded, terminating
% 263.49/260.49 eprover: CPU time limit exceeded, terminating
% 265.60/262.50 eprover: CPU time limit exceeded, terminating
% 267.60/264.51 eprover: CPU time limit exceeded, terminating
% 269.62/266.53 eprover: CPU time limit exceeded, terminating
% 271.67/268.54 eprover: CPU time limit exceeded, terminating
% 273.71/270.56 eprover: CPU time limit exceeded, terminating
% 275.71/272.57 eprover: CPU time limit exceeded, terminating
% 277.73/274.58 eprover: CPU time limit exceeded, terminating
% 279.78/276.59 eprover: CPU time limit exceeded, terminating
% 281.81/278.61 eprover: CPU time limit exceeded, terminating
% 283.92/280.62 eprover: CPU time limit exceeded, terminating
% 285.93/282.63 eprover: CPU time limit exceeded, terminating
% 287.94/284.65 eprover: CPU time limit exceeded, terminating
% 289.98/286.66 eprover: CPU time limit exceeded, terminating
% 292.02/288.68 eprover: CPU time limit exceeded, terminating
% 294.01/290.69 eprover: CPU time limit exceeded, terminating
% 296.13/292.72 eprover: CPU time limit exceeded, terminating
% 298.17/294.73 eprover: CPU time limit exceeded, terminating
% 300.09/296.62 eprover: CPU time limit exceeded, terminating
% 300.09/296.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------