TSTP Solution File: SWB054+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB054+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 : Tue Jul 19 19:04:41 EDT 2022
% Result : Timeout 287.43s 280.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SWB054+1 : TPTP v8.1.0. Released v5.2.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n025.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 14:15:14 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.86/3.03 eprover: CPU time limit exceeded, terminating
% 4.89/5.04 eprover: CPU time limit exceeded, terminating
% 6.88/7.05 eprover: CPU time limit exceeded, terminating
% 8.94/9.06 eprover: CPU time limit exceeded, terminating
% 11.01/11.08 eprover: CPU time limit exceeded, terminating
% 13.05/13.09 eprover: CPU time limit exceeded, terminating
% 15.04/15.10 eprover: CPU time limit exceeded, terminating
% 17.10/17.11 eprover: CPU time limit exceeded, terminating
% 19.12/19.12 eprover: CPU time limit exceeded, terminating
% 21.19/21.13 eprover: CPU time limit exceeded, terminating
% 23.20/23.14 eprover: CPU time limit exceeded, terminating
% 25.22/25.16 eprover: CPU time limit exceeded, terminating
% 27.28/27.17 eprover: CPU time limit exceeded, terminating
% 29.33/29.18 eprover: CPU time limit exceeded, terminating
% 31.33/31.19 eprover: CPU time limit exceeded, terminating
% 33.39/33.20 eprover: CPU time limit exceeded, terminating
% 35.36/35.21 eprover: CPU time limit exceeded, terminating
% 37.48/37.23 eprover: CPU time limit exceeded, terminating
% 39.49/39.24 eprover: CPU time limit exceeded, terminating
% 41.53/41.25 eprover: CPU time limit exceeded, terminating
% 43.54/43.26 eprover: CPU time limit exceeded, terminating
% 45.55/45.27 eprover: CPU time limit exceeded, terminating
% 47.60/47.28 eprover: CPU time limit exceeded, terminating
% 49.71/49.30 eprover: CPU time limit exceeded, terminating
% 51.66/51.31 eprover: CPU time limit exceeded, terminating
% 53.75/53.32 eprover: CPU time limit exceeded, terminating
% 55.82/55.33 eprover: CPU time limit exceeded, terminating
% 57.81/57.34 eprover: CPU time limit exceeded, terminating
% 59.87/59.36 eprover: CPU time limit exceeded, terminating
% 61.87/61.37 eprover: CPU time limit exceeded, terminating
% 63.92/63.38 eprover: CPU time limit exceeded, terminating
% 65.91/65.39 eprover: CPU time limit exceeded, terminating
% 68.02/67.40 eprover: CPU time limit exceeded, terminating
% 70.04/69.42 eprover: CPU time limit exceeded, terminating
% 72.09/71.43 eprover: CPU time limit exceeded, terminating
% 74.14/73.44 eprover: CPU time limit exceeded, terminating
% 76.15/75.45 eprover: CPU time limit exceeded, terminating
% 78.14/77.46 eprover: CPU time limit exceeded, terminating
% 82.17/79.47 eprover: CPU time limit exceeded, terminating
% 84.19/81.49 eprover: CPU time limit exceeded, terminating
% 86.14/83.50 eprover: CPU time limit exceeded, terminating
% 88.27/85.51 eprover: CPU time limit exceeded, terminating
% 90.31/87.52 eprover: CPU time limit exceeded, terminating
% 92.35/89.53 eprover: CPU time limit exceeded, terminating
% 94.35/91.55 eprover: CPU time limit exceeded, terminating
% 96.37/93.56 eprover: CPU time limit exceeded, terminating
% 98.39/95.57 eprover: CPU time limit exceeded, terminating
% 100.44/97.58 eprover: CPU time limit exceeded, terminating
% 102.44/99.59 eprover: CPU time limit exceeded, terminating
% 106.45/101.61 eprover: CPU time limit exceeded, terminating
% 108.49/103.62 eprover: CPU time limit exceeded, terminating
% 110.51/105.63 eprover: CPU time limit exceeded, terminating
% 112.52/107.64 eprover: CPU time limit exceeded, terminating
% 114.56/109.65 eprover: CPU time limit exceeded, terminating
% 116.58/111.67 eprover: CPU time limit exceeded, terminating
% 118.67/113.68 eprover: CPU time limit exceeded, terminating
% 120.63/115.69 eprover: CPU time limit exceeded, terminating
% 122.73/117.70 eprover: CPU time limit exceeded, terminating
% 124.76/119.71 eprover: CPU time limit exceeded, terminating
% 126.81/121.72 eprover: CPU time limit exceeded, terminating
% 128.83/123.74 eprover: CPU time limit exceeded, terminating
% 130.86/125.75 eprover: CPU time limit exceeded, terminating
% 132.92/127.76 eprover: CPU time limit exceeded, terminating
% 134.90/129.77 eprover: CPU time limit exceeded, terminating
% 136.98/131.78 eprover: CPU time limit exceeded, terminating
% 139.04/133.80 eprover: CPU time limit exceeded, terminating
% 141.00/135.81 eprover: CPU time limit exceeded, terminating
% 143.10/137.82 eprover: CPU time limit exceeded, terminating
% 145.14/139.83 eprover: CPU time limit exceeded, terminating
% 147.17/141.84 eprover: CPU time limit exceeded, terminating
% 149.18/143.86 eprover: CPU time limit exceeded, terminating
% 151.26/145.87 eprover: CPU time limit exceeded, terminating
% 153.23/147.88 eprover: CPU time limit exceeded, terminating
% 155.31/149.89 eprover: CPU time limit exceeded, terminating
% 157.34/151.90 eprover: CPU time limit exceeded, terminating
% 159.31/153.92 eprover: CPU time limit exceeded, terminating
% 161.41/155.93 eprover: CPU time limit exceeded, terminating
% 163.48/157.94 eprover: CPU time limit exceeded, terminating
% 165.49/159.95 eprover: CPU time limit exceeded, terminating
% 167.53/161.96 eprover: CPU time limit exceeded, terminating
% 169.56/163.98 eprover: CPU time limit exceeded, terminating
% 171.63/165.99 eprover: CPU time limit exceeded, terminating
% 173.60/168.00 eprover: CPU time limit exceeded, terminating
% 175.69/170.01 eprover: CPU time limit exceeded, terminating
% 177.72/172.02 eprover: CPU time limit exceeded, terminating
% 179.74/174.03 eprover: CPU time limit exceeded, terminating
% 181.81/176.04 eprover: CPU time limit exceeded, terminating
% 183.78/178.05 eprover: CPU time limit exceeded, terminating
% 185.84/180.07 eprover: CPU time limit exceeded, terminating
% 187.92/182.08 eprover: CPU time limit exceeded, terminating
% 189.90/184.09 eprover: CPU time limit exceeded, terminating
% 191.98/186.10 eprover: CPU time limit exceeded, terminating
% 193.93/188.11 eprover: CPU time limit exceeded, terminating
% 196.01/190.12 eprover: CPU time limit exceeded, terminating
% 198.08/192.13 eprover: CPU time limit exceeded, terminating
% 200.08/194.14 eprover: CPU time limit exceeded, terminating
% 202.14/196.15 eprover: CPU time limit exceeded, terminating
% 204.12/198.15 eprover: CPU time limit exceeded, terminating
% 206.19/200.16 eprover: CPU time limit exceeded, terminating
% 208.18/202.17 eprover: CPU time limit exceeded, terminating
% 210.24/204.18 eprover: CPU time limit exceeded, terminating
% 212.24/206.19 eprover: CPU time limit exceeded, terminating
% 214.27/208.20 eprover: CPU time limit exceeded, terminating
% 216.35/210.21 eprover: CPU time limit exceeded, terminating
% 218.40/212.22 eprover: CPU time limit exceeded, terminating
% 220.41/214.23 eprover: CPU time limit exceeded, terminating
% 222.46/216.23 eprover: CPU time limit exceeded, terminating
% 224.46/218.24 eprover: CPU time limit exceeded, terminating
% 226.52/220.25 eprover: CPU time limit exceeded, terminating
% 228.51/222.26 eprover: CPU time limit exceeded, terminating
% 230.57/224.27 eprover: CPU time limit exceeded, terminating
% 232.54/226.28 eprover: CPU time limit exceeded, terminating
% 234.66/228.29 eprover: CPU time limit exceeded, terminating
% 236.69/230.30 eprover: CPU time limit exceeded, terminating
% 238.72/232.31 eprover: CPU time limit exceeded, terminating
% 240.77/234.32 eprover: CPU time limit exceeded, terminating
% 242.77/236.33 eprover: CPU time limit exceeded, terminating
% 244.80/238.34 eprover: CPU time limit exceeded, terminating
% 246.81/240.35 eprover: CPU time limit exceeded, terminating
% 248.86/242.36 eprover: CPU time limit exceeded, terminating
% 250.86/244.37 eprover: CPU time limit exceeded, terminating
% 252.86/246.38 eprover: CPU time limit exceeded, terminating
% 254.97/248.39 eprover: CPU time limit exceeded, terminating
% 256.94/250.40 eprover: CPU time limit exceeded, terminating
% 259.02/252.40 eprover: CPU time limit exceeded, terminating
% 261.08/254.41 eprover: CPU time limit exceeded, terminating
% 263.09/256.42 eprover: CPU time limit exceeded, terminating
% 265.11/258.43 eprover: CPU time limit exceeded, terminating
% 267.16/260.44 eprover: CPU time limit exceeded, terminating
% 269.18/262.45 eprover: CPU time limit exceeded, terminating
% 271.18/264.46 eprover: CPU time limit exceeded, terminating
% 273.27/266.47 eprover: CPU time limit exceeded, terminating
% 275.24/268.48 eprover: CPU time limit exceeded, terminating
% 277.32/270.49 eprover: CPU time limit exceeded, terminating
% 279.36/272.50 eprover: CPU time limit exceeded, terminating
% 281.32/274.51 eprover: CPU time limit exceeded, terminating
% 283.41/276.52 eprover: CPU time limit exceeded, terminating
% 285.43/278.53 eprover: CPU time limit exceeded, terminating
% 287.43/280.54 eprover: CPU time limit exceeded, terminating
% 289.49/282.55 eprover: CPU time limit exceeded, terminating
% 291.52/284.56 eprover: CPU time limit exceeded, terminating
% 293.52/286.57 eprover: CPU time limit exceeded, terminating
% 295.59/288.57 eprover: CPU time limit exceeded, terminating
% 297.65/290.58 eprover: CPU time limit exceeded, terminating
% 299.62/292.59 eprover: CPU time limit exceeded, terminating
% 300.34/293.23 eprover: CPU time limit exceeded, terminating
% 300.34/293.25 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------