%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB028+3 : TPTP v8.1.0. Released v5.2.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n019.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 19:04:39 EDT 2022 % Result : Timeout 287.03s 282.59s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.13 % Problem : SWB028+3 : TPTP v8.1.0. Released v5.2.0. % 0.03/0.14 % Command : run_infinox %s % 0.14/0.35 % Computer : n019.cluster.edu % 0.14/0.35 % Model : x86_64 x86_64 % 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.35 % Memory : 8042.1875MB % 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.35 % CPULimit : 300 % 0.14/0.35 % WCLimit : 600 % 0.14/0.35 % DateTime : Wed Jun 1 12:14:25 EDT 2022 % 0.14/0.36 % CPUTime : % 2.32/2.52 eprover: CPU time limit exceeded, terminating % 4.34/4.53 eprover: CPU time limit exceeded, terminating % 6.33/6.55 eprover: CPU time limit exceeded, terminating % 8.39/8.57 eprover: CPU time limit exceeded, terminating % 10.38/10.59 eprover: CPU time limit exceeded, terminating % 12.40/12.61 eprover: CPU time limit exceeded, terminating % 14.37/14.62 eprover: CPU time limit exceeded, terminating % 16.43/16.64 eprover: CPU time limit exceeded, terminating % 18.46/18.66 eprover: CPU time limit exceeded, terminating % 20.48/20.68 eprover: CPU time limit exceeded, terminating % 22.51/22.70 eprover: CPU time limit exceeded, terminating % 24.47/24.71 eprover: CPU time limit exceeded, terminating % 26.57/26.74 eprover: CPU time limit exceeded, terminating % 28.57/28.75 eprover: CPU time limit exceeded, terminating % 30.56/30.77 eprover: CPU time limit exceeded, terminating % 32.61/32.78 eprover: CPU time limit exceeded, terminating % 34.59/34.80 eprover: CPU time limit exceeded, terminating % 36.63/36.81 eprover: CPU time limit exceeded, terminating % 38.59/38.83 eprover: CPU time limit exceeded, terminating % 40.67/40.85 eprover: CPU time limit exceeded, terminating % 42.66/42.87 eprover: CPU time limit exceeded, terminating % 44.71/44.89 eprover: CPU time limit exceeded, terminating % 46.69/46.92 eprover: CPU time limit exceeded, terminating % 48.73/48.94 eprover: CPU time limit exceeded, terminating % 50.77/50.95 eprover: CPU time limit exceeded, terminating % 52.79/52.98 eprover: CPU time limit exceeded, terminating % 54.79/54.99 eprover: CPU time limit exceeded, terminating % 56.76/57.01 eprover: CPU time limit exceeded, terminating % 58.79/59.02 eprover: CPU time limit exceeded, terminating % 60.80/61.03 eprover: CPU time limit exceeded, terminating % 62.86/63.04 eprover: CPU time limit exceeded, terminating % 64.86/65.06 eprover: CPU time limit exceeded, terminating % 66.91/67.07 eprover: CPU time limit exceeded, terminating % 68.90/69.08 eprover: CPU time limit exceeded, terminating % 70.91/71.10 eprover: CPU time limit exceeded, terminating % 72.93/73.11 eprover: CPU time limit exceeded, terminating % 74.93/75.12 eprover: CPU time limit exceeded, terminating % 77.00/77.14 eprover: CPU time limit exceeded, terminating % 79.03/79.15 eprover: CPU time limit exceeded, terminating % 81.05/81.17 eprover: CPU time limit exceeded, terminating % 83.04/83.18 eprover: CPU time limit exceeded, terminating % 85.07/85.19 eprover: CPU time limit exceeded, terminating % 87.08/87.21 eprover: CPU time limit exceeded, terminating % 89.06/89.22 eprover: CPU time limit exceeded, terminating % 91.09/91.23 eprover: CPU time limit exceeded, terminating % 93.16/93.25 eprover: CPU time limit exceeded, terminating % 95.15/95.26 eprover: CPU time limit exceeded, terminating % 97.19/97.27 eprover: CPU time limit exceeded, terminating % 99.22/99.29 eprover: CPU time limit exceeded, terminating % 101.21/101.30 eprover: CPU time limit exceeded, terminating % 103.23/103.32 eprover: CPU time limit exceeded, terminating % 105.29/105.33 eprover: CPU time limit exceeded, terminating % 107.27/107.35 eprover: CPU time limit exceeded, terminating % 109.32/109.37 eprover: CPU time limit exceeded, terminating % 111.35/111.38 eprover: CPU time limit exceeded, terminating % 113.33/113.39 eprover: CPU time limit exceeded, terminating % 115.38/115.41 eprover: CPU time limit exceeded, terminating % 117.37/117.42 eprover: CPU time limit exceeded, terminating % 119.41/119.44 eprover: CPU time limit exceeded, terminating % 121.45/121.45 eprover: CPU time limit exceeded, terminating % 123.48/123.47 eprover: CPU time limit exceeded, terminating % 125.47/125.48 eprover: CPU time limit exceeded, terminating % 127.51/127.49 eprover: CPU time limit exceeded, terminating % 129.52/129.51 eprover: CPU time limit exceeded, terminating % 131.54/131.52 eprover: CPU time limit exceeded, terminating % 133.51/133.54 eprover: CPU time limit exceeded, terminating % 135.60/135.55 eprover: CPU time limit exceeded, terminating % 137.61/137.57 eprover: CPU time limit exceeded, terminating % 139.64/139.58 eprover: CPU time limit exceeded, terminating % 141.65/141.59 eprover: CPU time limit exceeded, terminating % 143.61/143.61 eprover: CPU time limit exceeded, terminating % 145.63/145.62 eprover: CPU time limit exceeded, terminating % 147.67/147.64 eprover: CPU time limit exceeded, terminating % 149.73/149.65 eprover: CPU time limit exceeded, terminating % 151.74/151.67 eprover: CPU time limit exceeded, terminating % 153.79/153.68 eprover: CPU time limit exceeded, terminating % 155.75/155.70 eprover: CPU time limit exceeded, terminating % 157.77/157.71 eprover: CPU time limit exceeded, terminating % 159.80/159.73 eprover: CPU time limit exceeded, terminating % 161.84/161.74 eprover: CPU time limit exceeded, terminating % 163.87/163.75 eprover: CPU time limit exceeded, terminating % 165.88/165.77 eprover: CPU time limit exceeded, terminating % 167.90/167.78 eprover: CPU time limit exceeded, terminating % 169.92/169.80 eprover: CPU time limit exceeded, terminating % 171.94/171.81 eprover: CPU time limit exceeded, terminating % 173.98/173.82 eprover: CPU time limit exceeded, terminating % 176.00/175.84 eprover: CPU time limit exceeded, terminating % 178.02/177.85 eprover: CPU time limit exceeded, terminating % 180.04/179.86 eprover: CPU time limit exceeded, terminating % 182.05/181.88 eprover: CPU time limit exceeded, terminating % 184.08/183.89 eprover: CPU time limit exceeded, terminating % 186.07/185.91 eprover: CPU time limit exceeded, terminating % 188.06/187.92 eprover: CPU time limit exceeded, terminating % 190.07/189.94 eprover: CPU time limit exceeded, terminating % 192.17/191.95 eprover: CPU time limit exceeded, terminating % 194.20/193.96 eprover: CPU time limit exceeded, terminating % 196.22/195.98 eprover: CPU time limit exceeded, terminating % 198.21/197.99 eprover: CPU time limit exceeded, terminating % 200.20/200.01 eprover: CPU time limit exceeded, terminating % 202.21/202.02 eprover: CPU time limit exceeded, terminating % 204.30/204.03 eprover: CPU time limit exceeded, terminating % 206.30/206.05 eprover: CPU time limit exceeded, terminating % 208.31/208.06 eprover: CPU time limit exceeded, terminating % 210.35/210.07 eprover: CPU time limit exceeded, terminating % 212.36/212.09 eprover: CPU time limit exceeded, terminating % 214.37/214.10 eprover: CPU time limit exceeded, terminating % 216.38/216.11 eprover: CPU time limit exceeded, terminating % 218.39/218.13 eprover: CPU time limit exceeded, terminating % 222.44/220.14 eprover: CPU time limit exceeded, terminating % 224.45/222.16 eprover: CPU time limit exceeded, terminating % 226.45/224.17 eprover: CPU time limit exceeded, terminating % 228.46/226.19 eprover: CPU time limit exceeded, terminating % 230.51/228.20 eprover: CPU time limit exceeded, terminating % 232.49/230.22 eprover: CPU time limit exceeded, terminating % 234.48/232.23 eprover: CPU time limit exceeded, terminating % 236.59/234.25 eprover: CPU time limit exceeded, terminating % 238.57/236.26 eprover: CPU time limit exceeded, terminating % 240.58/238.27 eprover: CPU time limit exceeded, terminating % 242.62/240.29 eprover: CPU time limit exceeded, terminating % 244.62/242.30 eprover: CPU time limit exceeded, terminating % 246.64/244.32 eprover: CPU time limit exceeded, terminating % 248.69/246.33 eprover: CPU time limit exceeded, terminating % 250.71/248.34 eprover: CPU time limit exceeded, terminating % 252.72/250.36 eprover: CPU time limit exceeded, terminating % 254.75/252.37 eprover: CPU time limit exceeded, terminating % 256.74/254.38 eprover: CPU time limit exceeded, terminating % 258.77/256.40 eprover: CPU time limit exceeded, terminating % 260.78/258.41 eprover: CPU time limit exceeded, terminating % 262.82/260.43 eprover: CPU time limit exceeded, terminating % 264.86/262.44 eprover: CPU time limit exceeded, terminating % 266.87/264.45 eprover: CPU time limit exceeded, terminating % 268.89/266.47 eprover: CPU time limit exceeded, terminating % 270.90/268.49 eprover: CPU time limit exceeded, terminating % 272.93/270.50 eprover: CPU time limit exceeded, terminating % 274.91/272.52 eprover: CPU time limit exceeded, terminating % 276.97/274.54 eprover: CPU time limit exceeded, terminating % 278.95/276.55 eprover: CPU time limit exceeded, terminating % 281.00/278.56 eprover: CPU time limit exceeded, terminating % 285.01/280.58 eprover: CPU time limit exceeded, terminating % 287.03/282.59 eprover: CPU time limit exceeded, terminating % 289.04/284.61 eprover: CPU time limit exceeded, terminating % 291.03/286.62 eprover: CPU time limit exceeded, terminating % 293.04/288.64 eprover: CPU time limit exceeded, terminating % 295.11/290.65 eprover: CPU time limit exceeded, terminating % 297.10/292.67 eprover: CPU time limit exceeded, terminating % 300.03/293.61 eprover: CPU time limit exceeded, terminating % 300.03/293.62 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------