TSTP Solution File: SWW476+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW476+2 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:57 EDT 2022
% Result : Timeout 285.85s 273.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW476+2 : TPTP v8.1.0. Released v5.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.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 : Mon Jun 6 10:07:28 EDT 2022
% 0.13/0.34 % CPUTime :
% 6.85/6.96 eprover: CPU time limit exceeded, terminating
% 8.95/8.97 eprover: CPU time limit exceeded, terminating
% 11.06/10.98 eprover: CPU time limit exceeded, terminating
% 13.16/12.99 eprover: CPU time limit exceeded, terminating
% 15.25/15.00 eprover: CPU time limit exceeded, terminating
% 17.36/17.01 eprover: CPU time limit exceeded, terminating
% 19.42/19.02 eprover: CPU time limit exceeded, terminating
% 21.55/21.04 eprover: CPU time limit exceeded, terminating
% 23.61/23.05 eprover: CPU time limit exceeded, terminating
% 25.72/25.06 eprover: CPU time limit exceeded, terminating
% 27.82/27.07 eprover: CPU time limit exceeded, terminating
% 29.95/29.08 eprover: CPU time limit exceeded, terminating
% 32.00/31.09 eprover: CPU time limit exceeded, terminating
% 34.11/33.10 eprover: CPU time limit exceeded, terminating
% 36.27/35.12 eprover: CPU time limit exceeded, terminating
% 38.32/37.13 eprover: CPU time limit exceeded, terminating
% 40.47/39.14 eprover: CPU time limit exceeded, terminating
% 42.56/41.17 eprover: CPU time limit exceeded, terminating
% 44.69/43.19 eprover: CPU time limit exceeded, terminating
% 46.76/45.20 eprover: CPU time limit exceeded, terminating
% 50.84/47.24 eprover: CPU time limit exceeded, terminating
% 52.94/49.27 eprover: CPU time limit exceeded, terminating
% 55.05/51.28 eprover: CPU time limit exceeded, terminating
% 57.16/53.31 eprover: CPU time limit exceeded, terminating
% 59.27/55.32 eprover: CPU time limit exceeded, terminating
% 61.36/57.34 eprover: CPU time limit exceeded, terminating
% 63.46/59.35 eprover: CPU time limit exceeded, terminating
% 65.60/61.38 eprover: CPU time limit exceeded, terminating
% 67.68/63.39 eprover: CPU time limit exceeded, terminating
% 69.80/65.45 eprover: CPU time limit exceeded, terminating
% 71.92/67.46 eprover: CPU time limit exceeded, terminating
% 74.00/69.47 eprover: CPU time limit exceeded, terminating
% 76.09/71.48 eprover: CPU time limit exceeded, terminating
% 78.16/73.49 eprover: CPU time limit exceeded, terminating
% 80.27/75.50 eprover: CPU time limit exceeded, terminating
% 82.40/77.51 eprover: CPU time limit exceeded, terminating
% 84.46/79.52 eprover: CPU time limit exceeded, terminating
% 86.59/81.53 eprover: CPU time limit exceeded, terminating
% 88.69/83.54 eprover: CPU time limit exceeded, terminating
% 90.77/85.55 eprover: CPU time limit exceeded, terminating
% 92.87/87.56 eprover: CPU time limit exceeded, terminating
% 94.98/89.57 eprover: CPU time limit exceeded, terminating
% 97.04/91.58 eprover: CPU time limit exceeded, terminating
% 99.13/93.59 eprover: CPU time limit exceeded, terminating
% 101.24/95.60 eprover: CPU time limit exceeded, terminating
% 103.37/97.61 eprover: CPU time limit exceeded, terminating
% 105.41/99.63 eprover: CPU time limit exceeded, terminating
% 107.55/101.64 eprover: CPU time limit exceeded, terminating
% 109.60/103.65 eprover: CPU time limit exceeded, terminating
% 111.74/105.66 eprover: CPU time limit exceeded, terminating
% 113.84/107.67 eprover: CPU time limit exceeded, terminating
% 115.94/109.68 eprover: CPU time limit exceeded, terminating
% 118.01/111.69 eprover: CPU time limit exceeded, terminating
% 120.09/113.70 eprover: CPU time limit exceeded, terminating
% 122.22/115.72 eprover: CPU time limit exceeded, terminating
% 124.31/117.73 eprover: CPU time limit exceeded, terminating
% 126.40/119.74 eprover: CPU time limit exceeded, terminating
% 128.56/121.75 eprover: CPU time limit exceeded, terminating
% 130.64/123.76 eprover: CPU time limit exceeded, terminating
% 132.74/125.77 eprover: CPU time limit exceeded, terminating
% 134.83/127.78 eprover: CPU time limit exceeded, terminating
% 136.91/129.79 eprover: CPU time limit exceeded, terminating
% 138.98/131.80 eprover: CPU time limit exceeded, terminating
% 141.09/133.82 eprover: CPU time limit exceeded, terminating
% 143.25/135.83 eprover: CPU time limit exceeded, terminating
% 145.25/137.84 eprover: CPU time limit exceeded, terminating
% 147.43/139.85 eprover: CPU time limit exceeded, terminating
% 149.52/141.86 eprover: CPU time limit exceeded, terminating
% 151.62/143.87 eprover: CPU time limit exceeded, terminating
% 153.73/145.88 eprover: CPU time limit exceeded, terminating
% 155.77/147.90 eprover: CPU time limit exceeded, terminating
% 157.88/149.93 eprover: CPU time limit exceeded, terminating
% 160.00/151.95 eprover: CPU time limit exceeded, terminating
% 162.09/153.96 eprover: CPU time limit exceeded, terminating
% 164.16/155.98 eprover: CPU time limit exceeded, terminating
% 166.30/158.03 eprover: CPU time limit exceeded, terminating
% 168.36/160.05 eprover: CPU time limit exceeded, terminating
% 170.47/162.06 eprover: CPU time limit exceeded, terminating
% 172.57/164.07 eprover: CPU time limit exceeded, terminating
% 174.69/166.09 eprover: CPU time limit exceeded, terminating
% 176.75/168.11 eprover: CPU time limit exceeded, terminating
% 178.87/170.13 eprover: CPU time limit exceeded, terminating
% 180.97/172.14 eprover: CPU time limit exceeded, terminating
% 183.04/174.15 eprover: CPU time limit exceeded, terminating
% 185.13/176.17 eprover: CPU time limit exceeded, terminating
% 187.27/178.18 eprover: CPU time limit exceeded, terminating
% 189.31/180.20 eprover: CPU time limit exceeded, terminating
% 191.43/182.21 eprover: CPU time limit exceeded, terminating
% 193.57/184.23 eprover: CPU time limit exceeded, terminating
% 195.60/186.25 eprover: CPU time limit exceeded, terminating
% 197.74/188.26 eprover: CPU time limit exceeded, terminating
% 199.78/190.28 eprover: CPU time limit exceeded, terminating
% 201.91/192.29 eprover: CPU time limit exceeded, terminating
% 204.03/194.31 eprover: CPU time limit exceeded, terminating
% 206.14/196.33 eprover: CPU time limit exceeded, terminating
% 208.18/198.34 eprover: CPU time limit exceeded, terminating
% 210.32/200.38 eprover: CPU time limit exceeded, terminating
% 212.42/202.39 eprover: CPU time limit exceeded, terminating
% 214.48/204.41 eprover: CPU time limit exceeded, terminating
% 216.54/206.42 eprover: CPU time limit exceeded, terminating
% 218.68/208.44 eprover: CPU time limit exceeded, terminating
% 220.79/210.45 eprover: CPU time limit exceeded, terminating
% 222.90/212.46 eprover: CPU time limit exceeded, terminating
% 224.99/214.49 eprover: CPU time limit exceeded, terminating
% 227.07/216.51 eprover: CPU time limit exceeded, terminating
% 229.13/218.52 eprover: CPU time limit exceeded, terminating
% 231.30/220.54 eprover: CPU time limit exceeded, terminating
% 233.35/222.55 eprover: CPU time limit exceeded, terminating
% 235.50/224.60 eprover: CPU time limit exceeded, terminating
% 237.60/226.62 eprover: CPU time limit exceeded, terminating
% 239.67/228.64 eprover: CPU time limit exceeded, terminating
% 241.76/230.66 eprover: CPU time limit exceeded, terminating
% 243.86/232.68 eprover: CPU time limit exceeded, terminating
% 245.98/234.69 eprover: CPU time limit exceeded, terminating
% 248.05/236.71 eprover: CPU time limit exceeded, terminating
% 250.14/238.72 eprover: CPU time limit exceeded, terminating
% 252.29/240.74 eprover: CPU time limit exceeded, terminating
% 254.37/242.76 eprover: CPU time limit exceeded, terminating
% 256.45/244.77 eprover: CPU time limit exceeded, terminating
% 258.54/246.79 eprover: CPU time limit exceeded, terminating
% 260.67/248.81 eprover: CPU time limit exceeded, terminating
% 262.77/250.82 eprover: CPU time limit exceeded, terminating
% 264.87/252.85 eprover: CPU time limit exceeded, terminating
% 266.97/254.87 eprover: CPU time limit exceeded, terminating
% 269.04/256.88 eprover: CPU time limit exceeded, terminating
% 271.14/258.91 eprover: CPU time limit exceeded, terminating
% 273.19/260.92 eprover: CPU time limit exceeded, terminating
% 275.29/262.94 eprover: CPU time limit exceeded, terminating
% 277.45/264.95 eprover: CPU time limit exceeded, terminating
% 279.52/266.97 eprover: CPU time limit exceeded, terminating
% 281.64/268.98 eprover: CPU time limit exceeded, terminating
% 283.73/271.00 eprover: CPU time limit exceeded, terminating
% 285.85/273.02 eprover: CPU time limit exceeded, terminating
% 287.90/275.04 eprover: CPU time limit exceeded, terminating
% 290.03/277.06 eprover: CPU time limit exceeded, terminating
% 292.16/279.07 eprover: CPU time limit exceeded, terminating
% 294.19/281.09 eprover: CPU time limit exceeded, terminating
% 296.30/283.10 eprover: CPU time limit exceeded, terminating
% 298.41/285.12 eprover: CPU time limit exceeded, terminating
% 300.01/286.63 eprover: CPU time limit exceeded, terminating
% 300.01/286.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------