%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWC113+1 : TPTP v8.1.0. Released v2.4.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 : Tue Jul 19 20:46:45 EDT 2022 % Result : Timeout 286.69s 284.31s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : SWC113+1 : TPTP v8.1.0. Released v2.4.0. % 0.10/0.12 % Command : run_infinox %s % 0.12/0.33 % Computer : n026.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 Jun 12 05:57:20 EDT 2022 % 0.12/0.34 % CPUTime : % 2.25/2.49 eprover: CPU time limit exceeded, terminating % 4.32/4.50 eprover: CPU time limit exceeded, terminating % 6.33/6.51 eprover: CPU time limit exceeded, terminating % 8.32/8.52 eprover: CPU time limit exceeded, terminating % 10.35/10.53 eprover: CPU time limit exceeded, terminating % 12.39/12.54 eprover: CPU time limit exceeded, terminating % 14.37/14.55 eprover: CPU time limit exceeded, terminating % 16.43/16.57 eprover: CPU time limit exceeded, terminating % 18.37/18.58 eprover: CPU time limit exceeded, terminating % 20.38/20.59 eprover: CPU time limit exceeded, terminating % 22.46/22.60 eprover: CPU time limit exceeded, terminating % 24.49/24.61 eprover: CPU time limit exceeded, terminating % 26.52/26.62 eprover: CPU time limit exceeded, terminating % 28.49/28.64 eprover: CPU time limit exceeded, terminating % 30.51/30.65 eprover: CPU time limit exceeded, terminating % 32.51/32.66 eprover: CPU time limit exceeded, terminating % 34.55/34.67 eprover: CPU time limit exceeded, terminating % 36.53/36.68 eprover: CPU time limit exceeded, terminating % 38.62/38.70 eprover: CPU time limit exceeded, terminating % 40.63/40.71 eprover: CPU time limit exceeded, terminating % 42.65/42.72 eprover: CPU time limit exceeded, terminating % 44.64/44.73 eprover: CPU time limit exceeded, terminating % 46.64/46.74 eprover: CPU time limit exceeded, terminating % 48.68/48.75 eprover: CPU time limit exceeded, terminating % 50.65/50.76 eprover: CPU time limit exceeded, terminating % 52.73/52.78 eprover: CPU time limit exceeded, terminating % 54.66/54.79 eprover: CPU time limit exceeded, terminating % 56.75/56.80 eprover: CPU time limit exceeded, terminating % 58.75/58.81 eprover: CPU time limit exceeded, terminating % 60.78/60.82 eprover: CPU time limit exceeded, terminating % 62.77/62.84 eprover: CPU time limit exceeded, terminating % 64.81/64.85 eprover: CPU time limit exceeded, terminating % 66.78/66.86 eprover: CPU time limit exceeded, terminating % 68.81/68.87 eprover: CPU time limit exceeded, terminating % 70.89/70.88 eprover: CPU time limit exceeded, terminating % 72.84/72.90 eprover: CPU time limit exceeded, terminating % 74.90/74.91 eprover: CPU time limit exceeded, terminating % 76.95/76.92 eprover: CPU time limit exceeded, terminating % 78.96/78.93 eprover: CPU time limit exceeded, terminating % 80.94/80.94 eprover: CPU time limit exceeded, terminating % 82.96/82.96 eprover: CPU time limit exceeded, terminating % 84.96/84.97 eprover: CPU time limit exceeded, terminating % 86.98/86.98 eprover: CPU time limit exceeded, terminating % 88.97/88.99 eprover: CPU time limit exceeded, terminating % 91.04/91.00 eprover: CPU time limit exceeded, terminating % 93.06/93.02 eprover: CPU time limit exceeded, terminating % 95.05/95.04 eprover: CPU time limit exceeded, terminating % 97.07/97.05 eprover: CPU time limit exceeded, terminating % 99.07/99.07 eprover: CPU time limit exceeded, terminating % 101.08/101.08 eprover: CPU time limit exceeded, terminating % 103.17/103.09 eprover: CPU time limit exceeded, terminating % 105.21/105.11 eprover: CPU time limit exceeded, terminating % 107.17/107.12 eprover: CPU time limit exceeded, terminating % 109.20/109.14 eprover: CPU time limit exceeded, terminating % 111.20/111.15 eprover: CPU time limit exceeded, terminating % 113.20/113.16 eprover: CPU time limit exceeded, terminating % 115.21/115.18 eprover: CPU time limit exceeded, terminating % 117.23/117.19 eprover: CPU time limit exceeded, terminating % 119.30/119.21 eprover: CPU time limit exceeded, terminating % 121.30/121.22 eprover: CPU time limit exceeded, terminating % 123.32/123.23 eprover: CPU time limit exceeded, terminating % 125.34/125.25 eprover: CPU time limit exceeded, terminating % 127.33/127.27 eprover: CPU time limit exceeded, terminating % 129.39/129.28 eprover: CPU time limit exceeded, terminating % 131.35/131.29 eprover: CPU time limit exceeded, terminating % 133.42/133.30 eprover: CPU time limit exceeded, terminating % 135.46/135.33 eprover: CPU time limit exceeded, terminating % 137.46/137.34 eprover: CPU time limit exceeded, terminating % 139.44/139.35 eprover: CPU time limit exceeded, terminating % 141.43/141.36 eprover: CPU time limit exceeded, terminating % 143.54/143.37 eprover: CPU time limit exceeded, terminating % 145.53/145.40 eprover: CPU time limit exceeded, terminating % 147.55/147.41 eprover: CPU time limit exceeded, terminating % 149.56/149.42 eprover: CPU time limit exceeded, terminating % 151.54/151.43 eprover: CPU time limit exceeded, terminating % 153.58/153.44 eprover: CPU time limit exceeded, terminating % 155.60/155.47 eprover: CPU time limit exceeded, terminating % 157.59/157.48 eprover: CPU time limit exceeded, terminating % 159.67/159.49 eprover: CPU time limit exceeded, terminating % 161.59/161.50 eprover: CPU time limit exceeded, terminating % 163.68/163.51 eprover: CPU time limit exceeded, terminating % 165.70/165.54 eprover: CPU time limit exceeded, terminating % 167.68/167.55 eprover: CPU time limit exceeded, terminating % 169.69/169.56 eprover: CPU time limit exceeded, terminating % 171.68/171.57 eprover: CPU time limit exceeded, terminating % 173.79/173.58 eprover: CPU time limit exceeded, terminating % 175.80/175.60 eprover: CPU time limit exceeded, terminating % 177.82/177.62 eprover: CPU time limit exceeded, terminating % 179.83/179.63 eprover: CPU time limit exceeded, terminating % 181.85/181.64 eprover: CPU time limit exceeded, terminating % 183.84/183.65 eprover: CPU time limit exceeded, terminating % 185.86/185.66 eprover: CPU time limit exceeded, terminating % 187.83/187.68 eprover: CPU time limit exceeded, terminating % 189.85/189.69 eprover: CPU time limit exceeded, terminating % 191.95/191.70 eprover: CPU time limit exceeded, terminating % 193.95/193.71 eprover: CPU time limit exceeded, terminating % 195.97/195.73 eprover: CPU time limit exceeded, terminating % 197.99/197.74 eprover: CPU time limit exceeded, terminating % 199.99/199.75 eprover: CPU time limit exceeded, terminating % 201.97/201.76 eprover: CPU time limit exceeded, terminating % 204.01/203.78 eprover: CPU time limit exceeded, terminating % 206.07/205.79 eprover: CPU time limit exceeded, terminating % 210.08/207.80 eprover: CPU time limit exceeded, terminating % 212.10/209.81 eprover: CPU time limit exceeded, terminating % 214.08/211.83 eprover: CPU time limit exceeded, terminating % 216.08/213.84 eprover: CPU time limit exceeded, terminating % 218.12/215.85 eprover: CPU time limit exceeded, terminating % 220.12/217.87 eprover: CPU time limit exceeded, terminating % 222.10/219.88 eprover: CPU time limit exceeded, terminating % 224.13/221.89 eprover: CPU time limit exceeded, terminating % 226.21/223.91 eprover: CPU time limit exceeded, terminating % 228.21/225.92 eprover: CPU time limit exceeded, terminating % 230.24/227.93 eprover: CPU time limit exceeded, terminating % 232.26/229.94 eprover: CPU time limit exceeded, terminating % 234.27/231.95 eprover: CPU time limit exceeded, terminating % 236.25/233.96 eprover: CPU time limit exceeded, terminating % 238.27/235.98 eprover: CPU time limit exceeded, terminating % 240.26/237.99 eprover: CPU time limit exceeded, terminating % 242.36/240.00 eprover: CPU time limit exceeded, terminating % 244.36/242.01 eprover: CPU time limit exceeded, terminating % 246.39/244.02 eprover: CPU time limit exceeded, terminating % 248.38/246.04 eprover: CPU time limit exceeded, terminating % 250.37/248.05 eprover: CPU time limit exceeded, terminating % 252.37/250.07 eprover: CPU time limit exceeded, terminating % 254.39/252.09 eprover: CPU time limit exceeded, terminating % 256.45/254.11 eprover: CPU time limit exceeded, terminating % 258.49/256.12 eprover: CPU time limit exceeded, terminating % 260.45/258.14 eprover: CPU time limit exceeded, terminating % 262.48/260.15 eprover: CPU time limit exceeded, terminating % 264.52/262.16 eprover: CPU time limit exceeded, terminating % 266.55/264.17 eprover: CPU time limit exceeded, terminating % 268.56/266.19 eprover: CPU time limit exceeded, terminating % 270.53/268.21 eprover: CPU time limit exceeded, terminating % 272.59/270.22 eprover: CPU time limit exceeded, terminating % 274.56/272.23 eprover: CPU time limit exceeded, terminating % 276.60/274.25 eprover: CPU time limit exceeded, terminating % 278.62/276.26 eprover: CPU time limit exceeded, terminating % 280.62/278.27 eprover: CPU time limit exceeded, terminating % 282.62/280.28 eprover: CPU time limit exceeded, terminating % 284.66/282.30 eprover: CPU time limit exceeded, terminating % 286.69/284.31 eprover: CPU time limit exceeded, terminating % 288.69/286.32 eprover: CPU time limit exceeded, terminating % 290.74/288.33 eprover: CPU time limit exceeded, terminating % 292.71/290.34 eprover: CPU time limit exceeded, terminating % 294.76/292.35 eprover: CPU time limit exceeded, terminating % 296.70/294.37 eprover: CPU time limit exceeded, terminating % 298.79/296.38 eprover: CPU time limit exceeded, terminating % 300.05/297.62 eprover: CPU time limit exceeded, terminating % 300.05/297.64 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------