%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC162+1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n020.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 : Tue Jul 19 20:47:00 EDT 2022 % Result : Timeout 286.46s 284.23s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWC162+1 : TPTP v8.1.0. Released v2.4.0. % 0.03/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n020.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 : Sun Jun 12 14:18:50 EDT 2022 % 0.13/0.34 % CPUTime : % 2.25/2.49 eprover: CPU time limit exceeded, terminating % 4.29/4.50 eprover: CPU time limit exceeded, terminating % 6.27/6.51 eprover: CPU time limit exceeded, terminating % 8.29/8.52 eprover: CPU time limit exceeded, terminating % 10.37/10.53 eprover: CPU time limit exceeded, terminating % 12.40/12.54 eprover: CPU time limit exceeded, terminating % 14.40/14.55 eprover: CPU time limit exceeded, terminating % 16.42/16.56 eprover: CPU time limit exceeded, terminating % 18.44/18.58 eprover: CPU time limit exceeded, terminating % 20.44/20.59 eprover: CPU time limit exceeded, terminating % 22.45/22.60 eprover: CPU time limit exceeded, terminating % 24.46/24.61 eprover: CPU time limit exceeded, terminating % 26.45/26.62 eprover: CPU time limit exceeded, terminating % 28.51/28.63 eprover: CPU time limit exceeded, terminating % 30.44/30.64 eprover: CPU time limit exceeded, terminating % 32.52/32.65 eprover: CPU time limit exceeded, terminating % 34.56/34.66 eprover: CPU time limit exceeded, terminating % 36.54/36.67 eprover: CPU time limit exceeded, terminating % 38.60/38.68 eprover: CPU time limit exceeded, terminating % 40.57/40.69 eprover: CPU time limit exceeded, terminating % 42.61/42.70 eprover: CPU time limit exceeded, terminating % 44.59/44.71 eprover: CPU time limit exceeded, terminating % 46.66/46.72 eprover: CPU time limit exceeded, terminating % 48.68/48.73 eprover: CPU time limit exceeded, terminating % 50.67/50.74 eprover: CPU time limit exceeded, terminating % 52.71/52.75 eprover: CPU time limit exceeded, terminating % 54.69/54.76 eprover: CPU time limit exceeded, terminating % 56.72/56.78 eprover: CPU time limit exceeded, terminating % 58.77/58.79 eprover: CPU time limit exceeded, terminating % 60.76/60.80 eprover: CPU time limit exceeded, terminating % 62.75/62.81 eprover: CPU time limit exceeded, terminating % 64.79/64.82 eprover: CPU time limit exceeded, terminating % 66.81/66.83 eprover: CPU time limit exceeded, terminating % 68.79/68.84 eprover: CPU time limit exceeded, terminating % 70.86/70.85 eprover: CPU time limit exceeded, terminating % 72.82/72.86 eprover: CPU time limit exceeded, terminating % 74.89/74.88 eprover: CPU time limit exceeded, terminating % 76.85/76.89 eprover: CPU time limit exceeded, terminating % 78.90/78.90 eprover: CPU time limit exceeded, terminating % 80.92/80.91 eprover: CPU time limit exceeded, terminating % 82.86/82.92 eprover: CPU time limit exceeded, terminating % 84.93/84.94 eprover: CPU time limit exceeded, terminating % 86.96/86.95 eprover: CPU time limit exceeded, terminating % 89.02/88.97 eprover: CPU time limit exceeded, terminating % 90.96/90.98 eprover: CPU time limit exceeded, terminating % 93.02/93.00 eprover: CPU time limit exceeded, terminating % 95.01/95.04 eprover: CPU time limit exceeded, terminating % 97.04/97.06 eprover: CPU time limit exceeded, terminating % 99.11/99.07 eprover: CPU time limit exceeded, terminating % 101.04/101.08 eprover: CPU time limit exceeded, terminating % 103.11/103.10 eprover: CPU time limit exceeded, terminating % 105.14/105.11 eprover: CPU time limit exceeded, terminating % 107.11/107.12 eprover: CPU time limit exceeded, terminating % 109.18/109.14 eprover: CPU time limit exceeded, terminating % 111.13/111.16 eprover: CPU time limit exceeded, terminating % 113.20/113.18 eprover: CPU time limit exceeded, terminating % 115.16/115.19 eprover: CPU time limit exceeded, terminating % 117.23/117.20 eprover: CPU time limit exceeded, terminating % 119.15/119.21 eprover: CPU time limit exceeded, terminating % 121.27/121.22 eprover: CPU time limit exceeded, terminating % 123.24/123.23 eprover: CPU time limit exceeded, terminating % 125.28/125.24 eprover: CPU time limit exceeded, terminating % 127.27/127.25 eprover: CPU time limit exceeded, terminating % 129.26/129.26 eprover: CPU time limit exceeded, terminating % 131.34/131.27 eprover: CPU time limit exceeded, terminating % 133.29/133.29 eprover: CPU time limit exceeded, terminating % 135.34/135.30 eprover: CPU time limit exceeded, terminating % 137.37/137.31 eprover: CPU time limit exceeded, terminating % 139.40/139.32 eprover: CPU time limit exceeded, terminating % 141.36/141.33 eprover: CPU time limit exceeded, terminating % 143.40/143.35 eprover: CPU time limit exceeded, terminating % 145.42/145.36 eprover: CPU time limit exceeded, terminating % 147.41/147.37 eprover: CPU time limit exceeded, terminating % 149.43/149.39 eprover: CPU time limit exceeded, terminating % 151.49/151.40 eprover: CPU time limit exceeded, terminating % 153.49/153.41 eprover: CPU time limit exceeded, terminating % 155.50/155.43 eprover: CPU time limit exceeded, terminating % 157.49/157.44 eprover: CPU time limit exceeded, terminating % 159.54/159.46 eprover: CPU time limit exceeded, terminating % 161.51/161.47 eprover: CPU time limit exceeded, terminating % 163.49/163.48 eprover: CPU time limit exceeded, terminating % 165.58/165.50 eprover: CPU time limit exceeded, terminating % 167.60/167.51 eprover: CPU time limit exceeded, terminating % 169.61/169.53 eprover: CPU time limit exceeded, terminating % 171.63/171.54 eprover: CPU time limit exceeded, terminating % 173.61/173.55 eprover: CPU time limit exceeded, terminating % 175.65/175.56 eprover: CPU time limit exceeded, terminating % 177.60/177.58 eprover: CPU time limit exceeded, terminating % 179.69/179.60 eprover: CPU time limit exceeded, terminating % 181.71/181.61 eprover: CPU time limit exceeded, terminating % 183.71/183.62 eprover: CPU time limit exceeded, terminating % 185.70/185.63 eprover: CPU time limit exceeded, terminating % 187.70/187.65 eprover: CPU time limit exceeded, terminating % 189.78/189.66 eprover: CPU time limit exceeded, terminating % 191.81/191.67 eprover: CPU time limit exceeded, terminating % 193.81/193.69 eprover: CPU time limit exceeded, terminating % 195.81/195.70 eprover: CPU time limit exceeded, terminating % 197.79/197.71 eprover: CPU time limit exceeded, terminating % 199.81/199.72 eprover: CPU time limit exceeded, terminating % 201.86/201.74 eprover: CPU time limit exceeded, terminating % 203.89/203.75 eprover: CPU time limit exceeded, terminating % 205.90/205.77 eprover: CPU time limit exceeded, terminating % 207.91/207.78 eprover: CPU time limit exceeded, terminating % 209.92/209.80 eprover: CPU time limit exceeded, terminating % 211.91/211.81 eprover: CPU time limit exceeded, terminating % 213.95/213.82 eprover: CPU time limit exceeded, terminating % 215.91/215.83 eprover: CPU time limit exceeded, terminating % 217.91/217.85 eprover: CPU time limit exceeded, terminating % 220.00/219.86 eprover: CPU time limit exceeded, terminating % 222.00/221.87 eprover: CPU time limit exceeded, terminating % 224.06/223.88 eprover: CPU time limit exceeded, terminating % 226.04/225.89 eprover: CPU time limit exceeded, terminating % 228.06/227.90 eprover: CPU time limit exceeded, terminating % 230.05/229.92 eprover: CPU time limit exceeded, terminating % 232.06/231.93 eprover: CPU time limit exceeded, terminating % 234.13/233.94 eprover: CPU time limit exceeded, terminating % 236.14/235.95 eprover: CPU time limit exceeded, terminating % 238.15/237.96 eprover: CPU time limit exceeded, terminating % 240.15/239.98 eprover: CPU time limit exceeded, terminating % 242.15/241.99 eprover: CPU time limit exceeded, terminating % 244.18/244.00 eprover: CPU time limit exceeded, terminating % 246.23/246.01 eprover: CPU time limit exceeded, terminating % 248.20/248.03 eprover: CPU time limit exceeded, terminating % 250.24/250.04 eprover: CPU time limit exceeded, terminating % 252.29/252.05 eprover: CPU time limit exceeded, terminating % 254.29/254.06 eprover: CPU time limit exceeded, terminating % 256.31/256.07 eprover: CPU time limit exceeded, terminating % 258.31/258.08 eprover: CPU time limit exceeded, terminating % 260.31/260.09 eprover: CPU time limit exceeded, terminating % 262.34/262.10 eprover: CPU time limit exceeded, terminating % 264.37/264.12 eprover: CPU time limit exceeded, terminating % 266.40/266.13 eprover: CPU time limit exceeded, terminating % 268.39/268.15 eprover: CPU time limit exceeded, terminating % 270.41/270.15 eprover: CPU time limit exceeded, terminating % 272.46/272.17 eprover: CPU time limit exceeded, terminating % 274.44/274.18 eprover: CPU time limit exceeded, terminating % 276.41/276.19 eprover: CPU time limit exceeded, terminating % 280.36/278.20 eprover: CPU time limit exceeded, terminating % 282.42/280.21 eprover: CPU time limit exceeded, terminating % 284.44/282.22 eprover: CPU time limit exceeded, terminating % 286.46/284.23 eprover: CPU time limit exceeded, terminating % 288.48/286.24 eprover: CPU time limit exceeded, terminating % 290.46/288.25 eprover: CPU time limit exceeded, terminating % 292.51/290.27 eprover: CPU time limit exceeded, terminating % 294.46/292.28 eprover: CPU time limit exceeded, terminating % 296.49/294.29 eprover: CPU time limit exceeded, terminating % 298.57/296.30 eprover: CPU time limit exceeded, terminating % 300.10/297.83 eprover: CPU time limit exceeded, terminating % 300.10/297.85 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------