%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM048-1 : TPTP v8.1.0. Bugfixed v2.1.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n004.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:34:28 EDT 2022 % Result : Timeout 286.73s 285.10s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : NUM048-1 : TPTP v8.1.0. Bugfixed v2.1.0. % 0.12/0.12 % Command : run_infinox %s % 0.12/0.34 % Computer : n004.cluster.edu % 0.12/0.34 % Model : x86_64 x86_64 % 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.34 % Memory : 8042.1875MB % 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.34 % CPULimit : 300 % 0.12/0.34 % WCLimit : 600 % 0.12/0.34 % DateTime : Wed Jul 6 04:48:07 EDT 2022 % 0.12/0.34 % CPUTime : % 2.22/2.48 eprover: CPU time limit exceeded, terminating % 4.27/4.49 eprover: CPU time limit exceeded, terminating % 6.29/6.50 eprover: CPU time limit exceeded, terminating % 8.34/8.51 eprover: CPU time limit exceeded, terminating % 10.35/10.53 eprover: CPU time limit exceeded, terminating % 12.36/12.55 eprover: CPU time limit exceeded, terminating % 14.39/14.56 eprover: CPU time limit exceeded, terminating % 16.37/16.58 eprover: CPU time limit exceeded, terminating % 18.43/18.59 eprover: CPU time limit exceeded, terminating % 20.38/20.60 eprover: CPU time limit exceeded, terminating % 22.47/22.61 eprover: CPU time limit exceeded, terminating % 24.49/24.63 eprover: CPU time limit exceeded, terminating % 26.47/26.64 eprover: CPU time limit exceeded, terminating % 28.51/28.65 eprover: CPU time limit exceeded, terminating % 30.48/30.68 eprover: CPU time limit exceeded, terminating % 32.54/32.69 eprover: CPU time limit exceeded, terminating % 34.53/34.70 eprover: CPU time limit exceeded, terminating % 36.54/36.71 eprover: CPU time limit exceeded, terminating % 38.57/38.72 eprover: CPU time limit exceeded, terminating % 40.66/40.73 eprover: CPU time limit exceeded, terminating % 42.66/42.74 eprover: CPU time limit exceeded, terminating % 44.65/44.76 eprover: CPU time limit exceeded, terminating % 46.70/46.77 eprover: CPU time limit exceeded, terminating % 48.72/48.79 eprover: CPU time limit exceeded, terminating % 50.68/50.80 eprover: CPU time limit exceeded, terminating % 52.75/52.81 eprover: CPU time limit exceeded, terminating % 54.76/54.82 eprover: CPU time limit exceeded, terminating % 56.77/56.83 eprover: CPU time limit exceeded, terminating % 58.78/58.84 eprover: CPU time limit exceeded, terminating % 60.74/60.85 eprover: CPU time limit exceeded, terminating % 62.76/62.86 eprover: CPU time limit exceeded, terminating % 64.82/64.87 eprover: CPU time limit exceeded, terminating % 66.88/66.89 eprover: CPU time limit exceeded, terminating % 68.90/68.90 eprover: CPU time limit exceeded, terminating % 70.90/70.91 eprover: CPU time limit exceeded, terminating % 72.91/72.93 eprover: CPU time limit exceeded, terminating % 74.95/74.94 eprover: CPU time limit exceeded, terminating % 76.96/76.95 eprover: CPU time limit exceeded, terminating % 78.95/78.96 eprover: CPU time limit exceeded, terminating % 81.01/80.98 eprover: CPU time limit exceeded, terminating % 83.03/82.99 eprover: CPU time limit exceeded, terminating % 85.01/85.01 eprover: CPU time limit exceeded, terminating % 87.07/87.02 eprover: CPU time limit exceeded, terminating % 89.03/89.05 eprover: CPU time limit exceeded, terminating % 91.07/91.06 eprover: CPU time limit exceeded, terminating % 93.09/93.07 eprover: CPU time limit exceeded, terminating % 95.10/95.08 eprover: CPU time limit exceeded, terminating % 97.15/97.09 eprover: CPU time limit exceeded, terminating % 99.17/99.10 eprover: CPU time limit exceeded, terminating % 101.20/101.11 eprover: CPU time limit exceeded, terminating % 103.17/103.12 eprover: CPU time limit exceeded, terminating % 105.19/105.13 eprover: CPU time limit exceeded, terminating % 107.22/107.15 eprover: CPU time limit exceeded, terminating % 109.24/109.16 eprover: CPU time limit exceeded, terminating % 111.27/111.18 eprover: CPU time limit exceeded, terminating % 113.29/113.19 eprover: CPU time limit exceeded, terminating % 115.30/115.21 eprover: CPU time limit exceeded, terminating % 117.27/117.22 eprover: CPU time limit exceeded, terminating % 119.31/119.24 eprover: CPU time limit exceeded, terminating % 121.33/121.26 eprover: CPU time limit exceeded, terminating % 123.38/123.27 eprover: CPU time limit exceeded, terminating % 125.40/125.29 eprover: CPU time limit exceeded, terminating % 127.38/127.31 eprover: CPU time limit exceeded, terminating % 129.36/129.33 eprover: CPU time limit exceeded, terminating % 131.44/131.36 eprover: CPU time limit exceeded, terminating % 133.46/133.38 eprover: CPU time limit exceeded, terminating % 135.48/135.41 eprover: CPU time limit exceeded, terminating % 137.52/137.43 eprover: CPU time limit exceeded, terminating % 139.51/139.44 eprover: CPU time limit exceeded, terminating % 141.46/141.46 eprover: CPU time limit exceeded, terminating % 143.56/143.47 eprover: CPU time limit exceeded, terminating % 145.53/145.48 eprover: CPU time limit exceeded, terminating % 147.57/147.50 eprover: CPU time limit exceeded, terminating % 149.60/149.51 eprover: CPU time limit exceeded, terminating % 151.61/151.52 eprover: CPU time limit exceeded, terminating % 153.60/153.53 eprover: CPU time limit exceeded, terminating % 155.60/155.54 eprover: CPU time limit exceeded, terminating % 157.68/157.56 eprover: CPU time limit exceeded, terminating % 159.69/159.57 eprover: CPU time limit exceeded, terminating % 161.71/161.58 eprover: CPU time limit exceeded, terminating % 163.69/163.60 eprover: CPU time limit exceeded, terminating % 165.70/165.61 eprover: CPU time limit exceeded, terminating % 167.75/167.62 eprover: CPU time limit exceeded, terminating % 169.79/169.63 eprover: CPU time limit exceeded, terminating % 171.79/171.64 eprover: CPU time limit exceeded, terminating % 173.79/173.72 eprover: CPU time limit exceeded, terminating % 175.83/175.74 eprover: CPU time limit exceeded, terminating % 177.78/177.83 eprover: CPU time limit exceeded, terminating % 179.82/179.91 eprover: CPU time limit exceeded, terminating % 181.86/182.01 eprover: CPU time limit exceeded, terminating % 183.92/184.02 eprover: CPU time limit exceeded, terminating % 185.88/186.03 eprover: CPU time limit exceeded, terminating % 187.91/188.13 eprover: CPU time limit exceeded, terminating % 189.97/190.14 eprover: CPU time limit exceeded, terminating % 191.98/192.24 eprover: CPU time limit exceeded, terminating % 193.98/194.34 eprover: CPU time limit exceeded, terminating % 196.00/196.36 eprover: CPU time limit exceeded, terminating % 198.04/198.45 eprover: CPU time limit exceeded, terminating % 200.06/200.46 eprover: CPU time limit exceeded, terminating % 202.06/202.56 eprover: CPU time limit exceeded, terminating % 204.11/204.60 eprover: CPU time limit exceeded, terminating % 206.11/206.61 eprover: CPU time limit exceeded, terminating % 208.12/208.62 eprover: CPU time limit exceeded, terminating % 210.11/210.63 eprover: CPU time limit exceeded, terminating % 212.14/212.65 eprover: CPU time limit exceeded, terminating % 214.14/214.66 eprover: CPU time limit exceeded, terminating % 216.21/216.67 eprover: CPU time limit exceeded, terminating % 218.21/218.69 eprover: CPU time limit exceeded, terminating % 220.21/220.70 eprover: CPU time limit exceeded, terminating % 222.20/222.71 eprover: CPU time limit exceeded, terminating % 224.21/224.73 eprover: CPU time limit exceeded, terminating % 226.25/226.74 eprover: CPU time limit exceeded, terminating % 228.33/228.75 eprover: CPU time limit exceeded, terminating % 230.33/230.77 eprover: CPU time limit exceeded, terminating % 232.37/232.78 eprover: CPU time limit exceeded, terminating % 234.34/234.79 eprover: CPU time limit exceeded, terminating % 236.37/236.80 eprover: CPU time limit exceeded, terminating % 238.43/238.81 eprover: CPU time limit exceeded, terminating % 240.37/240.82 eprover: CPU time limit exceeded, terminating % 242.46/242.84 eprover: CPU time limit exceeded, terminating % 244.44/244.85 eprover: CPU time limit exceeded, terminating % 246.51/246.86 eprover: CPU time limit exceeded, terminating % 248.45/248.87 eprover: CPU time limit exceeded, terminating % 250.52/250.89 eprover: CPU time limit exceeded, terminating % 252.55/252.90 eprover: CPU time limit exceeded, terminating % 254.54/254.91 eprover: CPU time limit exceeded, terminating % 256.55/256.92 eprover: CPU time limit exceeded, terminating % 258.53/258.93 eprover: CPU time limit exceeded, terminating % 262.53/260.95 eprover: CPU time limit exceeded, terminating % 264.52/262.96 eprover: CPU time limit exceeded, terminating % 266.55/264.97 eprover: CPU time limit exceeded, terminating % 268.57/266.98 eprover: CPU time limit exceeded, terminating % 270.57/269.00 eprover: CPU time limit exceeded, terminating % 272.62/271.01 eprover: CPU time limit exceeded, terminating % 274.59/273.02 eprover: CPU time limit exceeded, terminating % 276.57/275.03 eprover: CPU time limit exceeded, terminating % 278.62/277.05 eprover: CPU time limit exceeded, terminating % 280.66/279.06 eprover: CPU time limit exceeded, terminating % 282.69/281.07 eprover: CPU time limit exceeded, terminating % 284.74/283.08 eprover: CPU time limit exceeded, terminating % 286.73/285.10 eprover: CPU time limit exceeded, terminating % 288.76/287.11 eprover: CPU time limit exceeded, terminating % 290.73/289.12 eprover: CPU time limit exceeded, terminating % 292.81/291.13 eprover: CPU time limit exceeded, terminating % 294.78/293.15 eprover: CPU time limit exceeded, terminating % 296.84/295.16 eprover: CPU time limit exceeded, terminating % 298.80/297.17 eprover: CPU time limit exceeded, terminating % 300.03/298.33 eprover: CPU time limit exceeded, terminating % 300.03/298.35 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------