TSTP Solution File: SWW471+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW471+7 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Thu Jul 21 00:24:53 EDT 2022
% Result : Timeout 285.80s 268.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : SWW471+7 : TPTP v8.1.0. Released v5.3.0.
% 0.09/0.11 % Command : run_infinox %s
% 0.10/0.31 % Computer : n032.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Sun Jun 5 07:32:18 EDT 2022
% 0.10/0.31 % CPUTime :
% 6.34/6.44 eprover: CPU time limit exceeded, terminating
% 8.44/8.46 eprover: CPU time limit exceeded, terminating
% 10.58/10.47 eprover: CPU time limit exceeded, terminating
% 12.74/12.48 eprover: CPU time limit exceeded, terminating
% 14.85/14.50 eprover: CPU time limit exceeded, terminating
% 17.06/16.51 eprover: CPU time limit exceeded, terminating
% 19.18/18.52 eprover: CPU time limit exceeded, terminating
% 21.32/20.54 eprover: CPU time limit exceeded, terminating
% 23.48/22.55 eprover: CPU time limit exceeded, terminating
% 25.58/24.56 eprover: CPU time limit exceeded, terminating
% 27.71/26.58 eprover: CPU time limit exceeded, terminating
% 29.81/28.59 eprover: CPU time limit exceeded, terminating
% 31.96/30.60 eprover: CPU time limit exceeded, terminating
% 34.17/32.62 eprover: CPU time limit exceeded, terminating
% 36.31/34.63 eprover: CPU time limit exceeded, terminating
% 38.38/36.65 eprover: CPU time limit exceeded, terminating
% 40.52/38.66 eprover: CPU time limit exceeded, terminating
% 42.70/40.67 eprover: CPU time limit exceeded, terminating
% 44.78/42.69 eprover: CPU time limit exceeded, terminating
% 46.93/44.70 eprover: CPU time limit exceeded, terminating
% 49.11/46.72 eprover: CPU time limit exceeded, terminating
% 51.26/48.73 eprover: CPU time limit exceeded, terminating
% 53.36/50.74 eprover: CPU time limit exceeded, terminating
% 55.51/52.76 eprover: CPU time limit exceeded, terminating
% 57.69/54.77 eprover: CPU time limit exceeded, terminating
% 59.77/56.78 eprover: CPU time limit exceeded, terminating
% 61.96/58.80 eprover: CPU time limit exceeded, terminating
% 64.10/60.81 eprover: CPU time limit exceeded, terminating
% 66.19/62.83 eprover: CPU time limit exceeded, terminating
% 68.38/64.85 eprover: CPU time limit exceeded, terminating
% 70.48/66.86 eprover: CPU time limit exceeded, terminating
% 72.67/68.87 eprover: CPU time limit exceeded, terminating
% 74.75/70.89 eprover: CPU time limit exceeded, terminating
% 76.93/72.90 eprover: CPU time limit exceeded, terminating
% 79.04/74.92 eprover: CPU time limit exceeded, terminating
% 81.19/76.93 eprover: CPU time limit exceeded, terminating
% 83.30/78.95 eprover: CPU time limit exceeded, terminating
% 85.41/80.96 eprover: CPU time limit exceeded, terminating
% 87.58/82.97 eprover: CPU time limit exceeded, terminating
% 89.66/84.99 eprover: CPU time limit exceeded, terminating
% 91.81/87.00 eprover: CPU time limit exceeded, terminating
% 94.03/89.01 eprover: CPU time limit exceeded, terminating
% 96.11/91.03 eprover: CPU time limit exceeded, terminating
% 98.25/93.04 eprover: CPU time limit exceeded, terminating
% 100.38/95.05 eprover: CPU time limit exceeded, terminating
% 102.51/97.07 eprover: CPU time limit exceeded, terminating
% 104.63/99.08 eprover: CPU time limit exceeded, terminating
% 106.81/101.10 eprover: CPU time limit exceeded, terminating
% 108.96/103.11 eprover: CPU time limit exceeded, terminating
% 111.07/105.13 eprover: CPU time limit exceeded, terminating
% 113.21/107.14 eprover: CPU time limit exceeded, terminating
% 115.31/109.15 eprover: CPU time limit exceeded, terminating
% 117.44/111.16 eprover: CPU time limit exceeded, terminating
% 119.56/113.17 eprover: CPU time limit exceeded, terminating
% 121.73/115.19 eprover: CPU time limit exceeded, terminating
% 123.88/117.20 eprover: CPU time limit exceeded, terminating
% 126.02/119.21 eprover: CPU time limit exceeded, terminating
% 128.12/121.22 eprover: CPU time limit exceeded, terminating
% 130.24/123.23 eprover: CPU time limit exceeded, terminating
% 132.35/125.24 eprover: CPU time limit exceeded, terminating
% 134.49/127.26 eprover: CPU time limit exceeded, terminating
% 136.57/129.27 eprover: CPU time limit exceeded, terminating
% 138.74/131.28 eprover: CPU time limit exceeded, terminating
% 140.89/133.29 eprover: CPU time limit exceeded, terminating
% 143.02/135.30 eprover: CPU time limit exceeded, terminating
% 145.10/137.31 eprover: CPU time limit exceeded, terminating
% 147.29/139.32 eprover: CPU time limit exceeded, terminating
% 149.44/141.40 eprover: CPU time limit exceeded, terminating
% 151.58/143.42 eprover: CPU time limit exceeded, terminating
% 153.72/145.43 eprover: CPU time limit exceeded, terminating
% 155.84/147.51 eprover: CPU time limit exceeded, terminating
% 157.96/149.61 eprover: CPU time limit exceeded, terminating
% 161.99/151.62 eprover: CPU time limit exceeded, terminating
% 164.15/153.70 eprover: CPU time limit exceeded, terminating
% 166.36/155.71 eprover: CPU time limit exceeded, terminating
% 168.46/157.78 eprover: CPU time limit exceeded, terminating
% 170.53/159.79 eprover: CPU time limit exceeded, terminating
% 172.74/161.81 eprover: CPU time limit exceeded, terminating
% 174.84/163.88 eprover: CPU time limit exceeded, terminating
% 177.00/165.89 eprover: CPU time limit exceeded, terminating
% 179.20/167.90 eprover: CPU time limit exceeded, terminating
% 181.32/169.98 eprover: CPU time limit exceeded, terminating
% 183.47/172.00 eprover: CPU time limit exceeded, terminating
% 185.53/174.01 eprover: CPU time limit exceeded, terminating
% 187.73/176.02 eprover: CPU time limit exceeded, terminating
% 189.86/178.03 eprover: CPU time limit exceeded, terminating
% 191.99/180.04 eprover: CPU time limit exceeded, terminating
% 194.08/182.05 eprover: CPU time limit exceeded, terminating
% 196.25/184.07 eprover: CPU time limit exceeded, terminating
% 198.30/186.08 eprover: CPU time limit exceeded, terminating
% 200.52/188.09 eprover: CPU time limit exceeded, terminating
% 202.64/190.10 eprover: CPU time limit exceeded, terminating
% 204.69/192.11 eprover: CPU time limit exceeded, terminating
% 206.90/194.12 eprover: CPU time limit exceeded, terminating
% 209.02/196.14 eprover: CPU time limit exceeded, terminating
% 211.09/198.15 eprover: CPU time limit exceeded, terminating
% 213.22/200.16 eprover: CPU time limit exceeded, terminating
% 215.38/202.18 eprover: CPU time limit exceeded, terminating
% 217.47/204.19 eprover: CPU time limit exceeded, terminating
% 219.69/206.20 eprover: CPU time limit exceeded, terminating
% 221.81/208.22 eprover: CPU time limit exceeded, terminating
% 223.92/210.23 eprover: CPU time limit exceeded, terminating
% 226.06/212.24 eprover: CPU time limit exceeded, terminating
% 228.16/214.26 eprover: CPU time limit exceeded, terminating
% 230.30/216.27 eprover: CPU time limit exceeded, terminating
% 232.42/218.28 eprover: CPU time limit exceeded, terminating
% 234.62/220.30 eprover: CPU time limit exceeded, terminating
% 236.72/222.31 eprover: CPU time limit exceeded, terminating
% 238.88/224.33 eprover: CPU time limit exceeded, terminating
% 240.99/226.34 eprover: CPU time limit exceeded, terminating
% 243.13/228.35 eprover: CPU time limit exceeded, terminating
% 245.24/230.37 eprover: CPU time limit exceeded, terminating
% 247.41/232.38 eprover: CPU time limit exceeded, terminating
% 249.46/234.40 eprover: CPU time limit exceeded, terminating
% 251.70/236.41 eprover: CPU time limit exceeded, terminating
% 253.81/238.42 eprover: CPU time limit exceeded, terminating
% 255.93/240.44 eprover: CPU time limit exceeded, terminating
% 258.05/242.45 eprover: CPU time limit exceeded, terminating
% 260.11/244.47 eprover: CPU time limit exceeded, terminating
% 262.26/246.48 eprover: CPU time limit exceeded, terminating
% 264.48/248.49 eprover: CPU time limit exceeded, terminating
% 266.59/250.51 eprover: CPU time limit exceeded, terminating
% 268.74/252.52 eprover: CPU time limit exceeded, terminating
% 270.85/254.53 eprover: CPU time limit exceeded, terminating
% 273.00/256.55 eprover: CPU time limit exceeded, terminating
% 275.12/258.56 eprover: CPU time limit exceeded, terminating
% 277.23/260.58 eprover: CPU time limit exceeded, terminating
% 279.37/262.59 eprover: CPU time limit exceeded, terminating
% 281.55/264.61 eprover: CPU time limit exceeded, terminating
% 283.65/266.62 eprover: CPU time limit exceeded, terminating
% 285.80/268.63 eprover: CPU time limit exceeded, terminating
% 287.95/270.65 eprover: CPU time limit exceeded, terminating
% 290.05/272.66 eprover: CPU time limit exceeded, terminating
% 292.23/274.67 eprover: CPU time limit exceeded, terminating
% 294.24/276.68 eprover: CPU time limit exceeded, terminating
% 296.47/278.70 eprover: CPU time limit exceeded, terminating
% 298.58/280.71 eprover: CPU time limit exceeded, terminating
% 300.02/282.01 eprover: CPU time limit exceeded, terminating
% 300.02/282.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------