TSTP Solution File: LAT329+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : LAT329+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:31 EDT 2022
% Result : Timeout 287.41s 267.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : LAT329+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.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 : Thu Jun 30 02:42:48 EDT 2022
% 0.12/0.33 % CPUTime :
% 12.62/12.65 eprover: CPU time limit exceeded, terminating
% 14.78/14.66 eprover: CPU time limit exceeded, terminating
% 16.89/16.67 eprover: CPU time limit exceeded, terminating
% 19.03/18.68 eprover: CPU time limit exceeded, terminating
% 21.25/20.69 eprover: CPU time limit exceeded, terminating
% 23.38/22.70 eprover: CPU time limit exceeded, terminating
% 25.54/24.71 eprover: CPU time limit exceeded, terminating
% 27.70/26.72 eprover: CPU time limit exceeded, terminating
% 29.85/28.73 eprover: CPU time limit exceeded, terminating
% 31.99/30.74 eprover: CPU time limit exceeded, terminating
% 34.14/32.75 eprover: CPU time limit exceeded, terminating
% 36.24/34.76 eprover: CPU time limit exceeded, terminating
% 38.43/36.77 eprover: CPU time limit exceeded, terminating
% 40.55/38.78 eprover: CPU time limit exceeded, terminating
% 42.76/40.79 eprover: CPU time limit exceeded, terminating
% 44.92/42.80 eprover: CPU time limit exceeded, terminating
% 47.09/44.81 eprover: CPU time limit exceeded, terminating
% 49.24/46.82 eprover: CPU time limit exceeded, terminating
% 51.36/48.83 eprover: CPU time limit exceeded, terminating
% 53.54/50.84 eprover: CPU time limit exceeded, terminating
% 55.66/52.85 eprover: CPU time limit exceeded, terminating
% 57.80/54.86 eprover: CPU time limit exceeded, terminating
% 59.95/56.87 eprover: CPU time limit exceeded, terminating
% 62.12/58.88 eprover: CPU time limit exceeded, terminating
% 64.26/60.89 eprover: CPU time limit exceeded, terminating
% 66.49/62.90 eprover: CPU time limit exceeded, terminating
% 68.65/64.91 eprover: CPU time limit exceeded, terminating
% 70.80/66.92 eprover: CPU time limit exceeded, terminating
% 72.89/68.93 eprover: CPU time limit exceeded, terminating
% 75.07/70.94 eprover: CPU time limit exceeded, terminating
% 77.24/72.95 eprover: CPU time limit exceeded, terminating
% 79.34/74.96 eprover: CPU time limit exceeded, terminating
% 81.51/76.97 eprover: CPU time limit exceeded, terminating
% 83.67/78.98 eprover: CPU time limit exceeded, terminating
% 85.87/80.99 eprover: CPU time limit exceeded, terminating
% 88.02/83.00 eprover: CPU time limit exceeded, terminating
% 90.20/85.01 eprover: CPU time limit exceeded, terminating
% 92.35/87.02 eprover: CPU time limit exceeded, terminating
% 94.50/89.03 eprover: CPU time limit exceeded, terminating
% 96.61/91.04 eprover: CPU time limit exceeded, terminating
% 98.76/93.05 eprover: CPU time limit exceeded, terminating
% 100.87/95.06 eprover: CPU time limit exceeded, terminating
% 103.03/97.07 eprover: CPU time limit exceeded, terminating
% 105.19/99.08 eprover: CPU time limit exceeded, terminating
% 107.41/101.09 eprover: CPU time limit exceeded, terminating
% 109.50/103.10 eprover: CPU time limit exceeded, terminating
% 111.63/105.11 eprover: CPU time limit exceeded, terminating
% 113.86/107.12 eprover: CPU time limit exceeded, terminating
% 116.02/109.14 eprover: CPU time limit exceeded, terminating
% 118.13/111.15 eprover: CPU time limit exceeded, terminating
% 120.25/113.16 eprover: CPU time limit exceeded, terminating
% 122.43/115.17 eprover: CPU time limit exceeded, terminating
% 124.56/117.18 eprover: CPU time limit exceeded, terminating
% 126.77/119.19 eprover: CPU time limit exceeded, terminating
% 128.92/121.20 eprover: CPU time limit exceeded, terminating
% 131.01/123.21 eprover: CPU time limit exceeded, terminating
% 133.22/125.22 eprover: CPU time limit exceeded, terminating
% 135.37/127.23 eprover: CPU time limit exceeded, terminating
% 137.49/129.24 eprover: CPU time limit exceeded, terminating
% 139.65/131.25 eprover: CPU time limit exceeded, terminating
% 141.78/133.26 eprover: CPU time limit exceeded, terminating
% 143.94/135.27 eprover: CPU time limit exceeded, terminating
% 146.04/137.28 eprover: CPU time limit exceeded, terminating
% 148.22/139.29 eprover: CPU time limit exceeded, terminating
% 150.37/141.30 eprover: CPU time limit exceeded, terminating
% 152.60/143.31 eprover: CPU time limit exceeded, terminating
% 154.72/145.32 eprover: CPU time limit exceeded, terminating
% 156.89/147.33 eprover: CPU time limit exceeded, terminating
% 159.03/149.34 eprover: CPU time limit exceeded, terminating
% 161.16/151.35 eprover: CPU time limit exceeded, terminating
% 163.28/153.36 eprover: CPU time limit exceeded, terminating
% 165.41/155.37 eprover: CPU time limit exceeded, terminating
% 167.53/157.38 eprover: CPU time limit exceeded, terminating
% 169.68/159.38 eprover: CPU time limit exceeded, terminating
% 171.80/161.39 eprover: CPU time limit exceeded, terminating
% 175.84/163.40 eprover: CPU time limit exceeded, terminating
% 178.05/165.41 eprover: CPU time limit exceeded, terminating
% 180.15/167.42 eprover: CPU time limit exceeded, terminating
% 182.30/169.42 eprover: CPU time limit exceeded, terminating
% 184.39/171.43 eprover: CPU time limit exceeded, terminating
% 186.52/173.44 eprover: CPU time limit exceeded, terminating
% 188.67/175.45 eprover: CPU time limit exceeded, terminating
% 190.80/177.46 eprover: CPU time limit exceeded, terminating
% 192.92/179.46 eprover: CPU time limit exceeded, terminating
% 195.05/181.47 eprover: CPU time limit exceeded, terminating
% 197.26/183.48 eprover: CPU time limit exceeded, terminating
% 199.31/185.49 eprover: CPU time limit exceeded, terminating
% 201.43/187.50 eprover: CPU time limit exceeded, terminating
% 203.65/189.50 eprover: CPU time limit exceeded, terminating
% 205.79/191.51 eprover: CPU time limit exceeded, terminating
% 207.92/193.52 eprover: CPU time limit exceeded, terminating
% 210.03/195.53 eprover: CPU time limit exceeded, terminating
% 212.20/197.54 eprover: CPU time limit exceeded, terminating
% 214.30/199.55 eprover: CPU time limit exceeded, terminating
% 216.47/201.56 eprover: CPU time limit exceeded, terminating
% 218.61/203.57 eprover: CPU time limit exceeded, terminating
% 220.72/205.58 eprover: CPU time limit exceeded, terminating
% 222.89/207.59 eprover: CPU time limit exceeded, terminating
% 225.12/209.60 eprover: CPU time limit exceeded, terminating
% 227.27/211.61 eprover: CPU time limit exceeded, terminating
% 229.41/213.62 eprover: CPU time limit exceeded, terminating
% 231.55/215.63 eprover: CPU time limit exceeded, terminating
% 233.69/217.64 eprover: CPU time limit exceeded, terminating
% 235.82/219.65 eprover: CPU time limit exceeded, terminating
% 237.96/221.66 eprover: CPU time limit exceeded, terminating
% 240.09/223.67 eprover: CPU time limit exceeded, terminating
% 242.24/225.68 eprover: CPU time limit exceeded, terminating
% 244.47/227.69 eprover: CPU time limit exceeded, terminating
% 246.63/229.70 eprover: CPU time limit exceeded, terminating
% 248.70/231.71 eprover: CPU time limit exceeded, terminating
% 250.94/233.72 eprover: CPU time limit exceeded, terminating
% 253.08/235.73 eprover: CPU time limit exceeded, terminating
% 255.22/237.74 eprover: CPU time limit exceeded, terminating
% 257.38/239.75 eprover: CPU time limit exceeded, terminating
% 259.51/241.76 eprover: CPU time limit exceeded, terminating
% 261.65/243.77 eprover: CPU time limit exceeded, terminating
% 263.81/245.78 eprover: CPU time limit exceeded, terminating
% 265.93/247.79 eprover: CPU time limit exceeded, terminating
% 268.16/249.80 eprover: CPU time limit exceeded, terminating
% 270.31/251.81 eprover: CPU time limit exceeded, terminating
% 272.48/253.82 eprover: CPU time limit exceeded, terminating
% 274.59/255.83 eprover: CPU time limit exceeded, terminating
% 276.72/257.84 eprover: CPU time limit exceeded, terminating
% 278.88/259.85 eprover: CPU time limit exceeded, terminating
% 281.00/261.86 eprover: CPU time limit exceeded, terminating
% 283.16/263.87 eprover: CPU time limit exceeded, terminating
% 285.30/265.88 eprover: CPU time limit exceeded, terminating
% 287.41/267.90 eprover: CPU time limit exceeded, terminating
% 289.66/269.91 eprover: CPU time limit exceeded, terminating
% 291.82/271.92 eprover: CPU time limit exceeded, terminating
% 293.96/273.93 eprover: CPU time limit exceeded, terminating
% 296.07/275.94 eprover: CPU time limit exceeded, terminating
% 298.22/277.95 eprover: CPU time limit exceeded, terminating
% 300.05/279.59 eprover: CPU time limit exceeded, terminating
% 300.05/279.60 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------