TSTP Solution File: PUZ056-2.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ056-2.015 : 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:37 EDT 2022
% Result : Timeout 287.10s 284.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : PUZ056-2.015 : TPTP v8.1.0. Released v3.5.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n022.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Sat May 28 20:06:38 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.31/2.54 eprover: CPU time limit exceeded, terminating
% 4.32/4.56 eprover: CPU time limit exceeded, terminating
% 6.47/6.58 eprover: CPU time limit exceeded, terminating
% 8.47/8.60 eprover: CPU time limit exceeded, terminating
% 10.53/10.62 eprover: CPU time limit exceeded, terminating
% 12.55/12.64 eprover: CPU time limit exceeded, terminating
% 14.60/14.66 eprover: CPU time limit exceeded, terminating
% 16.65/16.68 eprover: CPU time limit exceeded, terminating
% 18.66/18.71 eprover: CPU time limit exceeded, terminating
% 20.69/20.73 eprover: CPU time limit exceeded, terminating
% 22.75/22.75 eprover: CPU time limit exceeded, terminating
% 24.74/24.77 eprover: CPU time limit exceeded, terminating
% 26.82/26.79 eprover: CPU time limit exceeded, terminating
% 28.88/28.81 eprover: CPU time limit exceeded, terminating
% 30.92/30.83 eprover: CPU time limit exceeded, terminating
% 32.95/32.85 eprover: CPU time limit exceeded, terminating
% 34.99/34.87 eprover: CPU time limit exceeded, terminating
% 37.03/36.88 eprover: CPU time limit exceeded, terminating
% 38.99/38.90 eprover: CPU time limit exceeded, terminating
% 41.07/40.92 eprover: CPU time limit exceeded, terminating
% 43.08/42.93 eprover: CPU time limit exceeded, terminating
% 45.12/44.95 eprover: CPU time limit exceeded, terminating
% 47.18/46.97 eprover: CPU time limit exceeded, terminating
% 49.20/48.98 eprover: CPU time limit exceeded, terminating
% 51.22/51.00 eprover: CPU time limit exceeded, terminating
% 53.23/53.01 eprover: CPU time limit exceeded, terminating
% 55.30/55.03 eprover: CPU time limit exceeded, terminating
% 57.36/57.05 eprover: CPU time limit exceeded, terminating
% 59.35/59.07 eprover: CPU time limit exceeded, terminating
% 61.40/61.09 eprover: CPU time limit exceeded, terminating
% 63.46/63.11 eprover: CPU time limit exceeded, terminating
% 65.50/65.13 eprover: CPU time limit exceeded, terminating
% 67.49/67.15 eprover: CPU time limit exceeded, terminating
% 69.55/69.16 eprover: CPU time limit exceeded, terminating
% 71.58/71.18 eprover: CPU time limit exceeded, terminating
% 73.58/73.20 eprover: CPU time limit exceeded, terminating
% 75.62/75.22 eprover: CPU time limit exceeded, terminating
% 77.69/77.23 eprover: CPU time limit exceeded, terminating
% 79.67/79.25 eprover: CPU time limit exceeded, terminating
% 81.78/81.26 eprover: CPU time limit exceeded, terminating
% 83.80/83.28 eprover: CPU time limit exceeded, terminating
% 85.80/85.29 eprover: CPU time limit exceeded, terminating
% 87.83/87.31 eprover: CPU time limit exceeded, terminating
% 89.89/89.32 eprover: CPU time limit exceeded, terminating
% 91.85/91.34 eprover: CPU time limit exceeded, terminating
% 93.92/93.36 eprover: CPU time limit exceeded, terminating
% 95.99/95.38 eprover: CPU time limit exceeded, terminating
% 98.01/97.39 eprover: CPU time limit exceeded, terminating
% 100.03/99.41 eprover: CPU time limit exceeded, terminating
% 102.02/101.43 eprover: CPU time limit exceeded, terminating
% 104.11/103.45 eprover: CPU time limit exceeded, terminating
% 106.16/105.46 eprover: CPU time limit exceeded, terminating
% 108.21/107.48 eprover: CPU time limit exceeded, terminating
% 110.22/109.50 eprover: CPU time limit exceeded, terminating
% 112.26/111.51 eprover: CPU time limit exceeded, terminating
% 114.25/113.53 eprover: CPU time limit exceeded, terminating
% 116.27/115.54 eprover: CPU time limit exceeded, terminating
% 118.36/117.56 eprover: CPU time limit exceeded, terminating
% 120.39/119.58 eprover: CPU time limit exceeded, terminating
% 122.42/121.59 eprover: CPU time limit exceeded, terminating
% 124.47/123.61 eprover: CPU time limit exceeded, terminating
% 126.52/125.63 eprover: CPU time limit exceeded, terminating
% 128.55/127.65 eprover: CPU time limit exceeded, terminating
% 130.57/129.66 eprover: CPU time limit exceeded, terminating
% 132.59/131.68 eprover: CPU time limit exceeded, terminating
% 134.62/133.70 eprover: CPU time limit exceeded, terminating
% 136.64/135.71 eprover: CPU time limit exceeded, terminating
% 138.71/137.73 eprover: CPU time limit exceeded, terminating
% 140.76/139.74 eprover: CPU time limit exceeded, terminating
% 142.78/141.76 eprover: CPU time limit exceeded, terminating
% 144.80/143.78 eprover: CPU time limit exceeded, terminating
% 146.81/145.79 eprover: CPU time limit exceeded, terminating
% 148.81/147.81 eprover: CPU time limit exceeded, terminating
% 150.91/149.82 eprover: CPU time limit exceeded, terminating
% 152.91/151.84 eprover: CPU time limit exceeded, terminating
% 154.96/153.86 eprover: CPU time limit exceeded, terminating
% 157.02/155.87 eprover: CPU time limit exceeded, terminating
% 159.04/157.89 eprover: CPU time limit exceeded, terminating
% 161.03/159.90 eprover: CPU time limit exceeded, terminating
% 163.12/161.92 eprover: CPU time limit exceeded, terminating
% 165.08/163.93 eprover: CPU time limit exceeded, terminating
% 167.18/165.95 eprover: CPU time limit exceeded, terminating
% 169.20/167.96 eprover: CPU time limit exceeded, terminating
% 171.24/169.98 eprover: CPU time limit exceeded, terminating
% 173.27/171.99 eprover: CPU time limit exceeded, terminating
% 175.28/174.00 eprover: CPU time limit exceeded, terminating
% 177.30/176.02 eprover: CPU time limit exceeded, terminating
% 179.34/178.03 eprover: CPU time limit exceeded, terminating
% 181.35/180.05 eprover: CPU time limit exceeded, terminating
% 183.39/182.06 eprover: CPU time limit exceeded, terminating
% 185.46/184.08 eprover: CPU time limit exceeded, terminating
% 187.48/186.09 eprover: CPU time limit exceeded, terminating
% 189.49/188.11 eprover: CPU time limit exceeded, terminating
% 191.51/190.13 eprover: CPU time limit exceeded, terminating
% 193.61/192.15 eprover: CPU time limit exceeded, terminating
% 195.63/194.16 eprover: CPU time limit exceeded, terminating
% 197.65/196.18 eprover: CPU time limit exceeded, terminating
% 199.66/198.20 eprover: CPU time limit exceeded, terminating
% 201.70/200.21 eprover: CPU time limit exceeded, terminating
% 203.76/202.23 eprover: CPU time limit exceeded, terminating
% 205.82/204.25 eprover: CPU time limit exceeded, terminating
% 207.83/206.27 eprover: CPU time limit exceeded, terminating
% 209.89/208.28 eprover: CPU time limit exceeded, terminating
% 211.86/210.30 eprover: CPU time limit exceeded, terminating
% 213.95/212.31 eprover: CPU time limit exceeded, terminating
% 215.99/214.33 eprover: CPU time limit exceeded, terminating
% 218.01/216.34 eprover: CPU time limit exceeded, terminating
% 220.02/218.36 eprover: CPU time limit exceeded, terminating
% 222.06/220.37 eprover: CPU time limit exceeded, terminating
% 224.09/222.39 eprover: CPU time limit exceeded, terminating
% 226.15/224.41 eprover: CPU time limit exceeded, terminating
% 228.15/226.42 eprover: CPU time limit exceeded, terminating
% 230.19/228.44 eprover: CPU time limit exceeded, terminating
% 232.20/230.46 eprover: CPU time limit exceeded, terminating
% 234.26/232.47 eprover: CPU time limit exceeded, terminating
% 236.26/234.49 eprover: CPU time limit exceeded, terminating
% 238.29/236.51 eprover: CPU time limit exceeded, terminating
% 240.35/238.52 eprover: CPU time limit exceeded, terminating
% 242.37/240.54 eprover: CPU time limit exceeded, terminating
% 244.43/242.55 eprover: CPU time limit exceeded, terminating
% 246.48/244.57 eprover: CPU time limit exceeded, terminating
% 248.49/246.59 eprover: CPU time limit exceeded, terminating
% 250.53/248.60 eprover: CPU time limit exceeded, terminating
% 252.50/250.62 eprover: CPU time limit exceeded, terminating
% 254.56/252.63 eprover: CPU time limit exceeded, terminating
% 256.62/254.65 eprover: CPU time limit exceeded, terminating
% 258.69/256.67 eprover: CPU time limit exceeded, terminating
% 260.66/258.68 eprover: CPU time limit exceeded, terminating
% 262.70/260.70 eprover: CPU time limit exceeded, terminating
% 264.70/262.72 eprover: CPU time limit exceeded, terminating
% 266.82/264.73 eprover: CPU time limit exceeded, terminating
% 268.83/266.75 eprover: CPU time limit exceeded, terminating
% 270.81/268.76 eprover: CPU time limit exceeded, terminating
% 272.90/270.78 eprover: CPU time limit exceeded, terminating
% 274.94/272.79 eprover: CPU time limit exceeded, terminating
% 276.99/274.81 eprover: CPU time limit exceeded, terminating
% 278.96/276.82 eprover: CPU time limit exceeded, terminating
% 281.02/278.84 eprover: CPU time limit exceeded, terminating
% 283.08/280.85 eprover: CPU time limit exceeded, terminating
% 285.07/282.87 eprover: CPU time limit exceeded, terminating
% 287.10/284.89 eprover: CPU time limit exceeded, terminating
% 289.15/286.90 eprover: CPU time limit exceeded, terminating
% 291.18/288.92 eprover: CPU time limit exceeded, terminating
% 293.23/290.93 eprover: CPU time limit exceeded, terminating
% 295.27/292.95 eprover: CPU time limit exceeded, terminating
% 297.29/294.96 eprover: CPU time limit exceeded, terminating
% 299.26/296.98 eprover: CPU time limit exceeded, terminating
% 300.06/297.68 eprover: CPU time limit exceeded, terminating
% 300.06/297.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------