TSTP Solution File: COL127+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : COL127+1 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 : Fri Jul 15 00:27:22 EDT 2022
% Result : Timeout 286.32s 284.26s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : COL127+1 : TPTP v8.1.0. Released v7.5.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n025.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 : Tue May 31 11:44:28 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.31/2.48 eprover: CPU time limit exceeded, terminating
% 4.29/4.50 eprover: CPU time limit exceeded, terminating
% 6.34/6.51 eprover: CPU time limit exceeded, terminating
% 8.39/8.59 eprover: CPU time limit exceeded, terminating
% 10.37/10.60 eprover: CPU time limit exceeded, terminating
% 12.64/12.87 eprover: CPU time limit exceeded, terminating
% 14.69/14.88 eprover: CPU time limit exceeded, terminating
% 16.98/17.15 eprover: CPU time limit exceeded, terminating
% 18.99/19.17 eprover: CPU time limit exceeded, terminating
% 21.57/21.75 eprover: CPU time limit exceeded, terminating
% 24.24/24.37 eprover: CPU time limit exceeded, terminating
% 26.25/26.38 eprover: CPU time limit exceeded, terminating
% 28.28/28.40 eprover: CPU time limit exceeded, terminating
% 30.27/30.41 eprover: CPU time limit exceeded, terminating
% 32.30/32.42 eprover: CPU time limit exceeded, terminating
% 34.29/34.44 eprover: CPU time limit exceeded, terminating
% 36.32/36.45 eprover: CPU time limit exceeded, terminating
% 38.29/38.46 eprover: CPU time limit exceeded, terminating
% 40.31/40.47 eprover: CPU time limit exceeded, terminating
% 42.34/42.49 eprover: CPU time limit exceeded, terminating
% 44.40/44.50 eprover: CPU time limit exceeded, terminating
% 46.52/46.63 eprover: CPU time limit exceeded, terminating
% 48.53/48.64 eprover: CPU time limit exceeded, terminating
% 50.51/50.65 eprover: CPU time limit exceeded, terminating
% 52.54/52.66 eprover: CPU time limit exceeded, terminating
% 54.52/54.68 eprover: CPU time limit exceeded, terminating
% 56.56/56.69 eprover: CPU time limit exceeded, terminating
% 58.62/58.70 eprover: CPU time limit exceeded, terminating
% 60.63/60.72 eprover: CPU time limit exceeded, terminating
% 62.64/62.73 eprover: CPU time limit exceeded, terminating
% 64.66/64.74 eprover: CPU time limit exceeded, terminating
% 66.68/66.76 eprover: CPU time limit exceeded, terminating
% 68.67/68.77 eprover: CPU time limit exceeded, terminating
% 70.63/70.78 eprover: CPU time limit exceeded, terminating
% 72.75/72.80 eprover: CPU time limit exceeded, terminating
% 74.75/74.81 eprover: CPU time limit exceeded, terminating
% 77.27/77.30 eprover: CPU time limit exceeded, terminating
% 79.27/79.31 eprover: CPU time limit exceeded, terminating
% 81.28/81.32 eprover: CPU time limit exceeded, terminating
% 83.27/83.34 eprover: CPU time limit exceeded, terminating
% 85.30/85.35 eprover: CPU time limit exceeded, terminating
% 87.27/87.36 eprover: CPU time limit exceeded, terminating
% 89.30/89.38 eprover: CPU time limit exceeded, terminating
% 91.29/91.39 eprover: CPU time limit exceeded, terminating
% 93.39/93.40 eprover: CPU time limit exceeded, terminating
% 95.40/95.42 eprover: CPU time limit exceeded, terminating
% 97.43/97.43 eprover: CPU time limit exceeded, terminating
% 99.39/99.44 eprover: CPU time limit exceeded, terminating
% 101.41/101.46 eprover: CPU time limit exceeded, terminating
% 103.44/103.47 eprover: CPU time limit exceeded, terminating
% 105.49/105.49 eprover: CPU time limit exceeded, terminating
% 107.51/107.50 eprover: CPU time limit exceeded, terminating
% 109.53/109.51 eprover: CPU time limit exceeded, terminating
% 111.55/111.53 eprover: CPU time limit exceeded, terminating
% 113.55/113.54 eprover: CPU time limit exceeded, terminating
% 115.57/115.55 eprover: CPU time limit exceeded, terminating
% 117.53/117.57 eprover: CPU time limit exceeded, terminating
% 119.63/119.58 eprover: CPU time limit exceeded, terminating
% 121.56/121.60 eprover: CPU time limit exceeded, terminating
% 123.65/123.61 eprover: CPU time limit exceeded, terminating
% 125.65/125.62 eprover: CPU time limit exceeded, terminating
% 127.67/127.64 eprover: CPU time limit exceeded, terminating
% 129.67/129.65 eprover: CPU time limit exceeded, terminating
% 131.67/131.67 eprover: CPU time limit exceeded, terminating
% 133.69/133.68 eprover: CPU time limit exceeded, terminating
% 135.67/135.70 eprover: CPU time limit exceeded, terminating
% 137.77/137.71 eprover: CPU time limit exceeded, terminating
% 139.79/139.73 eprover: CPU time limit exceeded, terminating
% 141.78/141.74 eprover: CPU time limit exceeded, terminating
% 143.80/143.75 eprover: CPU time limit exceeded, terminating
% 145.80/145.77 eprover: CPU time limit exceeded, terminating
% 147.81/147.78 eprover: CPU time limit exceeded, terminating
% 149.89/149.80 eprover: CPU time limit exceeded, terminating
% 151.92/151.81 eprover: CPU time limit exceeded, terminating
% 153.94/153.83 eprover: CPU time limit exceeded, terminating
% 155.90/155.84 eprover: CPU time limit exceeded, terminating
% 157.94/157.85 eprover: CPU time limit exceeded, terminating
% 159.91/159.88 eprover: CPU time limit exceeded, terminating
% 162.01/161.89 eprover: CPU time limit exceeded, terminating
% 164.01/163.91 eprover: CPU time limit exceeded, terminating
% 166.03/165.92 eprover: CPU time limit exceeded, terminating
% 168.03/167.94 eprover: CPU time limit exceeded, terminating
% 170.01/169.96 eprover: CPU time limit exceeded, terminating
% 172.03/171.98 eprover: CPU time limit exceeded, terminating
% 174.02/173.99 eprover: CPU time limit exceeded, terminating
% 176.13/176.01 eprover: CPU time limit exceeded, terminating
% 178.12/178.02 eprover: CPU time limit exceeded, terminating
% 180.14/180.05 eprover: CPU time limit exceeded, terminating
% 182.13/182.06 eprover: CPU time limit exceeded, terminating
% 184.13/184.07 eprover: CPU time limit exceeded, terminating
% 186.13/186.09 eprover: CPU time limit exceeded, terminating
% 188.21/188.10 eprover: CPU time limit exceeded, terminating
% 190.22/190.13 eprover: CPU time limit exceeded, terminating
% 192.26/192.14 eprover: CPU time limit exceeded, terminating
% 194.24/194.16 eprover: CPU time limit exceeded, terminating
% 196.26/196.17 eprover: CPU time limit exceeded, terminating
% 198.31/198.19 eprover: CPU time limit exceeded, terminating
% 200.34/200.21 eprover: CPU time limit exceeded, terminating
% 202.36/202.22 eprover: CPU time limit exceeded, terminating
% 204.33/204.24 eprover: CPU time limit exceeded, terminating
% 206.37/206.25 eprover: CPU time limit exceeded, terminating
% 208.38/208.27 eprover: CPU time limit exceeded, terminating
% 210.35/210.30 eprover: CPU time limit exceeded, terminating
% 212.46/212.31 eprover: CPU time limit exceeded, terminating
% 214.43/214.33 eprover: CPU time limit exceeded, terminating
% 216.47/216.34 eprover: CPU time limit exceeded, terminating
% 218.48/218.36 eprover: CPU time limit exceeded, terminating
% 220.45/220.39 eprover: CPU time limit exceeded, terminating
% 222.48/222.40 eprover: CPU time limit exceeded, terminating
% 224.56/224.42 eprover: CPU time limit exceeded, terminating
% 226.55/226.43 eprover: CPU time limit exceeded, terminating
% 228.58/228.45 eprover: CPU time limit exceeded, terminating
% 230.58/230.48 eprover: CPU time limit exceeded, terminating
% 232.57/232.49 eprover: CPU time limit exceeded, terminating
% 234.67/234.51 eprover: CPU time limit exceeded, terminating
% 236.66/236.53 eprover: CPU time limit exceeded, terminating
% 238.66/238.54 eprover: CPU time limit exceeded, terminating
% 240.65/240.57 eprover: CPU time limit exceeded, terminating
% 242.67/242.59 eprover: CPU time limit exceeded, terminating
% 246.61/244.61 eprover: CPU time limit exceeded, terminating
% 248.70/246.62 eprover: CPU time limit exceeded, terminating
% 250.70/248.64 eprover: CPU time limit exceeded, terminating
% 252.69/250.67 eprover: CPU time limit exceeded, terminating
% 254.70/252.68 eprover: CPU time limit exceeded, terminating
% 256.69/254.70 eprover: CPU time limit exceeded, terminating
% 258.77/256.72 eprover: CPU time limit exceeded, terminating
% 260.79/258.74 eprover: CPU time limit exceeded, terminating
% 262.81/260.78 eprover: CPU time limit exceeded, terminating
% 264.86/262.80 eprover: CPU time limit exceeded, terminating
% 266.91/264.83 eprover: CPU time limit exceeded, terminating
% 269.19/267.12 eprover: CPU time limit exceeded, terminating
% 271.39/269.37 eprover: CPU time limit exceeded, terminating
% 273.79/271.74 eprover: CPU time limit exceeded, terminating
% 275.80/273.76 eprover: CPU time limit exceeded, terminating
% 277.81/275.77 eprover: CPU time limit exceeded, terminating
% 281.93/279.89 eprover: CPU time limit exceeded, terminating
% 284.12/282.00 eprover: CPU time limit exceeded, terminating
% 286.32/284.26 eprover: CPU time limit exceeded, terminating
% 288.40/286.28 eprover: CPU time limit exceeded, terminating
% 293.33/291.20 eprover: CPU time limit exceeded, terminating
% 295.36/293.22 eprover: CPU time limit exceeded, terminating
% 297.76/295.64 eprover: CPU time limit exceeded, terminating
% 300.03/297.88 eprover: CPU time limit exceeded, terminating
% 300.03/297.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------