TSTP Solution File: PUZ074+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ074+1 : TPTP v8.1.0. Released v3.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:39 EDT 2022
% Result : Timeout 286.75s 282.18s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : PUZ074+1 : TPTP v8.1.0. Released v3.5.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.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 : Sun May 29 00:33:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.75/2.93 eprover: CPU time limit exceeded, terminating
% 4.81/4.93 eprover: CPU time limit exceeded, terminating
% 6.81/6.94 eprover: CPU time limit exceeded, terminating
% 8.85/8.95 eprover: CPU time limit exceeded, terminating
% 10.85/10.96 eprover: CPU time limit exceeded, terminating
% 12.90/12.97 eprover: CPU time limit exceeded, terminating
% 14.93/14.98 eprover: CPU time limit exceeded, terminating
% 16.93/16.98 eprover: CPU time limit exceeded, terminating
% 18.98/18.99 eprover: CPU time limit exceeded, terminating
% 20.98/21.00 eprover: CPU time limit exceeded, terminating
% 23.09/23.01 eprover: CPU time limit exceeded, terminating
% 25.13/25.02 eprover: CPU time limit exceeded, terminating
% 27.16/27.03 eprover: CPU time limit exceeded, terminating
% 29.19/29.04 eprover: CPU time limit exceeded, terminating
% 31.22/31.04 eprover: CPU time limit exceeded, terminating
% 33.21/33.05 eprover: CPU time limit exceeded, terminating
% 35.26/35.06 eprover: CPU time limit exceeded, terminating
% 37.29/37.07 eprover: CPU time limit exceeded, terminating
% 39.31/39.08 eprover: CPU time limit exceeded, terminating
% 41.39/41.09 eprover: CPU time limit exceeded, terminating
% 43.45/43.10 eprover: CPU time limit exceeded, terminating
% 45.46/45.11 eprover: CPU time limit exceeded, terminating
% 47.51/47.12 eprover: CPU time limit exceeded, terminating
% 49.50/49.12 eprover: CPU time limit exceeded, terminating
% 51.52/51.13 eprover: CPU time limit exceeded, terminating
% 53.59/53.14 eprover: CPU time limit exceeded, terminating
% 55.58/55.15 eprover: CPU time limit exceeded, terminating
% 57.61/57.16 eprover: CPU time limit exceeded, terminating
% 59.65/59.17 eprover: CPU time limit exceeded, terminating
% 61.69/61.18 eprover: CPU time limit exceeded, terminating
% 63.73/63.19 eprover: CPU time limit exceeded, terminating
% 65.72/65.20 eprover: CPU time limit exceeded, terminating
% 67.81/67.20 eprover: CPU time limit exceeded, terminating
% 69.85/69.21 eprover: CPU time limit exceeded, terminating
% 71.87/71.22 eprover: CPU time limit exceeded, terminating
% 73.87/73.23 eprover: CPU time limit exceeded, terminating
% 75.92/75.24 eprover: CPU time limit exceeded, terminating
% 77.95/77.25 eprover: CPU time limit exceeded, terminating
% 79.94/79.26 eprover: CPU time limit exceeded, terminating
% 81.94/81.27 eprover: CPU time limit exceeded, terminating
% 83.98/83.28 eprover: CPU time limit exceeded, terminating
% 86.02/85.29 eprover: CPU time limit exceeded, terminating
% 88.11/87.29 eprover: CPU time limit exceeded, terminating
% 90.12/89.30 eprover: CPU time limit exceeded, terminating
% 92.16/91.31 eprover: CPU time limit exceeded, terminating
% 94.17/93.32 eprover: CPU time limit exceeded, terminating
% 96.21/95.33 eprover: CPU time limit exceeded, terminating
% 98.22/97.34 eprover: CPU time limit exceeded, terminating
% 100.26/99.35 eprover: CPU time limit exceeded, terminating
% 102.31/101.36 eprover: CPU time limit exceeded, terminating
% 104.29/103.37 eprover: CPU time limit exceeded, terminating
% 106.35/105.38 eprover: CPU time limit exceeded, terminating
% 108.39/107.39 eprover: CPU time limit exceeded, terminating
% 110.39/109.40 eprover: CPU time limit exceeded, terminating
% 112.45/111.40 eprover: CPU time limit exceeded, terminating
% 114.44/113.41 eprover: CPU time limit exceeded, terminating
% 116.42/115.42 eprover: CPU time limit exceeded, terminating
% 118.53/117.43 eprover: CPU time limit exceeded, terminating
% 120.50/119.44 eprover: CPU time limit exceeded, terminating
% 124.50/121.45 eprover: CPU time limit exceeded, terminating
% 126.53/123.46 eprover: CPU time limit exceeded, terminating
% 128.58/125.47 eprover: CPU time limit exceeded, terminating
% 130.60/127.48 eprover: CPU time limit exceeded, terminating
% 132.60/129.49 eprover: CPU time limit exceeded, terminating
% 134.62/131.50 eprover: CPU time limit exceeded, terminating
% 136.63/133.50 eprover: CPU time limit exceeded, terminating
% 138.66/135.51 eprover: CPU time limit exceeded, terminating
% 140.73/137.52 eprover: CPU time limit exceeded, terminating
% 142.76/139.53 eprover: CPU time limit exceeded, terminating
% 144.70/141.54 eprover: CPU time limit exceeded, terminating
% 146.80/143.55 eprover: CPU time limit exceeded, terminating
% 148.83/145.56 eprover: CPU time limit exceeded, terminating
% 150.84/147.57 eprover: CPU time limit exceeded, terminating
% 152.89/149.58 eprover: CPU time limit exceeded, terminating
% 154.89/151.59 eprover: CPU time limit exceeded, terminating
% 156.92/153.60 eprover: CPU time limit exceeded, terminating
% 158.98/155.61 eprover: CPU time limit exceeded, terminating
% 160.96/157.62 eprover: CPU time limit exceeded, terminating
% 163.03/159.63 eprover: CPU time limit exceeded, terminating
% 165.00/161.63 eprover: CPU time limit exceeded, terminating
% 167.04/163.64 eprover: CPU time limit exceeded, terminating
% 169.11/165.65 eprover: CPU time limit exceeded, terminating
% 171.16/167.66 eprover: CPU time limit exceeded, terminating
% 173.15/169.67 eprover: CPU time limit exceeded, terminating
% 175.20/171.68 eprover: CPU time limit exceeded, terminating
% 177.20/173.69 eprover: CPU time limit exceeded, terminating
% 179.26/175.70 eprover: CPU time limit exceeded, terminating
% 181.26/177.71 eprover: CPU time limit exceeded, terminating
% 183.31/179.72 eprover: CPU time limit exceeded, terminating
% 185.33/181.73 eprover: CPU time limit exceeded, terminating
% 187.36/183.73 eprover: CPU time limit exceeded, terminating
% 189.38/185.74 eprover: CPU time limit exceeded, terminating
% 191.41/187.75 eprover: CPU time limit exceeded, terminating
% 193.48/189.76 eprover: CPU time limit exceeded, terminating
% 195.49/191.77 eprover: CPU time limit exceeded, terminating
% 197.49/193.78 eprover: CPU time limit exceeded, terminating
% 199.53/195.79 eprover: CPU time limit exceeded, terminating
% 201.52/197.80 eprover: CPU time limit exceeded, terminating
% 203.57/199.81 eprover: CPU time limit exceeded, terminating
% 205.62/201.82 eprover: CPU time limit exceeded, terminating
% 207.65/203.82 eprover: CPU time limit exceeded, terminating
% 209.65/205.83 eprover: CPU time limit exceeded, terminating
% 211.70/207.84 eprover: CPU time limit exceeded, terminating
% 213.74/209.85 eprover: CPU time limit exceeded, terminating
% 215.69/211.86 eprover: CPU time limit exceeded, terminating
% 217.76/213.87 eprover: CPU time limit exceeded, terminating
% 219.78/215.88 eprover: CPU time limit exceeded, terminating
% 221.81/217.89 eprover: CPU time limit exceeded, terminating
% 223.87/219.90 eprover: CPU time limit exceeded, terminating
% 225.92/221.91 eprover: CPU time limit exceeded, terminating
% 227.89/223.92 eprover: CPU time limit exceeded, terminating
% 229.95/225.92 eprover: CPU time limit exceeded, terminating
% 231.98/227.93 eprover: CPU time limit exceeded, terminating
% 234.00/229.94 eprover: CPU time limit exceeded, terminating
% 235.99/231.95 eprover: CPU time limit exceeded, terminating
% 238.08/233.96 eprover: CPU time limit exceeded, terminating
% 240.09/235.97 eprover: CPU time limit exceeded, terminating
% 242.11/237.98 eprover: CPU time limit exceeded, terminating
% 244.15/239.99 eprover: CPU time limit exceeded, terminating
% 246.13/242.00 eprover: CPU time limit exceeded, terminating
% 248.19/244.01 eprover: CPU time limit exceeded, terminating
% 250.21/246.02 eprover: CPU time limit exceeded, terminating
% 252.27/248.03 eprover: CPU time limit exceeded, terminating
% 254.30/250.04 eprover: CPU time limit exceeded, terminating
% 256.30/252.05 eprover: CPU time limit exceeded, terminating
% 258.35/254.05 eprover: CPU time limit exceeded, terminating
% 260.40/256.06 eprover: CPU time limit exceeded, terminating
% 262.38/258.07 eprover: CPU time limit exceeded, terminating
% 264.43/260.08 eprover: CPU time limit exceeded, terminating
% 266.40/262.09 eprover: CPU time limit exceeded, terminating
% 268.48/264.10 eprover: CPU time limit exceeded, terminating
% 270.53/266.11 eprover: CPU time limit exceeded, terminating
% 272.53/268.12 eprover: CPU time limit exceeded, terminating
% 274.57/270.13 eprover: CPU time limit exceeded, terminating
% 276.61/272.14 eprover: CPU time limit exceeded, terminating
% 278.63/274.15 eprover: CPU time limit exceeded, terminating
% 280.60/276.15 eprover: CPU time limit exceeded, terminating
% 282.66/278.16 eprover: CPU time limit exceeded, terminating
% 284.63/280.17 eprover: CPU time limit exceeded, terminating
% 286.75/282.18 eprover: CPU time limit exceeded, terminating
% 288.76/284.19 eprover: CPU time limit exceeded, terminating
% 290.80/286.20 eprover: CPU time limit exceeded, terminating
% 292.83/288.21 eprover: CPU time limit exceeded, terminating
% 294.77/290.22 eprover: CPU time limit exceeded, terminating
% 296.86/292.23 eprover: CPU time limit exceeded, terminating
% 300.03/293.39 eprover: CPU time limit exceeded, terminating
% 300.03/293.40 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------