TSTP Solution File: SWW194+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW194+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:25 EDT 2022
% Result : Timeout 286.74s 275.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWW194+1 : TPTP v8.1.0. Released v5.2.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 4 07:36:16 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.47/3.61 eprover: CPU time limit exceeded, terminating
% 5.57/5.62 eprover: CPU time limit exceeded, terminating
% 7.59/7.64 eprover: CPU time limit exceeded, terminating
% 9.73/9.65 eprover: CPU time limit exceeded, terminating
% 11.82/11.66 eprover: CPU time limit exceeded, terminating
% 13.88/13.67 eprover: CPU time limit exceeded, terminating
% 15.98/15.68 eprover: CPU time limit exceeded, terminating
% 18.03/17.70 eprover: CPU time limit exceeded, terminating
% 20.13/19.71 eprover: CPU time limit exceeded, terminating
% 22.24/21.72 eprover: CPU time limit exceeded, terminating
% 24.25/23.74 eprover: CPU time limit exceeded, terminating
% 26.37/25.75 eprover: CPU time limit exceeded, terminating
% 28.48/27.76 eprover: CPU time limit exceeded, terminating
% 30.53/29.77 eprover: CPU time limit exceeded, terminating
% 32.66/31.79 eprover: CPU time limit exceeded, terminating
% 34.70/33.80 eprover: CPU time limit exceeded, terminating
% 36.81/35.82 eprover: CPU time limit exceeded, terminating
% 38.88/37.83 eprover: CPU time limit exceeded, terminating
% 40.95/39.84 eprover: CPU time limit exceeded, terminating
% 43.06/41.85 eprover: CPU time limit exceeded, terminating
% 45.14/43.87 eprover: CPU time limit exceeded, terminating
% 47.19/45.88 eprover: CPU time limit exceeded, terminating
% 49.32/47.89 eprover: CPU time limit exceeded, terminating
% 51.36/49.90 eprover: CPU time limit exceeded, terminating
% 53.49/51.92 eprover: CPU time limit exceeded, terminating
% 55.60/53.93 eprover: CPU time limit exceeded, terminating
% 57.66/55.94 eprover: CPU time limit exceeded, terminating
% 59.77/57.95 eprover: CPU time limit exceeded, terminating
% 61.75/59.97 eprover: CPU time limit exceeded, terminating
% 63.88/61.98 eprover: CPU time limit exceeded, terminating
% 65.99/63.99 eprover: CPU time limit exceeded, terminating
% 68.09/66.01 eprover: CPU time limit exceeded, terminating
% 70.15/68.02 eprover: CPU time limit exceeded, terminating
% 72.24/70.03 eprover: CPU time limit exceeded, terminating
% 74.34/72.04 eprover: CPU time limit exceeded, terminating
% 76.39/74.06 eprover: CPU time limit exceeded, terminating
% 78.46/76.07 eprover: CPU time limit exceeded, terminating
% 80.59/78.08 eprover: CPU time limit exceeded, terminating
% 82.67/80.09 eprover: CPU time limit exceeded, terminating
% 84.71/82.11 eprover: CPU time limit exceeded, terminating
% 86.84/84.12 eprover: CPU time limit exceeded, terminating
% 88.91/86.13 eprover: CPU time limit exceeded, terminating
% 91.01/88.14 eprover: CPU time limit exceeded, terminating
% 93.05/90.16 eprover: CPU time limit exceeded, terminating
% 95.17/92.17 eprover: CPU time limit exceeded, terminating
% 97.21/94.18 eprover: CPU time limit exceeded, terminating
% 99.30/96.19 eprover: CPU time limit exceeded, terminating
% 101.38/98.21 eprover: CPU time limit exceeded, terminating
% 103.48/100.22 eprover: CPU time limit exceeded, terminating
% 105.58/102.23 eprover: CPU time limit exceeded, terminating
% 107.67/104.25 eprover: CPU time limit exceeded, terminating
% 109.69/106.26 eprover: CPU time limit exceeded, terminating
% 111.82/108.27 eprover: CPU time limit exceeded, terminating
% 115.83/110.28 eprover: CPU time limit exceeded, terminating
% 117.96/112.30 eprover: CPU time limit exceeded, terminating
% 120.05/114.31 eprover: CPU time limit exceeded, terminating
% 122.13/116.32 eprover: CPU time limit exceeded, terminating
% 124.22/118.34 eprover: CPU time limit exceeded, terminating
% 126.26/120.35 eprover: CPU time limit exceeded, terminating
% 128.38/122.36 eprover: CPU time limit exceeded, terminating
% 130.46/124.38 eprover: CPU time limit exceeded, terminating
% 132.55/126.39 eprover: CPU time limit exceeded, terminating
% 134.62/128.40 eprover: CPU time limit exceeded, terminating
% 136.67/130.42 eprover: CPU time limit exceeded, terminating
% 138.78/132.43 eprover: CPU time limit exceeded, terminating
% 140.91/134.44 eprover: CPU time limit exceeded, terminating
% 142.95/136.45 eprover: CPU time limit exceeded, terminating
% 145.05/138.47 eprover: CPU time limit exceeded, terminating
% 147.14/140.48 eprover: CPU time limit exceeded, terminating
% 149.18/142.49 eprover: CPU time limit exceeded, terminating
% 151.29/144.51 eprover: CPU time limit exceeded, terminating
% 153.40/146.52 eprover: CPU time limit exceeded, terminating
% 155.48/148.53 eprover: CPU time limit exceeded, terminating
% 157.53/150.55 eprover: CPU time limit exceeded, terminating
% 159.65/152.56 eprover: CPU time limit exceeded, terminating
% 161.73/154.57 eprover: CPU time limit exceeded, terminating
% 163.78/156.58 eprover: CPU time limit exceeded, terminating
% 165.88/158.60 eprover: CPU time limit exceeded, terminating
% 168.00/160.61 eprover: CPU time limit exceeded, terminating
% 170.05/162.62 eprover: CPU time limit exceeded, terminating
% 172.15/164.64 eprover: CPU time limit exceeded, terminating
% 174.21/166.66 eprover: CPU time limit exceeded, terminating
% 176.30/168.67 eprover: CPU time limit exceeded, terminating
% 178.41/170.68 eprover: CPU time limit exceeded, terminating
% 180.49/172.70 eprover: CPU time limit exceeded, terminating
% 182.55/174.72 eprover: CPU time limit exceeded, terminating
% 184.68/176.73 eprover: CPU time limit exceeded, terminating
% 186.69/178.74 eprover: CPU time limit exceeded, terminating
% 188.79/180.75 eprover: CPU time limit exceeded, terminating
% 190.87/182.77 eprover: CPU time limit exceeded, terminating
% 192.96/184.78 eprover: CPU time limit exceeded, terminating
% 195.09/186.79 eprover: CPU time limit exceeded, terminating
% 197.10/188.81 eprover: CPU time limit exceeded, terminating
% 199.23/190.82 eprover: CPU time limit exceeded, terminating
% 201.34/192.83 eprover: CPU time limit exceeded, terminating
% 203.36/194.85 eprover: CPU time limit exceeded, terminating
% 205.45/196.86 eprover: CPU time limit exceeded, terminating
% 207.60/198.87 eprover: CPU time limit exceeded, terminating
% 209.68/200.89 eprover: CPU time limit exceeded, terminating
% 211.76/202.90 eprover: CPU time limit exceeded, terminating
% 213.83/204.91 eprover: CPU time limit exceeded, terminating
% 215.92/206.92 eprover: CPU time limit exceeded, terminating
% 218.03/208.94 eprover: CPU time limit exceeded, terminating
% 220.08/210.95 eprover: CPU time limit exceeded, terminating
% 222.17/212.97 eprover: CPU time limit exceeded, terminating
% 224.28/214.98 eprover: CPU time limit exceeded, terminating
% 226.30/216.99 eprover: CPU time limit exceeded, terminating
% 228.39/219.01 eprover: CPU time limit exceeded, terminating
% 230.51/221.02 eprover: CPU time limit exceeded, terminating
% 232.57/223.03 eprover: CPU time limit exceeded, terminating
% 234.69/225.04 eprover: CPU time limit exceeded, terminating
% 236.72/227.06 eprover: CPU time limit exceeded, terminating
% 238.84/229.07 eprover: CPU time limit exceeded, terminating
% 240.87/231.08 eprover: CPU time limit exceeded, terminating
% 242.97/233.10 eprover: CPU time limit exceeded, terminating
% 245.10/235.11 eprover: CPU time limit exceeded, terminating
% 247.17/237.12 eprover: CPU time limit exceeded, terminating
% 249.23/239.13 eprover: CPU time limit exceeded, terminating
% 251.33/241.15 eprover: CPU time limit exceeded, terminating
% 253.46/243.16 eprover: CPU time limit exceeded, terminating
% 255.47/245.17 eprover: CPU time limit exceeded, terminating
% 257.63/247.19 eprover: CPU time limit exceeded, terminating
% 259.63/249.20 eprover: CPU time limit exceeded, terminating
% 261.77/251.21 eprover: CPU time limit exceeded, terminating
% 263.86/253.23 eprover: CPU time limit exceeded, terminating
% 265.94/255.24 eprover: CPU time limit exceeded, terminating
% 267.95/257.25 eprover: CPU time limit exceeded, terminating
% 270.09/259.26 eprover: CPU time limit exceeded, terminating
% 272.21/261.28 eprover: CPU time limit exceeded, terminating
% 274.26/263.29 eprover: CPU time limit exceeded, terminating
% 276.36/265.30 eprover: CPU time limit exceeded, terminating
% 278.39/267.32 eprover: CPU time limit exceeded, terminating
% 280.53/269.33 eprover: CPU time limit exceeded, terminating
% 282.56/271.34 eprover: CPU time limit exceeded, terminating
% 284.68/273.35 eprover: CPU time limit exceeded, terminating
% 286.74/275.37 eprover: CPU time limit exceeded, terminating
% 288.85/277.38 eprover: CPU time limit exceeded, terminating
% 290.96/279.39 eprover: CPU time limit exceeded, terminating
% 293.04/281.40 eprover: CPU time limit exceeded, terminating
% 295.11/283.42 eprover: CPU time limit exceeded, terminating
% 297.20/285.43 eprover: CPU time limit exceeded, terminating
% 299.23/287.44 eprover: CPU time limit exceeded, terminating
% 300.05/288.15 eprover: CPU time limit exceeded, terminating
% 300.05/288.16 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------