%------------------------------------------------------------------------------ % File : Infinox---1.0 % Problem : SWV207+1 : TPTP v8.1.0. Bugfixed v3.3.0. % Transfm : none % Format : tptp:raw % Command : run_infinox %s % Computer : n022.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 : Wed Jul 20 18:48:57 EDT 2022 % Result : Timeout 286.79s 287.03s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : SWV207+1 : TPTP v8.1.0. Bugfixed v3.3.0. % 0.13/0.13 % Command : run_infinox %s % 0.13/0.34 % Computer : n022.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 : Wed Jun 15 08:32:03 EDT 2022 % 0.13/0.34 % CPUTime : % 2.22/2.50 eprover: CPU time limit exceeded, terminating % 4.28/4.51 eprover: CPU time limit exceeded, terminating % 6.34/6.56 eprover: CPU time limit exceeded, terminating % 8.34/8.57 eprover: CPU time limit exceeded, terminating % 10.37/10.59 eprover: CPU time limit exceeded, terminating % 12.34/12.63 eprover: CPU time limit exceeded, terminating % 14.34/14.65 eprover: CPU time limit exceeded, terminating % 16.42/16.67 eprover: CPU time limit exceeded, terminating % 18.43/18.68 eprover: CPU time limit exceeded, terminating % 20.41/20.72 eprover: CPU time limit exceeded, terminating % 22.44/22.79 eprover: CPU time limit exceeded, terminating % 24.50/24.81 eprover: CPU time limit exceeded, terminating % 26.50/26.84 eprover: CPU time limit exceeded, terminating % 28.50/28.85 eprover: CPU time limit exceeded, terminating % 30.52/30.87 eprover: CPU time limit exceeded, terminating % 32.53/32.88 eprover: CPU time limit exceeded, terminating % 34.58/34.90 eprover: CPU time limit exceeded, terminating % 36.59/36.91 eprover: CPU time limit exceeded, terminating % 38.59/38.93 eprover: CPU time limit exceeded, terminating % 40.58/40.95 eprover: CPU time limit exceeded, terminating % 42.65/42.97 eprover: CPU time limit exceeded, terminating % 44.65/44.99 eprover: CPU time limit exceeded, terminating % 46.67/47.01 eprover: CPU time limit exceeded, terminating % 48.72/49.03 eprover: CPU time limit exceeded, terminating % 50.73/51.05 eprover: CPU time limit exceeded, terminating % 52.77/53.07 eprover: CPU time limit exceeded, terminating % 54.75/55.09 eprover: CPU time limit exceeded, terminating % 56.78/57.10 eprover: CPU time limit exceeded, terminating % 58.80/59.12 eprover: CPU time limit exceeded, terminating % 60.84/61.13 eprover: CPU time limit exceeded, terminating % 62.76/63.15 eprover: CPU time limit exceeded, terminating % 64.87/65.16 eprover: CPU time limit exceeded, terminating % 66.85/67.17 eprover: CPU time limit exceeded, terminating % 68.87/69.18 eprover: CPU time limit exceeded, terminating % 70.92/71.20 eprover: CPU time limit exceeded, terminating % 72.93/73.21 eprover: CPU time limit exceeded, terminating % 74.96/75.22 eprover: CPU time limit exceeded, terminating % 76.94/77.23 eprover: CPU time limit exceeded, terminating % 78.97/79.25 eprover: CPU time limit exceeded, terminating % 80.99/81.26 eprover: CPU time limit exceeded, terminating % 82.99/83.27 eprover: CPU time limit exceeded, terminating % 84.98/85.28 eprover: CPU time limit exceeded, terminating % 87.03/87.30 eprover: CPU time limit exceeded, terminating % 89.04/89.31 eprover: CPU time limit exceeded, terminating % 91.05/91.32 eprover: CPU time limit exceeded, terminating % 93.03/93.33 eprover: CPU time limit exceeded, terminating % 95.09/95.34 eprover: CPU time limit exceeded, terminating % 97.12/97.35 eprover: CPU time limit exceeded, terminating % 99.10/99.37 eprover: CPU time limit exceeded, terminating % 101.12/101.39 eprover: CPU time limit exceeded, terminating % 103.12/103.40 eprover: CPU time limit exceeded, terminating % 105.11/105.41 eprover: CPU time limit exceeded, terminating % 107.17/107.42 eprover: CPU time limit exceeded, terminating % 109.17/109.44 eprover: CPU time limit exceeded, terminating % 111.25/111.45 eprover: CPU time limit exceeded, terminating % 113.22/113.46 eprover: CPU time limit exceeded, terminating % 115.22/115.48 eprover: CPU time limit exceeded, terminating % 117.28/117.49 eprover: CPU time limit exceeded, terminating % 119.29/119.50 eprover: CPU time limit exceeded, terminating % 121.31/121.55 eprover: CPU time limit exceeded, terminating % 123.28/123.56 eprover: CPU time limit exceeded, terminating % 125.33/125.58 eprover: CPU time limit exceeded, terminating % 127.36/127.60 eprover: CPU time limit exceeded, terminating % 129.39/129.61 eprover: CPU time limit exceeded, terminating % 131.37/131.63 eprover: CPU time limit exceeded, terminating % 133.42/133.64 eprover: CPU time limit exceeded, terminating % 135.39/135.66 eprover: CPU time limit exceeded, terminating % 137.43/137.68 eprover: CPU time limit exceeded, terminating % 139.48/139.71 eprover: CPU time limit exceeded, terminating % 141.49/141.73 eprover: CPU time limit exceeded, terminating % 143.47/143.74 eprover: CPU time limit exceeded, terminating % 145.49/145.78 eprover: CPU time limit exceeded, terminating % 147.45/147.80 eprover: CPU time limit exceeded, terminating % 149.56/149.81 eprover: CPU time limit exceeded, terminating % 151.60/151.84 eprover: CPU time limit exceeded, terminating % 153.58/153.85 eprover: CPU time limit exceeded, terminating % 155.63/155.87 eprover: CPU time limit exceeded, terminating % 157.58/157.88 eprover: CPU time limit exceeded, terminating % 159.67/159.90 eprover: CPU time limit exceeded, terminating % 161.66/161.91 eprover: CPU time limit exceeded, terminating % 163.65/163.93 eprover: CPU time limit exceeded, terminating % 165.72/165.95 eprover: CPU time limit exceeded, terminating % 167.73/167.97 eprover: CPU time limit exceeded, terminating % 169.75/169.99 eprover: CPU time limit exceeded, terminating % 171.74/172.01 eprover: CPU time limit exceeded, terminating % 173.71/174.02 eprover: CPU time limit exceeded, terminating % 175.80/176.06 eprover: CPU time limit exceeded, terminating % 177.80/178.08 eprover: CPU time limit exceeded, terminating % 179.78/180.10 eprover: CPU time limit exceeded, terminating % 181.85/182.11 eprover: CPU time limit exceeded, terminating % 183.85/184.13 eprover: CPU time limit exceeded, terminating % 185.81/186.15 eprover: CPU time limit exceeded, terminating % 187.88/188.18 eprover: CPU time limit exceeded, terminating % 189.92/190.19 eprover: CPU time limit exceeded, terminating % 191.95/192.20 eprover: CPU time limit exceeded, terminating % 193.94/194.22 eprover: CPU time limit exceeded, terminating % 195.97/196.23 eprover: CPU time limit exceeded, terminating % 197.93/198.25 eprover: CPU time limit exceeded, terminating % 200.00/200.28 eprover: CPU time limit exceeded, terminating % 202.04/202.29 eprover: CPU time limit exceeded, terminating % 204.01/204.30 eprover: CPU time limit exceeded, terminating % 206.03/206.32 eprover: CPU time limit exceeded, terminating % 207.98/208.33 eprover: CPU time limit exceeded, terminating % 210.10/210.35 eprover: CPU time limit exceeded, terminating % 212.10/212.37 eprover: CPU time limit exceeded, terminating % 214.11/214.39 eprover: CPU time limit exceeded, terminating % 216.13/216.41 eprover: CPU time limit exceeded, terminating % 218.16/218.43 eprover: CPU time limit exceeded, terminating % 220.19/220.44 eprover: CPU time limit exceeded, terminating % 222.21/222.46 eprover: CPU time limit exceeded, terminating % 224.22/224.48 eprover: CPU time limit exceeded, terminating % 226.22/226.49 eprover: CPU time limit exceeded, terminating % 228.27/228.51 eprover: CPU time limit exceeded, terminating % 230.30/230.53 eprover: CPU time limit exceeded, terminating % 232.28/232.54 eprover: CPU time limit exceeded, terminating % 234.27/234.55 eprover: CPU time limit exceeded, terminating % 236.33/236.60 eprover: CPU time limit exceeded, terminating % 238.35/238.61 eprover: CPU time limit exceeded, terminating % 240.37/240.63 eprover: CPU time limit exceeded, terminating % 242.37/242.64 eprover: CPU time limit exceeded, terminating % 244.39/244.65 eprover: CPU time limit exceeded, terminating % 246.41/246.67 eprover: CPU time limit exceeded, terminating % 248.46/248.70 eprover: CPU time limit exceeded, terminating % 250.45/250.71 eprover: CPU time limit exceeded, terminating % 252.46/252.73 eprover: CPU time limit exceeded, terminating % 254.48/254.74 eprover: CPU time limit exceeded, terminating % 256.48/256.75 eprover: CPU time limit exceeded, terminating % 258.53/258.77 eprover: CPU time limit exceeded, terminating % 260.56/260.79 eprover: CPU time limit exceeded, terminating % 262.53/262.80 eprover: CPU time limit exceeded, terminating % 264.56/264.83 eprover: CPU time limit exceeded, terminating % 266.59/266.85 eprover: CPU time limit exceeded, terminating % 268.61/268.86 eprover: CPU time limit exceeded, terminating % 270.65/270.88 eprover: CPU time limit exceeded, terminating % 272.65/272.90 eprover: CPU time limit exceeded, terminating % 274.63/274.92 eprover: CPU time limit exceeded, terminating % 276.71/276.93 eprover: CPU time limit exceeded, terminating % 278.69/278.96 eprover: CPU time limit exceeded, terminating % 280.75/280.98 eprover: CPU time limit exceeded, terminating % 282.76/283.00 eprover: CPU time limit exceeded, terminating % 284.76/285.01 eprover: CPU time limit exceeded, terminating % 286.79/287.03 eprover: CPU time limit exceeded, terminating % 288.79/289.04 eprover: CPU time limit exceeded, terminating % 290.79/291.07 eprover: CPU time limit exceeded, terminating % 292.82/293.08 eprover: CPU time limit exceeded, terminating % 294.88/295.10 eprover: CPU time limit exceeded, terminating % 296.88/297.12 eprover: CPU time limit exceeded, terminating % 298.89/299.13 eprover: CPU time limit exceeded, terminating % 300.03/300.24 eprover: CPU time limit exceeded, terminating % 300.03/300.26 Cputime limit exceeded (core dumped) %------------------------------------------------------------------------------