TSTP Solution File: SWW476+6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW476+6 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:58 EDT 2022
% Result : Timeout 287.99s 237.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : SWW476+6 : TPTP v8.1.0. Released v5.3.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n017.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Sat Jun 4 18:43:15 EDT 2022
% 0.14/0.36 % CPUTime :
% 15.53/15.21 eprover: CPU time limit exceeded, terminating
% 17.99/17.23 eprover: CPU time limit exceeded, terminating
% 20.47/19.25 eprover: CPU time limit exceeded, terminating
% 22.90/21.26 eprover: CPU time limit exceeded, terminating
% 25.38/23.28 eprover: CPU time limit exceeded, terminating
% 27.86/25.29 eprover: CPU time limit exceeded, terminating
% 30.39/27.31 eprover: CPU time limit exceeded, terminating
% 32.91/29.33 eprover: CPU time limit exceeded, terminating
% 35.40/31.34 eprover: CPU time limit exceeded, terminating
% 37.88/33.36 eprover: CPU time limit exceeded, terminating
% 40.34/35.37 eprover: CPU time limit exceeded, terminating
% 42.89/37.39 eprover: CPU time limit exceeded, terminating
% 45.30/39.41 eprover: CPU time limit exceeded, terminating
% 47.86/41.42 eprover: CPU time limit exceeded, terminating
% 50.28/43.44 eprover: CPU time limit exceeded, terminating
% 52.79/45.46 eprover: CPU time limit exceeded, terminating
% 55.26/47.47 eprover: CPU time limit exceeded, terminating
% 57.69/49.49 eprover: CPU time limit exceeded, terminating
% 60.23/51.50 eprover: CPU time limit exceeded, terminating
% 62.71/53.52 eprover: CPU time limit exceeded, terminating
% 65.18/55.54 eprover: CPU time limit exceeded, terminating
% 67.62/57.55 eprover: CPU time limit exceeded, terminating
% 70.08/59.57 eprover: CPU time limit exceeded, terminating
% 72.56/61.58 eprover: CPU time limit exceeded, terminating
% 75.14/63.60 eprover: CPU time limit exceeded, terminating
% 77.58/65.62 eprover: CPU time limit exceeded, terminating
% 80.06/67.63 eprover: CPU time limit exceeded, terminating
% 82.51/69.65 eprover: CPU time limit exceeded, terminating
% 84.94/71.67 eprover: CPU time limit exceeded, terminating
% 87.45/73.68 eprover: CPU time limit exceeded, terminating
% 89.91/75.70 eprover: CPU time limit exceeded, terminating
% 92.30/77.72 eprover: CPU time limit exceeded, terminating
% 94.84/79.73 eprover: CPU time limit exceeded, terminating
% 97.30/81.75 eprover: CPU time limit exceeded, terminating
% 99.81/83.77 eprover: CPU time limit exceeded, terminating
% 102.25/85.78 eprover: CPU time limit exceeded, terminating
% 104.76/87.80 eprover: CPU time limit exceeded, terminating
% 107.25/89.81 eprover: CPU time limit exceeded, terminating
% 109.75/91.83 eprover: CPU time limit exceeded, terminating
% 112.22/93.85 eprover: CPU time limit exceeded, terminating
% 114.70/95.86 eprover: CPU time limit exceeded, terminating
% 117.19/97.88 eprover: CPU time limit exceeded, terminating
% 119.66/99.89 eprover: CPU time limit exceeded, terminating
% 122.10/101.91 eprover: CPU time limit exceeded, terminating
% 124.61/103.92 eprover: CPU time limit exceeded, terminating
% 127.04/105.94 eprover: CPU time limit exceeded, terminating
% 129.54/107.96 eprover: CPU time limit exceeded, terminating
% 131.97/109.97 eprover: CPU time limit exceeded, terminating
% 134.51/111.99 eprover: CPU time limit exceeded, terminating
% 136.96/114.01 eprover: CPU time limit exceeded, terminating
% 139.43/116.02 eprover: CPU time limit exceeded, terminating
% 141.91/118.04 eprover: CPU time limit exceeded, terminating
% 144.34/120.06 eprover: CPU time limit exceeded, terminating
% 146.84/122.07 eprover: CPU time limit exceeded, terminating
% 149.27/124.09 eprover: CPU time limit exceeded, terminating
% 151.82/126.10 eprover: CPU time limit exceeded, terminating
% 154.28/128.12 eprover: CPU time limit exceeded, terminating
% 156.72/130.14 eprover: CPU time limit exceeded, terminating
% 159.15/132.15 eprover: CPU time limit exceeded, terminating
% 161.66/134.17 eprover: CPU time limit exceeded, terminating
% 164.09/136.18 eprover: CPU time limit exceeded, terminating
% 166.64/138.20 eprover: CPU time limit exceeded, terminating
% 169.08/140.22 eprover: CPU time limit exceeded, terminating
% 171.61/142.24 eprover: CPU time limit exceeded, terminating
% 174.09/144.25 eprover: CPU time limit exceeded, terminating
% 176.48/146.27 eprover: CPU time limit exceeded, terminating
% 178.95/148.28 eprover: CPU time limit exceeded, terminating
% 181.43/150.30 eprover: CPU time limit exceeded, terminating
% 183.98/152.31 eprover: CPU time limit exceeded, terminating
% 186.42/154.33 eprover: CPU time limit exceeded, terminating
% 188.90/156.35 eprover: CPU time limit exceeded, terminating
% 191.36/158.36 eprover: CPU time limit exceeded, terminating
% 193.83/160.38 eprover: CPU time limit exceeded, terminating
% 196.35/162.39 eprover: CPU time limit exceeded, terminating
% 198.81/164.41 eprover: CPU time limit exceeded, terminating
% 201.31/166.43 eprover: CPU time limit exceeded, terminating
% 203.74/168.44 eprover: CPU time limit exceeded, terminating
% 206.20/170.46 eprover: CPU time limit exceeded, terminating
% 208.65/172.48 eprover: CPU time limit exceeded, terminating
% 211.15/174.49 eprover: CPU time limit exceeded, terminating
% 213.68/176.51 eprover: CPU time limit exceeded, terminating
% 216.14/178.52 eprover: CPU time limit exceeded, terminating
% 218.63/180.54 eprover: CPU time limit exceeded, terminating
% 221.06/182.56 eprover: CPU time limit exceeded, terminating
% 223.51/184.57 eprover: CPU time limit exceeded, terminating
% 226.02/186.59 eprover: CPU time limit exceeded, terminating
% 228.50/188.60 eprover: CPU time limit exceeded, terminating
% 230.99/190.62 eprover: CPU time limit exceeded, terminating
% 233.45/192.64 eprover: CPU time limit exceeded, terminating
% 235.88/194.66 eprover: CPU time limit exceeded, terminating
% 238.36/196.67 eprover: CPU time limit exceeded, terminating
% 240.84/198.69 eprover: CPU time limit exceeded, terminating
% 243.37/200.70 eprover: CPU time limit exceeded, terminating
% 245.80/202.72 eprover: CPU time limit exceeded, terminating
% 248.29/204.74 eprover: CPU time limit exceeded, terminating
% 250.73/206.75 eprover: CPU time limit exceeded, terminating
% 253.18/208.77 eprover: CPU time limit exceeded, terminating
% 255.65/210.79 eprover: CPU time limit exceeded, terminating
% 258.22/212.80 eprover: CPU time limit exceeded, terminating
% 260.70/214.82 eprover: CPU time limit exceeded, terminating
% 263.12/216.84 eprover: CPU time limit exceeded, terminating
% 265.63/218.85 eprover: CPU time limit exceeded, terminating
% 268.05/220.87 eprover: CPU time limit exceeded, terminating
% 270.61/222.89 eprover: CPU time limit exceeded, terminating
% 273.07/224.90 eprover: CPU time limit exceeded, terminating
% 275.58/226.92 eprover: CPU time limit exceeded, terminating
% 278.08/228.94 eprover: CPU time limit exceeded, terminating
% 280.52/230.96 eprover: CPU time limit exceeded, terminating
% 282.98/232.97 eprover: CPU time limit exceeded, terminating
% 285.45/234.99 eprover: CPU time limit exceeded, terminating
% 287.99/237.01 eprover: CPU time limit exceeded, terminating
% 290.45/239.02 eprover: CPU time limit exceeded, terminating
% 292.92/241.04 eprover: CPU time limit exceeded, terminating
% 295.36/243.05 eprover: CPU time limit exceeded, terminating
% 297.83/245.07 eprover: CPU time limit exceeded, terminating
% 300.12/246.83 eprover: CPU time limit exceeded, terminating
% 300.12/246.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------