TSTP Solution File: SWB027+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWB027+1 : TPTP v7.0.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n087.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32218.625MB
% OS : Linux 3.10.0-693.2.2.el7.x86_64
% CPULimit : 300s
% DateTime : Tue Jan 16 14:18:06 EST 2018
% Result : Timeout 286.27s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.04 % Problem : SWB027+1 : TPTP v7.0.0. Released v5.2.0.
% 0.00/0.04 % Command : run_infinox %s
% 0.02/0.24 % Computer : n087.star.cs.uiowa.edu
% 0.02/0.24 % Model : x86_64 x86_64
% 0.02/0.24 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.02/0.24 % Memory : 32218.625MB
% 0.02/0.24 % OS : Linux 3.10.0-693.2.2.el7.x86_64
% 0.02/0.24 % CPULimit : 300
% 0.02/0.24 % DateTime : Tue Jan 9 19:34:42 CST 2018
% 0.02/0.24 % CPUTime :
% 3.05/3.24 eprover: CPU time limit exceeded, terminating
% 5.04/5.25 eprover: CPU time limit exceeded, terminating
% 7.07/7.25 eprover: CPU time limit exceeded, terminating
% 9.13/9.26 eprover: CPU time limit exceeded, terminating
% 11.10/11.27 eprover: CPU time limit exceeded, terminating
% 13.13/13.27 eprover: CPU time limit exceeded, terminating
% 15.17/15.28 eprover: CPU time limit exceeded, terminating
% 17.20/17.29 eprover: CPU time limit exceeded, terminating
% 19.18/19.29 eprover: CPU time limit exceeded, terminating
% 21.26/21.30 eprover: CPU time limit exceeded, terminating
% 23.23/23.31 eprover: CPU time limit exceeded, terminating
% 25.31/25.31 eprover: CPU time limit exceeded, terminating
% 27.30/27.32 eprover: CPU time limit exceeded, terminating
% 29.32/29.33 eprover: CPU time limit exceeded, terminating
% 31.36/31.33 eprover: CPU time limit exceeded, terminating
% 33.36/33.34 eprover: CPU time limit exceeded, terminating
% 35.38/35.35 eprover: CPU time limit exceeded, terminating
% 37.42/37.35 eprover: CPU time limit exceeded, terminating
% 39.47/39.36 eprover: CPU time limit exceeded, terminating
% 41.44/41.37 eprover: CPU time limit exceeded, terminating
% 43.47/43.37 eprover: CPU time limit exceeded, terminating
% 45.55/45.38 eprover: CPU time limit exceeded, terminating
% 47.56/47.39 eprover: CPU time limit exceeded, terminating
% 49.52/49.39 eprover: CPU time limit exceeded, terminating
% 51.59/51.40 eprover: CPU time limit exceeded, terminating
% 53.60/53.41 eprover: CPU time limit exceeded, terminating
% 55.66/55.41 eprover: CPU time limit exceeded, terminating
% 57.67/57.42 eprover: CPU time limit exceeded, terminating
% 59.65/59.43 eprover: CPU time limit exceeded, terminating
% 61.71/61.43 eprover: CPU time limit exceeded, terminating
% 63.73/63.44 eprover: CPU time limit exceeded, terminating
% 65.70/65.45 eprover: CPU time limit exceeded, terminating
% 67.74/67.45 eprover: CPU time limit exceeded, terminating
% 69.78/69.46 eprover: CPU time limit exceeded, terminating
% 71.85/71.47 eprover: CPU time limit exceeded, terminating
% 73.79/73.47 eprover: CPU time limit exceeded, terminating
% 75.84/75.48 eprover: CPU time limit exceeded, terminating
% 77.91/77.49 eprover: CPU time limit exceeded, terminating
% 79.91/79.50 eprover: CPU time limit exceeded, terminating
% 81.88/81.50 eprover: CPU time limit exceeded, terminating
% 83.96/83.51 eprover: CPU time limit exceeded, terminating
% 85.96/85.52 eprover: CPU time limit exceeded, terminating
% 88.02/87.52 eprover: CPU time limit exceeded, terminating
% 90.05/89.53 eprover: CPU time limit exceeded, terminating
% 92.00/91.54 eprover: CPU time limit exceeded, terminating
% 94.05/93.54 eprover: CPU time limit exceeded, terminating
% 96.11/95.55 eprover: CPU time limit exceeded, terminating
% 98.08/97.56 eprover: CPU time limit exceeded, terminating
% 100.10/99.57 eprover: CPU time limit exceeded, terminating
% 102.14/101.57 eprover: CPU time limit exceeded, terminating
% 104.19/103.58 eprover: CPU time limit exceeded, terminating
% 106.23/105.59 eprover: CPU time limit exceeded, terminating
% 108.20/107.59 eprover: CPU time limit exceeded, terminating
% 110.27/109.60 eprover: CPU time limit exceeded, terminating
% 112.27/111.61 eprover: CPU time limit exceeded, terminating
% 114.32/113.61 eprover: CPU time limit exceeded, terminating
% 116.35/115.62 eprover: CPU time limit exceeded, terminating
% 118.32/117.63 eprover: CPU time limit exceeded, terminating
% 120.37/119.64 eprover: CPU time limit exceeded, terminating
% 122.41/121.64 eprover: CPU time limit exceeded, terminating
% 124.36/123.65 eprover: CPU time limit exceeded, terminating
% 126.42/125.66 eprover: CPU time limit exceeded, terminating
% 128.45/127.66 eprover: CPU time limit exceeded, terminating
% 130.50/129.67 eprover: CPU time limit exceeded, terminating
% 132.53/131.68 eprover: CPU time limit exceeded, terminating
% 134.49/133.68 eprover: CPU time limit exceeded, terminating
% 136.56/135.69 eprover: CPU time limit exceeded, terminating
% 138.60/137.70 eprover: CPU time limit exceeded, terminating
% 140.55/139.70 eprover: CPU time limit exceeded, terminating
% 142.62/141.71 eprover: CPU time limit exceeded, terminating
% 144.64/143.72 eprover: CPU time limit exceeded, terminating
% 146.68/145.73 eprover: CPU time limit exceeded, terminating
% 148.72/147.73 eprover: CPU time limit exceeded, terminating
% 150.68/149.74 eprover: CPU time limit exceeded, terminating
% 152.74/151.75 eprover: CPU time limit exceeded, terminating
% 154.75/153.75 eprover: CPU time limit exceeded, terminating
% 156.73/155.76 eprover: CPU time limit exceeded, terminating
% 158.79/157.77 eprover: CPU time limit exceeded, terminating
% 160.80/159.77 eprover: CPU time limit exceeded, terminating
% 162.87/161.78 eprover: CPU time limit exceeded, terminating
% 164.90/163.79 eprover: CPU time limit exceeded, terminating
% 166.85/165.79 eprover: CPU time limit exceeded, terminating
% 168.93/167.80 eprover: CPU time limit exceeded, terminating
% 170.94/169.81 eprover: CPU time limit exceeded, terminating
% 172.98/171.82 eprover: CPU time limit exceeded, terminating
% 175.02/173.82 eprover: CPU time limit exceeded, terminating
% 176.97/175.83 eprover: CPU time limit exceeded, terminating
% 179.04/177.84 eprover: CPU time limit exceeded, terminating
% 181.09/179.84 eprover: CPU time limit exceeded, terminating
% 183.11/181.85 eprover: CPU time limit exceeded, terminating
% 185.09/183.86 eprover: CPU time limit exceeded, terminating
% 187.16/185.91 eprover: CPU time limit exceeded, terminating
% 189.14/187.92 eprover: CPU time limit exceeded, terminating
% 191.14/189.92 eprover: CPU time limit exceeded, terminating
% 193.21/191.93 eprover: CPU time limit exceeded, terminating
% 195.23/193.94 eprover: CPU time limit exceeded, terminating
% 197.18/195.95 eprover: CPU time limit exceeded, terminating
% 199.25/197.96 eprover: CPU time limit exceeded, terminating
% 201.29/199.97 eprover: CPU time limit exceeded, terminating
% 203.32/201.98 eprover: CPU time limit exceeded, terminating
% 205.36/203.98 eprover: CPU time limit exceeded, terminating
% 207.33/205.99 eprover: CPU time limit exceeded, terminating
% 209.38/208.00 eprover: CPU time limit exceeded, terminating
% 211.40/210.01 eprover: CPU time limit exceeded, terminating
% 213.45/212.01 eprover: CPU time limit exceeded, terminating
% 215.42/214.02 eprover: CPU time limit exceeded, terminating
% 217.50/216.09 eprover: CPU time limit exceeded, terminating
% 219.49/218.09 eprover: CPU time limit exceeded, terminating
% 221.48/220.10 eprover: CPU time limit exceeded, terminating
% 223.55/222.11 eprover: CPU time limit exceeded, terminating
% 225.54/224.12 eprover: CPU time limit exceeded, terminating
% 227.59/226.20 eprover: CPU time limit exceeded, terminating
% 229.58/228.21 eprover: CPU time limit exceeded, terminating
% 231.63/230.21 eprover: CPU time limit exceeded, terminating
% 233.62/232.23 eprover: CPU time limit exceeded, terminating
% 235.69/234.24 eprover: CPU time limit exceeded, terminating
% 237.72/236.25 eprover: CPU time limit exceeded, terminating
% 239.75/238.25 eprover: CPU time limit exceeded, terminating
% 241.74/240.26 eprover: CPU time limit exceeded, terminating
% 243.78/242.27 eprover: CPU time limit exceeded, terminating
% 245.79/244.27 eprover: CPU time limit exceeded, terminating
% 247.84/246.28 eprover: CPU time limit exceeded, terminating
% 249.84/248.29 eprover: CPU time limit exceeded, terminating
% 251.87/250.29 eprover: CPU time limit exceeded, terminating
% 253.89/252.30 eprover: CPU time limit exceeded, terminating
% 255.90/254.31 eprover: CPU time limit exceeded, terminating
% 257.93/256.31 eprover: CPU time limit exceeded, terminating
% 259.93/258.32 eprover: CPU time limit exceeded, terminating
% 262.00/260.32 eprover: CPU time limit exceeded, terminating
% 264.01/262.33 eprover: CPU time limit exceeded, terminating
% 265.97/264.34 eprover: CPU time limit exceeded, terminating
% 268.04/266.34 eprover: CPU time limit exceeded, terminating
% 270.10/268.35 eprover: CPU time limit exceeded, terminating
% 272.09/270.36 eprover: CPU time limit exceeded, terminating
% 274.10/272.41 eprover: CPU time limit exceeded, terminating
% 276.17/274.42 eprover: CPU time limit exceeded, terminating
% 278.18/276.42 eprover: CPU time limit exceeded, terminating
% 280.15/278.43 eprover: CPU time limit exceeded, terminating
% 282.23/280.44 eprover: CPU time limit exceeded, terminating
% 284.26/282.45 eprover: CPU time limit exceeded, terminating
% 286.27/284.45 eprover: CPU time limit exceeded, terminating
% 288.28/286.46 eprover: CPU time limit exceeded, terminating
% 290.29/288.47 eprover: CPU time limit exceeded, terminating
% 292.35/290.47 eprover: CPU time limit exceeded, terminating
% 294.39/292.48 eprover: CPU time limit exceeded, terminating
% 296.36/294.49 eprover: CPU time limit exceeded, terminating
% 298.40/296.49 eprover: CPU time limit exceeded, terminating
% 300.07/298.12 eprover: CPU time limit exceeded, terminating
% 300.07/298.14 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------