%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : CAT032+2 : TPTP v8.1.0. Released v3.4.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 : Fri Jul 15 00:01:07 EDT 2022 % Result : Timeout 287.40s 260.10s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.11 % Problem : CAT032+2 : TPTP v8.1.0. Released v3.4.0. % 0.03/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n023.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 600 % 0.12/0.33 % DateTime : Sun May 29 19:43:12 EDT 2022 % 0.12/0.33 % CPUTime : % 22.79/22.72 eprover: CPU time limit exceeded, terminating % 25.03/24.73 eprover: CPU time limit exceeded, terminating % 27.23/26.74 eprover: CPU time limit exceeded, terminating % 29.42/28.75 eprover: CPU time limit exceeded, terminating % 31.73/30.76 eprover: CPU time limit exceeded, terminating % 33.94/32.78 eprover: CPU time limit exceeded, terminating % 36.15/34.79 eprover: CPU time limit exceeded, terminating % 38.44/36.80 eprover: CPU time limit exceeded, terminating % 40.68/38.81 eprover: CPU time limit exceeded, terminating % 42.93/40.82 eprover: CPU time limit exceeded, terminating % 45.17/42.83 eprover: CPU time limit exceeded, terminating % 47.43/44.85 eprover: CPU time limit exceeded, terminating % 49.68/46.86 eprover: CPU time limit exceeded, terminating % 51.88/48.87 eprover: CPU time limit exceeded, terminating % 54.15/50.88 eprover: CPU time limit exceeded, terminating % 56.41/52.89 eprover: CPU time limit exceeded, terminating % 58.64/54.90 eprover: CPU time limit exceeded, terminating % 60.87/56.92 eprover: CPU time limit exceeded, terminating % 63.11/58.93 eprover: CPU time limit exceeded, terminating % 65.34/60.94 eprover: CPU time limit exceeded, terminating % 67.54/62.95 eprover: CPU time limit exceeded, terminating % 69.87/64.97 eprover: CPU time limit exceeded, terminating % 72.11/66.98 eprover: CPU time limit exceeded, terminating % 74.34/68.99 eprover: CPU time limit exceeded, terminating % 76.55/71.00 eprover: CPU time limit exceeded, terminating % 78.81/73.01 eprover: CPU time limit exceeded, terminating % 81.05/75.03 eprover: CPU time limit exceeded, terminating % 83.32/77.04 eprover: CPU time limit exceeded, terminating % 85.60/79.05 eprover: CPU time limit exceeded, terminating % 87.84/81.06 eprover: CPU time limit exceeded, terminating % 90.05/83.07 eprover: CPU time limit exceeded, terminating % 92.29/85.09 eprover: CPU time limit exceeded, terminating % 94.59/87.10 eprover: CPU time limit exceeded, terminating % 96.78/89.11 eprover: CPU time limit exceeded, terminating % 99.09/91.12 eprover: CPU time limit exceeded, terminating % 101.31/93.13 eprover: CPU time limit exceeded, terminating % 103.53/95.15 eprover: CPU time limit exceeded, terminating % 105.74/97.16 eprover: CPU time limit exceeded, terminating % 108.04/99.17 eprover: CPU time limit exceeded, terminating % 110.32/101.18 eprover: CPU time limit exceeded, terminating % 112.52/103.20 eprover: CPU time limit exceeded, terminating % 114.78/105.21 eprover: CPU time limit exceeded, terminating % 117.02/107.22 eprover: CPU time limit exceeded, terminating % 119.20/109.23 eprover: CPU time limit exceeded, terminating % 121.53/111.24 eprover: CPU time limit exceeded, terminating % 123.79/113.26 eprover: CPU time limit exceeded, terminating % 126.05/115.27 eprover: CPU time limit exceeded, terminating % 128.26/117.28 eprover: CPU time limit exceeded, terminating % 130.50/119.29 eprover: CPU time limit exceeded, terminating % 132.77/121.30 eprover: CPU time limit exceeded, terminating % 134.96/123.32 eprover: CPU time limit exceeded, terminating % 137.28/125.33 eprover: CPU time limit exceeded, terminating % 139.49/127.34 eprover: CPU time limit exceeded, terminating % 141.75/129.35 eprover: CPU time limit exceeded, terminating % 144.00/131.36 eprover: CPU time limit exceeded, terminating % 146.23/133.38 eprover: CPU time limit exceeded, terminating % 148.47/135.39 eprover: CPU time limit exceeded, terminating % 150.71/137.40 eprover: CPU time limit exceeded, terminating % 152.92/139.41 eprover: CPU time limit exceeded, terminating % 155.14/141.42 eprover: CPU time limit exceeded, terminating % 157.47/143.44 eprover: CPU time limit exceeded, terminating % 159.72/145.45 eprover: CPU time limit exceeded, terminating % 161.95/147.46 eprover: CPU time limit exceeded, terminating % 164.18/149.47 eprover: CPU time limit exceeded, terminating % 166.42/151.48 eprover: CPU time limit exceeded, terminating % 168.65/153.50 eprover: CPU time limit exceeded, terminating % 170.93/155.51 eprover: CPU time limit exceeded, terminating % 173.13/157.52 eprover: CPU time limit exceeded, terminating % 175.42/159.53 eprover: CPU time limit exceeded, terminating % 177.70/161.55 eprover: CPU time limit exceeded, terminating % 179.94/163.56 eprover: CPU time limit exceeded, terminating % 182.19/165.57 eprover: CPU time limit exceeded, terminating % 184.42/167.58 eprover: CPU time limit exceeded, terminating % 186.66/169.59 eprover: CPU time limit exceeded, terminating % 188.87/171.60 eprover: CPU time limit exceeded, terminating % 191.11/173.61 eprover: CPU time limit exceeded, terminating % 193.32/175.62 eprover: CPU time limit exceeded, terminating % 195.56/177.64 eprover: CPU time limit exceeded, terminating % 197.86/179.65 eprover: CPU time limit exceeded, terminating % 200.12/181.66 eprover: CPU time limit exceeded, terminating % 202.34/183.67 eprover: CPU time limit exceeded, terminating % 204.60/185.68 eprover: CPU time limit exceeded, terminating % 206.80/187.69 eprover: CPU time limit exceeded, terminating % 209.06/189.70 eprover: CPU time limit exceeded, terminating % 211.30/191.72 eprover: CPU time limit exceeded, terminating % 213.50/193.73 eprover: CPU time limit exceeded, terminating % 215.78/195.74 eprover: CPU time limit exceeded, terminating % 217.94/197.75 eprover: CPU time limit exceeded, terminating % 220.22/199.76 eprover: CPU time limit exceeded, terminating % 222.50/201.78 eprover: CPU time limit exceeded, terminating % 224.68/203.79 eprover: CPU time limit exceeded, terminating % 226.95/205.80 eprover: CPU time limit exceeded, terminating % 229.21/207.81 eprover: CPU time limit exceeded, terminating % 231.41/209.82 eprover: CPU time limit exceeded, terminating % 233.63/211.83 eprover: CPU time limit exceeded, terminating % 235.86/213.84 eprover: CPU time limit exceeded, terminating % 238.10/215.86 eprover: CPU time limit exceeded, terminating % 240.32/217.87 eprover: CPU time limit exceeded, terminating % 242.58/219.88 eprover: CPU time limit exceeded, terminating % 244.81/221.89 eprover: CPU time limit exceeded, terminating % 247.11/223.90 eprover: CPU time limit exceeded, terminating % 249.33/225.91 eprover: CPU time limit exceeded, terminating % 251.58/227.93 eprover: CPU time limit exceeded, terminating % 253.79/229.94 eprover: CPU time limit exceeded, terminating % 256.01/231.95 eprover: CPU time limit exceeded, terminating % 258.28/233.96 eprover: CPU time limit exceeded, terminating % 260.50/235.97 eprover: CPU time limit exceeded, terminating % 262.73/237.98 eprover: CPU time limit exceeded, terminating % 264.97/239.99 eprover: CPU time limit exceeded, terminating % 267.28/242.00 eprover: CPU time limit exceeded, terminating % 269.53/244.02 eprover: CPU time limit exceeded, terminating % 271.73/246.03 eprover: CPU time limit exceeded, terminating % 273.97/248.04 eprover: CPU time limit exceeded, terminating % 276.22/250.05 eprover: CPU time limit exceeded, terminating % 278.42/252.06 eprover: CPU time limit exceeded, terminating % 280.64/254.07 eprover: CPU time limit exceeded, terminating % 282.94/256.08 eprover: CPU time limit exceeded, terminating % 285.11/258.09 eprover: CPU time limit exceeded, terminating % 287.40/260.10 eprover: CPU time limit exceeded, terminating % 289.65/262.12 eprover: CPU time limit exceeded, terminating % 291.86/264.13 eprover: CPU time limit exceeded, terminating % 294.12/266.14 eprover: CPU time limit exceeded, terminating % 296.36/268.15 eprover: CPU time limit exceeded, terminating % 298.59/270.16 eprover: CPU time limit exceeded, terminating % 300.04/271.35 eprover: CPU time limit exceeded, terminating % 300.04/271.36 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------