TSTP Solution File: ITP008+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ITP008+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:30 EDT 2022
% Result : Timeout 287.17s 286.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.14 % Problem : ITP008+1 : TPTP v8.1.0. Bugfixed v7.5.0.
% 0.12/0.15 % Command : run_infinox %s
% 0.13/0.36 % Computer : n024.cluster.edu
% 0.13/0.36 % Model : x86_64 x86_64
% 0.13/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.36 % Memory : 8042.1875MB
% 0.13/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.36 % CPULimit : 300
% 0.13/0.36 % WCLimit : 600
% 0.13/0.36 % DateTime : Fri Jun 3 14:42:05 EDT 2022
% 0.13/0.37 % CPUTime :
% 2.32/2.50 eprover: CPU time limit exceeded, terminating
% 4.31/4.52 eprover: CPU time limit exceeded, terminating
% 6.35/6.53 eprover: CPU time limit exceeded, terminating
% 8.38/8.55 eprover: CPU time limit exceeded, terminating
% 10.41/10.56 eprover: CPU time limit exceeded, terminating
% 12.41/12.58 eprover: CPU time limit exceeded, terminating
% 14.43/14.59 eprover: CPU time limit exceeded, terminating
% 16.45/16.62 eprover: CPU time limit exceeded, terminating
% 18.47/18.63 eprover: CPU time limit exceeded, terminating
% 20.46/20.64 eprover: CPU time limit exceeded, terminating
% 22.49/22.66 eprover: CPU time limit exceeded, terminating
% 24.46/24.67 eprover: CPU time limit exceeded, terminating
% 26.57/26.70 eprover: CPU time limit exceeded, terminating
% 28.58/28.71 eprover: CPU time limit exceeded, terminating
% 30.59/30.72 eprover: CPU time limit exceeded, terminating
% 32.59/32.73 eprover: CPU time limit exceeded, terminating
% 34.63/34.75 eprover: CPU time limit exceeded, terminating
% 36.60/36.76 eprover: CPU time limit exceeded, terminating
% 38.66/38.77 eprover: CPU time limit exceeded, terminating
% 40.71/40.78 eprover: CPU time limit exceeded, terminating
% 42.67/42.80 eprover: CPU time limit exceeded, terminating
% 44.71/44.81 eprover: CPU time limit exceeded, terminating
% 46.77/46.83 eprover: CPU time limit exceeded, terminating
% 48.71/48.84 eprover: CPU time limit exceeded, terminating
% 50.79/50.86 eprover: CPU time limit exceeded, terminating
% 52.83/52.87 eprover: CPU time limit exceeded, terminating
% 54.79/54.88 eprover: CPU time limit exceeded, terminating
% 56.85/56.89 eprover: CPU time limit exceeded, terminating
% 58.89/58.91 eprover: CPU time limit exceeded, terminating
% 60.88/60.92 eprover: CPU time limit exceeded, terminating
% 62.86/62.93 eprover: CPU time limit exceeded, terminating
% 64.96/64.95 eprover: CPU time limit exceeded, terminating
% 66.92/66.96 eprover: CPU time limit exceeded, terminating
% 69.00/68.98 eprover: CPU time limit exceeded, terminating
% 70.97/70.99 eprover: CPU time limit exceeded, terminating
% 73.01/73.01 eprover: CPU time limit exceeded, terminating
% 74.97/75.02 eprover: CPU time limit exceeded, terminating
% 77.09/77.04 eprover: CPU time limit exceeded, terminating
% 79.06/79.05 eprover: CPU time limit exceeded, terminating
% 81.11/81.06 eprover: CPU time limit exceeded, terminating
% 83.10/83.08 eprover: CPU time limit exceeded, terminating
% 85.16/85.09 eprover: CPU time limit exceeded, terminating
% 87.19/87.10 eprover: CPU time limit exceeded, terminating
% 89.20/89.12 eprover: CPU time limit exceeded, terminating
% 91.19/91.13 eprover: CPU time limit exceeded, terminating
% 93.23/93.15 eprover: CPU time limit exceeded, terminating
% 95.27/95.16 eprover: CPU time limit exceeded, terminating
% 97.23/97.17 eprover: CPU time limit exceeded, terminating
% 99.32/99.19 eprover: CPU time limit exceeded, terminating
% 101.32/101.20 eprover: CPU time limit exceeded, terminating
% 103.34/103.21 eprover: CPU time limit exceeded, terminating
% 105.31/105.22 eprover: CPU time limit exceeded, terminating
% 107.37/107.24 eprover: CPU time limit exceeded, terminating
% 109.40/109.25 eprover: CPU time limit exceeded, terminating
% 111.37/111.26 eprover: CPU time limit exceeded, terminating
% 113.43/113.28 eprover: CPU time limit exceeded, terminating
% 115.43/115.29 eprover: CPU time limit exceeded, terminating
% 117.50/117.31 eprover: CPU time limit exceeded, terminating
% 119.51/119.32 eprover: CPU time limit exceeded, terminating
% 121.50/121.33 eprover: CPU time limit exceeded, terminating
% 123.51/123.35 eprover: CPU time limit exceeded, terminating
% 125.51/125.36 eprover: CPU time limit exceeded, terminating
% 127.55/127.38 eprover: CPU time limit exceeded, terminating
% 129.61/129.39 eprover: CPU time limit exceeded, terminating
% 131.58/131.41 eprover: CPU time limit exceeded, terminating
% 133.59/133.42 eprover: CPU time limit exceeded, terminating
% 135.66/135.43 eprover: CPU time limit exceeded, terminating
% 137.71/137.45 eprover: CPU time limit exceeded, terminating
% 139.68/139.46 eprover: CPU time limit exceeded, terminating
% 141.76/141.48 eprover: CPU time limit exceeded, terminating
% 143.78/143.49 eprover: CPU time limit exceeded, terminating
% 145.71/145.50 eprover: CPU time limit exceeded, terminating
% 147.77/147.52 eprover: CPU time limit exceeded, terminating
% 149.81/149.53 eprover: CPU time limit exceeded, terminating
% 151.85/151.54 eprover: CPU time limit exceeded, terminating
% 153.84/153.56 eprover: CPU time limit exceeded, terminating
% 155.91/155.57 eprover: CPU time limit exceeded, terminating
% 157.85/157.58 eprover: CPU time limit exceeded, terminating
% 159.93/159.60 eprover: CPU time limit exceeded, terminating
% 161.94/161.61 eprover: CPU time limit exceeded, terminating
% 163.97/163.63 eprover: CPU time limit exceeded, terminating
% 166.00/165.64 eprover: CPU time limit exceeded, terminating
% 167.97/167.66 eprover: CPU time limit exceeded, terminating
% 170.01/169.67 eprover: CPU time limit exceeded, terminating
% 172.00/171.68 eprover: CPU time limit exceeded, terminating
% 174.09/173.70 eprover: CPU time limit exceeded, terminating
% 176.09/175.71 eprover: CPU time limit exceeded, terminating
% 178.13/177.73 eprover: CPU time limit exceeded, terminating
% 180.15/179.74 eprover: CPU time limit exceeded, terminating
% 182.14/181.76 eprover: CPU time limit exceeded, terminating
% 184.15/183.77 eprover: CPU time limit exceeded, terminating
% 186.15/185.79 eprover: CPU time limit exceeded, terminating
% 188.22/187.81 eprover: CPU time limit exceeded, terminating
% 190.22/189.82 eprover: CPU time limit exceeded, terminating
% 192.25/191.83 eprover: CPU time limit exceeded, terminating
% 194.27/193.85 eprover: CPU time limit exceeded, terminating
% 196.23/195.87 eprover: CPU time limit exceeded, terminating
% 198.33/197.88 eprover: CPU time limit exceeded, terminating
% 200.36/199.90 eprover: CPU time limit exceeded, terminating
% 202.37/201.92 eprover: CPU time limit exceeded, terminating
% 204.39/203.93 eprover: CPU time limit exceeded, terminating
% 206.40/205.94 eprover: CPU time limit exceeded, terminating
% 208.40/207.96 eprover: CPU time limit exceeded, terminating
% 210.38/209.97 eprover: CPU time limit exceeded, terminating
% 212.49/211.98 eprover: CPU time limit exceeded, terminating
% 214.43/214.00 eprover: CPU time limit exceeded, terminating
% 216.53/216.01 eprover: CPU time limit exceeded, terminating
% 218.53/218.03 eprover: CPU time limit exceeded, terminating
% 220.56/220.05 eprover: CPU time limit exceeded, terminating
% 222.52/222.06 eprover: CPU time limit exceeded, terminating
% 224.61/224.07 eprover: CPU time limit exceeded, terminating
% 226.54/226.09 eprover: CPU time limit exceeded, terminating
% 228.61/228.10 eprover: CPU time limit exceeded, terminating
% 230.65/230.11 eprover: CPU time limit exceeded, terminating
% 232.67/232.13 eprover: CPU time limit exceeded, terminating
% 234.67/234.14 eprover: CPU time limit exceeded, terminating
% 236.66/236.16 eprover: CPU time limit exceeded, terminating
% 238.69/238.17 eprover: CPU time limit exceeded, terminating
% 240.72/240.18 eprover: CPU time limit exceeded, terminating
% 242.72/242.20 eprover: CPU time limit exceeded, terminating
% 244.81/244.21 eprover: CPU time limit exceeded, terminating
% 246.81/246.23 eprover: CPU time limit exceeded, terminating
% 248.84/248.24 eprover: CPU time limit exceeded, terminating
% 250.85/250.25 eprover: CPU time limit exceeded, terminating
% 252.82/252.27 eprover: CPU time limit exceeded, terminating
% 254.86/254.28 eprover: CPU time limit exceeded, terminating
% 256.88/256.29 eprover: CPU time limit exceeded, terminating
% 258.95/258.31 eprover: CPU time limit exceeded, terminating
% 260.96/260.32 eprover: CPU time limit exceeded, terminating
% 263.01/262.33 eprover: CPU time limit exceeded, terminating
% 264.99/264.35 eprover: CPU time limit exceeded, terminating
% 266.98/266.36 eprover: CPU time limit exceeded, terminating
% 268.99/268.37 eprover: CPU time limit exceeded, terminating
% 271.08/270.39 eprover: CPU time limit exceeded, terminating
% 273.10/272.40 eprover: CPU time limit exceeded, terminating
% 275.14/274.41 eprover: CPU time limit exceeded, terminating
% 277.17/276.43 eprover: CPU time limit exceeded, terminating
% 279.14/278.44 eprover: CPU time limit exceeded, terminating
% 281.14/280.45 eprover: CPU time limit exceeded, terminating
% 283.15/282.47 eprover: CPU time limit exceeded, terminating
% 285.14/284.48 eprover: CPU time limit exceeded, terminating
% 287.17/286.50 eprover: CPU time limit exceeded, terminating
% 289.20/288.51 eprover: CPU time limit exceeded, terminating
% 291.26/290.52 eprover: CPU time limit exceeded, terminating
% 293.27/292.54 eprover: CPU time limit exceeded, terminating
% 295.30/294.55 eprover: CPU time limit exceeded, terminating
% 297.28/296.56 eprover: CPU time limit exceeded, terminating
% 299.31/298.57 eprover: CPU time limit exceeded, terminating
% 300.04/299.23 eprover: CPU time limit exceeded, terminating
% 300.04/299.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------