%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT034+2 : TPTP v8.1.0. Released v3.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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 : Fri Jul 15 00:01:07 EDT 2022 % Result : Timeout 286.81s 262.60s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : CAT034+2 : TPTP v8.1.0. Released v3.4.0. % 0.11/0.12 % Command : run_infinox %s % 0.13/0.33 % Computer : n024.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 : Sun May 29 21:46:07 EDT 2022 % 0.18/0.34 % CPUTime : % 20.51/20.49 eprover: CPU time limit exceeded, terminating % 22.78/22.51 eprover: CPU time limit exceeded, terminating % 25.01/24.52 eprover: CPU time limit exceeded, terminating % 27.18/26.54 eprover: CPU time limit exceeded, terminating % 29.42/28.57 eprover: CPU time limit exceeded, terminating % 31.55/30.58 eprover: CPU time limit exceeded, terminating % 33.81/32.60 eprover: CPU time limit exceeded, terminating % 36.03/34.61 eprover: CPU time limit exceeded, terminating % 38.24/36.62 eprover: CPU time limit exceeded, terminating % 40.41/38.64 eprover: CPU time limit exceeded, terminating % 42.65/40.66 eprover: CPU time limit exceeded, terminating % 44.87/42.67 eprover: CPU time limit exceeded, terminating % 47.14/44.69 eprover: CPU time limit exceeded, terminating % 49.33/46.71 eprover: CPU time limit exceeded, terminating % 51.54/48.74 eprover: CPU time limit exceeded, terminating % 53.72/50.75 eprover: CPU time limit exceeded, terminating % 55.98/52.77 eprover: CPU time limit exceeded, terminating % 58.19/54.81 eprover: CPU time limit exceeded, terminating % 60.40/56.84 eprover: CPU time limit exceeded, terminating % 62.60/58.86 eprover: CPU time limit exceeded, terminating % 64.79/60.87 eprover: CPU time limit exceeded, terminating % 67.09/62.88 eprover: CPU time limit exceeded, terminating % 69.23/64.90 eprover: CPU time limit exceeded, terminating % 71.51/66.91 eprover: CPU time limit exceeded, terminating % 73.75/68.92 eprover: CPU time limit exceeded, terminating % 75.98/70.93 eprover: CPU time limit exceeded, terminating % 78.17/72.94 eprover: CPU time limit exceeded, terminating % 80.39/74.95 eprover: CPU time limit exceeded, terminating % 82.58/76.97 eprover: CPU time limit exceeded, terminating % 84.79/78.98 eprover: CPU time limit exceeded, terminating % 87.08/80.99 eprover: CPU time limit exceeded, terminating % 89.30/83.01 eprover: CPU time limit exceeded, terminating % 91.51/85.02 eprover: CPU time limit exceeded, terminating % 93.73/87.03 eprover: CPU time limit exceeded, terminating % 95.94/89.05 eprover: CPU time limit exceeded, terminating % 98.15/91.06 eprover: CPU time limit exceeded, terminating % 100.37/93.07 eprover: CPU time limit exceeded, terminating % 102.61/95.09 eprover: CPU time limit exceeded, terminating % 104.81/97.10 eprover: CPU time limit exceeded, terminating % 107.12/99.11 eprover: CPU time limit exceeded, terminating % 109.33/101.13 eprover: CPU time limit exceeded, terminating % 111.55/103.14 eprover: CPU time limit exceeded, terminating % 113.74/105.15 eprover: CPU time limit exceeded, terminating % 115.99/107.16 eprover: CPU time limit exceeded, terminating % 118.16/109.18 eprover: CPU time limit exceeded, terminating % 120.46/111.19 eprover: CPU time limit exceeded, terminating % 122.58/113.20 eprover: CPU time limit exceeded, terminating % 124.90/115.22 eprover: CPU time limit exceeded, terminating % 127.11/117.23 eprover: CPU time limit exceeded, terminating % 129.33/119.24 eprover: CPU time limit exceeded, terminating % 131.53/121.26 eprover: CPU time limit exceeded, terminating % 133.74/123.27 eprover: CPU time limit exceeded, terminating % 135.97/125.28 eprover: CPU time limit exceeded, terminating % 138.15/127.29 eprover: CPU time limit exceeded, terminating % 140.39/129.30 eprover: CPU time limit exceeded, terminating % 142.65/131.32 eprover: CPU time limit exceeded, terminating % 144.88/133.33 eprover: CPU time limit exceeded, terminating % 147.10/135.34 eprover: CPU time limit exceeded, terminating % 149.26/137.36 eprover: CPU time limit exceeded, terminating % 151.45/139.37 eprover: CPU time limit exceeded, terminating % 153.69/141.38 eprover: CPU time limit exceeded, terminating % 155.98/143.39 eprover: CPU time limit exceeded, terminating % 158.19/145.41 eprover: CPU time limit exceeded, terminating % 160.41/147.42 eprover: CPU time limit exceeded, terminating % 162.61/149.43 eprover: CPU time limit exceeded, terminating % 164.85/151.45 eprover: CPU time limit exceeded, terminating % 167.07/153.46 eprover: CPU time limit exceeded, terminating % 169.23/155.47 eprover: CPU time limit exceeded, terminating % 171.55/157.48 eprover: CPU time limit exceeded, terminating % 173.76/159.51 eprover: CPU time limit exceeded, terminating % 175.97/161.54 eprover: CPU time limit exceeded, terminating % 178.16/163.56 eprover: CPU time limit exceeded, terminating % 180.36/165.57 eprover: CPU time limit exceeded, terminating % 182.61/167.58 eprover: CPU time limit exceeded, terminating % 184.76/169.60 eprover: CPU time limit exceeded, terminating % 187.00/171.62 eprover: CPU time limit exceeded, terminating % 189.23/173.63 eprover: CPU time limit exceeded, terminating % 191.36/175.66 eprover: CPU time limit exceeded, terminating % 193.54/177.67 eprover: CPU time limit exceeded, terminating % 195.76/179.69 eprover: CPU time limit exceeded, terminating % 197.98/181.70 eprover: CPU time limit exceeded, terminating % 200.27/183.72 eprover: CPU time limit exceeded, terminating % 202.43/185.74 eprover: CPU time limit exceeded, terminating % 204.67/187.76 eprover: CPU time limit exceeded, terminating % 206.88/189.77 eprover: CPU time limit exceeded, terminating % 209.07/191.78 eprover: CPU time limit exceeded, terminating % 211.38/193.80 eprover: CPU time limit exceeded, terminating % 213.62/195.81 eprover: CPU time limit exceeded, terminating % 215.84/197.82 eprover: CPU time limit exceeded, terminating % 218.01/199.84 eprover: CPU time limit exceeded, terminating % 220.23/201.85 eprover: CPU time limit exceeded, terminating % 222.45/203.86 eprover: CPU time limit exceeded, terminating % 224.64/205.87 eprover: CPU time limit exceeded, terminating % 226.93/207.89 eprover: CPU time limit exceeded, terminating % 229.09/209.90 eprover: CPU time limit exceeded, terminating % 231.36/211.92 eprover: CPU time limit exceeded, terminating % 233.57/213.94 eprover: CPU time limit exceeded, terminating % 235.81/215.95 eprover: CPU time limit exceeded, terminating % 237.97/217.97 eprover: CPU time limit exceeded, terminating % 240.24/220.02 eprover: CPU time limit exceeded, terminating % 242.41/222.08 eprover: CPU time limit exceeded, terminating % 244.70/224.10 eprover: CPU time limit exceeded, terminating % 246.92/226.12 eprover: CPU time limit exceeded, terminating % 249.15/228.14 eprover: CPU time limit exceeded, terminating % 251.31/230.17 eprover: CPU time limit exceeded, terminating % 253.57/232.22 eprover: CPU time limit exceeded, terminating % 255.79/234.27 eprover: CPU time limit exceeded, terminating % 258.01/236.32 eprover: CPU time limit exceeded, terminating % 260.21/238.36 eprover: CPU time limit exceeded, terminating % 262.43/240.37 eprover: CPU time limit exceeded, terminating % 264.72/242.40 eprover: CPU time limit exceeded, terminating % 266.92/244.42 eprover: CPU time limit exceeded, terminating % 269.11/246.43 eprover: CPU time limit exceeded, terminating % 271.33/248.45 eprover: CPU time limit exceeded, terminating % 273.49/250.49 eprover: CPU time limit exceeded, terminating % 275.71/252.50 eprover: CPU time limit exceeded, terminating % 277.97/254.52 eprover: CPU time limit exceeded, terminating % 280.16/256.54 eprover: CPU time limit exceeded, terminating % 282.40/258.55 eprover: CPU time limit exceeded, terminating % 284.53/260.57 eprover: CPU time limit exceeded, terminating % 286.81/262.60 eprover: CPU time limit exceeded, terminating % 289.04/264.62 eprover: CPU time limit exceeded, terminating % 291.24/266.64 eprover: CPU time limit exceeded, terminating % 293.47/268.65 eprover: CPU time limit exceeded, terminating % 295.64/270.67 eprover: CPU time limit exceeded, terminating % 297.87/272.69 eprover: CPU time limit exceeded, terminating % 300.05/274.61 eprover: CPU time limit exceeded, terminating % 300.05/274.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------