TSTP Solution File: SWB026+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB026+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:38 EDT 2022
% Result : Timeout 285.88s 283.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : SWB026+1 : TPTP v8.1.0. Released v5.2.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.13/0.36 % Computer : n021.cluster.edu
% 0.13/0.36 % Model : x86_64 x86_64
% 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36 % Memory : 8042.1875MB
% 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36 % CPULimit : 300
% 0.13/0.36 % WCLimit : 600
% 0.13/0.36 % DateTime : Wed Jun 1 01:40:15 EDT 2022
% 0.13/0.36 % CPUTime :
% 2.88/3.07 eprover: CPU time limit exceeded, terminating
% 4.92/5.08 eprover: CPU time limit exceeded, terminating
% 7.00/7.09 eprover: CPU time limit exceeded, terminating
% 9.00/9.10 eprover: CPU time limit exceeded, terminating
% 11.00/11.12 eprover: CPU time limit exceeded, terminating
% 13.10/13.13 eprover: CPU time limit exceeded, terminating
% 15.14/15.14 eprover: CPU time limit exceeded, terminating
% 17.15/17.15 eprover: CPU time limit exceeded, terminating
% 19.21/19.16 eprover: CPU time limit exceeded, terminating
% 21.25/21.17 eprover: CPU time limit exceeded, terminating
% 23.29/23.18 eprover: CPU time limit exceeded, terminating
% 25.29/25.19 eprover: CPU time limit exceeded, terminating
% 27.36/27.20 eprover: CPU time limit exceeded, terminating
% 29.37/29.21 eprover: CPU time limit exceeded, terminating
% 31.40/31.22 eprover: CPU time limit exceeded, terminating
% 33.44/33.23 eprover: CPU time limit exceeded, terminating
% 35.45/35.24 eprover: CPU time limit exceeded, terminating
% 37.49/37.25 eprover: CPU time limit exceeded, terminating
% 39.50/39.26 eprover: CPU time limit exceeded, terminating
% 41.50/41.27 eprover: CPU time limit exceeded, terminating
% 43.60/43.28 eprover: CPU time limit exceeded, terminating
% 45.65/45.30 eprover: CPU time limit exceeded, terminating
% 47.69/47.30 eprover: CPU time limit exceeded, terminating
% 49.70/49.31 eprover: CPU time limit exceeded, terminating
% 51.74/51.32 eprover: CPU time limit exceeded, terminating
% 53.75/53.33 eprover: CPU time limit exceeded, terminating
% 55.79/55.34 eprover: CPU time limit exceeded, terminating
% 57.85/57.35 eprover: CPU time limit exceeded, terminating
% 59.84/59.36 eprover: CPU time limit exceeded, terminating
% 61.87/61.37 eprover: CPU time limit exceeded, terminating
% 63.93/63.38 eprover: CPU time limit exceeded, terminating
% 65.99/65.39 eprover: CPU time limit exceeded, terminating
% 68.01/67.40 eprover: CPU time limit exceeded, terminating
% 69.98/69.41 eprover: CPU time limit exceeded, terminating
% 72.08/71.42 eprover: CPU time limit exceeded, terminating
% 74.08/73.44 eprover: CPU time limit exceeded, terminating
% 76.10/75.45 eprover: CPU time limit exceeded, terminating
% 78.16/77.46 eprover: CPU time limit exceeded, terminating
% 80.20/79.47 eprover: CPU time limit exceeded, terminating
% 82.25/81.48 eprover: CPU time limit exceeded, terminating
% 84.24/83.50 eprover: CPU time limit exceeded, terminating
% 86.32/85.51 eprover: CPU time limit exceeded, terminating
% 88.36/87.52 eprover: CPU time limit exceeded, terminating
% 90.39/89.53 eprover: CPU time limit exceeded, terminating
% 92.42/91.54 eprover: CPU time limit exceeded, terminating
% 94.48/93.56 eprover: CPU time limit exceeded, terminating
% 96.46/95.57 eprover: CPU time limit exceeded, terminating
% 98.57/97.58 eprover: CPU time limit exceeded, terminating
% 100.54/99.59 eprover: CPU time limit exceeded, terminating
% 102.57/101.61 eprover: CPU time limit exceeded, terminating
% 104.68/103.62 eprover: CPU time limit exceeded, terminating
% 106.72/105.63 eprover: CPU time limit exceeded, terminating
% 108.76/107.64 eprover: CPU time limit exceeded, terminating
% 110.76/109.65 eprover: CPU time limit exceeded, terminating
% 112.82/111.67 eprover: CPU time limit exceeded, terminating
% 114.80/113.68 eprover: CPU time limit exceeded, terminating
% 116.87/115.69 eprover: CPU time limit exceeded, terminating
% 118.86/117.70 eprover: CPU time limit exceeded, terminating
% 120.97/119.72 eprover: CPU time limit exceeded, terminating
% 122.97/121.73 eprover: CPU time limit exceeded, terminating
% 125.01/123.74 eprover: CPU time limit exceeded, terminating
% 127.01/125.75 eprover: CPU time limit exceeded, terminating
% 129.06/127.76 eprover: CPU time limit exceeded, terminating
% 131.16/129.77 eprover: CPU time limit exceeded, terminating
% 133.12/131.79 eprover: CPU time limit exceeded, terminating
% 135.22/133.80 eprover: CPU time limit exceeded, terminating
% 137.19/135.81 eprover: CPU time limit exceeded, terminating
% 139.29/137.82 eprover: CPU time limit exceeded, terminating
% 141.30/139.83 eprover: CPU time limit exceeded, terminating
% 143.35/141.84 eprover: CPU time limit exceeded, terminating
% 145.38/143.86 eprover: CPU time limit exceeded, terminating
% 147.38/145.87 eprover: CPU time limit exceeded, terminating
% 149.48/147.88 eprover: CPU time limit exceeded, terminating
% 151.42/149.89 eprover: CPU time limit exceeded, terminating
% 153.49/151.90 eprover: CPU time limit exceeded, terminating
% 155.57/153.91 eprover: CPU time limit exceeded, terminating
% 157.57/155.93 eprover: CPU time limit exceeded, terminating
% 159.62/157.94 eprover: CPU time limit exceeded, terminating
% 161.64/159.95 eprover: CPU time limit exceeded, terminating
% 163.67/161.96 eprover: CPU time limit exceeded, terminating
% 165.74/163.97 eprover: CPU time limit exceeded, terminating
% 167.71/165.98 eprover: CPU time limit exceeded, terminating
% 169.85/168.00 eprover: CPU time limit exceeded, terminating
% 171.87/170.01 eprover: CPU time limit exceeded, terminating
% 173.86/172.02 eprover: CPU time limit exceeded, terminating
% 175.93/174.03 eprover: CPU time limit exceeded, terminating
% 177.95/176.05 eprover: CPU time limit exceeded, terminating
% 180.00/178.06 eprover: CPU time limit exceeded, terminating
% 182.01/180.07 eprover: CPU time limit exceeded, terminating
% 184.11/182.08 eprover: CPU time limit exceeded, terminating
% 186.09/184.13 eprover: CPU time limit exceeded, terminating
% 188.16/186.14 eprover: CPU time limit exceeded, terminating
% 190.19/188.19 eprover: CPU time limit exceeded, terminating
% 192.23/190.21 eprover: CPU time limit exceeded, terminating
% 194.25/192.23 eprover: CPU time limit exceeded, terminating
% 196.22/194.26 eprover: CPU time limit exceeded, terminating
% 198.32/196.27 eprover: CPU time limit exceeded, terminating
% 200.36/198.28 eprover: CPU time limit exceeded, terminating
% 202.41/200.32 eprover: CPU time limit exceeded, terminating
% 204.41/202.36 eprover: CPU time limit exceeded, terminating
% 206.47/204.40 eprover: CPU time limit exceeded, terminating
% 208.46/206.46 eprover: CPU time limit exceeded, terminating
% 210.55/208.52 eprover: CPU time limit exceeded, terminating
% 212.55/210.55 eprover: CPU time limit exceeded, terminating
% 214.57/212.56 eprover: CPU time limit exceeded, terminating
% 216.60/214.60 eprover: CPU time limit exceeded, terminating
% 218.68/216.61 eprover: CPU time limit exceeded, terminating
% 220.71/218.64 eprover: CPU time limit exceeded, terminating
% 222.73/220.65 eprover: CPU time limit exceeded, terminating
% 224.78/222.67 eprover: CPU time limit exceeded, terminating
% 226.79/224.69 eprover: CPU time limit exceeded, terminating
% 228.85/226.75 eprover: CPU time limit exceeded, terminating
% 230.90/228.78 eprover: CPU time limit exceeded, terminating
% 232.87/230.80 eprover: CPU time limit exceeded, terminating
% 234.98/232.82 eprover: CPU time limit exceeded, terminating
% 237.02/234.83 eprover: CPU time limit exceeded, terminating
% 239.08/236.88 eprover: CPU time limit exceeded, terminating
% 241.04/238.89 eprover: CPU time limit exceeded, terminating
% 243.13/240.91 eprover: CPU time limit exceeded, terminating
% 245.17/242.92 eprover: CPU time limit exceeded, terminating
% 247.18/244.94 eprover: CPU time limit exceeded, terminating
% 249.22/246.95 eprover: CPU time limit exceeded, terminating
% 251.24/249.00 eprover: CPU time limit exceeded, terminating
% 253.27/251.02 eprover: CPU time limit exceeded, terminating
% 255.34/253.03 eprover: CPU time limit exceeded, terminating
% 257.38/255.08 eprover: CPU time limit exceeded, terminating
% 259.40/257.10 eprover: CPU time limit exceeded, terminating
% 261.41/259.12 eprover: CPU time limit exceeded, terminating
% 263.42/261.13 eprover: CPU time limit exceeded, terminating
% 265.50/263.16 eprover: CPU time limit exceeded, terminating
% 267.55/265.18 eprover: CPU time limit exceeded, terminating
% 269.59/267.19 eprover: CPU time limit exceeded, terminating
% 271.59/269.21 eprover: CPU time limit exceeded, terminating
% 273.67/271.23 eprover: CPU time limit exceeded, terminating
% 275.63/273.25 eprover: CPU time limit exceeded, terminating
% 277.73/275.27 eprover: CPU time limit exceeded, terminating
% 279.74/277.29 eprover: CPU time limit exceeded, terminating
% 281.76/279.30 eprover: CPU time limit exceeded, terminating
% 283.84/281.33 eprover: CPU time limit exceeded, terminating
% 285.88/283.34 eprover: CPU time limit exceeded, terminating
% 287.87/285.36 eprover: CPU time limit exceeded, terminating
% 289.95/287.38 eprover: CPU time limit exceeded, terminating
% 291.97/289.40 eprover: CPU time limit exceeded, terminating
% 294.03/291.41 eprover: CPU time limit exceeded, terminating
% 296.00/293.43 eprover: CPU time limit exceeded, terminating
% 298.06/295.44 eprover: CPU time limit exceeded, terminating
% 300.03/297.36 eprover: CPU time limit exceeded, terminating
% 300.03/297.38 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------