TSTP Solution File: SWB041+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB041+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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.55s 284.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : SWB041+1 : TPTP v8.1.0. Released v5.2.0.
% 0.00/0.09 % Command : run_infinox %s
% 0.09/0.29 % Computer : n020.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 600
% 0.09/0.29 % DateTime : Wed Jun 1 01:11:53 EDT 2022
% 0.09/0.29 % CPUTime :
% 3.03/3.25 eprover: CPU time limit exceeded, terminating
% 5.04/5.26 eprover: CPU time limit exceeded, terminating
% 7.08/7.27 eprover: CPU time limit exceeded, terminating
% 9.11/9.27 eprover: CPU time limit exceeded, terminating
% 11.12/11.28 eprover: CPU time limit exceeded, terminating
% 13.19/13.29 eprover: CPU time limit exceeded, terminating
% 15.25/15.30 eprover: CPU time limit exceeded, terminating
% 17.21/17.31 eprover: CPU time limit exceeded, terminating
% 19.31/19.32 eprover: CPU time limit exceeded, terminating
% 21.31/21.33 eprover: CPU time limit exceeded, terminating
% 23.31/23.33 eprover: CPU time limit exceeded, terminating
% 25.37/25.34 eprover: CPU time limit exceeded, terminating
% 27.42/27.36 eprover: CPU time limit exceeded, terminating
% 29.40/29.36 eprover: CPU time limit exceeded, terminating
% 31.44/31.42 eprover: CPU time limit exceeded, terminating
% 33.49/33.44 eprover: CPU time limit exceeded, terminating
% 35.54/35.45 eprover: CPU time limit exceeded, terminating
% 37.57/37.46 eprover: CPU time limit exceeded, terminating
% 39.59/39.47 eprover: CPU time limit exceeded, terminating
% 41.63/41.49 eprover: CPU time limit exceeded, terminating
% 43.66/43.50 eprover: CPU time limit exceeded, terminating
% 45.62/45.51 eprover: CPU time limit exceeded, terminating
% 47.71/47.52 eprover: CPU time limit exceeded, terminating
% 49.73/49.53 eprover: CPU time limit exceeded, terminating
% 51.75/51.54 eprover: CPU time limit exceeded, terminating
% 53.81/53.56 eprover: CPU time limit exceeded, terminating
% 55.84/55.57 eprover: CPU time limit exceeded, terminating
% 57.87/57.58 eprover: CPU time limit exceeded, terminating
% 59.86/59.59 eprover: CPU time limit exceeded, terminating
% 61.92/61.60 eprover: CPU time limit exceeded, terminating
% 63.94/63.61 eprover: CPU time limit exceeded, terminating
% 65.93/65.62 eprover: CPU time limit exceeded, terminating
% 67.99/67.63 eprover: CPU time limit exceeded, terminating
% 70.03/69.64 eprover: CPU time limit exceeded, terminating
% 72.07/71.65 eprover: CPU time limit exceeded, terminating
% 74.04/73.66 eprover: CPU time limit exceeded, terminating
% 76.14/75.66 eprover: CPU time limit exceeded, terminating
% 78.16/77.67 eprover: CPU time limit exceeded, terminating
% 80.20/79.68 eprover: CPU time limit exceeded, terminating
% 82.25/81.69 eprover: CPU time limit exceeded, terminating
% 84.29/83.70 eprover: CPU time limit exceeded, terminating
% 86.28/85.71 eprover: CPU time limit exceeded, terminating
% 88.32/87.72 eprover: CPU time limit exceeded, terminating
% 90.35/89.73 eprover: CPU time limit exceeded, terminating
% 92.40/91.74 eprover: CPU time limit exceeded, terminating
% 94.37/93.75 eprover: CPU time limit exceeded, terminating
% 96.44/95.75 eprover: CPU time limit exceeded, terminating
% 98.48/97.76 eprover: CPU time limit exceeded, terminating
% 100.52/99.77 eprover: CPU time limit exceeded, terminating
% 102.56/101.78 eprover: CPU time limit exceeded, terminating
% 104.56/103.79 eprover: CPU time limit exceeded, terminating
% 106.63/105.80 eprover: CPU time limit exceeded, terminating
% 108.65/107.81 eprover: CPU time limit exceeded, terminating
% 110.71/109.81 eprover: CPU time limit exceeded, terminating
% 112.73/111.82 eprover: CPU time limit exceeded, terminating
% 114.73/113.83 eprover: CPU time limit exceeded, terminating
% 116.77/115.84 eprover: CPU time limit exceeded, terminating
% 118.84/117.85 eprover: CPU time limit exceeded, terminating
% 120.78/119.86 eprover: CPU time limit exceeded, terminating
% 122.87/121.87 eprover: CPU time limit exceeded, terminating
% 124.88/123.88 eprover: CPU time limit exceeded, terminating
% 126.94/125.89 eprover: CPU time limit exceeded, terminating
% 128.99/127.90 eprover: CPU time limit exceeded, terminating
% 131.03/129.91 eprover: CPU time limit exceeded, terminating
% 133.02/131.92 eprover: CPU time limit exceeded, terminating
% 135.09/133.93 eprover: CPU time limit exceeded, terminating
% 137.12/135.94 eprover: CPU time limit exceeded, terminating
% 139.13/137.95 eprover: CPU time limit exceeded, terminating
% 141.19/139.96 eprover: CPU time limit exceeded, terminating
% 143.20/141.97 eprover: CPU time limit exceeded, terminating
% 145.26/143.97 eprover: CPU time limit exceeded, terminating
% 147.25/145.98 eprover: CPU time limit exceeded, terminating
% 149.31/147.99 eprover: CPU time limit exceeded, terminating
% 151.33/150.00 eprover: CPU time limit exceeded, terminating
% 153.41/152.01 eprover: CPU time limit exceeded, terminating
% 155.40/154.02 eprover: CPU time limit exceeded, terminating
% 157.46/156.03 eprover: CPU time limit exceeded, terminating
% 159.51/158.04 eprover: CPU time limit exceeded, terminating
% 161.49/160.05 eprover: CPU time limit exceeded, terminating
% 163.52/162.06 eprover: CPU time limit exceeded, terminating
% 165.62/164.07 eprover: CPU time limit exceeded, terminating
% 167.58/166.08 eprover: CPU time limit exceeded, terminating
% 169.66/168.09 eprover: CPU time limit exceeded, terminating
% 171.64/170.10 eprover: CPU time limit exceeded, terminating
% 173.74/172.11 eprover: CPU time limit exceeded, terminating
% 175.71/174.12 eprover: CPU time limit exceeded, terminating
% 177.78/176.13 eprover: CPU time limit exceeded, terminating
% 179.84/178.14 eprover: CPU time limit exceeded, terminating
% 181.81/180.15 eprover: CPU time limit exceeded, terminating
% 183.89/182.15 eprover: CPU time limit exceeded, terminating
% 185.95/184.16 eprover: CPU time limit exceeded, terminating
% 187.94/186.17 eprover: CPU time limit exceeded, terminating
% 190.02/188.18 eprover: CPU time limit exceeded, terminating
% 192.01/190.19 eprover: CPU time limit exceeded, terminating
% 194.09/192.20 eprover: CPU time limit exceeded, terminating
% 196.06/194.21 eprover: CPU time limit exceeded, terminating
% 198.14/196.22 eprover: CPU time limit exceeded, terminating
% 200.19/198.23 eprover: CPU time limit exceeded, terminating
% 202.16/200.24 eprover: CPU time limit exceeded, terminating
% 204.21/202.25 eprover: CPU time limit exceeded, terminating
% 206.20/204.26 eprover: CPU time limit exceeded, terminating
% 208.27/206.27 eprover: CPU time limit exceeded, terminating
% 210.36/208.28 eprover: CPU time limit exceeded, terminating
% 212.32/210.29 eprover: CPU time limit exceeded, terminating
% 214.43/212.30 eprover: CPU time limit exceeded, terminating
% 216.45/214.31 eprover: CPU time limit exceeded, terminating
% 218.50/216.32 eprover: CPU time limit exceeded, terminating
% 220.53/218.33 eprover: CPU time limit exceeded, terminating
% 222.53/220.34 eprover: CPU time limit exceeded, terminating
% 224.58/222.35 eprover: CPU time limit exceeded, terminating
% 226.58/224.36 eprover: CPU time limit exceeded, terminating
% 228.59/226.37 eprover: CPU time limit exceeded, terminating
% 230.69/228.37 eprover: CPU time limit exceeded, terminating
% 232.66/230.38 eprover: CPU time limit exceeded, terminating
% 234.69/232.39 eprover: CPU time limit exceeded, terminating
% 236.79/234.40 eprover: CPU time limit exceeded, terminating
% 238.81/236.41 eprover: CPU time limit exceeded, terminating
% 240.84/238.42 eprover: CPU time limit exceeded, terminating
% 242.87/240.43 eprover: CPU time limit exceeded, terminating
% 244.90/242.44 eprover: CPU time limit exceeded, terminating
% 246.94/244.45 eprover: CPU time limit exceeded, terminating
% 248.97/246.46 eprover: CPU time limit exceeded, terminating
% 251.01/248.47 eprover: CPU time limit exceeded, terminating
% 253.08/250.48 eprover: CPU time limit exceeded, terminating
% 255.05/252.49 eprover: CPU time limit exceeded, terminating
% 257.14/254.50 eprover: CPU time limit exceeded, terminating
% 259.17/256.51 eprover: CPU time limit exceeded, terminating
% 261.22/258.52 eprover: CPU time limit exceeded, terminating
% 263.24/260.53 eprover: CPU time limit exceeded, terminating
% 265.23/262.54 eprover: CPU time limit exceeded, terminating
% 267.25/264.54 eprover: CPU time limit exceeded, terminating
% 269.27/266.55 eprover: CPU time limit exceeded, terminating
% 271.30/268.56 eprover: CPU time limit exceeded, terminating
% 273.30/270.57 eprover: CPU time limit exceeded, terminating
% 275.33/272.59 eprover: CPU time limit exceeded, terminating
% 277.46/274.60 eprover: CPU time limit exceeded, terminating
% 279.39/276.61 eprover: CPU time limit exceeded, terminating
% 281.51/278.62 eprover: CPU time limit exceeded, terminating
% 283.54/280.63 eprover: CPU time limit exceeded, terminating
% 285.54/282.65 eprover: CPU time limit exceeded, terminating
% 287.55/284.68 eprover: CPU time limit exceeded, terminating
% 289.53/286.68 eprover: CPU time limit exceeded, terminating
% 291.67/288.69 eprover: CPU time limit exceeded, terminating
% 293.61/290.70 eprover: CPU time limit exceeded, terminating
% 295.70/292.71 eprover: CPU time limit exceeded, terminating
% 297.71/294.72 eprover: CPU time limit exceeded, terminating
% 299.77/296.73 eprover: CPU time limit exceeded, terminating
% 300.08/297.02 eprover: CPU time limit exceeded, terminating
% 300.08/297.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------