TSTP Solution File: LAT321+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT321+1 : TPTP v8.1.0. Released v3.4.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 : Sun Jul 17 05:14:23 EDT 2022
% Result : Timeout 286.28s 283.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : LAT321+1 : TPTP v8.1.0. Released v3.4.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.32 % Computer : n027.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Thu Jun 30 12:30:51 EDT 2022
% 0.12/0.32 % CPUTime :
% 2.30/2.47 eprover: CPU time limit exceeded, terminating
% 4.26/4.48 eprover: CPU time limit exceeded, terminating
% 6.26/6.49 eprover: CPU time limit exceeded, terminating
% 8.32/8.50 eprover: CPU time limit exceeded, terminating
% 10.26/10.51 eprover: CPU time limit exceeded, terminating
% 14.22/12.52 eprover: CPU time limit exceeded, terminating
% 16.24/14.53 eprover: CPU time limit exceeded, terminating
% 18.26/16.53 eprover: CPU time limit exceeded, terminating
% 20.30/18.54 eprover: CPU time limit exceeded, terminating
% 22.26/20.55 eprover: CPU time limit exceeded, terminating
% 24.28/22.56 eprover: CPU time limit exceeded, terminating
% 26.33/24.57 eprover: CPU time limit exceeded, terminating
% 28.37/26.58 eprover: CPU time limit exceeded, terminating
% 30.36/28.59 eprover: CPU time limit exceeded, terminating
% 32.32/30.60 eprover: CPU time limit exceeded, terminating
% 34.38/32.61 eprover: CPU time limit exceeded, terminating
% 36.33/34.62 eprover: CPU time limit exceeded, terminating
% 38.39/36.63 eprover: CPU time limit exceeded, terminating
% 40.41/38.64 eprover: CPU time limit exceeded, terminating
% 42.40/40.65 eprover: CPU time limit exceeded, terminating
% 44.43/42.66 eprover: CPU time limit exceeded, terminating
% 46.41/44.67 eprover: CPU time limit exceeded, terminating
% 48.50/46.68 eprover: CPU time limit exceeded, terminating
% 50.46/48.69 eprover: CPU time limit exceeded, terminating
% 52.46/50.69 eprover: CPU time limit exceeded, terminating
% 54.53/52.70 eprover: CPU time limit exceeded, terminating
% 56.56/54.71 eprover: CPU time limit exceeded, terminating
% 58.53/56.72 eprover: CPU time limit exceeded, terminating
% 60.56/58.73 eprover: CPU time limit exceeded, terminating
% 62.59/60.74 eprover: CPU time limit exceeded, terminating
% 64.61/62.75 eprover: CPU time limit exceeded, terminating
% 66.58/64.76 eprover: CPU time limit exceeded, terminating
% 68.59/66.77 eprover: CPU time limit exceeded, terminating
% 70.62/68.78 eprover: CPU time limit exceeded, terminating
% 72.67/70.78 eprover: CPU time limit exceeded, terminating
% 74.68/72.79 eprover: CPU time limit exceeded, terminating
% 76.64/74.80 eprover: CPU time limit exceeded, terminating
% 78.72/76.81 eprover: CPU time limit exceeded, terminating
% 80.72/78.82 eprover: CPU time limit exceeded, terminating
% 82.74/80.83 eprover: CPU time limit exceeded, terminating
% 84.76/82.84 eprover: CPU time limit exceeded, terminating
% 86.74/84.85 eprover: CPU time limit exceeded, terminating
% 88.75/86.86 eprover: CPU time limit exceeded, terminating
% 90.80/88.87 eprover: CPU time limit exceeded, terminating
% 92.74/90.88 eprover: CPU time limit exceeded, terminating
% 94.82/92.89 eprover: CPU time limit exceeded, terminating
% 96.80/94.90 eprover: CPU time limit exceeded, terminating
% 98.87/96.91 eprover: CPU time limit exceeded, terminating
% 100.85/98.92 eprover: CPU time limit exceeded, terminating
% 102.89/100.93 eprover: CPU time limit exceeded, terminating
% 104.92/102.94 eprover: CPU time limit exceeded, terminating
% 106.88/104.95 eprover: CPU time limit exceeded, terminating
% 108.90/106.96 eprover: CPU time limit exceeded, terminating
% 110.96/108.97 eprover: CPU time limit exceeded, terminating
% 112.92/110.98 eprover: CPU time limit exceeded, terminating
% 114.99/112.99 eprover: CPU time limit exceeded, terminating
% 116.94/115.00 eprover: CPU time limit exceeded, terminating
% 118.99/117.01 eprover: CPU time limit exceeded, terminating
% 121.03/119.02 eprover: CPU time limit exceeded, terminating
% 123.04/121.03 eprover: CPU time limit exceeded, terminating
% 125.02/123.04 eprover: CPU time limit exceeded, terminating
% 127.05/125.05 eprover: CPU time limit exceeded, terminating
% 129.09/127.06 eprover: CPU time limit exceeded, terminating
% 131.06/129.07 eprover: CPU time limit exceeded, terminating
% 133.08/131.08 eprover: CPU time limit exceeded, terminating
% 135.10/133.08 eprover: CPU time limit exceeded, terminating
% 137.17/135.10 eprover: CPU time limit exceeded, terminating
% 139.12/137.11 eprover: CPU time limit exceeded, terminating
% 141.17/139.12 eprover: CPU time limit exceeded, terminating
% 143.22/141.13 eprover: CPU time limit exceeded, terminating
% 145.16/143.14 eprover: CPU time limit exceeded, terminating
% 147.22/145.15 eprover: CPU time limit exceeded, terminating
% 149.26/147.16 eprover: CPU time limit exceeded, terminating
% 151.24/149.17 eprover: CPU time limit exceeded, terminating
% 153.28/151.18 eprover: CPU time limit exceeded, terminating
% 155.27/153.19 eprover: CPU time limit exceeded, terminating
% 157.33/155.20 eprover: CPU time limit exceeded, terminating
% 159.28/157.21 eprover: CPU time limit exceeded, terminating
% 161.36/159.22 eprover: CPU time limit exceeded, terminating
% 163.37/161.22 eprover: CPU time limit exceeded, terminating
% 165.33/163.24 eprover: CPU time limit exceeded, terminating
% 167.35/165.25 eprover: CPU time limit exceeded, terminating
% 169.33/167.25 eprover: CPU time limit exceeded, terminating
% 171.38/169.27 eprover: CPU time limit exceeded, terminating
% 173.43/171.27 eprover: CPU time limit exceeded, terminating
% 175.40/173.28 eprover: CPU time limit exceeded, terminating
% 177.48/175.29 eprover: CPU time limit exceeded, terminating
% 179.51/177.30 eprover: CPU time limit exceeded, terminating
% 181.50/179.31 eprover: CPU time limit exceeded, terminating
% 183.46/181.32 eprover: CPU time limit exceeded, terminating
% 185.49/183.33 eprover: CPU time limit exceeded, terminating
% 187.55/185.34 eprover: CPU time limit exceeded, terminating
% 189.53/187.35 eprover: CPU time limit exceeded, terminating
% 191.54/189.35 eprover: CPU time limit exceeded, terminating
% 193.57/191.36 eprover: CPU time limit exceeded, terminating
% 195.61/193.37 eprover: CPU time limit exceeded, terminating
% 197.58/195.38 eprover: CPU time limit exceeded, terminating
% 199.62/197.39 eprover: CPU time limit exceeded, terminating
% 201.63/199.40 eprover: CPU time limit exceeded, terminating
% 203.65/201.41 eprover: CPU time limit exceeded, terminating
% 205.62/203.42 eprover: CPU time limit exceeded, terminating
% 207.70/205.43 eprover: CPU time limit exceeded, terminating
% 209.66/207.43 eprover: CPU time limit exceeded, terminating
% 211.71/209.44 eprover: CPU time limit exceeded, terminating
% 213.71/211.45 eprover: CPU time limit exceeded, terminating
% 215.68/213.46 eprover: CPU time limit exceeded, terminating
% 217.72/215.47 eprover: CPU time limit exceeded, terminating
% 219.75/217.48 eprover: CPU time limit exceeded, terminating
% 221.77/219.49 eprover: CPU time limit exceeded, terminating
% 223.73/221.50 eprover: CPU time limit exceeded, terminating
% 225.77/223.51 eprover: CPU time limit exceeded, terminating
% 227.83/225.52 eprover: CPU time limit exceeded, terminating
% 229.82/227.53 eprover: CPU time limit exceeded, terminating
% 231.87/229.54 eprover: CPU time limit exceeded, terminating
% 233.87/231.54 eprover: CPU time limit exceeded, terminating
% 235.84/233.55 eprover: CPU time limit exceeded, terminating
% 237.88/235.56 eprover: CPU time limit exceeded, terminating
% 239.91/237.57 eprover: CPU time limit exceeded, terminating
% 241.95/239.58 eprover: CPU time limit exceeded, terminating
% 243.96/241.59 eprover: CPU time limit exceeded, terminating
% 245.94/243.60 eprover: CPU time limit exceeded, terminating
% 247.97/245.61 eprover: CPU time limit exceeded, terminating
% 249.97/247.62 eprover: CPU time limit exceeded, terminating
% 252.03/249.63 eprover: CPU time limit exceeded, terminating
% 254.03/251.64 eprover: CPU time limit exceeded, terminating
% 256.06/253.65 eprover: CPU time limit exceeded, terminating
% 258.04/255.67 eprover: CPU time limit exceeded, terminating
% 260.05/257.67 eprover: CPU time limit exceeded, terminating
% 262.10/259.68 eprover: CPU time limit exceeded, terminating
% 264.04/261.69 eprover: CPU time limit exceeded, terminating
% 266.09/263.70 eprover: CPU time limit exceeded, terminating
% 268.14/265.71 eprover: CPU time limit exceeded, terminating
% 270.13/267.72 eprover: CPU time limit exceeded, terminating
% 272.11/269.73 eprover: CPU time limit exceeded, terminating
% 274.17/271.73 eprover: CPU time limit exceeded, terminating
% 276.15/273.74 eprover: CPU time limit exceeded, terminating
% 278.21/275.75 eprover: CPU time limit exceeded, terminating
% 280.20/277.76 eprover: CPU time limit exceeded, terminating
% 282.24/279.77 eprover: CPU time limit exceeded, terminating
% 284.23/281.78 eprover: CPU time limit exceeded, terminating
% 286.28/283.79 eprover: CPU time limit exceeded, terminating
% 288.30/285.80 eprover: CPU time limit exceeded, terminating
% 290.24/287.81 eprover: CPU time limit exceeded, terminating
% 292.29/289.82 eprover: CPU time limit exceeded, terminating
% 294.31/291.83 eprover: CPU time limit exceeded, terminating
% 296.33/293.83 eprover: CPU time limit exceeded, terminating
% 298.37/295.84 eprover: CPU time limit exceeded, terminating
% 300.01/297.47 eprover: CPU time limit exceeded, terminating
% 300.01/297.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------