TSTP Solution File: SWV483+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV483+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:50:14 EDT 2022
% Result : Timeout 286.08s 284.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWV483+1 : TPTP v8.1.0. Released v4.0.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n008.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 10:58:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.04/3.25 eprover: CPU time limit exceeded, terminating
% 5.03/5.26 eprover: CPU time limit exceeded, terminating
% 7.03/7.27 eprover: CPU time limit exceeded, terminating
% 9.06/9.28 eprover: CPU time limit exceeded, terminating
% 11.07/11.29 eprover: CPU time limit exceeded, terminating
% 13.08/13.30 eprover: CPU time limit exceeded, terminating
% 15.17/15.31 eprover: CPU time limit exceeded, terminating
% 17.21/17.32 eprover: CPU time limit exceeded, terminating
% 19.23/19.33 eprover: CPU time limit exceeded, terminating
% 21.20/21.34 eprover: CPU time limit exceeded, terminating
% 23.26/23.36 eprover: CPU time limit exceeded, terminating
% 25.23/25.37 eprover: CPU time limit exceeded, terminating
% 27.28/27.38 eprover: CPU time limit exceeded, terminating
% 29.33/29.39 eprover: CPU time limit exceeded, terminating
% 31.34/31.40 eprover: CPU time limit exceeded, terminating
% 33.27/33.41 eprover: CPU time limit exceeded, terminating
% 35.40/35.42 eprover: CPU time limit exceeded, terminating
% 37.38/37.44 eprover: CPU time limit exceeded, terminating
% 39.39/39.45 eprover: CPU time limit exceeded, terminating
% 41.44/41.46 eprover: CPU time limit exceeded, terminating
% 43.42/43.47 eprover: CPU time limit exceeded, terminating
% 45.45/45.48 eprover: CPU time limit exceeded, terminating
% 47.46/47.50 eprover: CPU time limit exceeded, terminating
% 49.54/49.51 eprover: CPU time limit exceeded, terminating
% 51.57/51.52 eprover: CPU time limit exceeded, terminating
% 53.56/53.53 eprover: CPU time limit exceeded, terminating
% 55.56/55.54 eprover: CPU time limit exceeded, terminating
% 57.59/57.56 eprover: CPU time limit exceeded, terminating
% 59.60/59.57 eprover: CPU time limit exceeded, terminating
% 61.69/61.58 eprover: CPU time limit exceeded, terminating
% 63.64/63.59 eprover: CPU time limit exceeded, terminating
% 65.66/65.61 eprover: CPU time limit exceeded, terminating
% 67.74/67.62 eprover: CPU time limit exceeded, terminating
% 69.77/69.63 eprover: CPU time limit exceeded, terminating
% 71.77/71.64 eprover: CPU time limit exceeded, terminating
% 73.76/73.66 eprover: CPU time limit exceeded, terminating
% 75.76/75.67 eprover: CPU time limit exceeded, terminating
% 77.81/77.68 eprover: CPU time limit exceeded, terminating
% 79.88/79.69 eprover: CPU time limit exceeded, terminating
% 81.83/81.70 eprover: CPU time limit exceeded, terminating
% 83.90/83.72 eprover: CPU time limit exceeded, terminating
% 85.93/85.73 eprover: CPU time limit exceeded, terminating
% 87.91/87.74 eprover: CPU time limit exceeded, terminating
% 89.98/89.75 eprover: CPU time limit exceeded, terminating
% 91.96/91.76 eprover: CPU time limit exceeded, terminating
% 94.02/93.78 eprover: CPU time limit exceeded, terminating
% 95.98/95.79 eprover: CPU time limit exceeded, terminating
% 98.04/97.80 eprover: CPU time limit exceeded, terminating
% 100.10/99.81 eprover: CPU time limit exceeded, terminating
% 102.05/101.83 eprover: CPU time limit exceeded, terminating
% 104.10/103.84 eprover: CPU time limit exceeded, terminating
% 106.16/105.85 eprover: CPU time limit exceeded, terminating
% 108.18/107.86 eprover: CPU time limit exceeded, terminating
% 110.19/109.88 eprover: CPU time limit exceeded, terminating
% 112.22/111.89 eprover: CPU time limit exceeded, terminating
% 114.20/113.90 eprover: CPU time limit exceeded, terminating
% 116.29/115.91 eprover: CPU time limit exceeded, terminating
% 118.24/117.93 eprover: CPU time limit exceeded, terminating
% 120.31/119.94 eprover: CPU time limit exceeded, terminating
% 122.32/121.95 eprover: CPU time limit exceeded, terminating
% 124.33/123.96 eprover: CPU time limit exceeded, terminating
% 126.36/125.97 eprover: CPU time limit exceeded, terminating
% 128.41/127.99 eprover: CPU time limit exceeded, terminating
% 130.46/130.00 eprover: CPU time limit exceeded, terminating
% 132.41/132.01 eprover: CPU time limit exceeded, terminating
% 134.49/134.02 eprover: CPU time limit exceeded, terminating
% 136.46/136.03 eprover: CPU time limit exceeded, terminating
% 138.47/138.05 eprover: CPU time limit exceeded, terminating
% 140.51/140.06 eprover: CPU time limit exceeded, terminating
% 142.57/142.07 eprover: CPU time limit exceeded, terminating
% 144.55/144.08 eprover: CPU time limit exceeded, terminating
% 146.55/146.10 eprover: CPU time limit exceeded, terminating
% 148.64/148.11 eprover: CPU time limit exceeded, terminating
% 150.59/150.12 eprover: CPU time limit exceeded, terminating
% 152.67/152.13 eprover: CPU time limit exceeded, terminating
% 154.71/154.14 eprover: CPU time limit exceeded, terminating
% 156.70/156.16 eprover: CPU time limit exceeded, terminating
% 158.74/158.17 eprover: CPU time limit exceeded, terminating
% 160.72/160.18 eprover: CPU time limit exceeded, terminating
% 162.79/162.19 eprover: CPU time limit exceeded, terminating
% 164.76/164.20 eprover: CPU time limit exceeded, terminating
% 166.77/166.22 eprover: CPU time limit exceeded, terminating
% 168.82/168.23 eprover: CPU time limit exceeded, terminating
% 170.88/170.24 eprover: CPU time limit exceeded, terminating
% 172.86/172.25 eprover: CPU time limit exceeded, terminating
% 174.88/174.27 eprover: CPU time limit exceeded, terminating
% 176.91/176.28 eprover: CPU time limit exceeded, terminating
% 178.99/178.29 eprover: CPU time limit exceeded, terminating
% 180.98/180.30 eprover: CPU time limit exceeded, terminating
% 183.02/182.31 eprover: CPU time limit exceeded, terminating
% 185.05/184.33 eprover: CPU time limit exceeded, terminating
% 187.06/186.34 eprover: CPU time limit exceeded, terminating
% 189.05/188.35 eprover: CPU time limit exceeded, terminating
% 191.03/190.36 eprover: CPU time limit exceeded, terminating
% 193.05/192.38 eprover: CPU time limit exceeded, terminating
% 195.16/194.39 eprover: CPU time limit exceeded, terminating
% 197.18/196.40 eprover: CPU time limit exceeded, terminating
% 199.19/198.41 eprover: CPU time limit exceeded, terminating
% 201.24/200.42 eprover: CPU time limit exceeded, terminating
% 203.22/202.44 eprover: CPU time limit exceeded, terminating
% 205.21/204.45 eprover: CPU time limit exceeded, terminating
% 207.23/206.46 eprover: CPU time limit exceeded, terminating
% 209.27/208.47 eprover: CPU time limit exceeded, terminating
% 211.27/210.48 eprover: CPU time limit exceeded, terminating
% 213.29/212.49 eprover: CPU time limit exceeded, terminating
% 215.36/214.51 eprover: CPU time limit exceeded, terminating
% 217.38/216.52 eprover: CPU time limit exceeded, terminating
% 219.39/218.53 eprover: CPU time limit exceeded, terminating
% 221.38/220.54 eprover: CPU time limit exceeded, terminating
% 223.41/222.55 eprover: CPU time limit exceeded, terminating
% 225.43/224.56 eprover: CPU time limit exceeded, terminating
% 227.44/226.57 eprover: CPU time limit exceeded, terminating
% 229.44/228.58 eprover: CPU time limit exceeded, terminating
% 231.54/230.60 eprover: CPU time limit exceeded, terminating
% 233.57/232.61 eprover: CPU time limit exceeded, terminating
% 235.59/234.62 eprover: CPU time limit exceeded, terminating
% 237.59/236.63 eprover: CPU time limit exceeded, terminating
% 239.62/238.64 eprover: CPU time limit exceeded, terminating
% 241.62/240.65 eprover: CPU time limit exceeded, terminating
% 243.60/242.66 eprover: CPU time limit exceeded, terminating
% 245.62/244.68 eprover: CPU time limit exceeded, terminating
% 247.65/246.69 eprover: CPU time limit exceeded, terminating
% 249.72/248.70 eprover: CPU time limit exceeded, terminating
% 251.67/250.71 eprover: CPU time limit exceeded, terminating
% 253.78/252.72 eprover: CPU time limit exceeded, terminating
% 255.77/254.73 eprover: CPU time limit exceeded, terminating
% 257.80/256.74 eprover: CPU time limit exceeded, terminating
% 259.79/258.75 eprover: CPU time limit exceeded, terminating
% 261.79/260.77 eprover: CPU time limit exceeded, terminating
% 263.87/262.78 eprover: CPU time limit exceeded, terminating
% 265.82/264.79 eprover: CPU time limit exceeded, terminating
% 267.91/266.80 eprover: CPU time limit exceeded, terminating
% 269.84/268.81 eprover: CPU time limit exceeded, terminating
% 271.96/270.82 eprover: CPU time limit exceeded, terminating
% 273.96/272.83 eprover: CPU time limit exceeded, terminating
% 275.98/274.84 eprover: CPU time limit exceeded, terminating
% 278.00/276.85 eprover: CPU time limit exceeded, terminating
% 279.99/278.86 eprover: CPU time limit exceeded, terminating
% 282.06/280.88 eprover: CPU time limit exceeded, terminating
% 284.02/282.89 eprover: CPU time limit exceeded, terminating
% 286.08/284.90 eprover: CPU time limit exceeded, terminating
% 288.11/286.91 eprover: CPU time limit exceeded, terminating
% 290.14/288.92 eprover: CPU time limit exceeded, terminating
% 292.12/290.95 eprover: CPU time limit exceeded, terminating
% 294.14/292.96 eprover: CPU time limit exceeded, terminating
% 296.17/294.97 eprover: CPU time limit exceeded, terminating
% 298.17/296.98 eprover: CPU time limit exceeded, terminating
% 300.07/298.82 eprover: CPU time limit exceeded, terminating
% 300.07/298.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------