TSTP Solution File: PUZ048-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ048-1 : TPTP v8.1.0. Released v2.6.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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 18:12:36 EDT 2022
% Result : Timeout 286.29s 285.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : PUZ048-1 : TPTP v8.1.0. Released v2.6.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n020.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Sun May 29 00:26:39 EDT 2022
% 0.15/0.37 % CPUTime :
% 2.32/2.51 eprover: CPU time limit exceeded, terminating
% 4.31/4.52 eprover: CPU time limit exceeded, terminating
% 6.32/6.54 eprover: CPU time limit exceeded, terminating
% 8.39/8.56 eprover: CPU time limit exceeded, terminating
% 10.37/10.58 eprover: CPU time limit exceeded, terminating
% 12.40/12.60 eprover: CPU time limit exceeded, terminating
% 14.44/14.61 eprover: CPU time limit exceeded, terminating
% 16.45/16.63 eprover: CPU time limit exceeded, terminating
% 18.51/18.65 eprover: CPU time limit exceeded, terminating
% 20.53/20.67 eprover: CPU time limit exceeded, terminating
% 22.52/22.68 eprover: CPU time limit exceeded, terminating
% 24.54/24.70 eprover: CPU time limit exceeded, terminating
% 26.59/26.72 eprover: CPU time limit exceeded, terminating
% 28.61/28.74 eprover: CPU time limit exceeded, terminating
% 30.58/30.75 eprover: CPU time limit exceeded, terminating
% 32.66/32.77 eprover: CPU time limit exceeded, terminating
% 34.65/34.79 eprover: CPU time limit exceeded, terminating
% 36.70/36.81 eprover: CPU time limit exceeded, terminating
% 38.68/38.82 eprover: CPU time limit exceeded, terminating
% 40.73/40.84 eprover: CPU time limit exceeded, terminating
% 42.77/42.86 eprover: CPU time limit exceeded, terminating
% 44.81/44.88 eprover: CPU time limit exceeded, terminating
% 46.80/46.90 eprover: CPU time limit exceeded, terminating
% 48.82/48.91 eprover: CPU time limit exceeded, terminating
% 50.83/50.93 eprover: CPU time limit exceeded, terminating
% 52.86/52.95 eprover: CPU time limit exceeded, terminating
% 54.93/54.97 eprover: CPU time limit exceeded, terminating
% 56.92/56.98 eprover: CPU time limit exceeded, terminating
% 58.93/59.00 eprover: CPU time limit exceeded, terminating
% 60.95/61.02 eprover: CPU time limit exceeded, terminating
% 63.01/63.03 eprover: CPU time limit exceeded, terminating
% 65.00/65.05 eprover: CPU time limit exceeded, terminating
% 67.06/67.07 eprover: CPU time limit exceeded, terminating
% 69.04/69.09 eprover: CPU time limit exceeded, terminating
% 71.04/71.10 eprover: CPU time limit exceeded, terminating
% 73.06/73.12 eprover: CPU time limit exceeded, terminating
% 75.16/75.14 eprover: CPU time limit exceeded, terminating
% 77.18/77.18 eprover: CPU time limit exceeded, terminating
% 79.21/79.21 eprover: CPU time limit exceeded, terminating
% 81.18/81.23 eprover: CPU time limit exceeded, terminating
% 83.28/83.25 eprover: CPU time limit exceeded, terminating
% 85.31/85.28 eprover: CPU time limit exceeded, terminating
% 87.32/87.30 eprover: CPU time limit exceeded, terminating
% 89.32/89.33 eprover: CPU time limit exceeded, terminating
% 91.40/91.35 eprover: CPU time limit exceeded, terminating
% 93.43/93.38 eprover: CPU time limit exceeded, terminating
% 95.48/95.40 eprover: CPU time limit exceeded, terminating
% 97.47/97.42 eprover: CPU time limit exceeded, terminating
% 99.49/99.44 eprover: CPU time limit exceeded, terminating
% 101.54/101.47 eprover: CPU time limit exceeded, terminating
% 103.58/103.49 eprover: CPU time limit exceeded, terminating
% 105.57/105.52 eprover: CPU time limit exceeded, terminating
% 107.66/107.54 eprover: CPU time limit exceeded, terminating
% 109.69/109.56 eprover: CPU time limit exceeded, terminating
% 111.71/111.58 eprover: CPU time limit exceeded, terminating
% 113.73/113.61 eprover: CPU time limit exceeded, terminating
% 115.76/115.63 eprover: CPU time limit exceeded, terminating
% 117.78/117.65 eprover: CPU time limit exceeded, terminating
% 119.80/119.68 eprover: CPU time limit exceeded, terminating
% 121.83/121.70 eprover: CPU time limit exceeded, terminating
% 123.91/123.72 eprover: CPU time limit exceeded, terminating
% 125.94/125.75 eprover: CPU time limit exceeded, terminating
% 127.95/127.77 eprover: CPU time limit exceeded, terminating
% 129.98/129.80 eprover: CPU time limit exceeded, terminating
% 131.97/131.82 eprover: CPU time limit exceeded, terminating
% 134.03/133.85 eprover: CPU time limit exceeded, terminating
% 136.09/135.87 eprover: CPU time limit exceeded, terminating
% 138.10/137.90 eprover: CPU time limit exceeded, terminating
% 140.08/139.92 eprover: CPU time limit exceeded, terminating
% 142.17/141.95 eprover: CPU time limit exceeded, terminating
% 144.18/143.97 eprover: CPU time limit exceeded, terminating
% 146.26/146.00 eprover: CPU time limit exceeded, terminating
% 148.27/148.02 eprover: CPU time limit exceeded, terminating
% 150.29/150.05 eprover: CPU time limit exceeded, terminating
% 152.33/152.08 eprover: CPU time limit exceeded, terminating
% 154.32/154.10 eprover: CPU time limit exceeded, terminating
% 156.34/156.13 eprover: CPU time limit exceeded, terminating
% 158.44/158.15 eprover: CPU time limit exceeded, terminating
% 160.47/160.17 eprover: CPU time limit exceeded, terminating
% 162.48/162.21 eprover: CPU time limit exceeded, terminating
% 164.52/164.23 eprover: CPU time limit exceeded, terminating
% 166.55/166.26 eprover: CPU time limit exceeded, terminating
% 168.58/168.28 eprover: CPU time limit exceeded, terminating
% 170.57/170.31 eprover: CPU time limit exceeded, terminating
% 172.63/172.34 eprover: CPU time limit exceeded, terminating
% 174.68/174.37 eprover: CPU time limit exceeded, terminating
% 176.68/176.40 eprover: CPU time limit exceeded, terminating
% 178.75/178.42 eprover: CPU time limit exceeded, terminating
% 180.79/180.44 eprover: CPU time limit exceeded, terminating
% 182.78/182.48 eprover: CPU time limit exceeded, terminating
% 184.79/184.50 eprover: CPU time limit exceeded, terminating
% 186.84/186.52 eprover: CPU time limit exceeded, terminating
% 188.90/188.55 eprover: CPU time limit exceeded, terminating
% 190.95/190.57 eprover: CPU time limit exceeded, terminating
% 192.94/192.60 eprover: CPU time limit exceeded, terminating
% 195.00/194.62 eprover: CPU time limit exceeded, terminating
% 196.95/196.65 eprover: CPU time limit exceeded, terminating
% 199.03/198.67 eprover: CPU time limit exceeded, terminating
% 201.05/200.69 eprover: CPU time limit exceeded, terminating
% 203.09/202.72 eprover: CPU time limit exceeded, terminating
% 205.06/204.74 eprover: CPU time limit exceeded, terminating
% 207.17/206.76 eprover: CPU time limit exceeded, terminating
% 209.18/208.79 eprover: CPU time limit exceeded, terminating
% 211.25/210.81 eprover: CPU time limit exceeded, terminating
% 213.29/212.84 eprover: CPU time limit exceeded, terminating
% 215.30/214.86 eprover: CPU time limit exceeded, terminating
% 217.31/216.88 eprover: CPU time limit exceeded, terminating
% 219.35/218.91 eprover: CPU time limit exceeded, terminating
% 221.42/220.93 eprover: CPU time limit exceeded, terminating
% 223.42/222.96 eprover: CPU time limit exceeded, terminating
% 225.44/224.98 eprover: CPU time limit exceeded, terminating
% 227.44/227.00 eprover: CPU time limit exceeded, terminating
% 229.52/229.03 eprover: CPU time limit exceeded, terminating
% 231.50/231.05 eprover: CPU time limit exceeded, terminating
% 233.55/233.07 eprover: CPU time limit exceeded, terminating
% 235.57/235.09 eprover: CPU time limit exceeded, terminating
% 237.62/237.12 eprover: CPU time limit exceeded, terminating
% 239.60/239.14 eprover: CPU time limit exceeded, terminating
% 241.66/241.16 eprover: CPU time limit exceeded, terminating
% 243.72/243.19 eprover: CPU time limit exceeded, terminating
% 245.69/245.21 eprover: CPU time limit exceeded, terminating
% 247.73/247.23 eprover: CPU time limit exceeded, terminating
% 249.76/249.26 eprover: CPU time limit exceeded, terminating
% 251.84/251.28 eprover: CPU time limit exceeded, terminating
% 253.86/253.30 eprover: CPU time limit exceeded, terminating
% 255.90/255.33 eprover: CPU time limit exceeded, terminating
% 257.88/257.35 eprover: CPU time limit exceeded, terminating
% 259.94/259.37 eprover: CPU time limit exceeded, terminating
% 261.98/261.40 eprover: CPU time limit exceeded, terminating
% 264.02/263.43 eprover: CPU time limit exceeded, terminating
% 266.01/265.45 eprover: CPU time limit exceeded, terminating
% 268.03/267.47 eprover: CPU time limit exceeded, terminating
% 270.10/269.50 eprover: CPU time limit exceeded, terminating
% 272.13/271.52 eprover: CPU time limit exceeded, terminating
% 274.13/273.55 eprover: CPU time limit exceeded, terminating
% 276.16/275.57 eprover: CPU time limit exceeded, terminating
% 278.23/277.60 eprover: CPU time limit exceeded, terminating
% 280.25/279.63 eprover: CPU time limit exceeded, terminating
% 282.28/281.65 eprover: CPU time limit exceeded, terminating
% 284.31/283.67 eprover: CPU time limit exceeded, terminating
% 286.29/285.70 eprover: CPU time limit exceeded, terminating
% 288.40/287.71 eprover: CPU time limit exceeded, terminating
% 290.40/289.74 eprover: CPU time limit exceeded, terminating
% 292.43/291.76 eprover: CPU time limit exceeded, terminating
% 294.42/293.78 eprover: CPU time limit exceeded, terminating
% 296.51/295.80 eprover: CPU time limit exceeded, terminating
% 298.51/297.82 eprover: CPU time limit exceeded, terminating
% 300.05/299.33 eprover: CPU time limit exceeded, terminating
% 300.05/299.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------