TSTP Solution File: SWV420-1.050 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV420-1.050 : TPTP v8.1.0. Released v3.5.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 : Wed Jul 20 18:49:54 EDT 2022
% Result : Timeout 287.14s 287.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : SWV420-1.050 : TPTP v8.1.0. Released v3.5.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n020.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 15 00:26:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.30/2.57 eprover: CPU time limit exceeded, terminating
% 4.40/4.59 eprover: CPU time limit exceeded, terminating
% 6.41/6.62 eprover: CPU time limit exceeded, terminating
% 8.44/8.68 eprover: CPU time limit exceeded, terminating
% 10.41/10.71 eprover: CPU time limit exceeded, terminating
% 12.45/12.72 eprover: CPU time limit exceeded, terminating
% 14.49/14.75 eprover: CPU time limit exceeded, terminating
% 16.47/16.76 eprover: CPU time limit exceeded, terminating
% 18.51/18.80 eprover: CPU time limit exceeded, terminating
% 20.54/20.81 eprover: CPU time limit exceeded, terminating
% 22.54/22.83 eprover: CPU time limit exceeded, terminating
% 24.52/24.87 eprover: CPU time limit exceeded, terminating
% 26.54/26.88 eprover: CPU time limit exceeded, terminating
% 28.56/28.89 eprover: CPU time limit exceeded, terminating
% 30.64/30.90 eprover: CPU time limit exceeded, terminating
% 32.62/32.92 eprover: CPU time limit exceeded, terminating
% 34.66/34.93 eprover: CPU time limit exceeded, terminating
% 36.66/36.95 eprover: CPU time limit exceeded, terminating
% 38.63/38.97 eprover: CPU time limit exceeded, terminating
% 40.65/40.99 eprover: CPU time limit exceeded, terminating
% 42.73/43.03 eprover: CPU time limit exceeded, terminating
% 44.73/45.06 eprover: CPU time limit exceeded, terminating
% 46.71/47.08 eprover: CPU time limit exceeded, terminating
% 48.82/49.09 eprover: CPU time limit exceeded, terminating
% 50.83/51.10 eprover: CPU time limit exceeded, terminating
% 52.81/53.15 eprover: CPU time limit exceeded, terminating
% 54.83/55.17 eprover: CPU time limit exceeded, terminating
% 56.83/57.18 eprover: CPU time limit exceeded, terminating
% 58.87/59.20 eprover: CPU time limit exceeded, terminating
% 60.92/61.22 eprover: CPU time limit exceeded, terminating
% 62.91/63.23 eprover: CPU time limit exceeded, terminating
% 64.97/65.24 eprover: CPU time limit exceeded, terminating
% 66.95/67.26 eprover: CPU time limit exceeded, terminating
% 68.98/69.27 eprover: CPU time limit exceeded, terminating
% 71.01/71.32 eprover: CPU time limit exceeded, terminating
% 72.98/73.36 eprover: CPU time limit exceeded, terminating
% 75.04/75.37 eprover: CPU time limit exceeded, terminating
% 77.07/77.41 eprover: CPU time limit exceeded, terminating
% 79.03/79.43 eprover: CPU time limit exceeded, terminating
% 81.05/81.46 eprover: CPU time limit exceeded, terminating
% 83.08/83.48 eprover: CPU time limit exceeded, terminating
% 85.16/85.53 eprover: CPU time limit exceeded, terminating
% 87.12/87.58 eprover: CPU time limit exceeded, terminating
% 89.20/89.59 eprover: CPU time limit exceeded, terminating
% 91.19/91.62 eprover: CPU time limit exceeded, terminating
% 93.22/93.63 eprover: CPU time limit exceeded, terminating
% 95.24/95.66 eprover: CPU time limit exceeded, terminating
% 97.26/97.69 eprover: CPU time limit exceeded, terminating
% 99.24/99.70 eprover: CPU time limit exceeded, terminating
% 101.25/101.73 eprover: CPU time limit exceeded, terminating
% 103.33/103.75 eprover: CPU time limit exceeded, terminating
% 105.31/105.77 eprover: CPU time limit exceeded, terminating
% 107.37/107.80 eprover: CPU time limit exceeded, terminating
% 109.36/109.81 eprover: CPU time limit exceeded, terminating
% 111.39/111.83 eprover: CPU time limit exceeded, terminating
% 113.42/113.85 eprover: CPU time limit exceeded, terminating
% 115.37/115.86 eprover: CPU time limit exceeded, terminating
% 117.43/117.89 eprover: CPU time limit exceeded, terminating
% 119.44/119.90 eprover: CPU time limit exceeded, terminating
% 121.49/121.92 eprover: CPU time limit exceeded, terminating
% 123.50/123.94 eprover: CPU time limit exceeded, terminating
% 125.52/125.98 eprover: CPU time limit exceeded, terminating
% 127.54/127.99 eprover: CPU time limit exceeded, terminating
% 129.56/130.01 eprover: CPU time limit exceeded, terminating
% 131.52/132.02 eprover: CPU time limit exceeded, terminating
% 133.56/134.03 eprover: CPU time limit exceeded, terminating
% 135.55/136.05 eprover: CPU time limit exceeded, terminating
% 137.64/138.06 eprover: CPU time limit exceeded, terminating
% 139.65/140.10 eprover: CPU time limit exceeded, terminating
% 141.64/142.13 eprover: CPU time limit exceeded, terminating
% 143.70/144.15 eprover: CPU time limit exceeded, terminating
% 145.71/146.16 eprover: CPU time limit exceeded, terminating
% 147.75/148.18 eprover: CPU time limit exceeded, terminating
% 149.73/150.19 eprover: CPU time limit exceeded, terminating
% 151.76/152.20 eprover: CPU time limit exceeded, terminating
% 153.79/154.25 eprover: CPU time limit exceeded, terminating
% 155.80/156.27 eprover: CPU time limit exceeded, terminating
% 157.82/158.29 eprover: CPU time limit exceeded, terminating
% 159.86/160.30 eprover: CPU time limit exceeded, terminating
% 161.86/162.31 eprover: CPU time limit exceeded, terminating
% 163.86/164.33 eprover: CPU time limit exceeded, terminating
% 165.90/166.34 eprover: CPU time limit exceeded, terminating
% 167.93/168.37 eprover: CPU time limit exceeded, terminating
% 169.92/170.38 eprover: CPU time limit exceeded, terminating
% 171.97/172.40 eprover: CPU time limit exceeded, terminating
% 173.97/174.43 eprover: CPU time limit exceeded, terminating
% 176.00/176.44 eprover: CPU time limit exceeded, terminating
% 178.03/178.46 eprover: CPU time limit exceeded, terminating
% 179.97/180.47 eprover: CPU time limit exceeded, terminating
% 182.07/182.49 eprover: CPU time limit exceeded, terminating
% 184.08/184.52 eprover: CPU time limit exceeded, terminating
% 186.07/186.55 eprover: CPU time limit exceeded, terminating
% 188.11/188.58 eprover: CPU time limit exceeded, terminating
% 190.06/190.60 eprover: CPU time limit exceeded, terminating
% 192.17/192.61 eprover: CPU time limit exceeded, terminating
% 194.17/194.62 eprover: CPU time limit exceeded, terminating
% 196.21/196.65 eprover: CPU time limit exceeded, terminating
% 198.20/198.66 eprover: CPU time limit exceeded, terminating
% 200.23/200.67 eprover: CPU time limit exceeded, terminating
% 202.22/202.68 eprover: CPU time limit exceeded, terminating
% 204.31/204.70 eprover: CPU time limit exceeded, terminating
% 206.32/206.71 eprover: CPU time limit exceeded, terminating
% 208.32/208.72 eprover: CPU time limit exceeded, terminating
% 210.35/210.73 eprover: CPU time limit exceeded, terminating
% 212.37/212.74 eprover: CPU time limit exceeded, terminating
% 214.36/214.75 eprover: CPU time limit exceeded, terminating
% 216.37/216.76 eprover: CPU time limit exceeded, terminating
% 218.40/218.77 eprover: CPU time limit exceeded, terminating
% 220.40/220.78 eprover: CPU time limit exceeded, terminating
% 222.41/222.79 eprover: CPU time limit exceeded, terminating
% 224.43/224.80 eprover: CPU time limit exceeded, terminating
% 226.53/226.81 eprover: CPU time limit exceeded, terminating
% 228.55/228.83 eprover: CPU time limit exceeded, terminating
% 230.54/230.84 eprover: CPU time limit exceeded, terminating
% 232.51/232.86 eprover: CPU time limit exceeded, terminating
% 234.56/234.87 eprover: CPU time limit exceeded, terminating
% 236.59/236.88 eprover: CPU time limit exceeded, terminating
% 238.66/238.90 eprover: CPU time limit exceeded, terminating
% 240.66/240.91 eprover: CPU time limit exceeded, terminating
% 242.68/242.93 eprover: CPU time limit exceeded, terminating
% 244.69/244.95 eprover: CPU time limit exceeded, terminating
% 246.68/246.96 eprover: CPU time limit exceeded, terminating
% 248.70/248.97 eprover: CPU time limit exceeded, terminating
% 250.78/250.98 eprover: CPU time limit exceeded, terminating
% 252.80/253.00 eprover: CPU time limit exceeded, terminating
% 254.82/255.01 eprover: CPU time limit exceeded, terminating
% 256.83/257.02 eprover: CPU time limit exceeded, terminating
% 258.84/259.03 eprover: CPU time limit exceeded, terminating
% 260.85/261.04 eprover: CPU time limit exceeded, terminating
% 262.83/263.06 eprover: CPU time limit exceeded, terminating
% 264.85/265.10 eprover: CPU time limit exceeded, terminating
% 266.92/267.11 eprover: CPU time limit exceeded, terminating
% 268.95/269.12 eprover: CPU time limit exceeded, terminating
% 270.97/271.13 eprover: CPU time limit exceeded, terminating
% 272.96/273.14 eprover: CPU time limit exceeded, terminating
% 275.01/275.15 eprover: CPU time limit exceeded, terminating
% 277.02/277.16 eprover: CPU time limit exceeded, terminating
% 279.01/279.17 eprover: CPU time limit exceeded, terminating
% 281.00/281.18 eprover: CPU time limit exceeded, terminating
% 283.02/283.18 eprover: CPU time limit exceeded, terminating
% 285.13/285.19 eprover: CPU time limit exceeded, terminating
% 287.14/287.20 eprover: CPU time limit exceeded, terminating
% 289.16/289.21 eprover: CPU time limit exceeded, terminating
% 291.18/291.22 eprover: CPU time limit exceeded, terminating
% 293.20/293.23 eprover: CPU time limit exceeded, terminating
% 295.21/295.24 eprover: CPU time limit exceeded, terminating
% 297.20/297.25 eprover: CPU time limit exceeded, terminating
% 299.21/299.26 eprover: CPU time limit exceeded, terminating
% 300.02/300.00 eprover: CPU time limit exceeded, terminating
% 300.02/300.01 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------