TSTP Solution File: SWW474+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW474+3 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:55 EDT 2022
% Result : Timeout 287.13s 271.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : SWW474+3 : TPTP v8.1.0. Released v5.3.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n023.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Sat Jun 4 14:24:25 EDT 2022
% 0.15/0.37 % CPUTime :
% 5.97/6.06 eprover: CPU time limit exceeded, terminating
% 8.09/8.08 eprover: CPU time limit exceeded, terminating
% 10.18/10.09 eprover: CPU time limit exceeded, terminating
% 12.36/12.10 eprover: CPU time limit exceeded, terminating
% 14.49/14.11 eprover: CPU time limit exceeded, terminating
% 16.63/16.13 eprover: CPU time limit exceeded, terminating
% 18.76/18.14 eprover: CPU time limit exceeded, terminating
% 20.85/20.15 eprover: CPU time limit exceeded, terminating
% 23.04/22.17 eprover: CPU time limit exceeded, terminating
% 25.15/24.18 eprover: CPU time limit exceeded, terminating
% 27.32/26.19 eprover: CPU time limit exceeded, terminating
% 29.46/28.20 eprover: CPU time limit exceeded, terminating
% 31.59/30.22 eprover: CPU time limit exceeded, terminating
% 33.66/32.23 eprover: CPU time limit exceeded, terminating
% 35.78/34.24 eprover: CPU time limit exceeded, terminating
% 37.99/36.25 eprover: CPU time limit exceeded, terminating
% 40.11/38.27 eprover: CPU time limit exceeded, terminating
% 42.24/40.28 eprover: CPU time limit exceeded, terminating
% 44.35/42.30 eprover: CPU time limit exceeded, terminating
% 46.48/44.31 eprover: CPU time limit exceeded, terminating
% 48.68/46.32 eprover: CPU time limit exceeded, terminating
% 50.79/48.34 eprover: CPU time limit exceeded, terminating
% 52.96/50.35 eprover: CPU time limit exceeded, terminating
% 55.08/52.37 eprover: CPU time limit exceeded, terminating
% 57.19/54.38 eprover: CPU time limit exceeded, terminating
% 59.32/56.39 eprover: CPU time limit exceeded, terminating
% 61.48/58.41 eprover: CPU time limit exceeded, terminating
% 63.57/60.42 eprover: CPU time limit exceeded, terminating
% 65.71/62.44 eprover: CPU time limit exceeded, terminating
% 67.81/64.45 eprover: CPU time limit exceeded, terminating
% 69.98/66.46 eprover: CPU time limit exceeded, terminating
% 72.13/68.48 eprover: CPU time limit exceeded, terminating
% 74.23/70.49 eprover: CPU time limit exceeded, terminating
% 76.34/72.50 eprover: CPU time limit exceeded, terminating
% 78.44/74.51 eprover: CPU time limit exceeded, terminating
% 80.63/76.53 eprover: CPU time limit exceeded, terminating
% 82.79/78.54 eprover: CPU time limit exceeded, terminating
% 84.91/80.55 eprover: CPU time limit exceeded, terminating
% 87.03/82.56 eprover: CPU time limit exceeded, terminating
% 89.16/84.57 eprover: CPU time limit exceeded, terminating
% 91.26/86.59 eprover: CPU time limit exceeded, terminating
% 93.40/88.60 eprover: CPU time limit exceeded, terminating
% 95.50/90.61 eprover: CPU time limit exceeded, terminating
% 97.60/92.62 eprover: CPU time limit exceeded, terminating
% 99.70/94.64 eprover: CPU time limit exceeded, terminating
% 101.91/96.65 eprover: CPU time limit exceeded, terminating
% 104.03/98.67 eprover: CPU time limit exceeded, terminating
% 106.16/100.68 eprover: CPU time limit exceeded, terminating
% 108.27/102.69 eprover: CPU time limit exceeded, terminating
% 110.39/104.70 eprover: CPU time limit exceeded, terminating
% 112.54/106.72 eprover: CPU time limit exceeded, terminating
% 114.63/108.73 eprover: CPU time limit exceeded, terminating
% 116.74/110.74 eprover: CPU time limit exceeded, terminating
% 118.94/112.75 eprover: CPU time limit exceeded, terminating
% 121.03/114.77 eprover: CPU time limit exceeded, terminating
% 123.18/116.78 eprover: CPU time limit exceeded, terminating
% 125.26/118.79 eprover: CPU time limit exceeded, terminating
% 127.44/120.81 eprover: CPU time limit exceeded, terminating
% 129.53/122.82 eprover: CPU time limit exceeded, terminating
% 131.65/124.84 eprover: CPU time limit exceeded, terminating
% 133.84/126.85 eprover: CPU time limit exceeded, terminating
% 135.97/128.86 eprover: CPU time limit exceeded, terminating
% 138.13/130.88 eprover: CPU time limit exceeded, terminating
% 140.21/132.89 eprover: CPU time limit exceeded, terminating
% 142.38/134.91 eprover: CPU time limit exceeded, terminating
% 144.51/136.92 eprover: CPU time limit exceeded, terminating
% 146.66/138.93 eprover: CPU time limit exceeded, terminating
% 148.78/140.95 eprover: CPU time limit exceeded, terminating
% 150.91/142.96 eprover: CPU time limit exceeded, terminating
% 153.03/144.97 eprover: CPU time limit exceeded, terminating
% 155.15/146.99 eprover: CPU time limit exceeded, terminating
% 157.26/149.00 eprover: CPU time limit exceeded, terminating
% 159.38/151.01 eprover: CPU time limit exceeded, terminating
% 161.55/153.02 eprover: CPU time limit exceeded, terminating
% 163.61/155.04 eprover: CPU time limit exceeded, terminating
% 165.79/157.05 eprover: CPU time limit exceeded, terminating
% 167.93/159.06 eprover: CPU time limit exceeded, terminating
% 170.03/161.07 eprover: CPU time limit exceeded, terminating
% 172.16/163.08 eprover: CPU time limit exceeded, terminating
% 174.27/165.10 eprover: CPU time limit exceeded, terminating
% 176.40/167.11 eprover: CPU time limit exceeded, terminating
% 178.54/169.12 eprover: CPU time limit exceeded, terminating
% 180.70/171.13 eprover: CPU time limit exceeded, terminating
% 182.80/173.15 eprover: CPU time limit exceeded, terminating
% 184.89/175.16 eprover: CPU time limit exceeded, terminating
% 187.04/177.17 eprover: CPU time limit exceeded, terminating
% 189.17/179.18 eprover: CPU time limit exceeded, terminating
% 191.32/181.19 eprover: CPU time limit exceeded, terminating
% 193.43/183.21 eprover: CPU time limit exceeded, terminating
% 195.50/185.22 eprover: CPU time limit exceeded, terminating
% 197.66/187.23 eprover: CPU time limit exceeded, terminating
% 199.81/189.25 eprover: CPU time limit exceeded, terminating
% 201.93/191.26 eprover: CPU time limit exceeded, terminating
% 204.10/193.27 eprover: CPU time limit exceeded, terminating
% 206.23/195.29 eprover: CPU time limit exceeded, terminating
% 208.31/197.30 eprover: CPU time limit exceeded, terminating
% 210.46/199.31 eprover: CPU time limit exceeded, terminating
% 212.61/201.32 eprover: CPU time limit exceeded, terminating
% 214.72/203.34 eprover: CPU time limit exceeded, terminating
% 216.81/205.35 eprover: CPU time limit exceeded, terminating
% 218.97/207.36 eprover: CPU time limit exceeded, terminating
% 221.10/209.37 eprover: CPU time limit exceeded, terminating
% 223.18/211.38 eprover: CPU time limit exceeded, terminating
% 225.40/213.40 eprover: CPU time limit exceeded, terminating
% 227.43/215.41 eprover: CPU time limit exceeded, terminating
% 229.65/217.42 eprover: CPU time limit exceeded, terminating
% 231.80/219.44 eprover: CPU time limit exceeded, terminating
% 233.88/221.45 eprover: CPU time limit exceeded, terminating
% 236.02/223.46 eprover: CPU time limit exceeded, terminating
% 238.11/225.48 eprover: CPU time limit exceeded, terminating
% 240.32/227.49 eprover: CPU time limit exceeded, terminating
% 242.45/229.50 eprover: CPU time limit exceeded, terminating
% 244.59/231.52 eprover: CPU time limit exceeded, terminating
% 246.74/233.53 eprover: CPU time limit exceeded, terminating
% 248.81/235.54 eprover: CPU time limit exceeded, terminating
% 250.95/237.55 eprover: CPU time limit exceeded, terminating
% 253.07/239.57 eprover: CPU time limit exceeded, terminating
% 255.23/241.58 eprover: CPU time limit exceeded, terminating
% 257.28/243.60 eprover: CPU time limit exceeded, terminating
% 259.42/245.61 eprover: CPU time limit exceeded, terminating
% 261.62/247.62 eprover: CPU time limit exceeded, terminating
% 263.70/249.64 eprover: CPU time limit exceeded, terminating
% 265.82/251.65 eprover: CPU time limit exceeded, terminating
% 267.99/253.66 eprover: CPU time limit exceeded, terminating
% 270.05/255.67 eprover: CPU time limit exceeded, terminating
% 272.19/257.69 eprover: CPU time limit exceeded, terminating
% 274.37/259.70 eprover: CPU time limit exceeded, terminating
% 276.42/261.71 eprover: CPU time limit exceeded, terminating
% 278.61/263.73 eprover: CPU time limit exceeded, terminating
% 280.73/265.74 eprover: CPU time limit exceeded, terminating
% 282.88/267.75 eprover: CPU time limit exceeded, terminating
% 284.95/269.76 eprover: CPU time limit exceeded, terminating
% 287.13/271.77 eprover: CPU time limit exceeded, terminating
% 289.27/273.79 eprover: CPU time limit exceeded, terminating
% 291.39/275.80 eprover: CPU time limit exceeded, terminating
% 293.51/277.81 eprover: CPU time limit exceeded, terminating
% 295.64/279.82 eprover: CPU time limit exceeded, terminating
% 297.70/281.83 eprover: CPU time limit exceeded, terminating
% 299.86/283.85 eprover: CPU time limit exceeded, terminating
% 300.18/284.13 eprover: CPU time limit exceeded, terminating
% 300.18/284.15 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------