%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : LAT313+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n015.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 : Sun Jul 17 05:14:15 EDT 2022 % Result : Timeout 285.74s 268.02s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : LAT313+2 : TPTP v8.1.0. Released v3.4.0. % 0.06/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n015.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 Jun 29 08:57:11 EDT 2022 % 0.13/0.34 % CPUTime : % 12.65/12.74 eprover: CPU time limit exceeded, terminating % 14.87/14.75 eprover: CPU time limit exceeded, terminating % 16.94/16.76 eprover: CPU time limit exceeded, terminating % 19.15/18.77 eprover: CPU time limit exceeded, terminating % 21.31/20.78 eprover: CPU time limit exceeded, terminating % 23.43/22.79 eprover: CPU time limit exceeded, terminating % 25.60/24.80 eprover: CPU time limit exceeded, terminating % 27.76/26.81 eprover: CPU time limit exceeded, terminating % 29.93/28.82 eprover: CPU time limit exceeded, terminating % 32.09/30.83 eprover: CPU time limit exceeded, terminating % 34.18/32.84 eprover: CPU time limit exceeded, terminating % 36.39/34.85 eprover: CPU time limit exceeded, terminating % 38.51/36.86 eprover: CPU time limit exceeded, terminating % 40.70/38.87 eprover: CPU time limit exceeded, terminating % 42.79/40.89 eprover: CPU time limit exceeded, terminating % 44.94/42.90 eprover: CPU time limit exceeded, terminating % 47.12/44.91 eprover: CPU time limit exceeded, terminating % 49.27/46.92 eprover: CPU time limit exceeded, terminating % 51.42/48.93 eprover: CPU time limit exceeded, terminating % 53.60/50.94 eprover: CPU time limit exceeded, terminating % 55.74/52.95 eprover: CPU time limit exceeded, terminating % 57.85/54.96 eprover: CPU time limit exceeded, terminating % 60.04/56.97 eprover: CPU time limit exceeded, terminating % 62.21/58.98 eprover: CPU time limit exceeded, terminating % 64.31/60.99 eprover: CPU time limit exceeded, terminating % 66.51/63.00 eprover: CPU time limit exceeded, terminating % 68.61/65.01 eprover: CPU time limit exceeded, terminating % 70.82/67.02 eprover: CPU time limit exceeded, terminating % 73.00/69.03 eprover: CPU time limit exceeded, terminating % 75.15/71.04 eprover: CPU time limit exceeded, terminating % 77.27/73.05 eprover: CPU time limit exceeded, terminating % 79.39/75.06 eprover: CPU time limit exceeded, terminating % 81.54/77.07 eprover: CPU time limit exceeded, terminating % 83.65/79.08 eprover: CPU time limit exceeded, terminating % 85.84/81.09 eprover: CPU time limit exceeded, terminating % 87.99/83.10 eprover: CPU time limit exceeded, terminating % 90.22/85.11 eprover: CPU time limit exceeded, terminating % 92.33/87.12 eprover: CPU time limit exceeded, terminating % 94.52/89.13 eprover: CPU time limit exceeded, terminating % 96.66/91.14 eprover: CPU time limit exceeded, terminating % 98.77/93.15 eprover: CPU time limit exceeded, terminating % 100.94/95.16 eprover: CPU time limit exceeded, terminating % 103.06/97.17 eprover: CPU time limit exceeded, terminating % 105.25/99.18 eprover: CPU time limit exceeded, terminating % 107.42/101.19 eprover: CPU time limit exceeded, terminating % 109.51/103.20 eprover: CPU time limit exceeded, terminating % 111.72/105.21 eprover: CPU time limit exceeded, terminating % 113.88/107.22 eprover: CPU time limit exceeded, terminating % 115.98/109.23 eprover: CPU time limit exceeded, terminating % 118.16/111.24 eprover: CPU time limit exceeded, terminating % 120.26/113.25 eprover: CPU time limit exceeded, terminating % 122.38/115.26 eprover: CPU time limit exceeded, terminating % 124.56/117.27 eprover: CPU time limit exceeded, terminating % 126.76/119.28 eprover: CPU time limit exceeded, terminating % 128.84/121.29 eprover: CPU time limit exceeded, terminating % 131.06/123.30 eprover: CPU time limit exceeded, terminating % 133.22/125.31 eprover: CPU time limit exceeded, terminating % 135.37/127.32 eprover: CPU time limit exceeded, terminating % 137.51/129.33 eprover: CPU time limit exceeded, terminating % 139.65/131.34 eprover: CPU time limit exceeded, terminating % 141.81/133.35 eprover: CPU time limit exceeded, terminating % 143.91/135.36 eprover: CPU time limit exceeded, terminating % 146.05/137.37 eprover: CPU time limit exceeded, terminating % 148.21/139.38 eprover: CPU time limit exceeded, terminating % 150.42/141.39 eprover: CPU time limit exceeded, terminating % 152.50/143.40 eprover: CPU time limit exceeded, terminating % 154.72/145.41 eprover: CPU time limit exceeded, terminating % 156.86/147.42 eprover: CPU time limit exceeded, terminating % 158.98/149.43 eprover: CPU time limit exceeded, terminating % 161.09/151.44 eprover: CPU time limit exceeded, terminating % 163.27/153.45 eprover: CPU time limit exceeded, terminating % 165.42/155.46 eprover: CPU time limit exceeded, terminating % 167.55/157.47 eprover: CPU time limit exceeded, terminating % 169.77/159.48 eprover: CPU time limit exceeded, terminating % 171.89/161.49 eprover: CPU time limit exceeded, terminating % 174.06/163.50 eprover: CPU time limit exceeded, terminating % 176.18/165.51 eprover: CPU time limit exceeded, terminating % 178.32/167.52 eprover: CPU time limit exceeded, terminating % 180.47/169.53 eprover: CPU time limit exceeded, terminating % 182.61/171.54 eprover: CPU time limit exceeded, terminating % 184.77/173.55 eprover: CPU time limit exceeded, terminating % 186.90/175.56 eprover: CPU time limit exceeded, terminating % 189.01/177.57 eprover: CPU time limit exceeded, terminating % 191.23/179.58 eprover: CPU time limit exceeded, terminating % 193.32/181.59 eprover: CPU time limit exceeded, terminating % 195.51/183.60 eprover: CPU time limit exceeded, terminating % 197.68/185.61 eprover: CPU time limit exceeded, terminating % 199.84/187.62 eprover: CPU time limit exceeded, terminating % 201.96/189.63 eprover: CPU time limit exceeded, terminating % 204.10/191.64 eprover: CPU time limit exceeded, terminating % 206.25/193.65 eprover: CPU time limit exceeded, terminating % 208.37/195.66 eprover: CPU time limit exceeded, terminating % 210.60/197.67 eprover: CPU time limit exceeded, terminating % 212.66/199.68 eprover: CPU time limit exceeded, terminating % 214.90/201.69 eprover: CPU time limit exceeded, terminating % 217.03/203.70 eprover: CPU time limit exceeded, terminating % 219.19/205.71 eprover: CPU time limit exceeded, terminating % 221.35/207.72 eprover: CPU time limit exceeded, terminating % 223.46/209.73 eprover: CPU time limit exceeded, terminating % 225.59/211.74 eprover: CPU time limit exceeded, terminating % 227.73/213.75 eprover: CPU time limit exceeded, terminating % 229.91/215.76 eprover: CPU time limit exceeded, terminating % 231.99/217.77 eprover: CPU time limit exceeded, terminating % 234.16/219.78 eprover: CPU time limit exceeded, terminating % 236.31/221.79 eprover: CPU time limit exceeded, terminating % 238.53/223.80 eprover: CPU time limit exceeded, terminating % 240.64/225.81 eprover: CPU time limit exceeded, terminating % 242.78/227.82 eprover: CPU time limit exceeded, terminating % 244.96/229.83 eprover: CPU time limit exceeded, terminating % 247.06/231.84 eprover: CPU time limit exceeded, terminating % 249.21/233.85 eprover: CPU time limit exceeded, terminating % 251.37/235.86 eprover: CPU time limit exceeded, terminating % 253.49/237.87 eprover: CPU time limit exceeded, terminating % 255.63/239.88 eprover: CPU time limit exceeded, terminating % 257.77/241.89 eprover: CPU time limit exceeded, terminating % 259.99/243.90 eprover: CPU time limit exceeded, terminating % 262.13/245.91 eprover: CPU time limit exceeded, terminating % 264.28/247.93 eprover: CPU time limit exceeded, terminating % 266.42/249.94 eprover: CPU time limit exceeded, terminating % 268.53/251.95 eprover: CPU time limit exceeded, terminating % 270.68/253.96 eprover: CPU time limit exceeded, terminating % 272.82/255.97 eprover: CPU time limit exceeded, terminating % 275.02/257.97 eprover: CPU time limit exceeded, terminating % 277.09/259.98 eprover: CPU time limit exceeded, terminating % 279.24/261.99 eprover: CPU time limit exceeded, terminating % 281.45/264.00 eprover: CPU time limit exceeded, terminating % 283.58/266.01 eprover: CPU time limit exceeded, terminating % 285.74/268.02 eprover: CPU time limit exceeded, terminating % 287.87/270.03 eprover: CPU time limit exceeded, terminating % 290.01/272.05 eprover: CPU time limit exceeded, terminating % 292.13/274.06 eprover: CPU time limit exceeded, terminating % 294.35/276.09 eprover: CPU time limit exceeded, terminating % 296.40/278.10 eprover: CPU time limit exceeded, terminating % 298.61/280.11 eprover: CPU time limit exceeded, terminating % 300.07/281.42 eprover: CPU time limit exceeded, terminating % 300.07/281.43 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------