TSTP Solution File: PUZ073+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ073+1 : TPTP v8.1.0. Released v3.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:39 EDT 2022
% Result : Timeout 287.57s 284.34s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : PUZ073+1 : TPTP v8.1.0. Released v3.5.0.
% 0.12/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:04:38 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.85/3.02 eprover: CPU time limit exceeded, terminating
% 4.89/5.03 eprover: CPU time limit exceeded, terminating
% 6.87/7.04 eprover: CPU time limit exceeded, terminating
% 8.94/9.05 eprover: CPU time limit exceeded, terminating
% 10.96/11.06 eprover: CPU time limit exceeded, terminating
% 12.97/13.07 eprover: CPU time limit exceeded, terminating
% 15.04/15.08 eprover: CPU time limit exceeded, terminating
% 17.10/17.09 eprover: CPU time limit exceeded, terminating
% 19.13/19.10 eprover: CPU time limit exceeded, terminating
% 21.17/21.11 eprover: CPU time limit exceeded, terminating
% 23.22/23.12 eprover: CPU time limit exceeded, terminating
% 25.24/25.13 eprover: CPU time limit exceeded, terminating
% 27.24/27.13 eprover: CPU time limit exceeded, terminating
% 29.30/29.14 eprover: CPU time limit exceeded, terminating
% 31.31/31.15 eprover: CPU time limit exceeded, terminating
% 33.33/33.16 eprover: CPU time limit exceeded, terminating
% 35.37/35.17 eprover: CPU time limit exceeded, terminating
% 37.38/37.18 eprover: CPU time limit exceeded, terminating
% 39.44/39.19 eprover: CPU time limit exceeded, terminating
% 41.52/41.20 eprover: CPU time limit exceeded, terminating
% 43.54/43.21 eprover: CPU time limit exceeded, terminating
% 45.59/45.22 eprover: CPU time limit exceeded, terminating
% 47.63/47.23 eprover: CPU time limit exceeded, terminating
% 49.65/49.24 eprover: CPU time limit exceeded, terminating
% 51.65/51.25 eprover: CPU time limit exceeded, terminating
% 53.69/53.26 eprover: CPU time limit exceeded, terminating
% 55.74/55.27 eprover: CPU time limit exceeded, terminating
% 57.75/57.28 eprover: CPU time limit exceeded, terminating
% 59.79/59.29 eprover: CPU time limit exceeded, terminating
% 61.88/61.30 eprover: CPU time limit exceeded, terminating
% 63.84/63.31 eprover: CPU time limit exceeded, terminating
% 65.93/65.32 eprover: CPU time limit exceeded, terminating
% 67.98/67.33 eprover: CPU time limit exceeded, terminating
% 69.97/69.34 eprover: CPU time limit exceeded, terminating
% 72.02/71.35 eprover: CPU time limit exceeded, terminating
% 74.02/73.36 eprover: CPU time limit exceeded, terminating
% 76.05/75.37 eprover: CPU time limit exceeded, terminating
% 78.10/77.38 eprover: CPU time limit exceeded, terminating
% 80.12/79.39 eprover: CPU time limit exceeded, terminating
% 82.16/81.39 eprover: CPU time limit exceeded, terminating
% 84.19/83.40 eprover: CPU time limit exceeded, terminating
% 86.30/85.41 eprover: CPU time limit exceeded, terminating
% 88.32/87.42 eprover: CPU time limit exceeded, terminating
% 90.35/89.43 eprover: CPU time limit exceeded, terminating
% 92.35/91.44 eprover: CPU time limit exceeded, terminating
% 94.40/93.45 eprover: CPU time limit exceeded, terminating
% 96.39/95.46 eprover: CPU time limit exceeded, terminating
% 98.39/97.47 eprover: CPU time limit exceeded, terminating
% 100.45/99.48 eprover: CPU time limit exceeded, terminating
% 102.56/101.49 eprover: CPU time limit exceeded, terminating
% 104.51/103.50 eprover: CPU time limit exceeded, terminating
% 106.54/105.51 eprover: CPU time limit exceeded, terminating
% 108.64/107.51 eprover: CPU time limit exceeded, terminating
% 110.67/109.52 eprover: CPU time limit exceeded, terminating
% 112.69/111.53 eprover: CPU time limit exceeded, terminating
% 114.71/113.54 eprover: CPU time limit exceeded, terminating
% 116.76/115.55 eprover: CPU time limit exceeded, terminating
% 118.78/117.56 eprover: CPU time limit exceeded, terminating
% 120.84/119.57 eprover: CPU time limit exceeded, terminating
% 122.82/121.58 eprover: CPU time limit exceeded, terminating
% 124.92/123.59 eprover: CPU time limit exceeded, terminating
% 126.99/125.60 eprover: CPU time limit exceeded, terminating
% 128.99/127.61 eprover: CPU time limit exceeded, terminating
% 131.03/129.62 eprover: CPU time limit exceeded, terminating
% 133.05/131.63 eprover: CPU time limit exceeded, terminating
% 135.08/133.64 eprover: CPU time limit exceeded, terminating
% 137.15/135.65 eprover: CPU time limit exceeded, terminating
% 139.15/137.66 eprover: CPU time limit exceeded, terminating
% 141.19/139.67 eprover: CPU time limit exceeded, terminating
% 143.18/141.68 eprover: CPU time limit exceeded, terminating
% 145.21/143.69 eprover: CPU time limit exceeded, terminating
% 147.29/145.70 eprover: CPU time limit exceeded, terminating
% 149.24/147.71 eprover: CPU time limit exceeded, terminating
% 151.34/149.72 eprover: CPU time limit exceeded, terminating
% 153.38/151.73 eprover: CPU time limit exceeded, terminating
% 155.42/153.74 eprover: CPU time limit exceeded, terminating
% 157.44/155.75 eprover: CPU time limit exceeded, terminating
% 159.49/157.76 eprover: CPU time limit exceeded, terminating
% 161.48/159.76 eprover: CPU time limit exceeded, terminating
% 163.51/161.77 eprover: CPU time limit exceeded, terminating
% 165.55/163.78 eprover: CPU time limit exceeded, terminating
% 167.63/165.79 eprover: CPU time limit exceeded, terminating
% 169.65/167.80 eprover: CPU time limit exceeded, terminating
% 171.70/169.81 eprover: CPU time limit exceeded, terminating
% 173.71/171.82 eprover: CPU time limit exceeded, terminating
% 175.76/173.83 eprover: CPU time limit exceeded, terminating
% 177.76/175.84 eprover: CPU time limit exceeded, terminating
% 179.79/177.85 eprover: CPU time limit exceeded, terminating
% 181.81/179.86 eprover: CPU time limit exceeded, terminating
% 183.84/181.87 eprover: CPU time limit exceeded, terminating
% 185.89/183.88 eprover: CPU time limit exceeded, terminating
% 187.92/185.89 eprover: CPU time limit exceeded, terminating
% 190.02/187.90 eprover: CPU time limit exceeded, terminating
% 192.03/189.91 eprover: CPU time limit exceeded, terminating
% 194.07/191.92 eprover: CPU time limit exceeded, terminating
% 196.08/193.93 eprover: CPU time limit exceeded, terminating
% 198.10/195.94 eprover: CPU time limit exceeded, terminating
% 200.17/197.94 eprover: CPU time limit exceeded, terminating
% 202.19/199.95 eprover: CPU time limit exceeded, terminating
% 204.21/201.96 eprover: CPU time limit exceeded, terminating
% 206.21/203.97 eprover: CPU time limit exceeded, terminating
% 208.31/205.98 eprover: CPU time limit exceeded, terminating
% 210.35/207.99 eprover: CPU time limit exceeded, terminating
% 212.33/210.00 eprover: CPU time limit exceeded, terminating
% 214.41/212.01 eprover: CPU time limit exceeded, terminating
% 216.43/214.02 eprover: CPU time limit exceeded, terminating
% 218.47/216.02 eprover: CPU time limit exceeded, terminating
% 220.50/218.03 eprover: CPU time limit exceeded, terminating
% 222.52/220.04 eprover: CPU time limit exceeded, terminating
% 224.55/222.05 eprover: CPU time limit exceeded, terminating
% 226.59/224.06 eprover: CPU time limit exceeded, terminating
% 228.59/226.07 eprover: CPU time limit exceeded, terminating
% 230.63/228.08 eprover: CPU time limit exceeded, terminating
% 232.74/230.09 eprover: CPU time limit exceeded, terminating
% 234.77/232.10 eprover: CPU time limit exceeded, terminating
% 236.75/234.11 eprover: CPU time limit exceeded, terminating
% 238.81/236.12 eprover: CPU time limit exceeded, terminating
% 240.78/238.12 eprover: CPU time limit exceeded, terminating
% 242.89/240.13 eprover: CPU time limit exceeded, terminating
% 244.88/242.14 eprover: CPU time limit exceeded, terminating
% 246.92/244.15 eprover: CPU time limit exceeded, terminating
% 248.95/246.16 eprover: CPU time limit exceeded, terminating
% 251.03/248.17 eprover: CPU time limit exceeded, terminating
% 253.06/250.18 eprover: CPU time limit exceeded, terminating
% 255.07/252.19 eprover: CPU time limit exceeded, terminating
% 257.08/254.20 eprover: CPU time limit exceeded, terminating
% 259.15/256.21 eprover: CPU time limit exceeded, terminating
% 261.19/258.22 eprover: CPU time limit exceeded, terminating
% 263.20/260.23 eprover: CPU time limit exceeded, terminating
% 265.24/262.24 eprover: CPU time limit exceeded, terminating
% 267.26/264.25 eprover: CPU time limit exceeded, terminating
% 269.35/266.26 eprover: CPU time limit exceeded, terminating
% 271.33/268.26 eprover: CPU time limit exceeded, terminating
% 273.41/270.27 eprover: CPU time limit exceeded, terminating
% 275.41/272.28 eprover: CPU time limit exceeded, terminating
% 277.43/274.29 eprover: CPU time limit exceeded, terminating
% 279.45/276.30 eprover: CPU time limit exceeded, terminating
% 281.55/278.31 eprover: CPU time limit exceeded, terminating
% 283.52/280.32 eprover: CPU time limit exceeded, terminating
% 285.56/282.33 eprover: CPU time limit exceeded, terminating
% 287.57/284.34 eprover: CPU time limit exceeded, terminating
% 289.67/286.35 eprover: CPU time limit exceeded, terminating
% 291.70/288.36 eprover: CPU time limit exceeded, terminating
% 293.73/290.36 eprover: CPU time limit exceeded, terminating
% 295.78/292.37 eprover: CPU time limit exceeded, terminating
% 297.78/294.38 eprover: CPU time limit exceeded, terminating
% 299.85/296.39 eprover: CPU time limit exceeded, terminating
% 300.18/296.71 eprover: CPU time limit exceeded, terminating
% 300.18/296.72 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------