TSTP Solution File: SWW474+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW474+7 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:56 EDT 2022
% Result : Timeout 287.61s 264.17s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : SWW474+7 : TPTP v8.1.0. Released v5.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.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 : Sun Jun 5 12:00:34 EDT 2022
% 0.13/0.35 % CPUTime :
% 8.42/8.40 eprover: CPU time limit exceeded, terminating
% 10.61/10.42 eprover: CPU time limit exceeded, terminating
% 12.82/12.43 eprover: CPU time limit exceeded, terminating
% 15.01/14.44 eprover: CPU time limit exceeded, terminating
% 17.16/16.46 eprover: CPU time limit exceeded, terminating
% 19.34/18.47 eprover: CPU time limit exceeded, terminating
% 21.53/20.49 eprover: CPU time limit exceeded, terminating
% 23.82/22.50 eprover: CPU time limit exceeded, terminating
% 26.02/24.51 eprover: CPU time limit exceeded, terminating
% 28.24/26.52 eprover: CPU time limit exceeded, terminating
% 30.41/28.54 eprover: CPU time limit exceeded, terminating
% 32.57/30.55 eprover: CPU time limit exceeded, terminating
% 34.76/32.57 eprover: CPU time limit exceeded, terminating
% 36.97/34.58 eprover: CPU time limit exceeded, terminating
% 39.16/36.59 eprover: CPU time limit exceeded, terminating
% 41.43/38.61 eprover: CPU time limit exceeded, terminating
% 43.59/40.62 eprover: CPU time limit exceeded, terminating
% 45.80/42.64 eprover: CPU time limit exceeded, terminating
% 48.03/44.65 eprover: CPU time limit exceeded, terminating
% 50.18/46.67 eprover: CPU time limit exceeded, terminating
% 52.44/48.68 eprover: CPU time limit exceeded, terminating
% 54.55/50.70 eprover: CPU time limit exceeded, terminating
% 56.80/52.71 eprover: CPU time limit exceeded, terminating
% 59.05/54.73 eprover: CPU time limit exceeded, terminating
% 61.20/56.74 eprover: CPU time limit exceeded, terminating
% 63.42/58.76 eprover: CPU time limit exceeded, terminating
% 65.56/60.77 eprover: CPU time limit exceeded, terminating
% 67.85/62.79 eprover: CPU time limit exceeded, terminating
% 69.98/64.80 eprover: CPU time limit exceeded, terminating
% 72.17/66.82 eprover: CPU time limit exceeded, terminating
% 74.43/68.83 eprover: CPU time limit exceeded, terminating
% 76.58/70.84 eprover: CPU time limit exceeded, terminating
% 78.79/72.86 eprover: CPU time limit exceeded, terminating
% 81.00/74.87 eprover: CPU time limit exceeded, terminating
% 83.19/76.89 eprover: CPU time limit exceeded, terminating
% 85.44/78.90 eprover: CPU time limit exceeded, terminating
% 87.65/80.91 eprover: CPU time limit exceeded, terminating
% 89.83/82.93 eprover: CPU time limit exceeded, terminating
% 91.98/84.94 eprover: CPU time limit exceeded, terminating
% 94.18/86.95 eprover: CPU time limit exceeded, terminating
% 96.37/88.97 eprover: CPU time limit exceeded, terminating
% 98.56/90.98 eprover: CPU time limit exceeded, terminating
% 100.82/93.00 eprover: CPU time limit exceeded, terminating
% 103.04/95.01 eprover: CPU time limit exceeded, terminating
% 105.23/97.02 eprover: CPU time limit exceeded, terminating
% 107.44/99.04 eprover: CPU time limit exceeded, terminating
% 109.58/101.05 eprover: CPU time limit exceeded, terminating
% 111.79/103.07 eprover: CPU time limit exceeded, terminating
% 113.99/105.08 eprover: CPU time limit exceeded, terminating
% 116.23/107.09 eprover: CPU time limit exceeded, terminating
% 118.36/109.11 eprover: CPU time limit exceeded, terminating
% 120.64/111.12 eprover: CPU time limit exceeded, terminating
% 122.84/113.13 eprover: CPU time limit exceeded, terminating
% 125.01/115.15 eprover: CPU time limit exceeded, terminating
% 127.21/117.16 eprover: CPU time limit exceeded, terminating
% 129.35/119.18 eprover: CPU time limit exceeded, terminating
% 131.63/121.19 eprover: CPU time limit exceeded, terminating
% 133.84/123.20 eprover: CPU time limit exceeded, terminating
% 136.03/125.22 eprover: CPU time limit exceeded, terminating
% 138.20/127.23 eprover: CPU time limit exceeded, terminating
% 140.36/129.25 eprover: CPU time limit exceeded, terminating
% 142.58/131.26 eprover: CPU time limit exceeded, terminating
% 144.79/133.27 eprover: CPU time limit exceeded, terminating
% 146.96/135.29 eprover: CPU time limit exceeded, terminating
% 149.17/137.30 eprover: CPU time limit exceeded, terminating
% 151.43/139.31 eprover: CPU time limit exceeded, terminating
% 153.63/141.33 eprover: CPU time limit exceeded, terminating
% 155.85/143.34 eprover: CPU time limit exceeded, terminating
% 157.97/145.35 eprover: CPU time limit exceeded, terminating
% 160.18/147.37 eprover: CPU time limit exceeded, terminating
% 162.39/149.38 eprover: CPU time limit exceeded, terminating
% 164.65/151.40 eprover: CPU time limit exceeded, terminating
% 166.85/153.41 eprover: CPU time limit exceeded, terminating
% 169.06/155.43 eprover: CPU time limit exceeded, terminating
% 171.24/157.44 eprover: CPU time limit exceeded, terminating
% 173.39/159.45 eprover: CPU time limit exceeded, terminating
% 175.65/161.47 eprover: CPU time limit exceeded, terminating
% 177.79/163.48 eprover: CPU time limit exceeded, terminating
% 180.05/165.50 eprover: CPU time limit exceeded, terminating
% 182.25/167.51 eprover: CPU time limit exceeded, terminating
% 184.44/169.52 eprover: CPU time limit exceeded, terminating
% 186.62/171.54 eprover: CPU time limit exceeded, terminating
% 188.80/173.55 eprover: CPU time limit exceeded, terminating
% 190.98/175.57 eprover: CPU time limit exceeded, terminating
% 193.15/177.58 eprover: CPU time limit exceeded, terminating
% 195.43/179.60 eprover: CPU time limit exceeded, terminating
% 197.64/181.61 eprover: CPU time limit exceeded, terminating
% 199.82/183.63 eprover: CPU time limit exceeded, terminating
% 202.00/185.64 eprover: CPU time limit exceeded, terminating
% 204.15/187.66 eprover: CPU time limit exceeded, terminating
% 206.35/189.67 eprover: CPU time limit exceeded, terminating
% 208.56/191.68 eprover: CPU time limit exceeded, terminating
% 210.81/193.70 eprover: CPU time limit exceeded, terminating
% 212.93/195.71 eprover: CPU time limit exceeded, terminating
% 215.18/197.73 eprover: CPU time limit exceeded, terminating
% 217.39/199.74 eprover: CPU time limit exceeded, terminating
% 219.55/201.76 eprover: CPU time limit exceeded, terminating
% 221.80/203.77 eprover: CPU time limit exceeded, terminating
% 223.91/205.78 eprover: CPU time limit exceeded, terminating
% 226.18/207.80 eprover: CPU time limit exceeded, terminating
% 228.37/209.81 eprover: CPU time limit exceeded, terminating
% 230.51/211.82 eprover: CPU time limit exceeded, terminating
% 232.71/213.84 eprover: CPU time limit exceeded, terminating
% 234.91/215.85 eprover: CPU time limit exceeded, terminating
% 237.08/217.86 eprover: CPU time limit exceeded, terminating
% 239.30/219.88 eprover: CPU time limit exceeded, terminating
% 241.51/221.89 eprover: CPU time limit exceeded, terminating
% 243.65/223.90 eprover: CPU time limit exceeded, terminating
% 245.87/225.92 eprover: CPU time limit exceeded, terminating
% 248.12/227.93 eprover: CPU time limit exceeded, terminating
% 250.25/229.94 eprover: CPU time limit exceeded, terminating
% 252.49/231.96 eprover: CPU time limit exceeded, terminating
% 254.61/233.97 eprover: CPU time limit exceeded, terminating
% 256.88/235.99 eprover: CPU time limit exceeded, terminating
% 259.09/238.00 eprover: CPU time limit exceeded, terminating
% 261.21/240.01 eprover: CPU time limit exceeded, terminating
% 263.48/242.03 eprover: CPU time limit exceeded, terminating
% 265.69/244.04 eprover: CPU time limit exceeded, terminating
% 267.84/246.05 eprover: CPU time limit exceeded, terminating
% 270.03/248.07 eprover: CPU time limit exceeded, terminating
% 272.27/250.08 eprover: CPU time limit exceeded, terminating
% 274.39/252.09 eprover: CPU time limit exceeded, terminating
% 276.66/254.10 eprover: CPU time limit exceeded, terminating
% 278.87/256.12 eprover: CPU time limit exceeded, terminating
% 281.06/258.13 eprover: CPU time limit exceeded, terminating
% 283.23/260.14 eprover: CPU time limit exceeded, terminating
% 285.41/262.16 eprover: CPU time limit exceeded, terminating
% 287.61/264.17 eprover: CPU time limit exceeded, terminating
% 289.76/266.18 eprover: CPU time limit exceeded, terminating
% 292.01/268.19 eprover: CPU time limit exceeded, terminating
% 294.14/270.21 eprover: CPU time limit exceeded, terminating
% 296.43/272.22 eprover: CPU time limit exceeded, terminating
% 298.59/274.23 eprover: CPU time limit exceeded, terminating
% 300.05/275.49 eprover: CPU time limit exceeded, terminating
% 300.05/275.51 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------