TSTP Solution File: ITP006+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ITP006+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:27 EDT 2022
% Result : Timeout 287.59s 284.53s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : ITP006+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.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 : Fri Jun 3 18:46:05 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.39/2.55 eprover: CPU time limit exceeded, terminating
% 4.40/4.56 eprover: CPU time limit exceeded, terminating
% 6.42/6.58 eprover: CPU time limit exceeded, terminating
% 8.42/8.59 eprover: CPU time limit exceeded, terminating
% 10.44/10.60 eprover: CPU time limit exceeded, terminating
% 12.43/12.62 eprover: CPU time limit exceeded, terminating
% 14.45/14.63 eprover: CPU time limit exceeded, terminating
% 16.50/16.64 eprover: CPU time limit exceeded, terminating
% 18.55/18.66 eprover: CPU time limit exceeded, terminating
% 20.53/20.67 eprover: CPU time limit exceeded, terminating
% 22.59/22.69 eprover: CPU time limit exceeded, terminating
% 24.61/24.70 eprover: CPU time limit exceeded, terminating
% 26.60/26.71 eprover: CPU time limit exceeded, terminating
% 28.68/28.73 eprover: CPU time limit exceeded, terminating
% 30.60/30.74 eprover: CPU time limit exceeded, terminating
% 32.69/32.75 eprover: CPU time limit exceeded, terminating
% 34.73/34.77 eprover: CPU time limit exceeded, terminating
% 36.74/36.78 eprover: CPU time limit exceeded, terminating
% 38.77/38.79 eprover: CPU time limit exceeded, terminating
% 40.81/40.81 eprover: CPU time limit exceeded, terminating
% 42.83/42.82 eprover: CPU time limit exceeded, terminating
% 44.79/44.83 eprover: CPU time limit exceeded, terminating
% 46.80/46.85 eprover: CPU time limit exceeded, terminating
% 48.89/48.86 eprover: CPU time limit exceeded, terminating
% 50.89/50.87 eprover: CPU time limit exceeded, terminating
% 52.95/52.89 eprover: CPU time limit exceeded, terminating
% 54.91/54.90 eprover: CPU time limit exceeded, terminating
% 56.99/56.91 eprover: CPU time limit exceeded, terminating
% 58.95/58.93 eprover: CPU time limit exceeded, terminating
% 61.04/60.94 eprover: CPU time limit exceeded, terminating
% 63.04/62.95 eprover: CPU time limit exceeded, terminating
% 65.08/64.97 eprover: CPU time limit exceeded, terminating
% 67.11/66.98 eprover: CPU time limit exceeded, terminating
% 69.12/68.99 eprover: CPU time limit exceeded, terminating
% 71.11/71.01 eprover: CPU time limit exceeded, terminating
% 73.12/73.02 eprover: CPU time limit exceeded, terminating
% 75.18/75.03 eprover: CPU time limit exceeded, terminating
% 77.16/77.05 eprover: CPU time limit exceeded, terminating
% 79.25/79.06 eprover: CPU time limit exceeded, terminating
% 81.25/81.07 eprover: CPU time limit exceeded, terminating
% 83.28/83.10 eprover: CPU time limit exceeded, terminating
% 85.27/85.11 eprover: CPU time limit exceeded, terminating
% 87.29/87.12 eprover: CPU time limit exceeded, terminating
% 89.32/89.13 eprover: CPU time limit exceeded, terminating
% 91.35/91.15 eprover: CPU time limit exceeded, terminating
% 93.41/93.17 eprover: CPU time limit exceeded, terminating
% 95.41/95.18 eprover: CPU time limit exceeded, terminating
% 97.43/97.20 eprover: CPU time limit exceeded, terminating
% 99.44/99.21 eprover: CPU time limit exceeded, terminating
% 101.45/101.22 eprover: CPU time limit exceeded, terminating
% 103.53/103.25 eprover: CPU time limit exceeded, terminating
% 105.52/105.26 eprover: CPU time limit exceeded, terminating
% 107.55/107.27 eprover: CPU time limit exceeded, terminating
% 109.58/109.28 eprover: CPU time limit exceeded, terminating
% 111.59/111.30 eprover: CPU time limit exceeded, terminating
% 113.61/113.32 eprover: CPU time limit exceeded, terminating
% 115.61/115.33 eprover: CPU time limit exceeded, terminating
% 117.64/117.35 eprover: CPU time limit exceeded, terminating
% 119.64/119.36 eprover: CPU time limit exceeded, terminating
% 121.70/121.38 eprover: CPU time limit exceeded, terminating
% 123.70/123.39 eprover: CPU time limit exceeded, terminating
% 125.72/125.41 eprover: CPU time limit exceeded, terminating
% 127.78/127.42 eprover: CPU time limit exceeded, terminating
% 129.83/129.43 eprover: CPU time limit exceeded, terminating
% 131.84/131.45 eprover: CPU time limit exceeded, terminating
% 133.86/133.46 eprover: CPU time limit exceeded, terminating
% 135.90/135.48 eprover: CPU time limit exceeded, terminating
% 137.90/137.49 eprover: CPU time limit exceeded, terminating
% 139.91/139.50 eprover: CPU time limit exceeded, terminating
% 141.92/141.52 eprover: CPU time limit exceeded, terminating
% 143.91/143.53 eprover: CPU time limit exceeded, terminating
% 145.99/145.54 eprover: CPU time limit exceeded, terminating
% 147.92/147.56 eprover: CPU time limit exceeded, terminating
% 150.01/149.57 eprover: CPU time limit exceeded, terminating
% 152.06/151.59 eprover: CPU time limit exceeded, terminating
% 154.11/153.60 eprover: CPU time limit exceeded, terminating
% 156.09/155.62 eprover: CPU time limit exceeded, terminating
% 158.09/157.63 eprover: CPU time limit exceeded, terminating
% 160.16/159.65 eprover: CPU time limit exceeded, terminating
% 162.11/161.66 eprover: CPU time limit exceeded, terminating
% 164.17/163.67 eprover: CPU time limit exceeded, terminating
% 166.22/165.69 eprover: CPU time limit exceeded, terminating
% 168.27/167.70 eprover: CPU time limit exceeded, terminating
% 170.24/169.72 eprover: CPU time limit exceeded, terminating
% 172.30/171.73 eprover: CPU time limit exceeded, terminating
% 174.33/173.74 eprover: CPU time limit exceeded, terminating
% 176.36/175.76 eprover: CPU time limit exceeded, terminating
% 178.36/177.77 eprover: CPU time limit exceeded, terminating
% 182.37/179.79 eprover: CPU time limit exceeded, terminating
% 184.37/181.80 eprover: CPU time limit exceeded, terminating
% 186.38/183.82 eprover: CPU time limit exceeded, terminating
% 188.36/185.83 eprover: CPU time limit exceeded, terminating
% 190.46/187.84 eprover: CPU time limit exceeded, terminating
% 192.46/189.86 eprover: CPU time limit exceeded, terminating
% 194.48/191.87 eprover: CPU time limit exceeded, terminating
% 196.52/193.88 eprover: CPU time limit exceeded, terminating
% 198.54/195.90 eprover: CPU time limit exceeded, terminating
% 200.58/197.91 eprover: CPU time limit exceeded, terminating
% 202.60/199.93 eprover: CPU time limit exceeded, terminating
% 204.58/201.94 eprover: CPU time limit exceeded, terminating
% 206.64/203.95 eprover: CPU time limit exceeded, terminating
% 208.66/205.97 eprover: CPU time limit exceeded, terminating
% 210.65/207.98 eprover: CPU time limit exceeded, terminating
% 212.70/210.00 eprover: CPU time limit exceeded, terminating
% 214.73/212.01 eprover: CPU time limit exceeded, terminating
% 216.69/214.03 eprover: CPU time limit exceeded, terminating
% 218.74/216.04 eprover: CPU time limit exceeded, terminating
% 220.78/218.06 eprover: CPU time limit exceeded, terminating
% 222.83/220.07 eprover: CPU time limit exceeded, terminating
% 224.86/222.09 eprover: CPU time limit exceeded, terminating
% 226.83/224.10 eprover: CPU time limit exceeded, terminating
% 228.88/226.12 eprover: CPU time limit exceeded, terminating
% 230.87/228.13 eprover: CPU time limit exceeded, terminating
% 232.95/230.15 eprover: CPU time limit exceeded, terminating
% 234.97/232.16 eprover: CPU time limit exceeded, terminating
% 236.98/234.17 eprover: CPU time limit exceeded, terminating
% 238.99/236.19 eprover: CPU time limit exceeded, terminating
% 241.01/238.20 eprover: CPU time limit exceeded, terminating
% 243.03/240.22 eprover: CPU time limit exceeded, terminating
% 245.08/242.23 eprover: CPU time limit exceeded, terminating
% 247.13/244.25 eprover: CPU time limit exceeded, terminating
% 249.07/246.26 eprover: CPU time limit exceeded, terminating
% 251.15/248.28 eprover: CPU time limit exceeded, terminating
% 253.21/250.29 eprover: CPU time limit exceeded, terminating
% 255.21/252.31 eprover: CPU time limit exceeded, terminating
% 257.23/254.32 eprover: CPU time limit exceeded, terminating
% 259.27/256.33 eprover: CPU time limit exceeded, terminating
% 261.21/258.35 eprover: CPU time limit exceeded, terminating
% 263.31/260.36 eprover: CPU time limit exceeded, terminating
% 265.34/262.37 eprover: CPU time limit exceeded, terminating
% 267.36/264.39 eprover: CPU time limit exceeded, terminating
% 269.39/266.40 eprover: CPU time limit exceeded, terminating
% 271.35/268.41 eprover: CPU time limit exceeded, terminating
% 273.35/270.43 eprover: CPU time limit exceeded, terminating
% 275.46/272.44 eprover: CPU time limit exceeded, terminating
% 277.47/274.45 eprover: CPU time limit exceeded, terminating
% 279.49/276.47 eprover: CPU time limit exceeded, terminating
% 281.49/278.48 eprover: CPU time limit exceeded, terminating
% 283.51/280.49 eprover: CPU time limit exceeded, terminating
% 285.51/282.52 eprover: CPU time limit exceeded, terminating
% 287.59/284.53 eprover: CPU time limit exceeded, terminating
% 289.56/286.54 eprover: CPU time limit exceeded, terminating
% 291.64/288.56 eprover: CPU time limit exceeded, terminating
% 293.64/290.57 eprover: CPU time limit exceeded, terminating
% 295.64/292.60 eprover: CPU time limit exceeded, terminating
% 297.68/294.61 eprover: CPU time limit exceeded, terminating
% 299.70/296.62 eprover: CPU time limit exceeded, terminating
% 300.27/297.16 eprover: CPU time limit exceeded, terminating
% 300.27/297.18 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------