TSTP Solution File: LAT327+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT327+2 : 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:29 EDT 2022
% Result : Timeout 287.82s 269.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : LAT327+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 : Wed Jun 29 07:42:50 EDT 2022
% 0.12/0.34 % CPUTime :
% 12.52/12.56 eprover: CPU time limit exceeded, terminating
% 14.63/14.57 eprover: CPU time limit exceeded, terminating
% 16.79/16.58 eprover: CPU time limit exceeded, terminating
% 18.95/18.59 eprover: CPU time limit exceeded, terminating
% 21.11/20.60 eprover: CPU time limit exceeded, terminating
% 23.24/22.61 eprover: CPU time limit exceeded, terminating
% 25.43/24.62 eprover: CPU time limit exceeded, terminating
% 27.56/26.63 eprover: CPU time limit exceeded, terminating
% 29.72/28.64 eprover: CPU time limit exceeded, terminating
% 31.85/30.65 eprover: CPU time limit exceeded, terminating
% 34.04/32.65 eprover: CPU time limit exceeded, terminating
% 36.15/34.66 eprover: CPU time limit exceeded, terminating
% 38.32/36.67 eprover: CPU time limit exceeded, terminating
% 40.48/38.68 eprover: CPU time limit exceeded, terminating
% 42.57/40.69 eprover: CPU time limit exceeded, terminating
% 44.74/42.70 eprover: CPU time limit exceeded, terminating
% 46.95/44.71 eprover: CPU time limit exceeded, terminating
% 49.08/46.72 eprover: CPU time limit exceeded, terminating
% 51.23/48.73 eprover: CPU time limit exceeded, terminating
% 53.40/50.74 eprover: CPU time limit exceeded, terminating
% 55.54/52.75 eprover: CPU time limit exceeded, terminating
% 57.63/54.76 eprover: CPU time limit exceeded, terminating
% 59.87/56.77 eprover: CPU time limit exceeded, terminating
% 61.97/58.78 eprover: CPU time limit exceeded, terminating
% 64.12/60.79 eprover: CPU time limit exceeded, terminating
% 66.27/62.80 eprover: CPU time limit exceeded, terminating
% 68.46/64.81 eprover: CPU time limit exceeded, terminating
% 70.63/66.82 eprover: CPU time limit exceeded, terminating
% 72.76/68.83 eprover: CPU time limit exceeded, terminating
% 74.84/70.84 eprover: CPU time limit exceeded, terminating
% 77.05/72.85 eprover: CPU time limit exceeded, terminating
% 79.18/74.86 eprover: CPU time limit exceeded, terminating
% 81.35/76.87 eprover: CPU time limit exceeded, terminating
% 83.48/78.88 eprover: CPU time limit exceeded, terminating
% 85.65/80.89 eprover: CPU time limit exceeded, terminating
% 87.81/82.90 eprover: CPU time limit exceeded, terminating
% 89.89/84.91 eprover: CPU time limit exceeded, terminating
% 92.09/86.92 eprover: CPU time limit exceeded, terminating
% 94.28/88.93 eprover: CPU time limit exceeded, terminating
% 96.36/90.94 eprover: CPU time limit exceeded, terminating
% 98.56/92.95 eprover: CPU time limit exceeded, terminating
% 100.73/94.96 eprover: CPU time limit exceeded, terminating
% 102.85/96.98 eprover: CPU time limit exceeded, terminating
% 105.03/98.99 eprover: CPU time limit exceeded, terminating
% 107.14/101.00 eprover: CPU time limit exceeded, terminating
% 109.33/103.01 eprover: CPU time limit exceeded, terminating
% 111.42/105.02 eprover: CPU time limit exceeded, terminating
% 113.61/107.03 eprover: CPU time limit exceeded, terminating
% 115.78/109.04 eprover: CPU time limit exceeded, terminating
% 117.88/111.05 eprover: CPU time limit exceeded, terminating
% 120.06/113.06 eprover: CPU time limit exceeded, terminating
% 122.25/115.07 eprover: CPU time limit exceeded, terminating
% 124.36/117.08 eprover: CPU time limit exceeded, terminating
% 126.55/119.09 eprover: CPU time limit exceeded, terminating
% 128.64/121.10 eprover: CPU time limit exceeded, terminating
% 130.85/123.11 eprover: CPU time limit exceeded, terminating
% 132.99/125.12 eprover: CPU time limit exceeded, terminating
% 135.12/127.13 eprover: CPU time limit exceeded, terminating
% 137.30/129.14 eprover: CPU time limit exceeded, terminating
% 139.39/131.15 eprover: CPU time limit exceeded, terminating
% 141.58/133.16 eprover: CPU time limit exceeded, terminating
% 143.74/135.17 eprover: CPU time limit exceeded, terminating
% 145.85/137.18 eprover: CPU time limit exceeded, terminating
% 148.02/139.19 eprover: CPU time limit exceeded, terminating
% 150.13/141.20 eprover: CPU time limit exceeded, terminating
% 152.34/143.21 eprover: CPU time limit exceeded, terminating
% 154.43/145.22 eprover: CPU time limit exceeded, terminating
% 156.62/147.23 eprover: CPU time limit exceeded, terminating
% 158.79/149.24 eprover: CPU time limit exceeded, terminating
% 160.93/151.25 eprover: CPU time limit exceeded, terminating
% 163.05/153.26 eprover: CPU time limit exceeded, terminating
% 165.21/155.27 eprover: CPU time limit exceeded, terminating
% 167.36/157.28 eprover: CPU time limit exceeded, terminating
% 169.51/159.29 eprover: CPU time limit exceeded, terminating
% 171.63/161.30 eprover: CPU time limit exceeded, terminating
% 173.79/163.31 eprover: CPU time limit exceeded, terminating
% 176.00/165.32 eprover: CPU time limit exceeded, terminating
% 178.11/167.32 eprover: CPU time limit exceeded, terminating
% 180.27/169.33 eprover: CPU time limit exceeded, terminating
% 182.38/171.34 eprover: CPU time limit exceeded, terminating
% 184.57/173.35 eprover: CPU time limit exceeded, terminating
% 186.72/175.36 eprover: CPU time limit exceeded, terminating
% 188.90/177.37 eprover: CPU time limit exceeded, terminating
% 191.00/179.38 eprover: CPU time limit exceeded, terminating
% 193.18/181.39 eprover: CPU time limit exceeded, terminating
% 195.30/183.40 eprover: CPU time limit exceeded, terminating
% 197.51/185.41 eprover: CPU time limit exceeded, terminating
% 199.61/187.42 eprover: CPU time limit exceeded, terminating
% 201.81/189.43 eprover: CPU time limit exceeded, terminating
% 203.96/191.44 eprover: CPU time limit exceeded, terminating
% 206.11/193.45 eprover: CPU time limit exceeded, terminating
% 208.21/195.46 eprover: CPU time limit exceeded, terminating
% 210.39/197.47 eprover: CPU time limit exceeded, terminating
% 212.56/199.48 eprover: CPU time limit exceeded, terminating
% 214.71/201.49 eprover: CPU time limit exceeded, terminating
% 216.81/203.50 eprover: CPU time limit exceeded, terminating
% 219.02/205.52 eprover: CPU time limit exceeded, terminating
% 221.12/207.53 eprover: CPU time limit exceeded, terminating
% 223.30/209.54 eprover: CPU time limit exceeded, terminating
% 225.44/211.55 eprover: CPU time limit exceeded, terminating
% 227.55/213.56 eprover: CPU time limit exceeded, terminating
% 229.73/215.57 eprover: CPU time limit exceeded, terminating
% 231.87/217.58 eprover: CPU time limit exceeded, terminating
% 234.06/219.59 eprover: CPU time limit exceeded, terminating
% 236.22/221.60 eprover: CPU time limit exceeded, terminating
% 238.31/223.61 eprover: CPU time limit exceeded, terminating
% 240.52/225.62 eprover: CPU time limit exceeded, terminating
% 242.65/227.63 eprover: CPU time limit exceeded, terminating
% 244.81/229.64 eprover: CPU time limit exceeded, terminating
% 246.92/231.65 eprover: CPU time limit exceeded, terminating
% 249.12/233.66 eprover: CPU time limit exceeded, terminating
% 251.22/235.67 eprover: CPU time limit exceeded, terminating
% 253.39/237.68 eprover: CPU time limit exceeded, terminating
% 255.51/239.69 eprover: CPU time limit exceeded, terminating
% 257.66/241.70 eprover: CPU time limit exceeded, terminating
% 259.86/243.71 eprover: CPU time limit exceeded, terminating
% 262.04/245.72 eprover: CPU time limit exceeded, terminating
% 264.14/247.72 eprover: CPU time limit exceeded, terminating
% 266.33/249.73 eprover: CPU time limit exceeded, terminating
% 268.46/251.74 eprover: CPU time limit exceeded, terminating
% 270.64/253.75 eprover: CPU time limit exceeded, terminating
% 272.74/255.76 eprover: CPU time limit exceeded, terminating
% 274.92/257.77 eprover: CPU time limit exceeded, terminating
% 277.02/259.78 eprover: CPU time limit exceeded, terminating
% 279.18/261.79 eprover: CPU time limit exceeded, terminating
% 281.38/263.80 eprover: CPU time limit exceeded, terminating
% 283.54/265.81 eprover: CPU time limit exceeded, terminating
% 285.66/267.82 eprover: CPU time limit exceeded, terminating
% 287.82/269.83 eprover: CPU time limit exceeded, terminating
% 289.96/271.84 eprover: CPU time limit exceeded, terminating
% 292.09/273.85 eprover: CPU time limit exceeded, terminating
% 294.26/275.86 eprover: CPU time limit exceeded, terminating
% 296.40/277.87 eprover: CPU time limit exceeded, terminating
% 298.54/279.88 eprover: CPU time limit exceeded, terminating
% 300.05/281.20 eprover: CPU time limit exceeded, terminating
% 300.05/281.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------