TSTP Solution File: NUM655+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM655+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.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:07 EDT 2022
% Result : Timeout 285.95s 282.48s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM655+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n005.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 14:00:37 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.86/3.09 eprover: CPU time limit exceeded, terminating
% 4.94/5.10 eprover: CPU time limit exceeded, terminating
% 6.91/7.10 eprover: CPU time limit exceeded, terminating
% 9.00/9.11 eprover: CPU time limit exceeded, terminating
% 11.05/11.12 eprover: CPU time limit exceeded, terminating
% 13.09/13.13 eprover: CPU time limit exceeded, terminating
% 15.11/15.14 eprover: CPU time limit exceeded, terminating
% 17.08/17.15 eprover: CPU time limit exceeded, terminating
% 19.20/19.16 eprover: CPU time limit exceeded, terminating
% 21.21/21.17 eprover: CPU time limit exceeded, terminating
% 23.23/23.18 eprover: CPU time limit exceeded, terminating
% 25.26/25.19 eprover: CPU time limit exceeded, terminating
% 27.33/27.20 eprover: CPU time limit exceeded, terminating
% 29.31/29.21 eprover: CPU time limit exceeded, terminating
% 31.38/31.22 eprover: CPU time limit exceeded, terminating
% 33.42/33.23 eprover: CPU time limit exceeded, terminating
% 35.46/35.24 eprover: CPU time limit exceeded, terminating
% 37.44/37.25 eprover: CPU time limit exceeded, terminating
% 39.54/39.26 eprover: CPU time limit exceeded, terminating
% 41.53/41.27 eprover: CPU time limit exceeded, terminating
% 43.59/43.28 eprover: CPU time limit exceeded, terminating
% 45.59/45.29 eprover: CPU time limit exceeded, terminating
% 47.62/47.30 eprover: CPU time limit exceeded, terminating
% 49.70/49.31 eprover: CPU time limit exceeded, terminating
% 51.75/51.32 eprover: CPU time limit exceeded, terminating
% 53.76/53.33 eprover: CPU time limit exceeded, terminating
% 55.82/55.33 eprover: CPU time limit exceeded, terminating
% 57.86/57.34 eprover: CPU time limit exceeded, terminating
% 59.83/59.35 eprover: CPU time limit exceeded, terminating
% 61.90/61.36 eprover: CPU time limit exceeded, terminating
% 63.98/63.37 eprover: CPU time limit exceeded, terminating
% 65.97/65.38 eprover: CPU time limit exceeded, terminating
% 68.05/67.39 eprover: CPU time limit exceeded, terminating
% 70.07/69.40 eprover: CPU time limit exceeded, terminating
% 72.11/71.41 eprover: CPU time limit exceeded, terminating
% 74.13/73.42 eprover: CPU time limit exceeded, terminating
% 76.17/75.43 eprover: CPU time limit exceeded, terminating
% 78.16/77.44 eprover: CPU time limit exceeded, terminating
% 80.22/79.45 eprover: CPU time limit exceeded, terminating
% 82.22/81.46 eprover: CPU time limit exceeded, terminating
% 84.29/83.47 eprover: CPU time limit exceeded, terminating
% 86.28/85.48 eprover: CPU time limit exceeded, terminating
% 88.36/87.49 eprover: CPU time limit exceeded, terminating
% 90.42/89.50 eprover: CPU time limit exceeded, terminating
% 92.40/91.50 eprover: CPU time limit exceeded, terminating
% 94.45/93.52 eprover: CPU time limit exceeded, terminating
% 96.51/95.53 eprover: CPU time limit exceeded, terminating
% 98.55/97.54 eprover: CPU time limit exceeded, terminating
% 100.55/99.55 eprover: CPU time limit exceeded, terminating
% 102.60/101.56 eprover: CPU time limit exceeded, terminating
% 104.67/103.57 eprover: CPU time limit exceeded, terminating
% 106.72/105.58 eprover: CPU time limit exceeded, terminating
% 108.71/107.59 eprover: CPU time limit exceeded, terminating
% 110.78/109.60 eprover: CPU time limit exceeded, terminating
% 112.78/111.61 eprover: CPU time limit exceeded, terminating
% 114.84/113.62 eprover: CPU time limit exceeded, terminating
% 116.89/115.63 eprover: CPU time limit exceeded, terminating
% 118.92/117.64 eprover: CPU time limit exceeded, terminating
% 120.95/119.65 eprover: CPU time limit exceeded, terminating
% 123.00/121.66 eprover: CPU time limit exceeded, terminating
% 124.97/123.67 eprover: CPU time limit exceeded, terminating
% 127.03/125.68 eprover: CPU time limit exceeded, terminating
% 129.05/127.69 eprover: CPU time limit exceeded, terminating
% 131.14/129.70 eprover: CPU time limit exceeded, terminating
% 133.17/131.71 eprover: CPU time limit exceeded, terminating
% 135.22/133.72 eprover: CPU time limit exceeded, terminating
% 137.21/135.73 eprover: CPU time limit exceeded, terminating
% 139.30/137.74 eprover: CPU time limit exceeded, terminating
% 141.25/139.75 eprover: CPU time limit exceeded, terminating
% 143.35/141.76 eprover: CPU time limit exceeded, terminating
% 145.37/143.77 eprover: CPU time limit exceeded, terminating
% 147.41/145.77 eprover: CPU time limit exceeded, terminating
% 149.42/147.78 eprover: CPU time limit exceeded, terminating
% 151.46/149.79 eprover: CPU time limit exceeded, terminating
% 153.52/151.80 eprover: CPU time limit exceeded, terminating
% 155.57/153.81 eprover: CPU time limit exceeded, terminating
% 157.61/155.82 eprover: CPU time limit exceeded, terminating
% 159.62/157.83 eprover: CPU time limit exceeded, terminating
% 161.65/159.84 eprover: CPU time limit exceeded, terminating
% 163.71/161.85 eprover: CPU time limit exceeded, terminating
% 165.72/163.86 eprover: CPU time limit exceeded, terminating
% 167.80/165.87 eprover: CPU time limit exceeded, terminating
% 169.81/167.88 eprover: CPU time limit exceeded, terminating
% 171.87/169.89 eprover: CPU time limit exceeded, terminating
% 173.89/171.90 eprover: CPU time limit exceeded, terminating
% 175.95/173.92 eprover: CPU time limit exceeded, terminating
% 177.94/175.93 eprover: CPU time limit exceeded, terminating
% 179.98/177.94 eprover: CPU time limit exceeded, terminating
% 182.03/179.95 eprover: CPU time limit exceeded, terminating
% 184.10/181.96 eprover: CPU time limit exceeded, terminating
% 186.06/183.97 eprover: CPU time limit exceeded, terminating
% 188.16/185.98 eprover: CPU time limit exceeded, terminating
% 190.16/187.98 eprover: CPU time limit exceeded, terminating
% 192.25/189.99 eprover: CPU time limit exceeded, terminating
% 194.27/192.01 eprover: CPU time limit exceeded, terminating
% 196.33/194.02 eprover: CPU time limit exceeded, terminating
% 198.37/196.03 eprover: CPU time limit exceeded, terminating
% 200.41/198.04 eprover: CPU time limit exceeded, terminating
% 202.38/200.05 eprover: CPU time limit exceeded, terminating
% 204.46/202.06 eprover: CPU time limit exceeded, terminating
% 206.52/204.07 eprover: CPU time limit exceeded, terminating
% 208.54/206.08 eprover: CPU time limit exceeded, terminating
% 210.55/208.09 eprover: CPU time limit exceeded, terminating
% 212.60/210.10 eprover: CPU time limit exceeded, terminating
% 214.65/212.11 eprover: CPU time limit exceeded, terminating
% 216.67/214.12 eprover: CPU time limit exceeded, terminating
% 218.73/216.13 eprover: CPU time limit exceeded, terminating
% 220.72/218.14 eprover: CPU time limit exceeded, terminating
% 222.78/220.15 eprover: CPU time limit exceeded, terminating
% 224.82/222.16 eprover: CPU time limit exceeded, terminating
% 226.84/224.17 eprover: CPU time limit exceeded, terminating
% 228.90/226.18 eprover: CPU time limit exceeded, terminating
% 230.90/228.19 eprover: CPU time limit exceeded, terminating
% 232.97/230.20 eprover: CPU time limit exceeded, terminating
% 235.01/232.21 eprover: CPU time limit exceeded, terminating
% 237.07/234.23 eprover: CPU time limit exceeded, terminating
% 239.11/236.24 eprover: CPU time limit exceeded, terminating
% 241.14/238.25 eprover: CPU time limit exceeded, terminating
% 243.18/240.26 eprover: CPU time limit exceeded, terminating
% 245.21/242.27 eprover: CPU time limit exceeded, terminating
% 247.25/244.28 eprover: CPU time limit exceeded, terminating
% 249.25/246.29 eprover: CPU time limit exceeded, terminating
% 251.30/248.30 eprover: CPU time limit exceeded, terminating
% 253.30/250.31 eprover: CPU time limit exceeded, terminating
% 255.34/252.32 eprover: CPU time limit exceeded, terminating
% 257.41/254.34 eprover: CPU time limit exceeded, terminating
% 259.38/256.35 eprover: CPU time limit exceeded, terminating
% 261.47/258.36 eprover: CPU time limit exceeded, terminating
% 263.53/260.37 eprover: CPU time limit exceeded, terminating
% 265.53/262.38 eprover: CPU time limit exceeded, terminating
% 267.60/264.39 eprover: CPU time limit exceeded, terminating
% 269.65/266.40 eprover: CPU time limit exceeded, terminating
% 271.63/268.41 eprover: CPU time limit exceeded, terminating
% 273.72/270.42 eprover: CPU time limit exceeded, terminating
% 275.73/272.43 eprover: CPU time limit exceeded, terminating
% 277.79/274.44 eprover: CPU time limit exceeded, terminating
% 279.78/276.45 eprover: CPU time limit exceeded, terminating
% 281.85/278.46 eprover: CPU time limit exceeded, terminating
% 283.89/280.47 eprover: CPU time limit exceeded, terminating
% 285.95/282.48 eprover: CPU time limit exceeded, terminating
% 287.96/284.49 eprover: CPU time limit exceeded, terminating
% 289.95/286.50 eprover: CPU time limit exceeded, terminating
% 292.02/288.51 eprover: CPU time limit exceeded, terminating
% 294.07/290.52 eprover: CPU time limit exceeded, terminating
% 296.13/292.53 eprover: CPU time limit exceeded, terminating
% 298.15/294.54 eprover: CPU time limit exceeded, terminating
% 300.08/296.42 eprover: CPU time limit exceeded, terminating
% 300.08/296.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------