TSTP Solution File: NUM279-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM279-1 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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 10:35:50 EDT 2022
% Result : Timeout 286.95s 286.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM279-1 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n007.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 : Thu Jul 7 03:00:44 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.27/2.48 eprover: CPU time limit exceeded, terminating
% 4.31/4.49 eprover: CPU time limit exceeded, terminating
% 6.32/6.50 eprover: CPU time limit exceeded, terminating
% 8.31/8.51 eprover: CPU time limit exceeded, terminating
% 10.35/10.52 eprover: CPU time limit exceeded, terminating
% 12.34/12.54 eprover: CPU time limit exceeded, terminating
% 14.38/14.55 eprover: CPU time limit exceeded, terminating
% 16.42/16.56 eprover: CPU time limit exceeded, terminating
% 18.40/18.57 eprover: CPU time limit exceeded, terminating
% 20.44/20.58 eprover: CPU time limit exceeded, terminating
% 22.45/22.59 eprover: CPU time limit exceeded, terminating
% 24.46/24.61 eprover: CPU time limit exceeded, terminating
% 26.47/26.62 eprover: CPU time limit exceeded, terminating
% 28.54/28.63 eprover: CPU time limit exceeded, terminating
% 30.55/30.64 eprover: CPU time limit exceeded, terminating
% 32.50/32.65 eprover: CPU time limit exceeded, terminating
% 34.55/34.66 eprover: CPU time limit exceeded, terminating
% 36.58/36.67 eprover: CPU time limit exceeded, terminating
% 38.62/38.68 eprover: CPU time limit exceeded, terminating
% 40.64/40.69 eprover: CPU time limit exceeded, terminating
% 42.64/42.70 eprover: CPU time limit exceeded, terminating
% 44.63/44.72 eprover: CPU time limit exceeded, terminating
% 46.69/46.73 eprover: CPU time limit exceeded, terminating
% 48.68/48.74 eprover: CPU time limit exceeded, terminating
% 50.72/50.75 eprover: CPU time limit exceeded, terminating
% 52.66/52.76 eprover: CPU time limit exceeded, terminating
% 54.74/54.76 eprover: CPU time limit exceeded, terminating
% 56.72/56.77 eprover: CPU time limit exceeded, terminating
% 58.77/58.78 eprover: CPU time limit exceeded, terminating
% 60.81/60.80 eprover: CPU time limit exceeded, terminating
% 62.77/62.81 eprover: CPU time limit exceeded, terminating
% 64.80/64.82 eprover: CPU time limit exceeded, terminating
% 66.83/66.83 eprover: CPU time limit exceeded, terminating
% 68.86/68.84 eprover: CPU time limit exceeded, terminating
% 70.90/70.85 eprover: CPU time limit exceeded, terminating
% 72.83/72.86 eprover: CPU time limit exceeded, terminating
% 74.95/74.87 eprover: CPU time limit exceeded, terminating
% 76.90/76.88 eprover: CPU time limit exceeded, terminating
% 78.98/78.90 eprover: CPU time limit exceeded, terminating
% 80.98/80.91 eprover: CPU time limit exceeded, terminating
% 83.00/82.92 eprover: CPU time limit exceeded, terminating
% 84.98/84.93 eprover: CPU time limit exceeded, terminating
% 86.99/86.94 eprover: CPU time limit exceeded, terminating
% 89.03/88.95 eprover: CPU time limit exceeded, terminating
% 91.09/90.96 eprover: CPU time limit exceeded, terminating
% 93.12/92.98 eprover: CPU time limit exceeded, terminating
% 95.09/94.99 eprover: CPU time limit exceeded, terminating
% 97.08/97.00 eprover: CPU time limit exceeded, terminating
% 99.14/99.01 eprover: CPU time limit exceeded, terminating
% 101.14/101.02 eprover: CPU time limit exceeded, terminating
% 103.18/103.03 eprover: CPU time limit exceeded, terminating
% 105.21/105.05 eprover: CPU time limit exceeded, terminating
% 107.22/107.06 eprover: CPU time limit exceeded, terminating
% 109.26/109.07 eprover: CPU time limit exceeded, terminating
% 111.26/111.08 eprover: CPU time limit exceeded, terminating
% 113.28/113.09 eprover: CPU time limit exceeded, terminating
% 115.28/115.11 eprover: CPU time limit exceeded, terminating
% 117.27/117.12 eprover: CPU time limit exceeded, terminating
% 119.35/119.13 eprover: CPU time limit exceeded, terminating
% 121.30/121.14 eprover: CPU time limit exceeded, terminating
% 123.38/123.15 eprover: CPU time limit exceeded, terminating
% 125.41/125.16 eprover: CPU time limit exceeded, terminating
% 127.43/127.18 eprover: CPU time limit exceeded, terminating
% 129.44/129.19 eprover: CPU time limit exceeded, terminating
% 131.44/131.20 eprover: CPU time limit exceeded, terminating
% 133.44/133.21 eprover: CPU time limit exceeded, terminating
% 135.45/135.22 eprover: CPU time limit exceeded, terminating
% 137.46/137.23 eprover: CPU time limit exceeded, terminating
% 139.53/139.25 eprover: CPU time limit exceeded, terminating
% 141.55/141.26 eprover: CPU time limit exceeded, terminating
% 143.55/143.27 eprover: CPU time limit exceeded, terminating
% 145.58/145.28 eprover: CPU time limit exceeded, terminating
% 147.60/147.29 eprover: CPU time limit exceeded, terminating
% 149.63/149.30 eprover: CPU time limit exceeded, terminating
% 151.63/151.31 eprover: CPU time limit exceeded, terminating
% 153.66/153.33 eprover: CPU time limit exceeded, terminating
% 155.64/155.34 eprover: CPU time limit exceeded, terminating
% 157.73/157.35 eprover: CPU time limit exceeded, terminating
% 159.65/159.36 eprover: CPU time limit exceeded, terminating
% 161.76/161.37 eprover: CPU time limit exceeded, terminating
% 163.75/163.38 eprover: CPU time limit exceeded, terminating
% 165.79/165.40 eprover: CPU time limit exceeded, terminating
% 167.81/167.41 eprover: CPU time limit exceeded, terminating
% 169.81/169.42 eprover: CPU time limit exceeded, terminating
% 171.84/171.43 eprover: CPU time limit exceeded, terminating
% 173.84/173.44 eprover: CPU time limit exceeded, terminating
% 175.88/175.45 eprover: CPU time limit exceeded, terminating
% 177.89/177.46 eprover: CPU time limit exceeded, terminating
% 179.92/179.48 eprover: CPU time limit exceeded, terminating
% 181.96/181.49 eprover: CPU time limit exceeded, terminating
% 183.93/183.50 eprover: CPU time limit exceeded, terminating
% 185.95/185.51 eprover: CPU time limit exceeded, terminating
% 188.00/187.52 eprover: CPU time limit exceeded, terminating
% 189.98/189.53 eprover: CPU time limit exceeded, terminating
% 192.03/191.55 eprover: CPU time limit exceeded, terminating
% 194.09/193.56 eprover: CPU time limit exceeded, terminating
% 196.05/195.57 eprover: CPU time limit exceeded, terminating
% 198.09/197.58 eprover: CPU time limit exceeded, terminating
% 200.12/199.59 eprover: CPU time limit exceeded, terminating
% 202.11/201.61 eprover: CPU time limit exceeded, terminating
% 204.13/203.62 eprover: CPU time limit exceeded, terminating
% 206.15/205.63 eprover: CPU time limit exceeded, terminating
% 208.19/207.64 eprover: CPU time limit exceeded, terminating
% 210.22/209.65 eprover: CPU time limit exceeded, terminating
% 212.25/211.66 eprover: CPU time limit exceeded, terminating
% 214.26/213.68 eprover: CPU time limit exceeded, terminating
% 216.25/215.69 eprover: CPU time limit exceeded, terminating
% 218.31/217.70 eprover: CPU time limit exceeded, terminating
% 220.31/219.71 eprover: CPU time limit exceeded, terminating
% 222.33/221.72 eprover: CPU time limit exceeded, terminating
% 224.31/223.74 eprover: CPU time limit exceeded, terminating
% 226.32/225.75 eprover: CPU time limit exceeded, terminating
% 228.40/227.76 eprover: CPU time limit exceeded, terminating
% 230.43/229.77 eprover: CPU time limit exceeded, terminating
% 232.44/231.79 eprover: CPU time limit exceeded, terminating
% 234.43/233.80 eprover: CPU time limit exceeded, terminating
% 236.46/235.81 eprover: CPU time limit exceeded, terminating
% 238.48/237.82 eprover: CPU time limit exceeded, terminating
% 240.52/239.83 eprover: CPU time limit exceeded, terminating
% 242.50/241.84 eprover: CPU time limit exceeded, terminating
% 244.57/243.86 eprover: CPU time limit exceeded, terminating
% 246.52/245.87 eprover: CPU time limit exceeded, terminating
% 248.59/247.88 eprover: CPU time limit exceeded, terminating
% 250.62/249.89 eprover: CPU time limit exceeded, terminating
% 252.56/251.91 eprover: CPU time limit exceeded, terminating
% 254.62/253.92 eprover: CPU time limit exceeded, terminating
% 256.69/255.93 eprover: CPU time limit exceeded, terminating
% 258.64/257.94 eprover: CPU time limit exceeded, terminating
% 260.70/259.95 eprover: CPU time limit exceeded, terminating
% 262.75/261.96 eprover: CPU time limit exceeded, terminating
% 264.76/263.98 eprover: CPU time limit exceeded, terminating
% 266.78/265.99 eprover: CPU time limit exceeded, terminating
% 268.76/268.00 eprover: CPU time limit exceeded, terminating
% 270.79/270.01 eprover: CPU time limit exceeded, terminating
% 272.82/272.02 eprover: CPU time limit exceeded, terminating
% 274.83/274.04 eprover: CPU time limit exceeded, terminating
% 276.85/276.05 eprover: CPU time limit exceeded, terminating
% 278.88/278.06 eprover: CPU time limit exceeded, terminating
% 280.90/280.07 eprover: CPU time limit exceeded, terminating
% 282.94/282.08 eprover: CPU time limit exceeded, terminating
% 284.98/284.10 eprover: CPU time limit exceeded, terminating
% 286.95/286.11 eprover: CPU time limit exceeded, terminating
% 289.01/288.12 eprover: CPU time limit exceeded, terminating
% 290.99/290.13 eprover: CPU time limit exceeded, terminating
% 293.04/292.14 eprover: CPU time limit exceeded, terminating
% 295.02/294.16 eprover: CPU time limit exceeded, terminating
% 297.07/296.17 eprover: CPU time limit exceeded, terminating
% 299.11/298.18 eprover: CPU time limit exceeded, terminating
% 300.02/299.08 eprover: CPU time limit exceeded, terminating
% 300.02/299.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------