TSTP Solution File: SWW470+5 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW470+5 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:51 EDT 2022
% Result : Timeout 286.47s 281.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : SWW470+5 : TPTP v8.1.0. Released v5.3.0.
% 0.04/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n024.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 14:10:50 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.89/3.07 eprover: CPU time limit exceeded, terminating
% 4.92/5.08 eprover: CPU time limit exceeded, terminating
% 6.93/7.10 eprover: CPU time limit exceeded, terminating
% 9.04/9.11 eprover: CPU time limit exceeded, terminating
% 11.07/11.13 eprover: CPU time limit exceeded, terminating
% 13.08/13.14 eprover: CPU time limit exceeded, terminating
% 15.16/15.15 eprover: CPU time limit exceeded, terminating
% 17.19/17.17 eprover: CPU time limit exceeded, terminating
% 19.19/19.18 eprover: CPU time limit exceeded, terminating
% 21.24/21.20 eprover: CPU time limit exceeded, terminating
% 23.30/23.21 eprover: CPU time limit exceeded, terminating
% 25.29/25.22 eprover: CPU time limit exceeded, terminating
% 27.37/27.24 eprover: CPU time limit exceeded, terminating
% 29.38/29.25 eprover: CPU time limit exceeded, terminating
% 31.45/31.26 eprover: CPU time limit exceeded, terminating
% 33.49/33.28 eprover: CPU time limit exceeded, terminating
% 35.52/35.29 eprover: CPU time limit exceeded, terminating
% 37.53/37.31 eprover: CPU time limit exceeded, terminating
% 39.53/39.32 eprover: CPU time limit exceeded, terminating
% 41.64/41.34 eprover: CPU time limit exceeded, terminating
% 43.70/43.35 eprover: CPU time limit exceeded, terminating
% 45.73/45.36 eprover: CPU time limit exceeded, terminating
% 47.76/47.38 eprover: CPU time limit exceeded, terminating
% 49.80/49.40 eprover: CPU time limit exceeded, terminating
% 51.83/51.41 eprover: CPU time limit exceeded, terminating
% 53.85/53.42 eprover: CPU time limit exceeded, terminating
% 55.87/55.43 eprover: CPU time limit exceeded, terminating
% 57.96/57.46 eprover: CPU time limit exceeded, terminating
% 59.98/59.47 eprover: CPU time limit exceeded, terminating
% 61.99/61.48 eprover: CPU time limit exceeded, terminating
% 64.05/63.50 eprover: CPU time limit exceeded, terminating
% 66.04/65.51 eprover: CPU time limit exceeded, terminating
% 68.16/67.53 eprover: CPU time limit exceeded, terminating
% 70.21/69.54 eprover: CPU time limit exceeded, terminating
% 72.19/71.56 eprover: CPU time limit exceeded, terminating
% 74.22/73.57 eprover: CPU time limit exceeded, terminating
% 76.32/75.59 eprover: CPU time limit exceeded, terminating
% 78.37/77.60 eprover: CPU time limit exceeded, terminating
% 80.31/79.61 eprover: CPU time limit exceeded, terminating
% 82.43/81.63 eprover: CPU time limit exceeded, terminating
% 84.46/83.64 eprover: CPU time limit exceeded, terminating
% 86.47/85.66 eprover: CPU time limit exceeded, terminating
% 88.48/87.68 eprover: CPU time limit exceeded, terminating
% 90.55/89.69 eprover: CPU time limit exceeded, terminating
% 92.64/91.71 eprover: CPU time limit exceeded, terminating
% 94.67/93.72 eprover: CPU time limit exceeded, terminating
% 96.73/95.74 eprover: CPU time limit exceeded, terminating
% 98.73/97.75 eprover: CPU time limit exceeded, terminating
% 100.79/99.77 eprover: CPU time limit exceeded, terminating
% 102.84/101.78 eprover: CPU time limit exceeded, terminating
% 104.90/103.80 eprover: CPU time limit exceeded, terminating
% 106.94/105.82 eprover: CPU time limit exceeded, terminating
% 108.96/107.84 eprover: CPU time limit exceeded, terminating
% 111.01/109.86 eprover: CPU time limit exceeded, terminating
% 113.03/111.87 eprover: CPU time limit exceeded, terminating
% 115.09/113.90 eprover: CPU time limit exceeded, terminating
% 117.15/115.92 eprover: CPU time limit exceeded, terminating
% 119.15/117.94 eprover: CPU time limit exceeded, terminating
% 121.22/119.96 eprover: CPU time limit exceeded, terminating
% 123.22/121.98 eprover: CPU time limit exceeded, terminating
% 125.28/124.00 eprover: CPU time limit exceeded, terminating
% 127.36/126.02 eprover: CPU time limit exceeded, terminating
% 129.34/128.04 eprover: CPU time limit exceeded, terminating
% 131.38/130.06 eprover: CPU time limit exceeded, terminating
% 133.47/132.08 eprover: CPU time limit exceeded, terminating
% 135.49/134.10 eprover: CPU time limit exceeded, terminating
% 137.53/136.12 eprover: CPU time limit exceeded, terminating
% 139.58/138.14 eprover: CPU time limit exceeded, terminating
% 141.63/140.16 eprover: CPU time limit exceeded, terminating
% 143.68/142.18 eprover: CPU time limit exceeded, terminating
% 145.67/144.19 eprover: CPU time limit exceeded, terminating
% 147.74/146.21 eprover: CPU time limit exceeded, terminating
% 149.72/148.22 eprover: CPU time limit exceeded, terminating
% 151.82/150.24 eprover: CPU time limit exceeded, terminating
% 153.87/152.25 eprover: CPU time limit exceeded, terminating
% 155.91/154.27 eprover: CPU time limit exceeded, terminating
% 157.93/156.28 eprover: CPU time limit exceeded, terminating
% 160.00/158.30 eprover: CPU time limit exceeded, terminating
% 162.03/160.31 eprover: CPU time limit exceeded, terminating
% 164.04/162.33 eprover: CPU time limit exceeded, terminating
% 166.08/164.35 eprover: CPU time limit exceeded, terminating
% 168.18/166.37 eprover: CPU time limit exceeded, terminating
% 170.21/168.39 eprover: CPU time limit exceeded, terminating
% 172.21/170.41 eprover: CPU time limit exceeded, terminating
% 174.25/172.42 eprover: CPU time limit exceeded, terminating
% 176.31/174.44 eprover: CPU time limit exceeded, terminating
% 178.37/176.46 eprover: CPU time limit exceeded, terminating
% 180.42/178.48 eprover: CPU time limit exceeded, terminating
% 182.44/180.50 eprover: CPU time limit exceeded, terminating
% 184.45/182.52 eprover: CPU time limit exceeded, terminating
% 186.55/184.53 eprover: CPU time limit exceeded, terminating
% 188.47/186.55 eprover: CPU time limit exceeded, terminating
% 190.58/188.58 eprover: CPU time limit exceeded, terminating
% 192.60/190.60 eprover: CPU time limit exceeded, terminating
% 194.69/192.62 eprover: CPU time limit exceeded, terminating
% 196.74/194.64 eprover: CPU time limit exceeded, terminating
% 198.77/196.66 eprover: CPU time limit exceeded, terminating
% 200.80/198.67 eprover: CPU time limit exceeded, terminating
% 202.81/200.69 eprover: CPU time limit exceeded, terminating
% 204.90/202.71 eprover: CPU time limit exceeded, terminating
% 206.94/204.73 eprover: CPU time limit exceeded, terminating
% 208.98/206.75 eprover: CPU time limit exceeded, terminating
% 211.01/208.77 eprover: CPU time limit exceeded, terminating
% 213.01/210.78 eprover: CPU time limit exceeded, terminating
% 215.08/212.80 eprover: CPU time limit exceeded, terminating
% 217.15/214.82 eprover: CPU time limit exceeded, terminating
% 219.19/216.84 eprover: CPU time limit exceeded, terminating
% 221.22/218.86 eprover: CPU time limit exceeded, terminating
% 223.27/220.88 eprover: CPU time limit exceeded, terminating
% 225.28/222.90 eprover: CPU time limit exceeded, terminating
% 227.35/224.91 eprover: CPU time limit exceeded, terminating
% 229.37/226.93 eprover: CPU time limit exceeded, terminating
% 231.38/228.95 eprover: CPU time limit exceeded, terminating
% 233.43/230.97 eprover: CPU time limit exceeded, terminating
% 235.50/232.99 eprover: CPU time limit exceeded, terminating
% 237.53/235.01 eprover: CPU time limit exceeded, terminating
% 239.53/237.03 eprover: CPU time limit exceeded, terminating
% 241.57/239.04 eprover: CPU time limit exceeded, terminating
% 243.68/241.06 eprover: CPU time limit exceeded, terminating
% 245.71/243.08 eprover: CPU time limit exceeded, terminating
% 247.76/245.09 eprover: CPU time limit exceeded, terminating
% 249.77/247.11 eprover: CPU time limit exceeded, terminating
% 253.77/249.12 eprover: CPU time limit exceeded, terminating
% 255.78/251.14 eprover: CPU time limit exceeded, terminating
% 257.82/253.15 eprover: CPU time limit exceeded, terminating
% 259.88/255.17 eprover: CPU time limit exceeded, terminating
% 261.99/257.18 eprover: CPU time limit exceeded, terminating
% 264.00/259.20 eprover: CPU time limit exceeded, terminating
% 266.03/261.21 eprover: CPU time limit exceeded, terminating
% 268.06/263.23 eprover: CPU time limit exceeded, terminating
% 270.16/265.24 eprover: CPU time limit exceeded, terminating
% 272.18/267.26 eprover: CPU time limit exceeded, terminating
% 274.21/269.27 eprover: CPU time limit exceeded, terminating
% 276.23/271.29 eprover: CPU time limit exceeded, terminating
% 278.28/273.30 eprover: CPU time limit exceeded, terminating
% 280.36/275.32 eprover: CPU time limit exceeded, terminating
% 282.41/277.33 eprover: CPU time limit exceeded, terminating
% 284.39/279.35 eprover: CPU time limit exceeded, terminating
% 286.47/281.36 eprover: CPU time limit exceeded, terminating
% 288.52/283.38 eprover: CPU time limit exceeded, terminating
% 290.55/285.40 eprover: CPU time limit exceeded, terminating
% 292.59/287.41 eprover: CPU time limit exceeded, terminating
% 294.58/289.43 eprover: CPU time limit exceeded, terminating
% 296.69/291.44 eprover: CPU time limit exceeded, terminating
% 298.73/293.46 eprover: CPU time limit exceeded, terminating
% 300.05/294.74 eprover: CPU time limit exceeded, terminating
% 300.05/294.75 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------