TSTP Solution File: SWB020+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB020+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:36 EDT 2022
% Result : Timeout 286.77s 285.16s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWB020+1 : TPTP v8.1.0. Released v5.2.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 : Wed Jun 1 12:45:26 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.78/3.03 eprover: CPU time limit exceeded, terminating
% 4.88/5.04 eprover: CPU time limit exceeded, terminating
% 6.88/7.05 eprover: CPU time limit exceeded, terminating
% 8.87/9.09 eprover: CPU time limit exceeded, terminating
% 10.93/11.11 eprover: CPU time limit exceeded, terminating
% 12.97/13.13 eprover: CPU time limit exceeded, terminating
% 15.01/15.14 eprover: CPU time limit exceeded, terminating
% 17.04/17.16 eprover: CPU time limit exceeded, terminating
% 19.03/19.19 eprover: CPU time limit exceeded, terminating
% 21.09/21.21 eprover: CPU time limit exceeded, terminating
% 23.13/23.22 eprover: CPU time limit exceeded, terminating
% 25.14/25.23 eprover: CPU time limit exceeded, terminating
% 27.16/27.24 eprover: CPU time limit exceeded, terminating
% 29.19/29.26 eprover: CPU time limit exceeded, terminating
% 31.24/31.27 eprover: CPU time limit exceeded, terminating
% 33.29/33.29 eprover: CPU time limit exceeded, terminating
% 35.27/35.30 eprover: CPU time limit exceeded, terminating
% 37.33/37.31 eprover: CPU time limit exceeded, terminating
% 39.40/39.32 eprover: CPU time limit exceeded, terminating
% 41.35/41.34 eprover: CPU time limit exceeded, terminating
% 43.43/43.35 eprover: CPU time limit exceeded, terminating
% 45.51/45.36 eprover: CPU time limit exceeded, terminating
% 47.51/47.39 eprover: CPU time limit exceeded, terminating
% 49.55/49.41 eprover: CPU time limit exceeded, terminating
% 51.58/51.43 eprover: CPU time limit exceeded, terminating
% 53.57/53.43 eprover: CPU time limit exceeded, terminating
% 55.63/55.44 eprover: CPU time limit exceeded, terminating
% 57.67/57.45 eprover: CPU time limit exceeded, terminating
% 59.71/59.46 eprover: CPU time limit exceeded, terminating
% 61.72/61.47 eprover: CPU time limit exceeded, terminating
% 63.78/63.48 eprover: CPU time limit exceeded, terminating
% 65.79/65.49 eprover: CPU time limit exceeded, terminating
% 67.84/67.50 eprover: CPU time limit exceeded, terminating
% 69.82/69.51 eprover: CPU time limit exceeded, terminating
% 71.87/71.52 eprover: CPU time limit exceeded, terminating
% 73.95/73.53 eprover: CPU time limit exceeded, terminating
% 75.94/75.54 eprover: CPU time limit exceeded, terminating
% 77.99/77.55 eprover: CPU time limit exceeded, terminating
% 80.02/79.56 eprover: CPU time limit exceeded, terminating
% 82.03/81.57 eprover: CPU time limit exceeded, terminating
% 84.02/83.60 eprover: CPU time limit exceeded, terminating
% 86.10/85.62 eprover: CPU time limit exceeded, terminating
% 88.11/87.63 eprover: CPU time limit exceeded, terminating
% 90.16/89.64 eprover: CPU time limit exceeded, terminating
% 92.20/91.66 eprover: CPU time limit exceeded, terminating
% 94.22/93.67 eprover: CPU time limit exceeded, terminating
% 96.27/95.68 eprover: CPU time limit exceeded, terminating
% 98.25/97.69 eprover: CPU time limit exceeded, terminating
% 100.34/99.70 eprover: CPU time limit exceeded, terminating
% 102.38/101.71 eprover: CPU time limit exceeded, terminating
% 104.39/103.74 eprover: CPU time limit exceeded, terminating
% 106.39/105.75 eprover: CPU time limit exceeded, terminating
% 108.44/107.76 eprover: CPU time limit exceeded, terminating
% 110.50/109.78 eprover: CPU time limit exceeded, terminating
% 112.46/111.80 eprover: CPU time limit exceeded, terminating
% 114.56/113.81 eprover: CPU time limit exceeded, terminating
% 116.56/115.82 eprover: CPU time limit exceeded, terminating
% 118.58/117.84 eprover: CPU time limit exceeded, terminating
% 120.61/119.85 eprover: CPU time limit exceeded, terminating
% 122.69/121.87 eprover: CPU time limit exceeded, terminating
% 124.66/123.89 eprover: CPU time limit exceeded, terminating
% 126.71/125.90 eprover: CPU time limit exceeded, terminating
% 128.76/127.92 eprover: CPU time limit exceeded, terminating
% 130.80/129.93 eprover: CPU time limit exceeded, terminating
% 132.78/131.94 eprover: CPU time limit exceeded, terminating
% 134.81/133.95 eprover: CPU time limit exceeded, terminating
% 136.87/135.97 eprover: CPU time limit exceeded, terminating
% 138.89/137.99 eprover: CPU time limit exceeded, terminating
% 140.88/140.00 eprover: CPU time limit exceeded, terminating
% 142.94/142.04 eprover: CPU time limit exceeded, terminating
% 144.98/144.08 eprover: CPU time limit exceeded, terminating
% 147.00/146.10 eprover: CPU time limit exceeded, terminating
% 149.00/148.11 eprover: CPU time limit exceeded, terminating
% 151.06/150.12 eprover: CPU time limit exceeded, terminating
% 153.08/152.15 eprover: CPU time limit exceeded, terminating
% 155.11/154.17 eprover: CPU time limit exceeded, terminating
% 157.13/156.18 eprover: CPU time limit exceeded, terminating
% 159.14/158.19 eprover: CPU time limit exceeded, terminating
% 161.12/160.20 eprover: CPU time limit exceeded, terminating
% 163.19/162.22 eprover: CPU time limit exceeded, terminating
% 165.22/164.24 eprover: CPU time limit exceeded, terminating
% 167.27/166.25 eprover: CPU time limit exceeded, terminating
% 169.25/168.26 eprover: CPU time limit exceeded, terminating
% 171.32/170.28 eprover: CPU time limit exceeded, terminating
% 173.27/172.29 eprover: CPU time limit exceeded, terminating
% 175.37/174.31 eprover: CPU time limit exceeded, terminating
% 177.39/176.34 eprover: CPU time limit exceeded, terminating
% 179.41/178.35 eprover: CPU time limit exceeded, terminating
% 181.39/180.37 eprover: CPU time limit exceeded, terminating
% 183.46/182.39 eprover: CPU time limit exceeded, terminating
% 185.45/184.41 eprover: CPU time limit exceeded, terminating
% 187.51/186.42 eprover: CPU time limit exceeded, terminating
% 189.55/188.43 eprover: CPU time limit exceeded, terminating
% 191.55/190.45 eprover: CPU time limit exceeded, terminating
% 193.60/192.46 eprover: CPU time limit exceeded, terminating
% 195.59/194.47 eprover: CPU time limit exceeded, terminating
% 197.61/196.49 eprover: CPU time limit exceeded, terminating
% 199.67/198.51 eprover: CPU time limit exceeded, terminating
% 201.71/200.52 eprover: CPU time limit exceeded, terminating
% 203.70/202.53 eprover: CPU time limit exceeded, terminating
% 205.77/204.55 eprover: CPU time limit exceeded, terminating
% 207.76/206.56 eprover: CPU time limit exceeded, terminating
% 209.83/208.58 eprover: CPU time limit exceeded, terminating
% 211.79/210.59 eprover: CPU time limit exceeded, terminating
% 213.88/212.61 eprover: CPU time limit exceeded, terminating
% 215.90/214.62 eprover: CPU time limit exceeded, terminating
% 217.93/216.64 eprover: CPU time limit exceeded, terminating
% 219.94/218.65 eprover: CPU time limit exceeded, terminating
% 221.97/220.66 eprover: CPU time limit exceeded, terminating
% 224.03/222.67 eprover: CPU time limit exceeded, terminating
% 225.98/224.69 eprover: CPU time limit exceeded, terminating
% 228.06/226.72 eprover: CPU time limit exceeded, terminating
% 230.07/228.73 eprover: CPU time limit exceeded, terminating
% 232.09/230.75 eprover: CPU time limit exceeded, terminating
% 234.12/232.76 eprover: CPU time limit exceeded, terminating
% 236.15/234.76 eprover: CPU time limit exceeded, terminating
% 238.21/236.78 eprover: CPU time limit exceeded, terminating
% 240.16/238.81 eprover: CPU time limit exceeded, terminating
% 242.29/240.82 eprover: CPU time limit exceeded, terminating
% 244.24/242.84 eprover: CPU time limit exceeded, terminating
% 246.28/244.85 eprover: CPU time limit exceeded, terminating
% 248.35/246.86 eprover: CPU time limit exceeded, terminating
% 250.39/248.87 eprover: CPU time limit exceeded, terminating
% 252.37/250.88 eprover: CPU time limit exceeded, terminating
% 254.37/252.91 eprover: CPU time limit exceeded, terminating
% 256.42/254.92 eprover: CPU time limit exceeded, terminating
% 258.48/256.93 eprover: CPU time limit exceeded, terminating
% 260.49/258.95 eprover: CPU time limit exceeded, terminating
% 262.53/260.96 eprover: CPU time limit exceeded, terminating
% 264.53/262.98 eprover: CPU time limit exceeded, terminating
% 266.58/265.00 eprover: CPU time limit exceeded, terminating
% 268.55/267.01 eprover: CPU time limit exceeded, terminating
% 270.64/269.02 eprover: CPU time limit exceeded, terminating
% 272.61/271.04 eprover: CPU time limit exceeded, terminating
% 274.66/273.06 eprover: CPU time limit exceeded, terminating
% 276.67/275.07 eprover: CPU time limit exceeded, terminating
% 278.74/277.09 eprover: CPU time limit exceeded, terminating
% 280.70/279.11 eprover: CPU time limit exceeded, terminating
% 282.76/281.12 eprover: CPU time limit exceeded, terminating
% 284.82/283.14 eprover: CPU time limit exceeded, terminating
% 286.77/285.16 eprover: CPU time limit exceeded, terminating
% 288.78/287.17 eprover: CPU time limit exceeded, terminating
% 290.84/289.18 eprover: CPU time limit exceeded, terminating
% 292.87/291.19 eprover: CPU time limit exceeded, terminating
% 294.95/293.20 eprover: CPU time limit exceeded, terminating
% 296.97/295.22 eprover: CPU time limit exceeded, terminating
% 298.98/297.23 eprover: CPU time limit exceeded, terminating
% 300.03/298.24 eprover: CPU time limit exceeded, terminating
% 300.03/298.26 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------