TSTP Solution File: ALG378-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG378-1 : TPTP v8.1.0. Released v4.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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 : Thu Jul 14 17:01:06 EDT 2022
% Result : Timeout 286.20s 282.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : ALG378-1 : TPTP v8.1.0. Released v4.1.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n027.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jun 8 10:40:26 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.62/2.79 eprover: CPU time limit exceeded, terminating
% 4.63/4.80 eprover: CPU time limit exceeded, terminating
% 6.66/6.81 eprover: CPU time limit exceeded, terminating
% 8.71/8.82 eprover: CPU time limit exceeded, terminating
% 10.73/10.83 eprover: CPU time limit exceeded, terminating
% 12.79/12.85 eprover: CPU time limit exceeded, terminating
% 14.87/14.86 eprover: CPU time limit exceeded, terminating
% 16.86/16.87 eprover: CPU time limit exceeded, terminating
% 18.93/18.88 eprover: CPU time limit exceeded, terminating
% 20.98/20.89 eprover: CPU time limit exceeded, terminating
% 23.00/22.90 eprover: CPU time limit exceeded, terminating
% 25.01/24.91 eprover: CPU time limit exceeded, terminating
% 27.09/26.92 eprover: CPU time limit exceeded, terminating
% 29.09/28.93 eprover: CPU time limit exceeded, terminating
% 31.18/30.94 eprover: CPU time limit exceeded, terminating
% 33.23/32.95 eprover: CPU time limit exceeded, terminating
% 35.25/34.96 eprover: CPU time limit exceeded, terminating
% 37.31/36.97 eprover: CPU time limit exceeded, terminating
% 39.34/38.99 eprover: CPU time limit exceeded, terminating
% 41.36/41.00 eprover: CPU time limit exceeded, terminating
% 43.38/43.01 eprover: CPU time limit exceeded, terminating
% 45.41/45.02 eprover: CPU time limit exceeded, terminating
% 47.50/47.03 eprover: CPU time limit exceeded, terminating
% 49.51/49.04 eprover: CPU time limit exceeded, terminating
% 51.57/51.05 eprover: CPU time limit exceeded, terminating
% 53.64/53.06 eprover: CPU time limit exceeded, terminating
% 55.66/55.07 eprover: CPU time limit exceeded, terminating
% 57.69/57.08 eprover: CPU time limit exceeded, terminating
% 59.70/59.09 eprover: CPU time limit exceeded, terminating
% 61.78/61.10 eprover: CPU time limit exceeded, terminating
% 63.81/63.11 eprover: CPU time limit exceeded, terminating
% 65.87/65.12 eprover: CPU time limit exceeded, terminating
% 67.90/67.13 eprover: CPU time limit exceeded, terminating
% 69.91/69.15 eprover: CPU time limit exceeded, terminating
% 71.93/71.16 eprover: CPU time limit exceeded, terminating
% 74.02/73.17 eprover: CPU time limit exceeded, terminating
% 76.00/75.18 eprover: CPU time limit exceeded, terminating
% 78.08/77.19 eprover: CPU time limit exceeded, terminating
% 80.13/79.20 eprover: CPU time limit exceeded, terminating
% 82.19/81.21 eprover: CPU time limit exceeded, terminating
% 84.20/83.22 eprover: CPU time limit exceeded, terminating
% 86.28/85.23 eprover: CPU time limit exceeded, terminating
% 88.29/87.24 eprover: CPU time limit exceeded, terminating
% 90.33/89.25 eprover: CPU time limit exceeded, terminating
% 92.40/91.26 eprover: CPU time limit exceeded, terminating
% 94.45/93.27 eprover: CPU time limit exceeded, terminating
% 96.45/95.28 eprover: CPU time limit exceeded, terminating
% 98.45/97.30 eprover: CPU time limit exceeded, terminating
% 100.55/99.32 eprover: CPU time limit exceeded, terminating
% 102.61/101.33 eprover: CPU time limit exceeded, terminating
% 104.62/103.34 eprover: CPU time limit exceeded, terminating
% 106.66/105.35 eprover: CPU time limit exceeded, terminating
% 108.68/107.36 eprover: CPU time limit exceeded, terminating
% 110.71/109.37 eprover: CPU time limit exceeded, terminating
% 112.74/111.38 eprover: CPU time limit exceeded, terminating
% 114.82/113.39 eprover: CPU time limit exceeded, terminating
% 116.87/115.40 eprover: CPU time limit exceeded, terminating
% 118.87/117.41 eprover: CPU time limit exceeded, terminating
% 120.90/119.42 eprover: CPU time limit exceeded, terminating
% 122.99/121.43 eprover: CPU time limit exceeded, terminating
% 124.98/123.44 eprover: CPU time limit exceeded, terminating
% 127.04/125.45 eprover: CPU time limit exceeded, terminating
% 129.11/127.46 eprover: CPU time limit exceeded, terminating
% 131.12/129.48 eprover: CPU time limit exceeded, terminating
% 133.19/131.49 eprover: CPU time limit exceeded, terminating
% 135.17/133.50 eprover: CPU time limit exceeded, terminating
% 137.27/135.51 eprover: CPU time limit exceeded, terminating
% 139.30/137.53 eprover: CPU time limit exceeded, terminating
% 141.32/139.55 eprover: CPU time limit exceeded, terminating
% 143.36/141.56 eprover: CPU time limit exceeded, terminating
% 145.37/143.57 eprover: CPU time limit exceeded, terminating
% 147.38/145.58 eprover: CPU time limit exceeded, terminating
% 149.50/147.59 eprover: CPU time limit exceeded, terminating
% 151.55/149.62 eprover: CPU time limit exceeded, terminating
% 153.57/151.63 eprover: CPU time limit exceeded, terminating
% 155.63/153.64 eprover: CPU time limit exceeded, terminating
% 157.65/155.65 eprover: CPU time limit exceeded, terminating
% 159.64/157.66 eprover: CPU time limit exceeded, terminating
% 161.69/159.67 eprover: CPU time limit exceeded, terminating
% 163.80/161.68 eprover: CPU time limit exceeded, terminating
% 165.77/163.69 eprover: CPU time limit exceeded, terminating
% 167.87/165.70 eprover: CPU time limit exceeded, terminating
% 169.93/167.71 eprover: CPU time limit exceeded, terminating
% 171.94/169.73 eprover: CPU time limit exceeded, terminating
% 173.99/171.74 eprover: CPU time limit exceeded, terminating
% 175.99/173.75 eprover: CPU time limit exceeded, terminating
% 178.05/175.76 eprover: CPU time limit exceeded, terminating
% 180.06/177.77 eprover: CPU time limit exceeded, terminating
% 182.16/179.78 eprover: CPU time limit exceeded, terminating
% 184.14/181.79 eprover: CPU time limit exceeded, terminating
% 186.25/183.80 eprover: CPU time limit exceeded, terminating
% 188.27/185.81 eprover: CPU time limit exceeded, terminating
% 190.31/187.82 eprover: CPU time limit exceeded, terminating
% 192.33/189.84 eprover: CPU time limit exceeded, terminating
% 194.36/191.85 eprover: CPU time limit exceeded, terminating
% 196.42/193.86 eprover: CPU time limit exceeded, terminating
% 198.45/195.87 eprover: CPU time limit exceeded, terminating
% 200.48/197.88 eprover: CPU time limit exceeded, terminating
% 202.51/199.89 eprover: CPU time limit exceeded, terminating
% 204.56/201.90 eprover: CPU time limit exceeded, terminating
% 206.66/203.92 eprover: CPU time limit exceeded, terminating
% 208.70/205.93 eprover: CPU time limit exceeded, terminating
% 210.74/207.94 eprover: CPU time limit exceeded, terminating
% 212.76/209.95 eprover: CPU time limit exceeded, terminating
% 214.77/211.96 eprover: CPU time limit exceeded, terminating
% 216.82/213.97 eprover: CPU time limit exceeded, terminating
% 218.86/215.98 eprover: CPU time limit exceeded, terminating
% 220.87/218.00 eprover: CPU time limit exceeded, terminating
% 222.99/220.01 eprover: CPU time limit exceeded, terminating
% 225.02/222.02 eprover: CPU time limit exceeded, terminating
% 227.09/224.03 eprover: CPU time limit exceeded, terminating
% 229.08/226.04 eprover: CPU time limit exceeded, terminating
% 231.11/228.06 eprover: CPU time limit exceeded, terminating
% 233.17/230.07 eprover: CPU time limit exceeded, terminating
% 235.16/232.08 eprover: CPU time limit exceeded, terminating
% 237.23/234.09 eprover: CPU time limit exceeded, terminating
% 239.33/236.10 eprover: CPU time limit exceeded, terminating
% 241.38/238.11 eprover: CPU time limit exceeded, terminating
% 243.42/240.12 eprover: CPU time limit exceeded, terminating
% 245.41/242.13 eprover: CPU time limit exceeded, terminating
% 247.47/244.15 eprover: CPU time limit exceeded, terminating
% 249.51/246.16 eprover: CPU time limit exceeded, terminating
% 251.51/248.17 eprover: CPU time limit exceeded, terminating
% 253.58/250.18 eprover: CPU time limit exceeded, terminating
% 255.58/252.19 eprover: CPU time limit exceeded, terminating
% 257.64/254.20 eprover: CPU time limit exceeded, terminating
% 259.75/256.21 eprover: CPU time limit exceeded, terminating
% 261.78/258.22 eprover: CPU time limit exceeded, terminating
% 263.82/260.24 eprover: CPU time limit exceeded, terminating
% 265.82/262.25 eprover: CPU time limit exceeded, terminating
% 267.84/264.26 eprover: CPU time limit exceeded, terminating
% 269.89/266.27 eprover: CPU time limit exceeded, terminating
% 271.93/268.28 eprover: CPU time limit exceeded, terminating
% 274.02/270.29 eprover: CPU time limit exceeded, terminating
% 275.98/272.30 eprover: CPU time limit exceeded, terminating
% 278.12/274.31 eprover: CPU time limit exceeded, terminating
% 280.12/276.32 eprover: CPU time limit exceeded, terminating
% 282.20/278.34 eprover: CPU time limit exceeded, terminating
% 284.21/280.35 eprover: CPU time limit exceeded, terminating
% 286.20/282.36 eprover: CPU time limit exceeded, terminating
% 288.26/284.37 eprover: CPU time limit exceeded, terminating
% 290.31/286.38 eprover: CPU time limit exceeded, terminating
% 292.41/288.39 eprover: CPU time limit exceeded, terminating
% 294.46/290.40 eprover: CPU time limit exceeded, terminating
% 296.49/292.42 eprover: CPU time limit exceeded, terminating
% 298.49/294.43 eprover: CPU time limit exceeded, terminating
% 300.07/295.92 eprover: CPU time limit exceeded, terminating
% 300.07/295.93 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------