TSTP Solution File: PUZ039-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ039-10 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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.40s 285.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.12 % Problem : PUZ039-10 : TPTP v8.1.0. Released v7.5.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n022.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun May 29 00:32:53 EDT 2022
% 0.12/0.34 % CPUTime :
% 15.86/16.07 eprover: CPU time limit exceeded, terminating
% 17.92/18.07 eprover: CPU time limit exceeded, terminating
% 19.92/20.12 eprover: CPU time limit exceeded, terminating
% 21.96/22.12 eprover: CPU time limit exceeded, terminating
% 23.93/24.13 eprover: CPU time limit exceeded, terminating
% 25.96/26.14 eprover: CPU time limit exceeded, terminating
% 27.95/28.15 eprover: CPU time limit exceeded, terminating
% 29.93/30.16 eprover: CPU time limit exceeded, terminating
% 31.97/32.17 eprover: CPU time limit exceeded, terminating
% 33.99/34.18 eprover: CPU time limit exceeded, terminating
% 36.06/36.20 eprover: CPU time limit exceeded, terminating
% 38.09/38.21 eprover: CPU time limit exceeded, terminating
% 40.09/40.23 eprover: CPU time limit exceeded, terminating
% 42.09/42.24 eprover: CPU time limit exceeded, terminating
% 44.09/44.24 eprover: CPU time limit exceeded, terminating
% 46.12/46.25 eprover: CPU time limit exceeded, terminating
% 48.13/48.27 eprover: CPU time limit exceeded, terminating
% 50.19/50.29 eprover: CPU time limit exceeded, terminating
% 52.11/52.29 eprover: CPU time limit exceeded, terminating
% 54.19/54.30 eprover: CPU time limit exceeded, terminating
% 56.22/56.31 eprover: CPU time limit exceeded, terminating
% 58.23/58.32 eprover: CPU time limit exceeded, terminating
% 60.25/60.32 eprover: CPU time limit exceeded, terminating
% 62.26/62.33 eprover: CPU time limit exceeded, terminating
% 64.25/64.34 eprover: CPU time limit exceeded, terminating
% 66.28/66.35 eprover: CPU time limit exceeded, terminating
% 68.30/68.35 eprover: CPU time limit exceeded, terminating
% 70.28/70.36 eprover: CPU time limit exceeded, terminating
% 72.29/72.37 eprover: CPU time limit exceeded, terminating
% 74.33/74.38 eprover: CPU time limit exceeded, terminating
% 76.33/76.39 eprover: CPU time limit exceeded, terminating
% 78.37/78.39 eprover: CPU time limit exceeded, terminating
% 80.45/80.40 eprover: CPU time limit exceeded, terminating
% 82.46/82.41 eprover: CPU time limit exceeded, terminating
% 84.46/84.42 eprover: CPU time limit exceeded, terminating
% 86.47/86.43 eprover: CPU time limit exceeded, terminating
% 88.51/88.44 eprover: CPU time limit exceeded, terminating
% 90.48/90.44 eprover: CPU time limit exceeded, terminating
% 92.51/92.45 eprover: CPU time limit exceeded, terminating
% 94.54/94.46 eprover: CPU time limit exceeded, terminating
% 96.51/96.47 eprover: CPU time limit exceeded, terminating
% 98.55/98.48 eprover: CPU time limit exceeded, terminating
% 100.57/100.49 eprover: CPU time limit exceeded, terminating
% 102.65/102.49 eprover: CPU time limit exceeded, terminating
% 104.66/104.50 eprover: CPU time limit exceeded, terminating
% 106.68/106.51 eprover: CPU time limit exceeded, terminating
% 108.70/108.52 eprover: CPU time limit exceeded, terminating
% 110.70/110.53 eprover: CPU time limit exceeded, terminating
% 112.72/112.53 eprover: CPU time limit exceeded, terminating
% 114.72/114.54 eprover: CPU time limit exceeded, terminating
% 116.74/116.55 eprover: CPU time limit exceeded, terminating
% 118.73/118.56 eprover: CPU time limit exceeded, terminating
% 120.78/120.57 eprover: CPU time limit exceeded, terminating
% 122.76/122.57 eprover: CPU time limit exceeded, terminating
% 124.85/124.58 eprover: CPU time limit exceeded, terminating
% 126.78/126.59 eprover: CPU time limit exceeded, terminating
% 128.87/128.60 eprover: CPU time limit exceeded, terminating
% 130.89/130.61 eprover: CPU time limit exceeded, terminating
% 132.91/132.61 eprover: CPU time limit exceeded, terminating
% 134.93/134.62 eprover: CPU time limit exceeded, terminating
% 136.93/136.63 eprover: CPU time limit exceeded, terminating
% 138.94/138.64 eprover: CPU time limit exceeded, terminating
% 140.95/140.65 eprover: CPU time limit exceeded, terminating
% 142.96/142.65 eprover: CPU time limit exceeded, terminating
% 144.96/144.66 eprover: CPU time limit exceeded, terminating
% 146.97/146.67 eprover: CPU time limit exceeded, terminating
% 149.01/148.68 eprover: CPU time limit exceeded, terminating
% 151.08/150.69 eprover: CPU time limit exceeded, terminating
% 153.10/152.70 eprover: CPU time limit exceeded, terminating
% 155.12/154.70 eprover: CPU time limit exceeded, terminating
% 157.11/156.71 eprover: CPU time limit exceeded, terminating
% 159.13/158.72 eprover: CPU time limit exceeded, terminating
% 161.16/160.73 eprover: CPU time limit exceeded, terminating
% 163.16/162.74 eprover: CPU time limit exceeded, terminating
% 165.16/164.75 eprover: CPU time limit exceeded, terminating
% 167.17/166.75 eprover: CPU time limit exceeded, terminating
% 169.19/168.76 eprover: CPU time limit exceeded, terminating
% 171.20/170.77 eprover: CPU time limit exceeded, terminating
% 173.21/172.78 eprover: CPU time limit exceeded, terminating
% 175.30/174.79 eprover: CPU time limit exceeded, terminating
% 177.24/176.79 eprover: CPU time limit exceeded, terminating
% 179.33/178.81 eprover: CPU time limit exceeded, terminating
% 181.36/180.82 eprover: CPU time limit exceeded, terminating
% 183.36/182.83 eprover: CPU time limit exceeded, terminating
% 185.37/184.84 eprover: CPU time limit exceeded, terminating
% 187.37/186.85 eprover: CPU time limit exceeded, terminating
% 189.39/188.87 eprover: CPU time limit exceeded, terminating
% 191.40/190.88 eprover: CPU time limit exceeded, terminating
% 193.48/192.89 eprover: CPU time limit exceeded, terminating
% 195.51/194.90 eprover: CPU time limit exceeded, terminating
% 197.52/196.91 eprover: CPU time limit exceeded, terminating
% 199.52/198.92 eprover: CPU time limit exceeded, terminating
% 201.56/200.93 eprover: CPU time limit exceeded, terminating
% 203.55/202.95 eprover: CPU time limit exceeded, terminating
% 205.58/204.96 eprover: CPU time limit exceeded, terminating
% 207.58/206.97 eprover: CPU time limit exceeded, terminating
% 209.60/208.98 eprover: CPU time limit exceeded, terminating
% 211.61/210.99 eprover: CPU time limit exceeded, terminating
% 213.71/213.00 eprover: CPU time limit exceeded, terminating
% 215.70/215.01 eprover: CPU time limit exceeded, terminating
% 217.73/217.03 eprover: CPU time limit exceeded, terminating
% 219.72/219.04 eprover: CPU time limit exceeded, terminating
% 221.75/221.05 eprover: CPU time limit exceeded, terminating
% 223.76/223.06 eprover: CPU time limit exceeded, terminating
% 225.77/225.07 eprover: CPU time limit exceeded, terminating
% 227.85/227.08 eprover: CPU time limit exceeded, terminating
% 229.80/229.09 eprover: CPU time limit exceeded, terminating
% 231.80/231.10 eprover: CPU time limit exceeded, terminating
% 233.87/233.11 eprover: CPU time limit exceeded, terminating
% 235.91/235.12 eprover: CPU time limit exceeded, terminating
% 237.91/237.14 eprover: CPU time limit exceeded, terminating
% 239.92/239.15 eprover: CPU time limit exceeded, terminating
% 241.94/241.16 eprover: CPU time limit exceeded, terminating
% 243.95/243.17 eprover: CPU time limit exceeded, terminating
% 245.94/245.18 eprover: CPU time limit exceeded, terminating
% 247.97/247.19 eprover: CPU time limit exceeded, terminating
% 250.06/249.21 eprover: CPU time limit exceeded, terminating
% 252.07/251.22 eprover: CPU time limit exceeded, terminating
% 254.08/253.23 eprover: CPU time limit exceeded, terminating
% 256.09/255.24 eprover: CPU time limit exceeded, terminating
% 258.10/257.25 eprover: CPU time limit exceeded, terminating
% 260.08/259.26 eprover: CPU time limit exceeded, terminating
% 262.11/261.27 eprover: CPU time limit exceeded, terminating
% 264.13/263.28 eprover: CPU time limit exceeded, terminating
% 266.13/265.29 eprover: CPU time limit exceeded, terminating
% 268.22/267.30 eprover: CPU time limit exceeded, terminating
% 270.22/269.32 eprover: CPU time limit exceeded, terminating
% 272.27/271.33 eprover: CPU time limit exceeded, terminating
% 274.27/273.34 eprover: CPU time limit exceeded, terminating
% 276.27/275.35 eprover: CPU time limit exceeded, terminating
% 278.27/277.36 eprover: CPU time limit exceeded, terminating
% 280.26/279.37 eprover: CPU time limit exceeded, terminating
% 282.28/281.38 eprover: CPU time limit exceeded, terminating
% 284.38/283.39 eprover: CPU time limit exceeded, terminating
% 286.40/285.40 eprover: CPU time limit exceeded, terminating
% 288.42/287.41 eprover: CPU time limit exceeded, terminating
% 290.43/289.42 eprover: CPU time limit exceeded, terminating
% 292.44/291.43 eprover: CPU time limit exceeded, terminating
% 294.44/293.44 eprover: CPU time limit exceeded, terminating
% 296.45/295.45 eprover: CPU time limit exceeded, terminating
% 298.44/297.46 eprover: CPU time limit exceeded, terminating
% 300.09/299.01 eprover: CPU time limit exceeded, terminating
% 300.09/299.03 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------