TSTP Solution File: SWB066+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB066+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 : Tue Jul 19 19:04:42 EDT 2022
% Result : Timeout 287.36s 285.58s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SWB066+1 : TPTP v8.1.0. Released v5.2.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n029.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jun 1 13:34:15 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.07/3.33 eprover: CPU time limit exceeded, terminating
% 5.09/5.34 eprover: CPU time limit exceeded, terminating
% 7.19/7.37 eprover: CPU time limit exceeded, terminating
% 9.23/9.39 eprover: CPU time limit exceeded, terminating
% 11.27/11.40 eprover: CPU time limit exceeded, terminating
% 13.33/13.41 eprover: CPU time limit exceeded, terminating
% 15.35/15.42 eprover: CPU time limit exceeded, terminating
% 17.35/17.43 eprover: CPU time limit exceeded, terminating
% 19.44/19.45 eprover: CPU time limit exceeded, terminating
% 21.47/21.46 eprover: CPU time limit exceeded, terminating
% 23.45/23.47 eprover: CPU time limit exceeded, terminating
% 25.52/25.48 eprover: CPU time limit exceeded, terminating
% 27.51/27.49 eprover: CPU time limit exceeded, terminating
% 29.61/29.50 eprover: CPU time limit exceeded, terminating
% 31.58/31.51 eprover: CPU time limit exceeded, terminating
% 33.65/33.53 eprover: CPU time limit exceeded, terminating
% 35.70/35.53 eprover: CPU time limit exceeded, terminating
% 37.67/37.54 eprover: CPU time limit exceeded, terminating
% 39.79/39.56 eprover: CPU time limit exceeded, terminating
% 41.80/41.56 eprover: CPU time limit exceeded, terminating
% 43.82/43.57 eprover: CPU time limit exceeded, terminating
% 45.87/45.58 eprover: CPU time limit exceeded, terminating
% 47.86/47.59 eprover: CPU time limit exceeded, terminating
% 49.92/49.60 eprover: CPU time limit exceeded, terminating
% 51.92/51.61 eprover: CPU time limit exceeded, terminating
% 53.98/53.62 eprover: CPU time limit exceeded, terminating
% 56.03/55.63 eprover: CPU time limit exceeded, terminating
% 58.05/57.64 eprover: CPU time limit exceeded, terminating
% 60.10/59.66 eprover: CPU time limit exceeded, terminating
% 62.10/61.67 eprover: CPU time limit exceeded, terminating
% 64.14/63.68 eprover: CPU time limit exceeded, terminating
% 66.15/65.69 eprover: CPU time limit exceeded, terminating
% 68.19/67.70 eprover: CPU time limit exceeded, terminating
% 70.22/69.71 eprover: CPU time limit exceeded, terminating
% 72.21/71.72 eprover: CPU time limit exceeded, terminating
% 74.30/73.73 eprover: CPU time limit exceeded, terminating
% 76.34/75.74 eprover: CPU time limit exceeded, terminating
% 78.35/77.76 eprover: CPU time limit exceeded, terminating
% 80.37/79.78 eprover: CPU time limit exceeded, terminating
% 82.40/81.99 eprover: CPU time limit exceeded, terminating
% 84.47/84.13 eprover: CPU time limit exceeded, terminating
% 86.49/86.26 eprover: CPU time limit exceeded, terminating
% 88.53/88.37 eprover: CPU time limit exceeded, terminating
% 90.53/90.49 eprover: CPU time limit exceeded, terminating
% 92.56/92.69 eprover: CPU time limit exceeded, terminating
% 94.59/94.70 eprover: CPU time limit exceeded, terminating
% 96.61/96.71 eprover: CPU time limit exceeded, terminating
% 98.66/98.71 eprover: CPU time limit exceeded, terminating
% 100.69/100.72 eprover: CPU time limit exceeded, terminating
% 102.67/102.73 eprover: CPU time limit exceeded, terminating
% 104.78/104.74 eprover: CPU time limit exceeded, terminating
% 106.82/106.75 eprover: CPU time limit exceeded, terminating
% 108.87/108.76 eprover: CPU time limit exceeded, terminating
% 110.86/110.77 eprover: CPU time limit exceeded, terminating
% 112.88/112.78 eprover: CPU time limit exceeded, terminating
% 114.95/114.79 eprover: CPU time limit exceeded, terminating
% 116.94/116.80 eprover: CPU time limit exceeded, terminating
% 119.00/118.80 eprover: CPU time limit exceeded, terminating
% 121.00/120.81 eprover: CPU time limit exceeded, terminating
% 123.06/122.82 eprover: CPU time limit exceeded, terminating
% 125.11/124.83 eprover: CPU time limit exceeded, terminating
% 127.09/126.84 eprover: CPU time limit exceeded, terminating
% 129.18/128.85 eprover: CPU time limit exceeded, terminating
% 131.21/130.86 eprover: CPU time limit exceeded, terminating
% 133.23/132.87 eprover: CPU time limit exceeded, terminating
% 135.28/134.88 eprover: CPU time limit exceeded, terminating
% 137.27/136.88 eprover: CPU time limit exceeded, terminating
% 139.32/138.89 eprover: CPU time limit exceeded, terminating
% 141.34/140.90 eprover: CPU time limit exceeded, terminating
% 143.34/142.91 eprover: CPU time limit exceeded, terminating
% 145.35/144.92 eprover: CPU time limit exceeded, terminating
% 147.38/146.93 eprover: CPU time limit exceeded, terminating
% 149.45/148.94 eprover: CPU time limit exceeded, terminating
% 151.47/150.95 eprover: CPU time limit exceeded, terminating
% 153.52/152.96 eprover: CPU time limit exceeded, terminating
% 155.53/154.97 eprover: CPU time limit exceeded, terminating
% 157.54/156.98 eprover: CPU time limit exceeded, terminating
% 159.60/158.99 eprover: CPU time limit exceeded, terminating
% 161.59/161.00 eprover: CPU time limit exceeded, terminating
% 163.65/163.01 eprover: CPU time limit exceeded, terminating
% 165.63/165.02 eprover: CPU time limit exceeded, terminating
% 167.66/167.03 eprover: CPU time limit exceeded, terminating
% 169.71/169.04 eprover: CPU time limit exceeded, terminating
% 171.75/171.04 eprover: CPU time limit exceeded, terminating
% 173.77/173.05 eprover: CPU time limit exceeded, terminating
% 175.79/175.06 eprover: CPU time limit exceeded, terminating
% 177.83/177.07 eprover: CPU time limit exceeded, terminating
% 179.82/179.08 eprover: CPU time limit exceeded, terminating
% 181.87/181.09 eprover: CPU time limit exceeded, terminating
% 183.89/183.10 eprover: CPU time limit exceeded, terminating
% 185.91/185.11 eprover: CPU time limit exceeded, terminating
% 187.93/187.12 eprover: CPU time limit exceeded, terminating
% 189.97/189.13 eprover: CPU time limit exceeded, terminating
% 192.02/191.14 eprover: CPU time limit exceeded, terminating
% 194.06/193.15 eprover: CPU time limit exceeded, terminating
% 196.08/195.16 eprover: CPU time limit exceeded, terminating
% 198.10/197.17 eprover: CPU time limit exceeded, terminating
% 200.10/199.18 eprover: CPU time limit exceeded, terminating
% 202.14/201.19 eprover: CPU time limit exceeded, terminating
% 204.15/203.20 eprover: CPU time limit exceeded, terminating
% 206.22/205.21 eprover: CPU time limit exceeded, terminating
% 208.21/207.21 eprover: CPU time limit exceeded, terminating
% 210.27/209.22 eprover: CPU time limit exceeded, terminating
% 212.26/211.23 eprover: CPU time limit exceeded, terminating
% 214.26/213.24 eprover: CPU time limit exceeded, terminating
% 216.36/215.25 eprover: CPU time limit exceeded, terminating
% 218.37/217.26 eprover: CPU time limit exceeded, terminating
% 220.39/219.27 eprover: CPU time limit exceeded, terminating
% 222.41/221.28 eprover: CPU time limit exceeded, terminating
% 224.44/223.29 eprover: CPU time limit exceeded, terminating
% 226.48/225.30 eprover: CPU time limit exceeded, terminating
% 228.47/227.30 eprover: CPU time limit exceeded, terminating
% 230.49/229.32 eprover: CPU time limit exceeded, terminating
% 232.52/231.33 eprover: CPU time limit exceeded, terminating
% 234.60/233.33 eprover: CPU time limit exceeded, terminating
% 236.61/235.34 eprover: CPU time limit exceeded, terminating
% 238.64/237.35 eprover: CPU time limit exceeded, terminating
% 240.67/239.36 eprover: CPU time limit exceeded, terminating
% 242.69/241.37 eprover: CPU time limit exceeded, terminating
% 244.73/243.38 eprover: CPU time limit exceeded, terminating
% 246.76/245.39 eprover: CPU time limit exceeded, terminating
% 248.76/247.40 eprover: CPU time limit exceeded, terminating
% 250.76/249.41 eprover: CPU time limit exceeded, terminating
% 252.81/251.42 eprover: CPU time limit exceeded, terminating
% 254.87/253.43 eprover: CPU time limit exceeded, terminating
% 256.88/255.44 eprover: CPU time limit exceeded, terminating
% 258.87/257.45 eprover: CPU time limit exceeded, terminating
% 260.97/259.46 eprover: CPU time limit exceeded, terminating
% 262.97/261.47 eprover: CPU time limit exceeded, terminating
% 264.98/263.47 eprover: CPU time limit exceeded, terminating
% 267.04/265.48 eprover: CPU time limit exceeded, terminating
% 269.02/267.49 eprover: CPU time limit exceeded, terminating
% 271.07/269.50 eprover: CPU time limit exceeded, terminating
% 273.11/271.51 eprover: CPU time limit exceeded, terminating
% 275.17/273.52 eprover: CPU time limit exceeded, terminating
% 277.20/275.53 eprover: CPU time limit exceeded, terminating
% 279.16/277.54 eprover: CPU time limit exceeded, terminating
% 281.25/279.55 eprover: CPU time limit exceeded, terminating
% 283.30/281.56 eprover: CPU time limit exceeded, terminating
% 285.30/283.57 eprover: CPU time limit exceeded, terminating
% 287.36/285.58 eprover: CPU time limit exceeded, terminating
% 289.39/287.59 eprover: CPU time limit exceeded, terminating
% 291.42/289.60 eprover: CPU time limit exceeded, terminating
% 293.45/291.61 eprover: CPU time limit exceeded, terminating
% 295.46/293.61 eprover: CPU time limit exceeded, terminating
% 297.46/295.62 eprover: CPU time limit exceeded, terminating
% 299.53/297.63 eprover: CPU time limit exceeded, terminating
% 300.02/298.07 eprover: CPU time limit exceeded, terminating
% 300.02/298.09 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------