%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWB036+1 : 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:40 EDT 2022 % Result : Timeout 287.58s 286.36s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.13 % Problem : SWB036+1 : TPTP v8.1.0. Released v5.2.0. % 0.07/0.14 % Command : run_infinox %s % 0.12/0.35 % Computer : n019.cluster.edu % 0.12/0.35 % Model : x86_64 x86_64 % 0.12/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.35 % Memory : 8042.1875MB % 0.12/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.35 % CPULimit : 300 % 0.12/0.35 % WCLimit : 600 % 0.12/0.35 % DateTime : Wed Jun 1 12:23:25 EDT 2022 % 0.12/0.35 % CPUTime : % 2.54/2.71 eprover: CPU time limit exceeded, terminating % 4.54/4.72 eprover: CPU time limit exceeded, terminating % 6.54/6.73 eprover: CPU time limit exceeded, terminating % 8.55/8.74 eprover: CPU time limit exceeded, terminating % 10.58/10.75 eprover: CPU time limit exceeded, terminating % 12.65/12.76 eprover: CPU time limit exceeded, terminating % 14.59/14.77 eprover: CPU time limit exceeded, terminating % 16.67/16.78 eprover: CPU time limit exceeded, terminating % 18.60/18.79 eprover: CPU time limit exceeded, terminating % 20.70/20.80 eprover: CPU time limit exceeded, terminating % 22.76/22.82 eprover: CPU time limit exceeded, terminating % 24.74/24.83 eprover: CPU time limit exceeded, terminating % 26.77/26.83 eprover: CPU time limit exceeded, terminating % 28.81/28.84 eprover: CPU time limit exceeded, terminating % 30.77/30.86 eprover: CPU time limit exceeded, terminating % 32.82/32.87 eprover: CPU time limit exceeded, terminating % 34.86/34.88 eprover: CPU time limit exceeded, terminating % 36.85/36.89 eprover: CPU time limit exceeded, terminating % 38.93/38.91 eprover: CPU time limit exceeded, terminating % 40.97/40.92 eprover: CPU time limit exceeded, terminating % 43.01/42.93 eprover: CPU time limit exceeded, terminating % 44.97/44.93 eprover: CPU time limit exceeded, terminating % 47.01/46.95 eprover: CPU time limit exceeded, terminating % 49.05/48.95 eprover: CPU time limit exceeded, terminating % 51.03/50.97 eprover: CPU time limit exceeded, terminating % 53.02/52.98 eprover: CPU time limit exceeded, terminating % 55.04/54.99 eprover: CPU time limit exceeded, terminating % 57.09/57.00 eprover: CPU time limit exceeded, terminating % 59.17/59.01 eprover: CPU time limit exceeded, terminating % 61.18/61.02 eprover: CPU time limit exceeded, terminating % 63.20/63.03 eprover: CPU time limit exceeded, terminating % 65.20/65.04 eprover: CPU time limit exceeded, terminating % 67.25/67.05 eprover: CPU time limit exceeded, terminating % 69.25/69.06 eprover: CPU time limit exceeded, terminating % 71.26/71.07 eprover: CPU time limit exceeded, terminating % 73.31/73.08 eprover: CPU time limit exceeded, terminating % 75.35/75.09 eprover: CPU time limit exceeded, terminating % 77.37/77.10 eprover: CPU time limit exceeded, terminating % 79.42/79.11 eprover: CPU time limit exceeded, terminating % 81.42/81.12 eprover: CPU time limit exceeded, terminating % 83.46/83.13 eprover: CPU time limit exceeded, terminating % 85.46/85.14 eprover: CPU time limit exceeded, terminating % 87.46/87.15 eprover: CPU time limit exceeded, terminating % 89.46/89.16 eprover: CPU time limit exceeded, terminating % 91.56/91.18 eprover: CPU time limit exceeded, terminating % 93.51/93.18 eprover: CPU time limit exceeded, terminating % 95.59/95.20 eprover: CPU time limit exceeded, terminating % 97.52/97.21 eprover: CPU time limit exceeded, terminating % 99.65/99.21 eprover: CPU time limit exceeded, terminating % 101.66/101.22 eprover: CPU time limit exceeded, terminating % 103.65/103.24 eprover: CPU time limit exceeded, terminating % 105.72/105.25 eprover: CPU time limit exceeded, terminating % 107.68/107.25 eprover: CPU time limit exceeded, terminating % 109.74/109.27 eprover: CPU time limit exceeded, terminating % 111.71/111.28 eprover: CPU time limit exceeded, terminating % 113.75/113.29 eprover: CPU time limit exceeded, terminating % 115.82/115.30 eprover: CPU time limit exceeded, terminating % 117.85/117.31 eprover: CPU time limit exceeded, terminating % 119.82/119.32 eprover: CPU time limit exceeded, terminating % 121.86/121.33 eprover: CPU time limit exceeded, terminating % 123.87/123.34 eprover: CPU time limit exceeded, terminating % 125.87/125.35 eprover: CPU time limit exceeded, terminating % 127.91/127.36 eprover: CPU time limit exceeded, terminating % 129.92/129.37 eprover: CPU time limit exceeded, terminating % 131.92/131.39 eprover: CPU time limit exceeded, terminating % 133.95/133.40 eprover: CPU time limit exceeded, terminating % 136.05/135.41 eprover: CPU time limit exceeded, terminating % 138.06/137.42 eprover: CPU time limit exceeded, terminating % 140.05/139.43 eprover: CPU time limit exceeded, terminating % 142.06/141.45 eprover: CPU time limit exceeded, terminating % 144.06/143.46 eprover: CPU time limit exceeded, terminating % 146.09/145.47 eprover: CPU time limit exceeded, terminating % 148.11/147.48 eprover: CPU time limit exceeded, terminating % 150.19/149.49 eprover: CPU time limit exceeded, terminating % 152.19/151.53 eprover: CPU time limit exceeded, terminating % 154.20/153.54 eprover: CPU time limit exceeded, terminating % 156.19/155.55 eprover: CPU time limit exceeded, terminating % 158.21/157.56 eprover: CPU time limit exceeded, terminating % 160.24/159.57 eprover: CPU time limit exceeded, terminating % 162.24/161.58 eprover: CPU time limit exceeded, terminating % 164.35/163.59 eprover: CPU time limit exceeded, terminating % 166.26/165.60 eprover: CPU time limit exceeded, terminating % 168.38/167.61 eprover: CPU time limit exceeded, terminating % 170.39/169.63 eprover: CPU time limit exceeded, terminating % 172.41/171.64 eprover: CPU time limit exceeded, terminating % 174.42/173.65 eprover: CPU time limit exceeded, terminating % 176.41/175.66 eprover: CPU time limit exceeded, terminating % 178.49/177.67 eprover: CPU time limit exceeded, terminating % 180.45/179.68 eprover: CPU time limit exceeded, terminating % 182.51/181.69 eprover: CPU time limit exceeded, terminating % 184.54/183.70 eprover: CPU time limit exceeded, terminating % 186.56/185.71 eprover: CPU time limit exceeded, terminating % 188.56/187.73 eprover: CPU time limit exceeded, terminating % 190.58/189.74 eprover: CPU time limit exceeded, terminating % 192.62/191.75 eprover: CPU time limit exceeded, terminating % 194.61/193.76 eprover: CPU time limit exceeded, terminating % 196.63/195.77 eprover: CPU time limit exceeded, terminating % 198.62/197.78 eprover: CPU time limit exceeded, terminating % 200.65/199.79 eprover: CPU time limit exceeded, terminating % 202.68/201.80 eprover: CPU time limit exceeded, terminating % 204.76/203.82 eprover: CPU time limit exceeded, terminating % 206.78/205.82 eprover: CPU time limit exceeded, terminating % 208.78/207.83 eprover: CPU time limit exceeded, terminating % 210.80/209.85 eprover: CPU time limit exceeded, terminating % 212.79/211.86 eprover: CPU time limit exceeded, terminating % 214.80/213.88 eprover: CPU time limit exceeded, terminating % 216.87/215.89 eprover: CPU time limit exceeded, terminating % 218.89/217.90 eprover: CPU time limit exceeded, terminating % 220.93/219.92 eprover: CPU time limit exceeded, terminating % 222.91/221.93 eprover: CPU time limit exceeded, terminating % 224.94/223.95 eprover: CPU time limit exceeded, terminating % 226.98/225.97 eprover: CPU time limit exceeded, terminating % 228.95/227.98 eprover: CPU time limit exceeded, terminating % 231.03/230.01 eprover: CPU time limit exceeded, terminating % 233.04/232.02 eprover: CPU time limit exceeded, terminating % 235.04/234.03 eprover: CPU time limit exceeded, terminating % 237.06/236.05 eprover: CPU time limit exceeded, terminating % 239.07/238.06 eprover: CPU time limit exceeded, terminating % 241.08/240.07 eprover: CPU time limit exceeded, terminating % 243.13/242.08 eprover: CPU time limit exceeded, terminating % 245.12/244.09 eprover: CPU time limit exceeded, terminating % 247.19/246.10 eprover: CPU time limit exceeded, terminating % 249.24/248.12 eprover: CPU time limit exceeded, terminating % 251.22/250.13 eprover: CPU time limit exceeded, terminating % 253.22/252.16 eprover: CPU time limit exceeded, terminating % 255.20/254.17 eprover: CPU time limit exceeded, terminating % 257.22/256.18 eprover: CPU time limit exceeded, terminating % 259.25/258.19 eprover: CPU time limit exceeded, terminating % 261.34/260.20 eprover: CPU time limit exceeded, terminating % 263.37/262.21 eprover: CPU time limit exceeded, terminating % 265.40/264.22 eprover: CPU time limit exceeded, terminating % 267.40/266.23 eprover: CPU time limit exceeded, terminating % 269.38/268.25 eprover: CPU time limit exceeded, terminating % 271.39/270.26 eprover: CPU time limit exceeded, terminating % 273.41/272.27 eprover: CPU time limit exceeded, terminating % 275.42/274.28 eprover: CPU time limit exceeded, terminating % 277.52/276.29 eprover: CPU time limit exceeded, terminating % 279.53/278.31 eprover: CPU time limit exceeded, terminating % 281.53/280.32 eprover: CPU time limit exceeded, terminating % 283.53/282.33 eprover: CPU time limit exceeded, terminating % 285.55/284.35 eprover: CPU time limit exceeded, terminating % 287.58/286.36 eprover: CPU time limit exceeded, terminating % 289.55/288.37 eprover: CPU time limit exceeded, terminating % 291.59/290.38 eprover: CPU time limit exceeded, terminating % 293.68/292.39 eprover: CPU time limit exceeded, terminating % 295.70/294.41 eprover: CPU time limit exceeded, terminating % 297.72/296.42 eprover: CPU time limit exceeded, terminating % 299.73/298.43 eprover: CPU time limit exceeded, terminating % 300.03/298.71 eprover: CPU time limit exceeded, terminating % 300.03/298.73 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------