TSTP Solution File: SWW475+6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW475+6 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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.79s 234.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWW475+6 : TPTP v8.1.0. Released v5.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n018.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 02:00:34 EDT 2022
% 0.13/0.34 % CPUTime :
% 15.16/14.83 eprover: CPU time limit exceeded, terminating
% 17.61/16.85 eprover: CPU time limit exceeded, terminating
% 20.13/18.86 eprover: CPU time limit exceeded, terminating
% 22.59/20.87 eprover: CPU time limit exceeded, terminating
% 25.07/22.88 eprover: CPU time limit exceeded, terminating
% 27.64/24.89 eprover: CPU time limit exceeded, terminating
% 30.06/26.91 eprover: CPU time limit exceeded, terminating
% 32.60/28.92 eprover: CPU time limit exceeded, terminating
% 35.07/30.93 eprover: CPU time limit exceeded, terminating
% 37.59/32.95 eprover: CPU time limit exceeded, terminating
% 40.04/34.96 eprover: CPU time limit exceeded, terminating
% 42.56/36.97 eprover: CPU time limit exceeded, terminating
% 45.08/38.98 eprover: CPU time limit exceeded, terminating
% 47.55/40.99 eprover: CPU time limit exceeded, terminating
% 50.00/43.01 eprover: CPU time limit exceeded, terminating
% 52.49/45.02 eprover: CPU time limit exceeded, terminating
% 54.95/47.03 eprover: CPU time limit exceeded, terminating
% 57.42/49.04 eprover: CPU time limit exceeded, terminating
% 59.94/51.05 eprover: CPU time limit exceeded, terminating
% 62.40/53.06 eprover: CPU time limit exceeded, terminating
% 64.89/55.08 eprover: CPU time limit exceeded, terminating
% 67.41/57.09 eprover: CPU time limit exceeded, terminating
% 69.89/59.10 eprover: CPU time limit exceeded, terminating
% 72.33/61.11 eprover: CPU time limit exceeded, terminating
% 74.88/63.12 eprover: CPU time limit exceeded, terminating
% 77.32/65.14 eprover: CPU time limit exceeded, terminating
% 79.84/67.15 eprover: CPU time limit exceeded, terminating
% 82.35/69.16 eprover: CPU time limit exceeded, terminating
% 84.81/71.17 eprover: CPU time limit exceeded, terminating
% 87.30/73.18 eprover: CPU time limit exceeded, terminating
% 89.81/75.20 eprover: CPU time limit exceeded, terminating
% 92.25/77.21 eprover: CPU time limit exceeded, terminating
% 94.85/79.22 eprover: CPU time limit exceeded, terminating
% 97.28/81.23 eprover: CPU time limit exceeded, terminating
% 99.76/83.24 eprover: CPU time limit exceeded, terminating
% 102.21/85.26 eprover: CPU time limit exceeded, terminating
% 104.73/87.27 eprover: CPU time limit exceeded, terminating
% 107.21/89.28 eprover: CPU time limit exceeded, terminating
% 109.65/91.29 eprover: CPU time limit exceeded, terminating
% 112.18/93.30 eprover: CPU time limit exceeded, terminating
% 114.59/95.31 eprover: CPU time limit exceeded, terminating
% 117.10/97.33 eprover: CPU time limit exceeded, terminating
% 119.63/99.34 eprover: CPU time limit exceeded, terminating
% 122.03/101.35 eprover: CPU time limit exceeded, terminating
% 124.47/103.36 eprover: CPU time limit exceeded, terminating
% 126.90/105.37 eprover: CPU time limit exceeded, terminating
% 129.41/107.38 eprover: CPU time limit exceeded, terminating
% 131.90/109.40 eprover: CPU time limit exceeded, terminating
% 134.25/111.41 eprover: CPU time limit exceeded, terminating
% 136.78/113.42 eprover: CPU time limit exceeded, terminating
% 139.25/115.43 eprover: CPU time limit exceeded, terminating
% 141.71/117.45 eprover: CPU time limit exceeded, terminating
% 144.19/119.46 eprover: CPU time limit exceeded, terminating
% 146.73/121.47 eprover: CPU time limit exceeded, terminating
% 149.15/123.48 eprover: CPU time limit exceeded, terminating
% 151.67/125.49 eprover: CPU time limit exceeded, terminating
% 154.09/127.51 eprover: CPU time limit exceeded, terminating
% 156.65/129.52 eprover: CPU time limit exceeded, terminating
% 159.13/131.53 eprover: CPU time limit exceeded, terminating
% 161.60/133.54 eprover: CPU time limit exceeded, terminating
% 164.08/135.55 eprover: CPU time limit exceeded, terminating
% 166.52/137.57 eprover: CPU time limit exceeded, terminating
% 169.00/139.58 eprover: CPU time limit exceeded, terminating
% 171.49/141.59 eprover: CPU time limit exceeded, terminating
% 174.01/143.60 eprover: CPU time limit exceeded, terminating
% 176.50/145.61 eprover: CPU time limit exceeded, terminating
% 178.98/147.62 eprover: CPU time limit exceeded, terminating
% 181.48/149.64 eprover: CPU time limit exceeded, terminating
% 183.93/151.65 eprover: CPU time limit exceeded, terminating
% 186.38/153.67 eprover: CPU time limit exceeded, terminating
% 188.92/155.68 eprover: CPU time limit exceeded, terminating
% 191.36/157.69 eprover: CPU time limit exceeded, terminating
% 193.89/159.70 eprover: CPU time limit exceeded, terminating
% 196.37/161.71 eprover: CPU time limit exceeded, terminating
% 198.85/163.73 eprover: CPU time limit exceeded, terminating
% 201.32/165.74 eprover: CPU time limit exceeded, terminating
% 203.82/167.75 eprover: CPU time limit exceeded, terminating
% 206.26/169.76 eprover: CPU time limit exceeded, terminating
% 208.77/171.77 eprover: CPU time limit exceeded, terminating
% 211.21/173.78 eprover: CPU time limit exceeded, terminating
% 213.75/175.80 eprover: CPU time limit exceeded, terminating
% 216.27/177.81 eprover: CPU time limit exceeded, terminating
% 218.70/179.82 eprover: CPU time limit exceeded, terminating
% 221.21/181.83 eprover: CPU time limit exceeded, terminating
% 223.74/183.84 eprover: CPU time limit exceeded, terminating
% 226.18/185.85 eprover: CPU time limit exceeded, terminating
% 228.69/187.86 eprover: CPU time limit exceeded, terminating
% 231.15/189.88 eprover: CPU time limit exceeded, terminating
% 233.67/191.89 eprover: CPU time limit exceeded, terminating
% 236.09/193.90 eprover: CPU time limit exceeded, terminating
% 238.62/195.91 eprover: CPU time limit exceeded, terminating
% 241.10/197.92 eprover: CPU time limit exceeded, terminating
% 243.57/199.93 eprover: CPU time limit exceeded, terminating
% 246.04/201.95 eprover: CPU time limit exceeded, terminating
% 248.49/203.96 eprover: CPU time limit exceeded, terminating
% 250.99/205.97 eprover: CPU time limit exceeded, terminating
% 253.42/207.98 eprover: CPU time limit exceeded, terminating
% 255.95/209.99 eprover: CPU time limit exceeded, terminating
% 258.53/212.00 eprover: CPU time limit exceeded, terminating
% 260.98/214.01 eprover: CPU time limit exceeded, terminating
% 263.45/216.03 eprover: CPU time limit exceeded, terminating
% 265.94/218.04 eprover: CPU time limit exceeded, terminating
% 268.40/220.05 eprover: CPU time limit exceeded, terminating
% 270.86/222.06 eprover: CPU time limit exceeded, terminating
% 273.37/224.07 eprover: CPU time limit exceeded, terminating
% 275.83/226.08 eprover: CPU time limit exceeded, terminating
% 278.35/228.09 eprover: CPU time limit exceeded, terminating
% 280.80/230.11 eprover: CPU time limit exceeded, terminating
% 283.32/232.12 eprover: CPU time limit exceeded, terminating
% 285.79/234.13 eprover: CPU time limit exceeded, terminating
% 288.25/236.14 eprover: CPU time limit exceeded, terminating
% 290.74/238.16 eprover: CPU time limit exceeded, terminating
% 293.17/240.17 eprover: CPU time limit exceeded, terminating
% 295.69/242.18 eprover: CPU time limit exceeded, terminating
% 298.14/244.19 eprover: CPU time limit exceeded, terminating
% 300.04/245.54 eprover: CPU time limit exceeded, terminating
% 300.04/245.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------