TSTP Solution File: PLA034-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA034-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 : Mon Jul 18 16:57:33 EDT 2022
% Result : Timeout 287.36s 258.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : PLA034-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n029.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Tue May 31 21:56:00 EDT 2022
% 0.13/0.35 % CPUTime :
% 8.31/8.29 eprover: CPU time limit exceeded, terminating
% 10.75/10.47 eprover: CPU time limit exceeded, terminating
% 13.09/12.48 eprover: CPU time limit exceeded, terminating
% 15.29/14.50 eprover: CPU time limit exceeded, terminating
% 17.64/16.51 eprover: CPU time limit exceeded, terminating
% 19.91/18.53 eprover: CPU time limit exceeded, terminating
% 22.18/20.54 eprover: CPU time limit exceeded, terminating
% 24.46/22.55 eprover: CPU time limit exceeded, terminating
% 26.74/24.57 eprover: CPU time limit exceeded, terminating
% 29.07/26.58 eprover: CPU time limit exceeded, terminating
% 31.28/28.60 eprover: CPU time limit exceeded, terminating
% 33.56/30.61 eprover: CPU time limit exceeded, terminating
% 35.92/32.63 eprover: CPU time limit exceeded, terminating
% 38.22/34.64 eprover: CPU time limit exceeded, terminating
% 40.44/36.66 eprover: CPU time limit exceeded, terminating
% 42.76/38.67 eprover: CPU time limit exceeded, terminating
% 45.07/40.69 eprover: CPU time limit exceeded, terminating
% 47.37/42.71 eprover: CPU time limit exceeded, terminating
% 49.61/44.72 eprover: CPU time limit exceeded, terminating
% 51.75/46.74 eprover: CPU time limit exceeded, terminating
% 54.05/48.75 eprover: CPU time limit exceeded, terminating
% 56.26/50.76 eprover: CPU time limit exceeded, terminating
% 58.56/52.78 eprover: CPU time limit exceeded, terminating
% 60.78/54.79 eprover: CPU time limit exceeded, terminating
% 63.07/56.81 eprover: CPU time limit exceeded, terminating
% 65.35/58.82 eprover: CPU time limit exceeded, terminating
% 67.64/60.84 eprover: CPU time limit exceeded, terminating
% 69.92/62.85 eprover: CPU time limit exceeded, terminating
% 72.21/64.87 eprover: CPU time limit exceeded, terminating
% 74.47/66.88 eprover: CPU time limit exceeded, terminating
% 76.76/68.90 eprover: CPU time limit exceeded, terminating
% 79.07/70.91 eprover: CPU time limit exceeded, terminating
% 81.34/72.93 eprover: CPU time limit exceeded, terminating
% 83.64/74.94 eprover: CPU time limit exceeded, terminating
% 85.87/76.96 eprover: CPU time limit exceeded, terminating
% 88.20/78.97 eprover: CPU time limit exceeded, terminating
% 90.45/80.99 eprover: CPU time limit exceeded, terminating
% 92.75/83.00 eprover: CPU time limit exceeded, terminating
% 94.90/85.01 eprover: CPU time limit exceeded, terminating
% 97.05/87.02 eprover: CPU time limit exceeded, terminating
% 99.31/89.04 eprover: CPU time limit exceeded, terminating
% 101.55/91.05 eprover: CPU time limit exceeded, terminating
% 103.68/93.06 eprover: CPU time limit exceeded, terminating
% 105.83/95.07 eprover: CPU time limit exceeded, terminating
% 108.11/97.09 eprover: CPU time limit exceeded, terminating
% 110.34/99.10 eprover: CPU time limit exceeded, terminating
% 112.62/101.11 eprover: CPU time limit exceeded, terminating
% 114.86/103.12 eprover: CPU time limit exceeded, terminating
% 117.12/105.13 eprover: CPU time limit exceeded, terminating
% 119.34/107.15 eprover: CPU time limit exceeded, terminating
% 121.59/109.17 eprover: CPU time limit exceeded, terminating
% 123.82/111.21 eprover: CPU time limit exceeded, terminating
% 125.85/113.25 eprover: CPU time limit exceeded, terminating
% 128.03/115.26 eprover: CPU time limit exceeded, terminating
% 130.19/117.27 eprover: CPU time limit exceeded, terminating
% 132.29/119.29 eprover: CPU time limit exceeded, terminating
% 134.39/121.32 eprover: CPU time limit exceeded, terminating
% 136.52/123.34 eprover: CPU time limit exceeded, terminating
% 138.60/125.35 eprover: CPU time limit exceeded, terminating
% 140.89/127.36 eprover: CPU time limit exceeded, terminating
% 143.12/129.37 eprover: CPU time limit exceeded, terminating
% 145.33/131.38 eprover: CPU time limit exceeded, terminating
% 147.50/133.41 eprover: CPU time limit exceeded, terminating
% 149.61/135.42 eprover: CPU time limit exceeded, terminating
% 151.70/137.44 eprover: CPU time limit exceeded, terminating
% 153.83/139.45 eprover: CPU time limit exceeded, terminating
% 155.98/141.46 eprover: CPU time limit exceeded, terminating
% 158.15/143.48 eprover: CPU time limit exceeded, terminating
% 160.30/145.49 eprover: CPU time limit exceeded, terminating
% 162.44/147.50 eprover: CPU time limit exceeded, terminating
% 164.57/149.51 eprover: CPU time limit exceeded, terminating
% 166.69/151.53 eprover: CPU time limit exceeded, terminating
% 168.89/153.54 eprover: CPU time limit exceeded, terminating
% 171.00/155.56 eprover: CPU time limit exceeded, terminating
% 173.19/157.57 eprover: CPU time limit exceeded, terminating
% 175.27/159.58 eprover: CPU time limit exceeded, terminating
% 177.60/161.60 eprover: CPU time limit exceeded, terminating
% 179.88/163.61 eprover: CPU time limit exceeded, terminating
% 182.17/165.62 eprover: CPU time limit exceeded, terminating
% 184.41/167.64 eprover: CPU time limit exceeded, terminating
% 186.68/169.65 eprover: CPU time limit exceeded, terminating
% 188.97/171.67 eprover: CPU time limit exceeded, terminating
% 191.20/173.68 eprover: CPU time limit exceeded, terminating
% 193.54/175.69 eprover: CPU time limit exceeded, terminating
% 195.75/177.71 eprover: CPU time limit exceeded, terminating
% 200.01/179.72 eprover: CPU time limit exceeded, terminating
% 202.23/181.74 eprover: CPU time limit exceeded, terminating
% 204.54/183.75 eprover: CPU time limit exceeded, terminating
% 206.82/185.76 eprover: CPU time limit exceeded, terminating
% 209.06/187.78 eprover: CPU time limit exceeded, terminating
% 211.42/189.79 eprover: CPU time limit exceeded, terminating
% 213.69/191.81 eprover: CPU time limit exceeded, terminating
% 215.97/193.82 eprover: CPU time limit exceeded, terminating
% 218.23/195.84 eprover: CPU time limit exceeded, terminating
% 220.52/197.85 eprover: CPU time limit exceeded, terminating
% 222.78/199.87 eprover: CPU time limit exceeded, terminating
% 225.10/201.88 eprover: CPU time limit exceeded, terminating
% 227.38/203.90 eprover: CPU time limit exceeded, terminating
% 229.67/205.91 eprover: CPU time limit exceeded, terminating
% 231.96/207.93 eprover: CPU time limit exceeded, terminating
% 234.19/209.94 eprover: CPU time limit exceeded, terminating
% 236.42/211.96 eprover: CPU time limit exceeded, terminating
% 238.70/213.97 eprover: CPU time limit exceeded, terminating
% 240.87/215.99 eprover: CPU time limit exceeded, terminating
% 243.08/218.00 eprover: CPU time limit exceeded, terminating
% 245.35/220.02 eprover: CPU time limit exceeded, terminating
% 247.50/222.03 eprover: CPU time limit exceeded, terminating
% 249.64/224.04 eprover: CPU time limit exceeded, terminating
% 251.74/226.06 eprover: CPU time limit exceeded, terminating
% 253.89/228.08 eprover: CPU time limit exceeded, terminating
% 256.16/230.09 eprover: CPU time limit exceeded, terminating
% 258.50/232.11 eprover: CPU time limit exceeded, terminating
% 260.76/234.12 eprover: CPU time limit exceeded, terminating
% 263.01/236.15 eprover: CPU time limit exceeded, terminating
% 265.30/238.16 eprover: CPU time limit exceeded, terminating
% 267.55/240.18 eprover: CPU time limit exceeded, terminating
% 269.90/242.19 eprover: CPU time limit exceeded, terminating
% 271.98/244.21 eprover: CPU time limit exceeded, terminating
% 274.19/246.22 eprover: CPU time limit exceeded, terminating
% 276.30/248.24 eprover: CPU time limit exceeded, terminating
% 278.60/250.25 eprover: CPU time limit exceeded, terminating
% 280.74/252.27 eprover: CPU time limit exceeded, terminating
% 282.88/254.28 eprover: CPU time limit exceeded, terminating
% 285.09/256.30 eprover: CPU time limit exceeded, terminating
% 287.36/258.31 eprover: CPU time limit exceeded, terminating
% 289.67/260.33 eprover: CPU time limit exceeded, terminating
% 291.93/262.34 eprover: CPU time limit exceeded, terminating
% 294.06/264.36 eprover: CPU time limit exceeded, terminating
% 296.20/266.37 eprover: CPU time limit exceeded, terminating
% 298.31/268.39 eprover: CPU time limit exceeded, terminating
% 300.06/269.94 eprover: CPU time limit exceeded, terminating
% 300.06/269.95 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------