%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : NUM537+1 : TPTP v8.1.0. Released v4.0.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 : Mon Jul 18 10:37:52 EDT 2022 % Result : Timeout 286.63s 286.74s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.04/0.14 % Problem : NUM537+1 : TPTP v8.1.0. Released v4.0.0. % 0.04/0.14 % Command : run_infinox %s % 0.14/0.36 % Computer : n020.cluster.edu % 0.14/0.36 % Model : x86_64 x86_64 % 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.36 % Memory : 8042.1875MB % 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.36 % CPULimit : 300 % 0.14/0.36 % WCLimit : 600 % 0.14/0.36 % DateTime : Tue Jul 5 23:26:14 EDT 2022 % 0.14/0.36 % CPUTime : % 2.18/2.41 eprover: CPU time limit exceeded, terminating % 4.19/4.43 eprover: CPU time limit exceeded, terminating % 6.27/6.44 eprover: CPU time limit exceeded, terminating % 8.26/8.47 eprover: CPU time limit exceeded, terminating % 10.24/10.48 eprover: CPU time limit exceeded, terminating % 12.26/12.49 eprover: CPU time limit exceeded, terminating % 14.26/14.51 eprover: CPU time limit exceeded, terminating % 16.31/16.53 eprover: CPU time limit exceeded, terminating % 18.31/18.54 eprover: CPU time limit exceeded, terminating % 20.34/20.55 eprover: CPU time limit exceeded, terminating % 22.37/22.56 eprover: CPU time limit exceeded, terminating % 24.34/24.57 eprover: CPU time limit exceeded, terminating % 26.37/26.59 eprover: CPU time limit exceeded, terminating % 28.40/28.60 eprover: CPU time limit exceeded, terminating % 30.39/30.61 eprover: CPU time limit exceeded, terminating % 32.38/32.63 eprover: CPU time limit exceeded, terminating % 34.46/34.64 eprover: CPU time limit exceeded, terminating % 36.49/36.65 eprover: CPU time limit exceeded, terminating % 38.47/38.66 eprover: CPU time limit exceeded, terminating % 40.50/40.67 eprover: CPU time limit exceeded, terminating % 42.50/42.68 eprover: CPU time limit exceeded, terminating % 44.52/44.70 eprover: CPU time limit exceeded, terminating % 46.51/46.71 eprover: CPU time limit exceeded, terminating % 48.48/48.72 eprover: CPU time limit exceeded, terminating % 50.52/50.73 eprover: CPU time limit exceeded, terminating % 52.60/52.75 eprover: CPU time limit exceeded, terminating % 54.62/54.76 eprover: CPU time limit exceeded, terminating % 56.61/56.77 eprover: CPU time limit exceeded, terminating % 58.64/58.78 eprover: CPU time limit exceeded, terminating % 60.67/60.81 eprover: CPU time limit exceeded, terminating % 62.66/62.82 eprover: CPU time limit exceeded, terminating % 64.62/64.83 eprover: CPU time limit exceeded, terminating % 66.70/66.84 eprover: CPU time limit exceeded, terminating % 68.72/68.86 eprover: CPU time limit exceeded, terminating % 70.73/70.88 eprover: CPU time limit exceeded, terminating % 72.69/72.89 eprover: CPU time limit exceeded, terminating % 74.72/74.90 eprover: CPU time limit exceeded, terminating % 76.76/76.92 eprover: CPU time limit exceeded, terminating % 78.77/78.93 eprover: CPU time limit exceeded, terminating % 80.80/80.95 eprover: CPU time limit exceeded, terminating % 82.83/82.97 eprover: CPU time limit exceeded, terminating % 84.82/84.98 eprover: CPU time limit exceeded, terminating % 86.80/86.99 eprover: CPU time limit exceeded, terminating % 88.81/89.00 eprover: CPU time limit exceeded, terminating % 90.84/91.03 eprover: CPU time limit exceeded, terminating % 92.82/93.04 eprover: CPU time limit exceeded, terminating % 94.87/95.05 eprover: CPU time limit exceeded, terminating % 96.94/97.06 eprover: CPU time limit exceeded, terminating % 98.94/99.07 eprover: CPU time limit exceeded, terminating % 100.94/101.10 eprover: CPU time limit exceeded, terminating % 102.92/103.11 eprover: CPU time limit exceeded, terminating % 104.90/105.13 eprover: CPU time limit exceeded, terminating % 106.96/107.14 eprover: CPU time limit exceeded, terminating % 108.97/109.16 eprover: CPU time limit exceeded, terminating % 111.03/111.18 eprover: CPU time limit exceeded, terminating % 113.05/113.20 eprover: CPU time limit exceeded, terminating % 115.04/115.21 eprover: CPU time limit exceeded, terminating % 117.06/117.23 eprover: CPU time limit exceeded, terminating % 119.11/119.24 eprover: CPU time limit exceeded, terminating % 121.13/121.27 eprover: CPU time limit exceeded, terminating % 123.16/123.29 eprover: CPU time limit exceeded, terminating % 125.13/125.30 eprover: CPU time limit exceeded, terminating % 127.19/127.32 eprover: CPU time limit exceeded, terminating % 129.14/129.34 eprover: CPU time limit exceeded, terminating % 131.20/131.36 eprover: CPU time limit exceeded, terminating % 133.23/133.37 eprover: CPU time limit exceeded, terminating % 135.25/135.39 eprover: CPU time limit exceeded, terminating % 137.25/137.41 eprover: CPU time limit exceeded, terminating % 139.25/139.42 eprover: CPU time limit exceeded, terminating % 141.33/141.44 eprover: CPU time limit exceeded, terminating % 143.34/143.45 eprover: CPU time limit exceeded, terminating % 145.33/145.47 eprover: CPU time limit exceeded, terminating % 147.38/147.49 eprover: CPU time limit exceeded, terminating % 149.38/149.50 eprover: CPU time limit exceeded, terminating % 151.39/151.52 eprover: CPU time limit exceeded, terminating % 153.42/153.54 eprover: CPU time limit exceeded, terminating % 155.46/155.55 eprover: CPU time limit exceeded, terminating % 157.46/157.57 eprover: CPU time limit exceeded, terminating % 159.50/159.58 eprover: CPU time limit exceeded, terminating % 161.49/161.60 eprover: CPU time limit exceeded, terminating % 163.53/163.61 eprover: CPU time limit exceeded, terminating % 165.49/165.63 eprover: CPU time limit exceeded, terminating % 167.56/167.65 eprover: CPU time limit exceeded, terminating % 169.58/169.66 eprover: CPU time limit exceeded, terminating % 171.60/171.68 eprover: CPU time limit exceeded, terminating % 173.57/173.69 eprover: CPU time limit exceeded, terminating % 175.62/175.71 eprover: CPU time limit exceeded, terminating % 177.66/177.72 eprover: CPU time limit exceeded, terminating % 179.65/179.74 eprover: CPU time limit exceeded, terminating % 181.67/181.75 eprover: CPU time limit exceeded, terminating % 183.72/183.77 eprover: CPU time limit exceeded, terminating % 185.74/185.78 eprover: CPU time limit exceeded, terminating % 187.70/187.80 eprover: CPU time limit exceeded, terminating % 189.77/189.81 eprover: CPU time limit exceeded, terminating % 191.75/191.83 eprover: CPU time limit exceeded, terminating % 193.82/193.85 eprover: CPU time limit exceeded, terminating % 195.76/195.87 eprover: CPU time limit exceeded, terminating % 197.86/197.88 eprover: CPU time limit exceeded, terminating % 199.81/199.90 eprover: CPU time limit exceeded, terminating % 201.87/201.91 eprover: CPU time limit exceeded, terminating % 203.90/203.93 eprover: CPU time limit exceeded, terminating % 205.88/205.95 eprover: CPU time limit exceeded, terminating % 207.97/207.97 eprover: CPU time limit exceeded, terminating % 209.93/209.99 eprover: CPU time limit exceeded, terminating % 211.96/212.01 eprover: CPU time limit exceeded, terminating % 214.03/214.02 eprover: CPU time limit exceeded, terminating % 215.95/216.04 eprover: CPU time limit exceeded, terminating % 217.99/218.06 eprover: CPU time limit exceeded, terminating % 220.08/220.07 eprover: CPU time limit exceeded, terminating % 222.10/222.09 eprover: CPU time limit exceeded, terminating % 224.11/224.10 eprover: CPU time limit exceeded, terminating % 226.07/226.12 eprover: CPU time limit exceeded, terminating % 228.15/228.14 eprover: CPU time limit exceeded, terminating % 230.18/230.16 eprover: CPU time limit exceeded, terminating % 232.19/232.18 eprover: CPU time limit exceeded, terminating % 234.21/234.20 eprover: CPU time limit exceeded, terminating % 236.23/236.22 eprover: CPU time limit exceeded, terminating % 238.21/238.24 eprover: CPU time limit exceeded, terminating % 240.24/240.26 eprover: CPU time limit exceeded, terminating % 242.28/242.28 eprover: CPU time limit exceeded, terminating % 244.28/244.31 eprover: CPU time limit exceeded, terminating % 246.32/246.33 eprover: CPU time limit exceeded, terminating % 248.34/248.35 eprover: CPU time limit exceeded, terminating % 250.35/250.37 eprover: CPU time limit exceeded, terminating % 252.37/252.39 eprover: CPU time limit exceeded, terminating % 254.40/254.41 eprover: CPU time limit exceeded, terminating % 256.37/256.44 eprover: CPU time limit exceeded, terminating % 258.43/258.46 eprover: CPU time limit exceeded, terminating % 260.42/260.49 eprover: CPU time limit exceeded, terminating % 262.41/262.51 eprover: CPU time limit exceeded, terminating % 264.47/264.52 eprover: CPU time limit exceeded, terminating % 266.50/266.55 eprover: CPU time limit exceeded, terminating % 268.53/268.57 eprover: CPU time limit exceeded, terminating % 270.50/270.60 eprover: CPU time limit exceeded, terminating % 272.57/272.62 eprover: CPU time limit exceeded, terminating % 274.57/274.63 eprover: CPU time limit exceeded, terminating % 276.58/276.64 eprover: CPU time limit exceeded, terminating % 278.62/278.67 eprover: CPU time limit exceeded, terminating % 280.58/280.68 eprover: CPU time limit exceeded, terminating % 282.62/282.70 eprover: CPU time limit exceeded, terminating % 284.59/284.72 eprover: CPU time limit exceeded, terminating % 286.63/286.74 eprover: CPU time limit exceeded, terminating % 288.66/288.76 eprover: CPU time limit exceeded, terminating % 290.68/290.77 eprover: CPU time limit exceeded, terminating % 292.69/292.79 eprover: CPU time limit exceeded, terminating % 294.67/294.81 eprover: CPU time limit exceeded, terminating % 296.65/296.82 eprover: CPU time limit exceeded, terminating % 298.74/298.84 eprover: CPU time limit exceeded, terminating % 300.09/300.18 eprover: CPU time limit exceeded, terminating % 300.09/300.19 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------