%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV482+1 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n026.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 : Wed Jul 20 18:50:13 EDT 2022 % Result : Timeout 286.90s 286.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV482+1 : TPTP v8.1.0. Released v4.0.0. % 0.03/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n026.cluster.edu % 0.13/0.33 % Model : x86_64 x86_64 % 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.33 % Memory : 8042.1875MB % 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.33 % CPULimit : 300 % 0.13/0.33 % WCLimit : 600 % 0.13/0.33 % DateTime : Tue Jun 14 16:01:21 EDT 2022 % 0.13/0.34 % CPUTime : % 2.35/2.56 eprover: CPU time limit exceeded, terminating % 4.37/4.57 eprover: CPU time limit exceeded, terminating % 6.42/6.58 eprover: CPU time limit exceeded, terminating % 8.44/8.59 eprover: CPU time limit exceeded, terminating % 10.40/10.60 eprover: CPU time limit exceeded, terminating % 12.45/12.61 eprover: CPU time limit exceeded, terminating % 14.45/14.64 eprover: CPU time limit exceeded, terminating % 16.44/16.65 eprover: CPU time limit exceeded, terminating % 18.45/18.66 eprover: CPU time limit exceeded, terminating % 20.43/20.67 eprover: CPU time limit exceeded, terminating % 22.49/22.68 eprover: CPU time limit exceeded, terminating % 24.55/24.69 eprover: CPU time limit exceeded, terminating % 26.58/26.71 eprover: CPU time limit exceeded, terminating % 28.58/28.72 eprover: CPU time limit exceeded, terminating % 30.60/30.73 eprover: CPU time limit exceeded, terminating % 32.63/32.74 eprover: CPU time limit exceeded, terminating % 34.60/34.76 eprover: CPU time limit exceeded, terminating % 36.59/36.77 eprover: CPU time limit exceeded, terminating % 38.60/38.78 eprover: CPU time limit exceeded, terminating % 40.66/40.80 eprover: CPU time limit exceeded, terminating % 42.74/42.81 eprover: CPU time limit exceeded, terminating % 44.73/44.82 eprover: CPU time limit exceeded, terminating % 46.75/46.83 eprover: CPU time limit exceeded, terminating % 48.76/48.84 eprover: CPU time limit exceeded, terminating % 50.71/50.87 eprover: CPU time limit exceeded, terminating % 52.74/52.88 eprover: CPU time limit exceeded, terminating % 54.83/54.89 eprover: CPU time limit exceeded, terminating % 56.85/56.90 eprover: CPU time limit exceeded, terminating % 58.86/58.92 eprover: CPU time limit exceeded, terminating % 60.85/60.94 eprover: CPU time limit exceeded, terminating % 62.83/62.95 eprover: CPU time limit exceeded, terminating % 64.89/64.96 eprover: CPU time limit exceeded, terminating % 66.89/66.98 eprover: CPU time limit exceeded, terminating % 68.96/68.99 eprover: CPU time limit exceeded, terminating % 70.95/71.00 eprover: CPU time limit exceeded, terminating % 72.97/73.02 eprover: CPU time limit exceeded, terminating % 75.01/75.03 eprover: CPU time limit exceeded, terminating % 77.04/77.04 eprover: CPU time limit exceeded, terminating % 79.01/79.06 eprover: CPU time limit exceeded, terminating % 81.09/81.07 eprover: CPU time limit exceeded, terminating % 83.04/83.09 eprover: CPU time limit exceeded, terminating % 85.12/85.10 eprover: CPU time limit exceeded, terminating % 87.14/87.11 eprover: CPU time limit exceeded, terminating % 89.15/89.13 eprover: CPU time limit exceeded, terminating % 91.11/91.14 eprover: CPU time limit exceeded, terminating % 93.14/93.15 eprover: CPU time limit exceeded, terminating % 95.17/95.17 eprover: CPU time limit exceeded, terminating % 97.23/97.18 eprover: CPU time limit exceeded, terminating % 99.25/99.19 eprover: CPU time limit exceeded, terminating % 101.26/101.20 eprover: CPU time limit exceeded, terminating % 103.30/103.22 eprover: CPU time limit exceeded, terminating % 105.30/105.23 eprover: CPU time limit exceeded, terminating % 107.29/107.25 eprover: CPU time limit exceeded, terminating % 109.32/109.26 eprover: CPU time limit exceeded, terminating % 111.29/111.27 eprover: CPU time limit exceeded, terminating % 113.36/113.28 eprover: CPU time limit exceeded, terminating % 115.40/115.30 eprover: CPU time limit exceeded, terminating % 117.39/117.31 eprover: CPU time limit exceeded, terminating % 119.41/119.32 eprover: CPU time limit exceeded, terminating % 121.43/121.33 eprover: CPU time limit exceeded, terminating % 123.41/123.35 eprover: CPU time limit exceeded, terminating % 125.45/125.36 eprover: CPU time limit exceeded, terminating % 127.46/127.37 eprover: CPU time limit exceeded, terminating % 129.53/129.38 eprover: CPU time limit exceeded, terminating % 131.49/131.40 eprover: CPU time limit exceeded, terminating % 133.55/133.41 eprover: CPU time limit exceeded, terminating % 135.54/135.42 eprover: CPU time limit exceeded, terminating % 137.56/137.44 eprover: CPU time limit exceeded, terminating % 139.60/139.45 eprover: CPU time limit exceeded, terminating % 141.56/141.46 eprover: CPU time limit exceeded, terminating % 143.60/143.48 eprover: CPU time limit exceeded, terminating % 145.60/145.49 eprover: CPU time limit exceeded, terminating % 147.69/147.50 eprover: CPU time limit exceeded, terminating % 149.69/149.52 eprover: CPU time limit exceeded, terminating % 151.70/151.54 eprover: CPU time limit exceeded, terminating % 153.72/153.55 eprover: CPU time limit exceeded, terminating % 155.71/155.56 eprover: CPU time limit exceeded, terminating % 157.73/157.57 eprover: CPU time limit exceeded, terminating % 159.75/159.59 eprover: CPU time limit exceeded, terminating % 161.82/161.61 eprover: CPU time limit exceeded, terminating % 163.84/163.62 eprover: CPU time limit exceeded, terminating % 165.83/165.63 eprover: CPU time limit exceeded, terminating % 167.85/167.65 eprover: CPU time limit exceeded, terminating % 169.85/169.66 eprover: CPU time limit exceeded, terminating % 171.83/171.67 eprover: CPU time limit exceeded, terminating % 173.85/173.68 eprover: CPU time limit exceeded, terminating % 175.95/175.70 eprover: CPU time limit exceeded, terminating % 177.97/177.71 eprover: CPU time limit exceeded, terminating % 179.95/179.72 eprover: CPU time limit exceeded, terminating % 181.98/181.74 eprover: CPU time limit exceeded, terminating % 184.01/183.75 eprover: CPU time limit exceeded, terminating % 186.00/185.76 eprover: CPU time limit exceeded, terminating % 188.01/187.77 eprover: CPU time limit exceeded, terminating % 190.05/189.79 eprover: CPU time limit exceeded, terminating % 192.09/191.80 eprover: CPU time limit exceeded, terminating % 194.07/193.81 eprover: CPU time limit exceeded, terminating % 196.08/195.82 eprover: CPU time limit exceeded, terminating % 198.16/197.84 eprover: CPU time limit exceeded, terminating % 200.18/199.85 eprover: CPU time limit exceeded, terminating % 202.17/201.86 eprover: CPU time limit exceeded, terminating % 204.17/203.87 eprover: CPU time limit exceeded, terminating % 206.21/205.89 eprover: CPU time limit exceeded, terminating % 208.24/207.90 eprover: CPU time limit exceeded, terminating % 210.21/209.91 eprover: CPU time limit exceeded, terminating % 212.26/211.92 eprover: CPU time limit exceeded, terminating % 214.25/213.94 eprover: CPU time limit exceeded, terminating % 216.31/215.95 eprover: CPU time limit exceeded, terminating % 218.30/217.96 eprover: CPU time limit exceeded, terminating % 220.35/219.98 eprover: CPU time limit exceeded, terminating % 222.33/221.99 eprover: CPU time limit exceeded, terminating % 224.32/224.00 eprover: CPU time limit exceeded, terminating % 226.37/226.01 eprover: CPU time limit exceeded, terminating % 228.40/228.02 eprover: CPU time limit exceeded, terminating % 230.41/230.03 eprover: CPU time limit exceeded, terminating % 232.43/232.05 eprover: CPU time limit exceeded, terminating % 234.39/234.06 eprover: CPU time limit exceeded, terminating % 236.49/236.07 eprover: CPU time limit exceeded, terminating % 238.47/238.08 eprover: CPU time limit exceeded, terminating % 240.52/240.09 eprover: CPU time limit exceeded, terminating % 242.50/242.11 eprover: CPU time limit exceeded, terminating % 244.55/244.13 eprover: CPU time limit exceeded, terminating % 246.58/246.14 eprover: CPU time limit exceeded, terminating % 248.53/248.15 eprover: CPU time limit exceeded, terminating % 250.57/250.16 eprover: CPU time limit exceeded, terminating % 252.62/252.17 eprover: CPU time limit exceeded, terminating % 254.64/254.18 eprover: CPU time limit exceeded, terminating % 256.64/256.19 eprover: CPU time limit exceeded, terminating % 258.62/258.21 eprover: CPU time limit exceeded, terminating % 260.67/260.22 eprover: CPU time limit exceeded, terminating % 262.65/262.23 eprover: CPU time limit exceeded, terminating % 264.71/264.24 eprover: CPU time limit exceeded, terminating % 266.74/266.25 eprover: CPU time limit exceeded, terminating % 268.74/268.26 eprover: CPU time limit exceeded, terminating % 270.70/270.27 eprover: CPU time limit exceeded, terminating % 272.78/272.28 eprover: CPU time limit exceeded, terminating % 274.75/274.29 eprover: CPU time limit exceeded, terminating % 276.77/276.30 eprover: CPU time limit exceeded, terminating % 278.84/278.31 eprover: CPU time limit exceeded, terminating % 280.81/280.32 eprover: CPU time limit exceeded, terminating % 282.87/282.34 eprover: CPU time limit exceeded, terminating % 284.79/284.35 eprover: CPU time limit exceeded, terminating % 286.90/286.36 eprover: CPU time limit exceeded, terminating % 288.89/288.37 eprover: CPU time limit exceeded, terminating % 290.94/290.38 eprover: CPU time limit exceeded, terminating % 292.94/292.40 eprover: CPU time limit exceeded, terminating % 294.96/294.41 eprover: CPU time limit exceeded, terminating % 296.95/296.42 eprover: CPU time limit exceeded, terminating % 298.97/298.43 eprover: CPU time limit exceeded, terminating % 300.04/299.46 eprover: CPU time limit exceeded, terminating % 300.04/299.47 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------