TSTP Solution File: PLA031-1.008 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA031-1.008 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:32 EDT 2022
% Result : Timeout 286.12s 285.02s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : PLA031-1.008 : TPTP v8.1.0. Released v3.5.0.
% 0.03/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n018.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Tue May 31 23:11:43 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.36/2.60 eprover: CPU time limit exceeded, terminating
% 4.43/4.61 eprover: CPU time limit exceeded, terminating
% 6.46/6.62 eprover: CPU time limit exceeded, terminating
% 8.48/8.64 eprover: CPU time limit exceeded, terminating
% 10.51/10.66 eprover: CPU time limit exceeded, terminating
% 12.54/12.69 eprover: CPU time limit exceeded, terminating
% 14.58/14.71 eprover: CPU time limit exceeded, terminating
% 16.58/16.73 eprover: CPU time limit exceeded, terminating
% 18.61/18.75 eprover: CPU time limit exceeded, terminating
% 20.66/20.77 eprover: CPU time limit exceeded, terminating
% 22.69/22.79 eprover: CPU time limit exceeded, terminating
% 24.71/24.81 eprover: CPU time limit exceeded, terminating
% 26.71/26.83 eprover: CPU time limit exceeded, terminating
% 28.79/28.85 eprover: CPU time limit exceeded, terminating
% 30.82/30.87 eprover: CPU time limit exceeded, terminating
% 32.86/32.89 eprover: CPU time limit exceeded, terminating
% 34.83/34.91 eprover: CPU time limit exceeded, terminating
% 36.90/36.93 eprover: CPU time limit exceeded, terminating
% 38.93/38.95 eprover: CPU time limit exceeded, terminating
% 40.98/40.97 eprover: CPU time limit exceeded, terminating
% 43.01/42.99 eprover: CPU time limit exceeded, terminating
% 45.02/45.01 eprover: CPU time limit exceeded, terminating
% 47.06/47.03 eprover: CPU time limit exceeded, terminating
% 49.02/49.05 eprover: CPU time limit exceeded, terminating
% 51.08/51.07 eprover: CPU time limit exceeded, terminating
% 53.15/53.09 eprover: CPU time limit exceeded, terminating
% 55.13/55.11 eprover: CPU time limit exceeded, terminating
% 57.18/57.13 eprover: CPU time limit exceeded, terminating
% 59.22/59.15 eprover: CPU time limit exceeded, terminating
% 61.29/61.17 eprover: CPU time limit exceeded, terminating
% 63.25/63.19 eprover: CPU time limit exceeded, terminating
% 65.32/65.21 eprover: CPU time limit exceeded, terminating
% 67.36/67.23 eprover: CPU time limit exceeded, terminating
% 69.37/69.25 eprover: CPU time limit exceeded, terminating
% 71.37/71.27 eprover: CPU time limit exceeded, terminating
% 73.41/73.29 eprover: CPU time limit exceeded, terminating
% 75.48/75.31 eprover: CPU time limit exceeded, terminating
% 77.50/77.34 eprover: CPU time limit exceeded, terminating
% 79.49/79.36 eprover: CPU time limit exceeded, terminating
% 81.52/81.38 eprover: CPU time limit exceeded, terminating
% 83.60/83.39 eprover: CPU time limit exceeded, terminating
% 85.55/85.41 eprover: CPU time limit exceeded, terminating
% 87.66/87.43 eprover: CPU time limit exceeded, terminating
% 89.64/89.45 eprover: CPU time limit exceeded, terminating
% 91.69/91.47 eprover: CPU time limit exceeded, terminating
% 93.76/93.49 eprover: CPU time limit exceeded, terminating
% 95.70/95.51 eprover: CPU time limit exceeded, terminating
% 97.79/97.53 eprover: CPU time limit exceeded, terminating
% 99.81/99.54 eprover: CPU time limit exceeded, terminating
% 101.82/101.56 eprover: CPU time limit exceeded, terminating
% 103.88/103.58 eprover: CPU time limit exceeded, terminating
% 105.91/105.60 eprover: CPU time limit exceeded, terminating
% 107.92/107.61 eprover: CPU time limit exceeded, terminating
% 109.95/109.63 eprover: CPU time limit exceeded, terminating
% 111.94/111.65 eprover: CPU time limit exceeded, terminating
% 113.98/113.66 eprover: CPU time limit exceeded, terminating
% 115.97/115.68 eprover: CPU time limit exceeded, terminating
% 117.99/117.69 eprover: CPU time limit exceeded, terminating
% 120.05/119.71 eprover: CPU time limit exceeded, terminating
% 122.08/121.72 eprover: CPU time limit exceeded, terminating
% 124.11/123.74 eprover: CPU time limit exceeded, terminating
% 126.12/125.75 eprover: CPU time limit exceeded, terminating
% 128.17/127.77 eprover: CPU time limit exceeded, terminating
% 130.14/129.78 eprover: CPU time limit exceeded, terminating
% 132.19/131.80 eprover: CPU time limit exceeded, terminating
% 134.23/133.81 eprover: CPU time limit exceeded, terminating
% 136.26/135.83 eprover: CPU time limit exceeded, terminating
% 138.25/137.85 eprover: CPU time limit exceeded, terminating
% 140.26/139.86 eprover: CPU time limit exceeded, terminating
% 142.31/141.88 eprover: CPU time limit exceeded, terminating
% 144.29/143.89 eprover: CPU time limit exceeded, terminating
% 146.39/145.91 eprover: CPU time limit exceeded, terminating
% 148.42/147.93 eprover: CPU time limit exceeded, terminating
% 150.39/149.94 eprover: CPU time limit exceeded, terminating
% 152.42/151.96 eprover: CPU time limit exceeded, terminating
% 154.44/153.97 eprover: CPU time limit exceeded, terminating
% 156.42/155.99 eprover: CPU time limit exceeded, terminating
% 158.55/158.01 eprover: CPU time limit exceeded, terminating
% 160.59/160.02 eprover: CPU time limit exceeded, terminating
% 162.58/162.04 eprover: CPU time limit exceeded, terminating
% 164.56/164.05 eprover: CPU time limit exceeded, terminating
% 166.60/166.07 eprover: CPU time limit exceeded, terminating
% 168.68/168.08 eprover: CPU time limit exceeded, terminating
% 170.71/170.10 eprover: CPU time limit exceeded, terminating
% 172.64/172.11 eprover: CPU time limit exceeded, terminating
% 174.74/174.13 eprover: CPU time limit exceeded, terminating
% 176.72/176.14 eprover: CPU time limit exceeded, terminating
% 178.77/178.16 eprover: CPU time limit exceeded, terminating
% 180.75/180.17 eprover: CPU time limit exceeded, terminating
% 182.85/182.19 eprover: CPU time limit exceeded, terminating
% 184.79/184.20 eprover: CPU time limit exceeded, terminating
% 186.89/186.21 eprover: CPU time limit exceeded, terminating
% 188.88/188.23 eprover: CPU time limit exceeded, terminating
% 190.93/190.25 eprover: CPU time limit exceeded, terminating
% 192.91/192.26 eprover: CPU time limit exceeded, terminating
% 194.95/194.28 eprover: CPU time limit exceeded, terminating
% 197.02/196.30 eprover: CPU time limit exceeded, terminating
% 199.03/198.31 eprover: CPU time limit exceeded, terminating
% 201.06/200.33 eprover: CPU time limit exceeded, terminating
% 203.07/202.35 eprover: CPU time limit exceeded, terminating
% 205.05/204.37 eprover: CPU time limit exceeded, terminating
% 207.08/206.38 eprover: CPU time limit exceeded, terminating
% 209.11/208.40 eprover: CPU time limit exceeded, terminating
% 211.20/210.42 eprover: CPU time limit exceeded, terminating
% 213.19/212.43 eprover: CPU time limit exceeded, terminating
% 215.22/214.45 eprover: CPU time limit exceeded, terminating
% 217.23/216.46 eprover: CPU time limit exceeded, terminating
% 219.31/218.48 eprover: CPU time limit exceeded, terminating
% 221.25/220.50 eprover: CPU time limit exceeded, terminating
% 223.35/222.51 eprover: CPU time limit exceeded, terminating
% 225.36/224.53 eprover: CPU time limit exceeded, terminating
% 227.37/226.54 eprover: CPU time limit exceeded, terminating
% 229.38/228.56 eprover: CPU time limit exceeded, terminating
% 231.43/230.58 eprover: CPU time limit exceeded, terminating
% 233.50/232.60 eprover: CPU time limit exceeded, terminating
% 235.51/234.61 eprover: CPU time limit exceeded, terminating
% 237.54/236.63 eprover: CPU time limit exceeded, terminating
% 239.53/238.65 eprover: CPU time limit exceeded, terminating
% 241.51/240.66 eprover: CPU time limit exceeded, terminating
% 243.56/242.68 eprover: CPU time limit exceeded, terminating
% 245.58/244.70 eprover: CPU time limit exceeded, terminating
% 247.67/246.71 eprover: CPU time limit exceeded, terminating
% 249.67/248.73 eprover: CPU time limit exceeded, terminating
% 251.69/250.74 eprover: CPU time limit exceeded, terminating
% 253.70/252.76 eprover: CPU time limit exceeded, terminating
% 255.71/254.77 eprover: CPU time limit exceeded, terminating
% 257.71/256.79 eprover: CPU time limit exceeded, terminating
% 259.82/258.81 eprover: CPU time limit exceeded, terminating
% 261.84/260.82 eprover: CPU time limit exceeded, terminating
% 263.82/262.84 eprover: CPU time limit exceeded, terminating
% 265.87/264.86 eprover: CPU time limit exceeded, terminating
% 267.87/266.87 eprover: CPU time limit exceeded, terminating
% 269.94/268.89 eprover: CPU time limit exceeded, terminating
% 271.89/270.90 eprover: CPU time limit exceeded, terminating
% 273.92/272.92 eprover: CPU time limit exceeded, terminating
% 275.99/274.94 eprover: CPU time limit exceeded, terminating
% 278.04/276.95 eprover: CPU time limit exceeded, terminating
% 280.02/278.97 eprover: CPU time limit exceeded, terminating
% 282.09/280.98 eprover: CPU time limit exceeded, terminating
% 284.13/283.00 eprover: CPU time limit exceeded, terminating
% 286.12/285.02 eprover: CPU time limit exceeded, terminating
% 288.14/287.03 eprover: CPU time limit exceeded, terminating
% 290.12/289.05 eprover: CPU time limit exceeded, terminating
% 292.18/291.06 eprover: CPU time limit exceeded, terminating
% 294.24/293.08 eprover: CPU time limit exceeded, terminating
% 296.29/295.10 eprover: CPU time limit exceeded, terminating
% 298.23/297.11 eprover: CPU time limit exceeded, terminating
% 300.02/298.81 eprover: CPU time limit exceeded, terminating
% 300.02/298.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------