%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM516+3 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n016.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:37:40 EDT 2022 % Result : Timeout 286.30s 286.30s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.06/0.12 % Problem : NUM516+3 : TPTP v8.1.0. Released v4.0.0. % 0.06/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n016.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 : Tue Jul 5 15:08:33 EDT 2022 % 0.13/0.34 % CPUTime : % 2.24/2.45 eprover: CPU time limit exceeded, terminating % 4.23/4.46 eprover: CPU time limit exceeded, terminating % 6.24/6.47 eprover: CPU time limit exceeded, terminating % 8.27/8.48 eprover: CPU time limit exceeded, terminating % 10.32/10.49 eprover: CPU time limit exceeded, terminating % 12.34/12.50 eprover: CPU time limit exceeded, terminating % 14.34/14.51 eprover: CPU time limit exceeded, terminating % 16.34/16.52 eprover: CPU time limit exceeded, terminating % 18.37/18.52 eprover: CPU time limit exceeded, terminating % 20.37/20.53 eprover: CPU time limit exceeded, terminating % 22.41/22.54 eprover: CPU time limit exceeded, terminating % 24.37/24.55 eprover: CPU time limit exceeded, terminating % 26.41/26.56 eprover: CPU time limit exceeded, terminating % 28.40/28.57 eprover: CPU time limit exceeded, terminating % 30.41/30.58 eprover: CPU time limit exceeded, terminating % 32.46/32.59 eprover: CPU time limit exceeded, terminating % 34.48/34.60 eprover: CPU time limit exceeded, terminating % 36.49/36.61 eprover: CPU time limit exceeded, terminating % 38.52/38.61 eprover: CPU time limit exceeded, terminating % 40.50/40.62 eprover: CPU time limit exceeded, terminating % 42.55/42.63 eprover: CPU time limit exceeded, terminating % 44.53/44.64 eprover: CPU time limit exceeded, terminating % 46.57/46.65 eprover: CPU time limit exceeded, terminating % 48.53/48.66 eprover: CPU time limit exceeded, terminating % 50.55/50.67 eprover: CPU time limit exceeded, terminating % 52.58/52.68 eprover: CPU time limit exceeded, terminating % 54.63/54.69 eprover: CPU time limit exceeded, terminating % 56.64/56.70 eprover: CPU time limit exceeded, terminating % 58.66/58.72 eprover: CPU time limit exceeded, terminating % 60.66/60.73 eprover: CPU time limit exceeded, terminating % 62.66/62.74 eprover: CPU time limit exceeded, terminating % 64.64/64.75 eprover: CPU time limit exceeded, terminating % 66.70/66.76 eprover: CPU time limit exceeded, terminating % 68.74/68.79 eprover: CPU time limit exceeded, terminating % 70.70/70.80 eprover: CPU time limit exceeded, terminating % 72.76/72.81 eprover: CPU time limit exceeded, terminating % 74.74/74.83 eprover: CPU time limit exceeded, terminating % 76.80/76.84 eprover: CPU time limit exceeded, terminating % 78.77/78.86 eprover: CPU time limit exceeded, terminating % 80.81/80.88 eprover: CPU time limit exceeded, terminating % 82.77/82.89 eprover: CPU time limit exceeded, terminating % 84.88/84.90 eprover: CPU time limit exceeded, terminating % 86.87/86.92 eprover: CPU time limit exceeded, terminating % 88.88/88.94 eprover: CPU time limit exceeded, terminating % 90.88/90.95 eprover: CPU time limit exceeded, terminating % 92.87/92.97 eprover: CPU time limit exceeded, terminating % 94.91/94.98 eprover: CPU time limit exceeded, terminating % 96.97/96.99 eprover: CPU time limit exceeded, terminating % 98.97/99.01 eprover: CPU time limit exceeded, terminating % 100.94/101.02 eprover: CPU time limit exceeded, terminating % 102.97/103.04 eprover: CPU time limit exceeded, terminating % 105.01/105.05 eprover: CPU time limit exceeded, terminating % 106.97/107.06 eprover: CPU time limit exceeded, terminating % 109.05/109.09 eprover: CPU time limit exceeded, terminating % 111.04/111.10 eprover: CPU time limit exceeded, terminating % 113.08/113.11 eprover: CPU time limit exceeded, terminating % 115.10/115.13 eprover: CPU time limit exceeded, terminating % 117.08/117.14 eprover: CPU time limit exceeded, terminating % 119.08/119.17 eprover: CPU time limit exceeded, terminating % 121.14/121.19 eprover: CPU time limit exceeded, terminating % 123.10/123.20 eprover: CPU time limit exceeded, terminating % 125.16/125.22 eprover: CPU time limit exceeded, terminating % 127.17/127.23 eprover: CPU time limit exceeded, terminating % 129.12/129.24 eprover: CPU time limit exceeded, terminating % 131.16/131.25 eprover: CPU time limit exceeded, terminating % 133.21/133.27 eprover: CPU time limit exceeded, terminating % 135.23/135.28 eprover: CPU time limit exceeded, terminating % 137.27/137.29 eprover: CPU time limit exceeded, terminating % 139.23/139.30 eprover: CPU time limit exceeded, terminating % 141.22/141.31 eprover: CPU time limit exceeded, terminating % 143.29/143.32 eprover: CPU time limit exceeded, terminating % 145.33/145.33 eprover: CPU time limit exceeded, terminating % 147.30/147.34 eprover: CPU time limit exceeded, terminating % 149.34/149.36 eprover: CPU time limit exceeded, terminating % 151.30/151.37 eprover: CPU time limit exceeded, terminating % 153.38/153.38 eprover: CPU time limit exceeded, terminating % 155.40/155.39 eprover: CPU time limit exceeded, terminating % 157.39/157.40 eprover: CPU time limit exceeded, terminating % 159.38/159.42 eprover: CPU time limit exceeded, terminating % 161.39/161.43 eprover: CPU time limit exceeded, terminating % 163.42/163.45 eprover: CPU time limit exceeded, terminating % 165.43/165.46 eprover: CPU time limit exceeded, terminating % 167.45/167.48 eprover: CPU time limit exceeded, terminating % 169.50/169.51 eprover: CPU time limit exceeded, terminating % 171.50/171.51 eprover: CPU time limit exceeded, terminating % 173.47/173.53 eprover: CPU time limit exceeded, terminating % 175.55/175.54 eprover: CPU time limit exceeded, terminating % 177.55/177.55 eprover: CPU time limit exceeded, terminating % 179.53/179.57 eprover: CPU time limit exceeded, terminating % 181.56/181.59 eprover: CPU time limit exceeded, terminating % 183.57/183.63 eprover: CPU time limit exceeded, terminating % 185.61/185.64 eprover: CPU time limit exceeded, terminating % 187.59/187.65 eprover: CPU time limit exceeded, terminating % 189.64/189.67 eprover: CPU time limit exceeded, terminating % 191.64/191.68 eprover: CPU time limit exceeded, terminating % 193.67/193.70 eprover: CPU time limit exceeded, terminating % 195.63/195.71 eprover: CPU time limit exceeded, terminating % 197.66/197.72 eprover: CPU time limit exceeded, terminating % 199.71/199.74 eprover: CPU time limit exceeded, terminating % 201.70/201.75 eprover: CPU time limit exceeded, terminating % 203.71/203.78 eprover: CPU time limit exceeded, terminating % 205.74/205.79 eprover: CPU time limit exceeded, terminating % 207.76/207.80 eprover: CPU time limit exceeded, terminating % 209.79/209.81 eprover: CPU time limit exceeded, terminating % 211.80/211.82 eprover: CPU time limit exceeded, terminating % 213.82/213.85 eprover: CPU time limit exceeded, terminating % 215.78/215.86 eprover: CPU time limit exceeded, terminating % 217.80/217.87 eprover: CPU time limit exceeded, terminating % 219.84/219.88 eprover: CPU time limit exceeded, terminating % 221.87/221.90 eprover: CPU time limit exceeded, terminating % 223.88/223.91 eprover: CPU time limit exceeded, terminating % 225.87/225.93 eprover: CPU time limit exceeded, terminating % 227.84/227.93 eprover: CPU time limit exceeded, terminating % 229.94/229.95 eprover: CPU time limit exceeded, terminating % 231.92/231.96 eprover: CPU time limit exceeded, terminating % 233.93/233.97 eprover: CPU time limit exceeded, terminating % 235.96/235.98 eprover: CPU time limit exceeded, terminating % 237.95/237.99 eprover: CPU time limit exceeded, terminating % 239.97/240.01 eprover: CPU time limit exceeded, terminating % 241.99/242.02 eprover: CPU time limit exceeded, terminating % 244.02/244.03 eprover: CPU time limit exceeded, terminating % 246.02/246.05 eprover: CPU time limit exceeded, terminating % 247.99/248.06 eprover: CPU time limit exceeded, terminating % 250.07/250.09 eprover: CPU time limit exceeded, terminating % 252.06/252.10 eprover: CPU time limit exceeded, terminating % 254.12/254.11 eprover: CPU time limit exceeded, terminating % 256.08/256.12 eprover: CPU time limit exceeded, terminating % 258.11/258.14 eprover: CPU time limit exceeded, terminating % 260.09/260.15 eprover: CPU time limit exceeded, terminating % 262.15/262.16 eprover: CPU time limit exceeded, terminating % 264.16/264.17 eprover: CPU time limit exceeded, terminating % 266.18/266.18 eprover: CPU time limit exceeded, terminating % 268.17/268.19 eprover: CPU time limit exceeded, terminating % 270.20/270.21 eprover: CPU time limit exceeded, terminating % 272.17/272.22 eprover: CPU time limit exceeded, terminating % 274.23/274.23 eprover: CPU time limit exceeded, terminating % 276.25/276.25 eprover: CPU time limit exceeded, terminating % 278.27/278.26 eprover: CPU time limit exceeded, terminating % 280.29/280.27 eprover: CPU time limit exceeded, terminating % 282.28/282.28 eprover: CPU time limit exceeded, terminating % 284.30/284.29 eprover: CPU time limit exceeded, terminating % 286.30/286.30 eprover: CPU time limit exceeded, terminating % 288.36/288.32 eprover: CPU time limit exceeded, terminating % 290.32/290.33 eprover: CPU time limit exceeded, terminating % 292.33/292.34 eprover: CPU time limit exceeded, terminating % 294.35/294.36 eprover: CPU time limit exceeded, terminating % 296.40/296.37 eprover: CPU time limit exceeded, terminating % 298.42/298.38 eprover: CPU time limit exceeded, terminating % 300.01/299.96 eprover: CPU time limit exceeded, terminating % 300.01/299.98 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------