TSTP Solution File: ITP022+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ITP022+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Sat Jul 16 23:04:49 EDT 2022
% Result : Timeout 286.63s 284.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : ITP022+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n017.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Thu Jun 2 19:56:13 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.58/2.77 eprover: CPU time limit exceeded, terminating
% 4.62/4.78 eprover: CPU time limit exceeded, terminating
% 6.59/6.80 eprover: CPU time limit exceeded, terminating
% 8.61/8.81 eprover: CPU time limit exceeded, terminating
% 10.62/10.82 eprover: CPU time limit exceeded, terminating
% 12.66/12.83 eprover: CPU time limit exceeded, terminating
% 14.70/14.85 eprover: CPU time limit exceeded, terminating
% 16.73/16.86 eprover: CPU time limit exceeded, terminating
% 18.76/18.87 eprover: CPU time limit exceeded, terminating
% 20.78/20.88 eprover: CPU time limit exceeded, terminating
% 22.78/22.89 eprover: CPU time limit exceeded, terminating
% 24.82/24.90 eprover: CPU time limit exceeded, terminating
% 26.82/26.91 eprover: CPU time limit exceeded, terminating
% 28.88/28.93 eprover: CPU time limit exceeded, terminating
% 30.86/30.94 eprover: CPU time limit exceeded, terminating
% 32.93/32.95 eprover: CPU time limit exceeded, terminating
% 34.90/34.96 eprover: CPU time limit exceeded, terminating
% 36.97/36.97 eprover: CPU time limit exceeded, terminating
% 38.98/38.99 eprover: CPU time limit exceeded, terminating
% 40.98/41.00 eprover: CPU time limit exceeded, terminating
% 43.03/43.01 eprover: CPU time limit exceeded, terminating
% 45.05/45.02 eprover: CPU time limit exceeded, terminating
% 47.08/47.03 eprover: CPU time limit exceeded, terminating
% 49.13/49.04 eprover: CPU time limit exceeded, terminating
% 51.17/51.06 eprover: CPU time limit exceeded, terminating
% 53.19/53.07 eprover: CPU time limit exceeded, terminating
% 55.24/55.08 eprover: CPU time limit exceeded, terminating
% 57.24/57.09 eprover: CPU time limit exceeded, terminating
% 59.24/59.10 eprover: CPU time limit exceeded, terminating
% 61.26/61.12 eprover: CPU time limit exceeded, terminating
% 63.30/63.13 eprover: CPU time limit exceeded, terminating
% 65.38/65.14 eprover: CPU time limit exceeded, terminating
% 67.40/67.15 eprover: CPU time limit exceeded, terminating
% 69.42/69.17 eprover: CPU time limit exceeded, terminating
% 71.43/71.18 eprover: CPU time limit exceeded, terminating
% 73.48/73.19 eprover: CPU time limit exceeded, terminating
% 75.53/75.20 eprover: CPU time limit exceeded, terminating
% 77.57/77.22 eprover: CPU time limit exceeded, terminating
% 79.55/79.23 eprover: CPU time limit exceeded, terminating
% 81.55/81.24 eprover: CPU time limit exceeded, terminating
% 83.66/83.25 eprover: CPU time limit exceeded, terminating
% 85.66/85.27 eprover: CPU time limit exceeded, terminating
% 87.69/87.28 eprover: CPU time limit exceeded, terminating
% 89.74/89.29 eprover: CPU time limit exceeded, terminating
% 91.73/91.30 eprover: CPU time limit exceeded, terminating
% 93.77/93.32 eprover: CPU time limit exceeded, terminating
% 95.74/95.33 eprover: CPU time limit exceeded, terminating
% 97.87/97.34 eprover: CPU time limit exceeded, terminating
% 99.84/99.35 eprover: CPU time limit exceeded, terminating
% 101.94/101.37 eprover: CPU time limit exceeded, terminating
% 103.96/103.38 eprover: CPU time limit exceeded, terminating
% 105.95/105.39 eprover: CPU time limit exceeded, terminating
% 107.99/107.40 eprover: CPU time limit exceeded, terminating
% 110.03/109.42 eprover: CPU time limit exceeded, terminating
% 112.08/111.43 eprover: CPU time limit exceeded, terminating
% 114.07/113.44 eprover: CPU time limit exceeded, terminating
% 116.12/115.45 eprover: CPU time limit exceeded, terminating
% 118.15/117.46 eprover: CPU time limit exceeded, terminating
% 120.17/119.47 eprover: CPU time limit exceeded, terminating
% 122.19/121.49 eprover: CPU time limit exceeded, terminating
% 124.20/123.50 eprover: CPU time limit exceeded, terminating
% 126.30/125.51 eprover: CPU time limit exceeded, terminating
% 128.33/127.52 eprover: CPU time limit exceeded, terminating
% 130.35/129.54 eprover: CPU time limit exceeded, terminating
% 132.36/131.55 eprover: CPU time limit exceeded, terminating
% 134.35/133.56 eprover: CPU time limit exceeded, terminating
% 136.41/135.58 eprover: CPU time limit exceeded, terminating
% 138.47/137.59 eprover: CPU time limit exceeded, terminating
% 140.50/139.60 eprover: CPU time limit exceeded, terminating
% 142.52/141.61 eprover: CPU time limit exceeded, terminating
% 144.54/143.62 eprover: CPU time limit exceeded, terminating
% 146.58/145.64 eprover: CPU time limit exceeded, terminating
% 148.59/147.65 eprover: CPU time limit exceeded, terminating
% 150.63/149.66 eprover: CPU time limit exceeded, terminating
% 152.69/151.67 eprover: CPU time limit exceeded, terminating
% 154.68/153.68 eprover: CPU time limit exceeded, terminating
% 156.75/155.70 eprover: CPU time limit exceeded, terminating
% 158.78/157.71 eprover: CPU time limit exceeded, terminating
% 160.78/159.72 eprover: CPU time limit exceeded, terminating
% 162.84/161.73 eprover: CPU time limit exceeded, terminating
% 164.82/163.74 eprover: CPU time limit exceeded, terminating
% 166.90/165.76 eprover: CPU time limit exceeded, terminating
% 168.88/167.77 eprover: CPU time limit exceeded, terminating
% 170.93/169.78 eprover: CPU time limit exceeded, terminating
% 172.99/171.79 eprover: CPU time limit exceeded, terminating
% 174.95/173.81 eprover: CPU time limit exceeded, terminating
% 177.01/175.82 eprover: CPU time limit exceeded, terminating
% 179.06/177.83 eprover: CPU time limit exceeded, terminating
% 181.04/179.84 eprover: CPU time limit exceeded, terminating
% 183.10/181.86 eprover: CPU time limit exceeded, terminating
% 185.16/183.87 eprover: CPU time limit exceeded, terminating
% 187.22/185.88 eprover: CPU time limit exceeded, terminating
% 189.19/187.89 eprover: CPU time limit exceeded, terminating
% 191.25/189.91 eprover: CPU time limit exceeded, terminating
% 193.30/191.92 eprover: CPU time limit exceeded, terminating
% 195.28/193.93 eprover: CPU time limit exceeded, terminating
% 197.34/195.94 eprover: CPU time limit exceeded, terminating
% 199.34/197.96 eprover: CPU time limit exceeded, terminating
% 201.39/199.97 eprover: CPU time limit exceeded, terminating
% 203.45/201.98 eprover: CPU time limit exceeded, terminating
% 205.44/203.99 eprover: CPU time limit exceeded, terminating
% 207.52/206.01 eprover: CPU time limit exceeded, terminating
% 209.49/208.02 eprover: CPU time limit exceeded, terminating
% 211.53/210.03 eprover: CPU time limit exceeded, terminating
% 213.60/212.04 eprover: CPU time limit exceeded, terminating
% 215.65/214.06 eprover: CPU time limit exceeded, terminating
% 217.64/216.07 eprover: CPU time limit exceeded, terminating
% 219.67/218.08 eprover: CPU time limit exceeded, terminating
% 221.68/220.09 eprover: CPU time limit exceeded, terminating
% 223.74/222.11 eprover: CPU time limit exceeded, terminating
% 225.79/224.12 eprover: CPU time limit exceeded, terminating
% 227.83/226.13 eprover: CPU time limit exceeded, terminating
% 229.86/228.15 eprover: CPU time limit exceeded, terminating
% 231.87/230.16 eprover: CPU time limit exceeded, terminating
% 233.92/232.17 eprover: CPU time limit exceeded, terminating
% 235.95/234.18 eprover: CPU time limit exceeded, terminating
% 237.97/236.20 eprover: CPU time limit exceeded, terminating
% 240.02/238.21 eprover: CPU time limit exceeded, terminating
% 242.01/240.22 eprover: CPU time limit exceeded, terminating
% 244.07/242.23 eprover: CPU time limit exceeded, terminating
% 246.05/244.24 eprover: CPU time limit exceeded, terminating
% 248.10/246.25 eprover: CPU time limit exceeded, terminating
% 250.15/248.27 eprover: CPU time limit exceeded, terminating
% 252.18/250.29 eprover: CPU time limit exceeded, terminating
% 254.20/252.30 eprover: CPU time limit exceeded, terminating
% 256.24/254.31 eprover: CPU time limit exceeded, terminating
% 258.26/256.32 eprover: CPU time limit exceeded, terminating
% 260.29/258.33 eprover: CPU time limit exceeded, terminating
% 262.26/260.35 eprover: CPU time limit exceeded, terminating
% 264.36/262.37 eprover: CPU time limit exceeded, terminating
% 266.36/264.38 eprover: CPU time limit exceeded, terminating
% 268.43/266.39 eprover: CPU time limit exceeded, terminating
% 270.42/268.40 eprover: CPU time limit exceeded, terminating
% 272.49/270.42 eprover: CPU time limit exceeded, terminating
% 274.46/272.43 eprover: CPU time limit exceeded, terminating
% 276.55/274.45 eprover: CPU time limit exceeded, terminating
% 278.53/276.46 eprover: CPU time limit exceeded, terminating
% 280.60/278.47 eprover: CPU time limit exceeded, terminating
% 282.62/280.49 eprover: CPU time limit exceeded, terminating
% 284.62/282.50 eprover: CPU time limit exceeded, terminating
% 286.63/284.52 eprover: CPU time limit exceeded, terminating
% 288.71/286.53 eprover: CPU time limit exceeded, terminating
% 290.75/288.54 eprover: CPU time limit exceeded, terminating
% 292.79/290.56 eprover: CPU time limit exceeded, terminating
% 294.78/292.57 eprover: CPU time limit exceeded, terminating
% 296.80/294.59 eprover: CPU time limit exceeded, terminating
% 298.83/296.60 eprover: CPU time limit exceeded, terminating
% 300.02/297.72 eprover: CPU time limit exceeded, terminating
% 300.02/297.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------