%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWW474+7 : TPTP v8.1.0. Released v5.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n021.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 : Thu Jul 21 00:24:56 EDT 2022 % Result : Timeout 287.61s 264.17s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.12/0.12 % Problem : SWW474+7 : TPTP v8.1.0. Released v5.3.0. % 0.12/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n021.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 5 12:00:34 EDT 2022 % 0.13/0.35 % CPUTime : % 8.42/8.40 eprover: CPU time limit exceeded, terminating % 10.61/10.42 eprover: CPU time limit exceeded, terminating % 12.82/12.43 eprover: CPU time limit exceeded, terminating % 15.01/14.44 eprover: CPU time limit exceeded, terminating % 17.16/16.46 eprover: CPU time limit exceeded, terminating % 19.34/18.47 eprover: CPU time limit exceeded, terminating % 21.53/20.49 eprover: CPU time limit exceeded, terminating % 23.82/22.50 eprover: CPU time limit exceeded, terminating % 26.02/24.51 eprover: CPU time limit exceeded, terminating % 28.24/26.52 eprover: CPU time limit exceeded, terminating % 30.41/28.54 eprover: CPU time limit exceeded, terminating % 32.57/30.55 eprover: CPU time limit exceeded, terminating % 34.76/32.57 eprover: CPU time limit exceeded, terminating % 36.97/34.58 eprover: CPU time limit exceeded, terminating % 39.16/36.59 eprover: CPU time limit exceeded, terminating % 41.43/38.61 eprover: CPU time limit exceeded, terminating % 43.59/40.62 eprover: CPU time limit exceeded, terminating % 45.80/42.64 eprover: CPU time limit exceeded, terminating % 48.03/44.65 eprover: CPU time limit exceeded, terminating % 50.18/46.67 eprover: CPU time limit exceeded, terminating % 52.44/48.68 eprover: CPU time limit exceeded, terminating % 54.55/50.70 eprover: CPU time limit exceeded, terminating % 56.80/52.71 eprover: CPU time limit exceeded, terminating % 59.05/54.73 eprover: CPU time limit exceeded, terminating % 61.20/56.74 eprover: CPU time limit exceeded, terminating % 63.42/58.76 eprover: CPU time limit exceeded, terminating % 65.56/60.77 eprover: CPU time limit exceeded, terminating % 67.85/62.79 eprover: CPU time limit exceeded, terminating % 69.98/64.80 eprover: CPU time limit exceeded, terminating % 72.17/66.82 eprover: CPU time limit exceeded, terminating % 74.43/68.83 eprover: CPU time limit exceeded, terminating % 76.58/70.84 eprover: CPU time limit exceeded, terminating % 78.79/72.86 eprover: CPU time limit exceeded, terminating % 81.00/74.87 eprover: CPU time limit exceeded, terminating % 83.19/76.89 eprover: CPU time limit exceeded, terminating % 85.44/78.90 eprover: CPU time limit exceeded, terminating % 87.65/80.91 eprover: CPU time limit exceeded, terminating % 89.83/82.93 eprover: CPU time limit exceeded, terminating % 91.98/84.94 eprover: CPU time limit exceeded, terminating % 94.18/86.95 eprover: CPU time limit exceeded, terminating % 96.37/88.97 eprover: CPU time limit exceeded, terminating % 98.56/90.98 eprover: CPU time limit exceeded, terminating % 100.82/93.00 eprover: CPU time limit exceeded, terminating % 103.04/95.01 eprover: CPU time limit exceeded, terminating % 105.23/97.02 eprover: CPU time limit exceeded, terminating % 107.44/99.04 eprover: CPU time limit exceeded, terminating % 109.58/101.05 eprover: CPU time limit exceeded, terminating % 111.79/103.07 eprover: CPU time limit exceeded, terminating % 113.99/105.08 eprover: CPU time limit exceeded, terminating % 116.23/107.09 eprover: CPU time limit exceeded, terminating % 118.36/109.11 eprover: CPU time limit exceeded, terminating % 120.64/111.12 eprover: CPU time limit exceeded, terminating % 122.84/113.13 eprover: CPU time limit exceeded, terminating % 125.01/115.15 eprover: CPU time limit exceeded, terminating % 127.21/117.16 eprover: CPU time limit exceeded, terminating % 129.35/119.18 eprover: CPU time limit exceeded, terminating % 131.63/121.19 eprover: CPU time limit exceeded, terminating % 133.84/123.20 eprover: CPU time limit exceeded, terminating % 136.03/125.22 eprover: CPU time limit exceeded, terminating % 138.20/127.23 eprover: CPU time limit exceeded, terminating % 140.36/129.25 eprover: CPU time limit exceeded, terminating % 142.58/131.26 eprover: CPU time limit exceeded, terminating % 144.79/133.27 eprover: CPU time limit exceeded, terminating % 146.96/135.29 eprover: CPU time limit exceeded, terminating % 149.17/137.30 eprover: CPU time limit exceeded, terminating % 151.43/139.31 eprover: CPU time limit exceeded, terminating % 153.63/141.33 eprover: CPU time limit exceeded, terminating % 155.85/143.34 eprover: CPU time limit exceeded, terminating % 157.97/145.35 eprover: CPU time limit exceeded, terminating % 160.18/147.37 eprover: CPU time limit exceeded, terminating % 162.39/149.38 eprover: CPU time limit exceeded, terminating % 164.65/151.40 eprover: CPU time limit exceeded, terminating % 166.85/153.41 eprover: CPU time limit exceeded, terminating % 169.06/155.43 eprover: CPU time limit exceeded, terminating % 171.24/157.44 eprover: CPU time limit exceeded, terminating % 173.39/159.45 eprover: CPU time limit exceeded, terminating % 175.65/161.47 eprover: CPU time limit exceeded, terminating % 177.79/163.48 eprover: CPU time limit exceeded, terminating % 180.05/165.50 eprover: CPU time limit exceeded, terminating % 182.25/167.51 eprover: CPU time limit exceeded, terminating % 184.44/169.52 eprover: CPU time limit exceeded, terminating % 186.62/171.54 eprover: CPU time limit exceeded, terminating % 188.80/173.55 eprover: CPU time limit exceeded, terminating % 190.98/175.57 eprover: CPU time limit exceeded, terminating % 193.15/177.58 eprover: CPU time limit exceeded, terminating % 195.43/179.60 eprover: CPU time limit exceeded, terminating % 197.64/181.61 eprover: CPU time limit exceeded, terminating % 199.82/183.63 eprover: CPU time limit exceeded, terminating % 202.00/185.64 eprover: CPU time limit exceeded, terminating % 204.15/187.66 eprover: CPU time limit exceeded, terminating % 206.35/189.67 eprover: CPU time limit exceeded, terminating % 208.56/191.68 eprover: CPU time limit exceeded, terminating % 210.81/193.70 eprover: CPU time limit exceeded, terminating % 212.93/195.71 eprover: CPU time limit exceeded, terminating % 215.18/197.73 eprover: CPU time limit exceeded, terminating % 217.39/199.74 eprover: CPU time limit exceeded, terminating % 219.55/201.76 eprover: CPU time limit exceeded, terminating % 221.80/203.77 eprover: CPU time limit exceeded, terminating % 223.91/205.78 eprover: CPU time limit exceeded, terminating % 226.18/207.80 eprover: CPU time limit exceeded, terminating % 228.37/209.81 eprover: CPU time limit exceeded, terminating % 230.51/211.82 eprover: CPU time limit exceeded, terminating % 232.71/213.84 eprover: CPU time limit exceeded, terminating % 234.91/215.85 eprover: CPU time limit exceeded, terminating % 237.08/217.86 eprover: CPU time limit exceeded, terminating % 239.30/219.88 eprover: CPU time limit exceeded, terminating % 241.51/221.89 eprover: CPU time limit exceeded, terminating % 243.65/223.90 eprover: CPU time limit exceeded, terminating % 245.87/225.92 eprover: CPU time limit exceeded, terminating % 248.12/227.93 eprover: CPU time limit exceeded, terminating % 250.25/229.94 eprover: CPU time limit exceeded, terminating % 252.49/231.96 eprover: CPU time limit exceeded, terminating % 254.61/233.97 eprover: CPU time limit exceeded, terminating % 256.88/235.99 eprover: CPU time limit exceeded, terminating % 259.09/238.00 eprover: CPU time limit exceeded, terminating % 261.21/240.01 eprover: CPU time limit exceeded, terminating % 263.48/242.03 eprover: CPU time limit exceeded, terminating % 265.69/244.04 eprover: CPU time limit exceeded, terminating % 267.84/246.05 eprover: CPU time limit exceeded, terminating % 270.03/248.07 eprover: CPU time limit exceeded, terminating % 272.27/250.08 eprover: CPU time limit exceeded, terminating % 274.39/252.09 eprover: CPU time limit exceeded, terminating % 276.66/254.10 eprover: CPU time limit exceeded, terminating % 278.87/256.12 eprover: CPU time limit exceeded, terminating % 281.06/258.13 eprover: CPU time limit exceeded, terminating % 283.23/260.14 eprover: CPU time limit exceeded, terminating % 285.41/262.16 eprover: CPU time limit exceeded, terminating % 287.61/264.17 eprover: CPU time limit exceeded, terminating % 289.76/266.18 eprover: CPU time limit exceeded, terminating % 292.01/268.19 eprover: CPU time limit exceeded, terminating % 294.14/270.21 eprover: CPU time limit exceeded, terminating % 296.43/272.22 eprover: CPU time limit exceeded, terminating % 298.59/274.23 eprover: CPU time limit exceeded, terminating % 300.05/275.49 eprover: CPU time limit exceeded, terminating % 300.05/275.51 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------