%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM493+3 : TPTP v8.1.0. Released v4.0.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n024.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:27 EDT 2022 % Result : Timeout 286.55s 286.81s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : NUM493+3 : TPTP v8.1.0. Released v4.0.0. % 0.07/0.13 % Command : run_infinox %s % 0.13/0.32 % Computer : n024.cluster.edu % 0.13/0.32 % Model : x86_64 x86_64 % 0.13/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.32 % Memory : 8042.1875MB % 0.13/0.32 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.32 % CPULimit : 300 % 0.13/0.32 % WCLimit : 600 % 0.13/0.32 % DateTime : Tue Jul 5 12:36:59 EDT 2022 % 0.13/0.33 % CPUTime : % 2.22/2.42 eprover: CPU time limit exceeded, terminating % 4.25/4.44 eprover: CPU time limit exceeded, terminating % 6.22/6.45 eprover: CPU time limit exceeded, terminating % 8.18/8.46 eprover: CPU time limit exceeded, terminating % 10.23/10.47 eprover: CPU time limit exceeded, terminating % 12.32/12.49 eprover: CPU time limit exceeded, terminating % 14.30/14.50 eprover: CPU time limit exceeded, terminating % 16.34/16.51 eprover: CPU time limit exceeded, terminating % 18.36/18.53 eprover: CPU time limit exceeded, terminating % 20.34/20.54 eprover: CPU time limit exceeded, terminating % 22.34/22.55 eprover: CPU time limit exceeded, terminating % 24.34/24.57 eprover: CPU time limit exceeded, terminating % 26.36/26.59 eprover: CPU time limit exceeded, terminating % 28.37/28.60 eprover: CPU time limit exceeded, terminating % 30.47/30.62 eprover: CPU time limit exceeded, terminating % 32.46/32.63 eprover: CPU time limit exceeded, terminating % 34.47/34.64 eprover: CPU time limit exceeded, terminating % 36.44/36.66 eprover: CPU time limit exceeded, terminating % 38.46/38.67 eprover: CPU time limit exceeded, terminating % 40.55/40.69 eprover: CPU time limit exceeded, terminating % 42.57/42.71 eprover: CPU time limit exceeded, terminating % 44.57/44.72 eprover: CPU time limit exceeded, terminating % 46.59/46.74 eprover: CPU time limit exceeded, terminating % 48.58/48.75 eprover: CPU time limit exceeded, terminating % 50.58/50.77 eprover: CPU time limit exceeded, terminating % 52.57/52.78 eprover: CPU time limit exceeded, terminating % 54.60/54.80 eprover: CPU time limit exceeded, terminating % 56.68/56.81 eprover: CPU time limit exceeded, terminating % 58.66/58.86 eprover: CPU time limit exceeded, terminating % 60.67/60.87 eprover: CPU time limit exceeded, terminating % 62.73/62.89 eprover: CPU time limit exceeded, terminating % 64.69/64.90 eprover: CPU time limit exceeded, terminating % 66.75/66.92 eprover: CPU time limit exceeded, terminating % 68.77/68.94 eprover: CPU time limit exceeded, terminating % 70.73/70.95 eprover: CPU time limit exceeded, terminating % 72.76/72.96 eprover: CPU time limit exceeded, terminating % 74.75/74.98 eprover: CPU time limit exceeded, terminating % 76.76/77.00 eprover: CPU time limit exceeded, terminating % 78.88/79.01 eprover: CPU time limit exceeded, terminating % 80.87/81.03 eprover: CPU time limit exceeded, terminating % 82.88/83.05 eprover: CPU time limit exceeded, terminating % 84.85/85.06 eprover: CPU time limit exceeded, terminating % 86.89/87.07 eprover: CPU time limit exceeded, terminating % 88.87/89.09 eprover: CPU time limit exceeded, terminating % 90.96/91.12 eprover: CPU time limit exceeded, terminating % 92.94/93.13 eprover: CPU time limit exceeded, terminating % 94.96/95.15 eprover: CPU time limit exceeded, terminating % 96.94/97.16 eprover: CPU time limit exceeded, terminating % 98.96/99.18 eprover: CPU time limit exceeded, terminating % 100.99/101.19 eprover: CPU time limit exceeded, terminating % 103.07/103.21 eprover: CPU time limit exceeded, terminating % 105.06/105.22 eprover: CPU time limit exceeded, terminating % 107.09/107.24 eprover: CPU time limit exceeded, terminating % 109.07/109.25 eprover: CPU time limit exceeded, terminating % 111.09/111.27 eprover: CPU time limit exceeded, terminating % 113.10/113.28 eprover: CPU time limit exceeded, terminating % 115.16/115.30 eprover: CPU time limit exceeded, terminating % 117.17/117.31 eprover: CPU time limit exceeded, terminating % 119.19/119.33 eprover: CPU time limit exceeded, terminating % 121.22/121.35 eprover: CPU time limit exceeded, terminating % 123.19/123.36 eprover: CPU time limit exceeded, terminating % 125.19/125.40 eprover: CPU time limit exceeded, terminating % 127.22/127.42 eprover: CPU time limit exceeded, terminating % 129.25/129.43 eprover: CPU time limit exceeded, terminating % 131.27/131.45 eprover: CPU time limit exceeded, terminating % 133.32/133.46 eprover: CPU time limit exceeded, terminating % 135.30/135.48 eprover: CPU time limit exceeded, terminating % 137.35/137.49 eprover: CPU time limit exceeded, terminating % 139.30/139.51 eprover: CPU time limit exceeded, terminating % 141.37/141.52 eprover: CPU time limit exceeded, terminating % 143.38/143.55 eprover: CPU time limit exceeded, terminating % 145.39/145.57 eprover: CPU time limit exceeded, terminating % 147.43/147.58 eprover: CPU time limit exceeded, terminating % 149.39/149.60 eprover: CPU time limit exceeded, terminating % 151.48/151.61 eprover: CPU time limit exceeded, terminating % 153.47/153.62 eprover: CPU time limit exceeded, terminating % 155.48/155.66 eprover: CPU time limit exceeded, terminating % 157.48/157.67 eprover: CPU time limit exceeded, terminating % 159.47/159.69 eprover: CPU time limit exceeded, terminating % 161.54/161.70 eprover: CPU time limit exceeded, terminating % 163.56/163.72 eprover: CPU time limit exceeded, terminating % 165.55/165.73 eprover: CPU time limit exceeded, terminating % 167.59/167.75 eprover: CPU time limit exceeded, terminating % 169.62/169.76 eprover: CPU time limit exceeded, terminating % 171.63/171.80 eprover: CPU time limit exceeded, terminating % 173.66/173.82 eprover: CPU time limit exceeded, terminating % 175.62/175.83 eprover: CPU time limit exceeded, terminating % 177.64/177.85 eprover: CPU time limit exceeded, terminating % 179.64/179.87 eprover: CPU time limit exceeded, terminating % 181.63/181.88 eprover: CPU time limit exceeded, terminating % 183.65/183.90 eprover: CPU time limit exceeded, terminating % 185.71/185.92 eprover: CPU time limit exceeded, terminating % 187.75/187.93 eprover: CPU time limit exceeded, terminating % 189.76/189.96 eprover: CPU time limit exceeded, terminating % 191.73/191.97 eprover: CPU time limit exceeded, terminating % 193.76/193.99 eprover: CPU time limit exceeded, terminating % 195.82/196.00 eprover: CPU time limit exceeded, terminating % 197.85/198.02 eprover: CPU time limit exceeded, terminating % 199.78/200.04 eprover: CPU time limit exceeded, terminating % 201.84/202.06 eprover: CPU time limit exceeded, terminating % 203.88/204.07 eprover: CPU time limit exceeded, terminating % 205.84/206.09 eprover: CPU time limit exceeded, terminating % 207.92/208.10 eprover: CPU time limit exceeded, terminating % 209.91/210.13 eprover: CPU time limit exceeded, terminating % 211.94/212.14 eprover: CPU time limit exceeded, terminating % 213.97/214.16 eprover: CPU time limit exceeded, terminating % 215.96/216.17 eprover: CPU time limit exceeded, terminating % 217.99/218.19 eprover: CPU time limit exceeded, terminating % 220.01/220.21 eprover: CPU time limit exceeded, terminating % 222.00/222.23 eprover: CPU time limit exceeded, terminating % 224.05/224.24 eprover: CPU time limit exceeded, terminating % 226.03/226.26 eprover: CPU time limit exceeded, terminating % 228.05/228.27 eprover: CPU time limit exceeded, terminating % 230.09/230.30 eprover: CPU time limit exceeded, terminating % 232.13/232.31 eprover: CPU time limit exceeded, terminating % 234.07/234.33 eprover: CPU time limit exceeded, terminating % 236.13/236.34 eprover: CPU time limit exceeded, terminating % 238.11/238.36 eprover: CPU time limit exceeded, terminating % 240.14/240.38 eprover: CPU time limit exceeded, terminating % 242.21/242.40 eprover: CPU time limit exceeded, terminating % 244.18/244.42 eprover: CPU time limit exceeded, terminating % 246.19/246.44 eprover: CPU time limit exceeded, terminating % 248.23/248.46 eprover: CPU time limit exceeded, terminating % 250.25/250.48 eprover: CPU time limit exceeded, terminating % 252.28/252.50 eprover: CPU time limit exceeded, terminating % 254.27/254.51 eprover: CPU time limit exceeded, terminating % 256.25/256.53 eprover: CPU time limit exceeded, terminating % 258.33/258.54 eprover: CPU time limit exceeded, terminating % 260.34/260.57 eprover: CPU time limit exceeded, terminating % 262.33/262.58 eprover: CPU time limit exceeded, terminating % 264.37/264.60 eprover: CPU time limit exceeded, terminating % 266.36/266.61 eprover: CPU time limit exceeded, terminating % 268.42/268.63 eprover: CPU time limit exceeded, terminating % 270.45/270.66 eprover: CPU time limit exceeded, terminating % 272.41/272.67 eprover: CPU time limit exceeded, terminating % 274.44/274.68 eprover: CPU time limit exceeded, terminating % 276.48/276.72 eprover: CPU time limit exceeded, terminating % 278.51/278.73 eprover: CPU time limit exceeded, terminating % 280.52/280.76 eprover: CPU time limit exceeded, terminating % 282.53/282.77 eprover: CPU time limit exceeded, terminating % 284.55/284.79 eprover: CPU time limit exceeded, terminating % 286.55/286.81 eprover: CPU time limit exceeded, terminating % 288.54/288.82 eprover: CPU time limit exceeded, terminating % 290.54/290.83 eprover: CPU time limit exceeded, terminating % 292.60/292.85 eprover: CPU time limit exceeded, terminating % 294.63/294.86 eprover: CPU time limit exceeded, terminating % 296.64/296.88 eprover: CPU time limit exceeded, terminating % 298.67/298.89 eprover: CPU time limit exceeded, terminating % 300.06/300.27 eprover: CPU time limit exceeded, terminating % 300.06/300.29 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------