TSTP Solution File: NUM291+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM291+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:55 EDT 2022
% Result : Timeout 287.53s 286.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : NUM291+1 : TPTP v8.1.0. Released v3.1.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n011.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Tue Jul 5 12:51:52 EDT 2022
% 0.13/0.35 % CPUTime :
% 2.33/2.53 eprover: CPU time limit exceeded, terminating
% 4.37/4.54 eprover: CPU time limit exceeded, terminating
% 6.34/6.56 eprover: CPU time limit exceeded, terminating
% 8.41/8.57 eprover: CPU time limit exceeded, terminating
% 10.42/10.58 eprover: CPU time limit exceeded, terminating
% 12.43/12.59 eprover: CPU time limit exceeded, terminating
% 14.44/14.60 eprover: CPU time limit exceeded, terminating
% 16.43/16.63 eprover: CPU time limit exceeded, terminating
% 18.52/18.64 eprover: CPU time limit exceeded, terminating
% 20.54/20.65 eprover: CPU time limit exceeded, terminating
% 22.54/22.65 eprover: CPU time limit exceeded, terminating
% 24.56/24.66 eprover: CPU time limit exceeded, terminating
% 26.59/26.67 eprover: CPU time limit exceeded, terminating
% 28.62/28.68 eprover: CPU time limit exceeded, terminating
% 30.63/30.69 eprover: CPU time limit exceeded, terminating
% 32.62/32.70 eprover: CPU time limit exceeded, terminating
% 34.64/34.71 eprover: CPU time limit exceeded, terminating
% 36.63/36.72 eprover: CPU time limit exceeded, terminating
% 38.71/38.73 eprover: CPU time limit exceeded, terminating
% 40.73/40.74 eprover: CPU time limit exceeded, terminating
% 42.74/42.75 eprover: CPU time limit exceeded, terminating
% 44.77/44.76 eprover: CPU time limit exceeded, terminating
% 46.79/46.77 eprover: CPU time limit exceeded, terminating
% 48.81/48.78 eprover: CPU time limit exceeded, terminating
% 50.81/50.79 eprover: CPU time limit exceeded, terminating
% 52.82/52.80 eprover: CPU time limit exceeded, terminating
% 54.82/54.81 eprover: CPU time limit exceeded, terminating
% 56.84/56.82 eprover: CPU time limit exceeded, terminating
% 58.90/58.83 eprover: CPU time limit exceeded, terminating
% 60.91/60.84 eprover: CPU time limit exceeded, terminating
% 62.97/62.85 eprover: CPU time limit exceeded, terminating
% 64.98/64.86 eprover: CPU time limit exceeded, terminating
% 66.98/66.88 eprover: CPU time limit exceeded, terminating
% 68.98/68.89 eprover: CPU time limit exceeded, terminating
% 71.02/70.90 eprover: CPU time limit exceeded, terminating
% 73.06/72.91 eprover: CPU time limit exceeded, terminating
% 75.06/74.92 eprover: CPU time limit exceeded, terminating
% 77.05/76.94 eprover: CPU time limit exceeded, terminating
% 79.14/78.95 eprover: CPU time limit exceeded, terminating
% 81.14/80.97 eprover: CPU time limit exceeded, terminating
% 83.18/82.98 eprover: CPU time limit exceeded, terminating
% 85.16/84.99 eprover: CPU time limit exceeded, terminating
% 87.19/87.00 eprover: CPU time limit exceeded, terminating
% 89.24/89.02 eprover: CPU time limit exceeded, terminating
% 91.27/91.04 eprover: CPU time limit exceeded, terminating
% 93.31/93.05 eprover: CPU time limit exceeded, terminating
% 95.31/95.06 eprover: CPU time limit exceeded, terminating
% 97.32/97.08 eprover: CPU time limit exceeded, terminating
% 99.31/99.09 eprover: CPU time limit exceeded, terminating
% 101.35/101.10 eprover: CPU time limit exceeded, terminating
% 103.34/103.12 eprover: CPU time limit exceeded, terminating
% 105.41/105.13 eprover: CPU time limit exceeded, terminating
% 107.41/107.14 eprover: CPU time limit exceeded, terminating
% 109.44/109.15 eprover: CPU time limit exceeded, terminating
% 111.48/111.17 eprover: CPU time limit exceeded, terminating
% 113.49/113.18 eprover: CPU time limit exceeded, terminating
% 115.52/115.19 eprover: CPU time limit exceeded, terminating
% 117.57/117.21 eprover: CPU time limit exceeded, terminating
% 119.60/119.22 eprover: CPU time limit exceeded, terminating
% 121.58/121.23 eprover: CPU time limit exceeded, terminating
% 123.59/123.25 eprover: CPU time limit exceeded, terminating
% 125.64/125.26 eprover: CPU time limit exceeded, terminating
% 127.64/127.27 eprover: CPU time limit exceeded, terminating
% 129.69/129.29 eprover: CPU time limit exceeded, terminating
% 131.73/131.30 eprover: CPU time limit exceeded, terminating
% 133.76/133.31 eprover: CPU time limit exceeded, terminating
% 135.77/135.33 eprover: CPU time limit exceeded, terminating
% 137.79/137.34 eprover: CPU time limit exceeded, terminating
% 139.82/139.36 eprover: CPU time limit exceeded, terminating
% 141.80/141.37 eprover: CPU time limit exceeded, terminating
% 143.88/143.38 eprover: CPU time limit exceeded, terminating
% 145.86/145.40 eprover: CPU time limit exceeded, terminating
% 147.91/147.41 eprover: CPU time limit exceeded, terminating
% 149.96/149.43 eprover: CPU time limit exceeded, terminating
% 151.98/151.44 eprover: CPU time limit exceeded, terminating
% 153.99/153.45 eprover: CPU time limit exceeded, terminating
% 155.99/155.47 eprover: CPU time limit exceeded, terminating
% 158.08/157.48 eprover: CPU time limit exceeded, terminating
% 160.10/159.50 eprover: CPU time limit exceeded, terminating
% 162.08/161.51 eprover: CPU time limit exceeded, terminating
% 164.12/163.52 eprover: CPU time limit exceeded, terminating
% 166.12/165.54 eprover: CPU time limit exceeded, terminating
% 168.17/167.55 eprover: CPU time limit exceeded, terminating
% 170.13/169.56 eprover: CPU time limit exceeded, terminating
% 172.21/171.57 eprover: CPU time limit exceeded, terminating
% 174.24/173.59 eprover: CPU time limit exceeded, terminating
% 176.23/175.60 eprover: CPU time limit exceeded, terminating
% 178.25/177.61 eprover: CPU time limit exceeded, terminating
% 180.30/179.62 eprover: CPU time limit exceeded, terminating
% 182.32/181.64 eprover: CPU time limit exceeded, terminating
% 184.32/183.65 eprover: CPU time limit exceeded, terminating
% 186.33/185.66 eprover: CPU time limit exceeded, terminating
% 188.38/187.68 eprover: CPU time limit exceeded, terminating
% 190.41/189.69 eprover: CPU time limit exceeded, terminating
% 192.41/191.70 eprover: CPU time limit exceeded, terminating
% 194.47/193.72 eprover: CPU time limit exceeded, terminating
% 196.50/195.73 eprover: CPU time limit exceeded, terminating
% 198.47/197.74 eprover: CPU time limit exceeded, terminating
% 200.54/199.76 eprover: CPU time limit exceeded, terminating
% 202.57/201.77 eprover: CPU time limit exceeded, terminating
% 204.54/203.78 eprover: CPU time limit exceeded, terminating
% 206.61/205.79 eprover: CPU time limit exceeded, terminating
% 208.65/207.81 eprover: CPU time limit exceeded, terminating
% 210.65/209.82 eprover: CPU time limit exceeded, terminating
% 212.68/211.84 eprover: CPU time limit exceeded, terminating
% 214.68/213.85 eprover: CPU time limit exceeded, terminating
% 216.69/215.86 eprover: CPU time limit exceeded, terminating
% 218.68/217.88 eprover: CPU time limit exceeded, terminating
% 220.75/219.89 eprover: CPU time limit exceeded, terminating
% 222.80/221.90 eprover: CPU time limit exceeded, terminating
% 224.81/223.92 eprover: CPU time limit exceeded, terminating
% 226.85/225.93 eprover: CPU time limit exceeded, terminating
% 228.83/227.94 eprover: CPU time limit exceeded, terminating
% 230.90/229.96 eprover: CPU time limit exceeded, terminating
% 232.87/231.97 eprover: CPU time limit exceeded, terminating
% 234.91/233.98 eprover: CPU time limit exceeded, terminating
% 236.94/236.00 eprover: CPU time limit exceeded, terminating
% 238.91/238.01 eprover: CPU time limit exceeded, terminating
% 240.99/240.02 eprover: CPU time limit exceeded, terminating
% 243.03/242.04 eprover: CPU time limit exceeded, terminating
% 245.00/244.05 eprover: CPU time limit exceeded, terminating
% 247.05/246.06 eprover: CPU time limit exceeded, terminating
% 249.12/248.08 eprover: CPU time limit exceeded, terminating
% 251.14/250.09 eprover: CPU time limit exceeded, terminating
% 253.09/252.10 eprover: CPU time limit exceeded, terminating
% 255.16/254.12 eprover: CPU time limit exceeded, terminating
% 257.20/256.13 eprover: CPU time limit exceeded, terminating
% 259.20/258.14 eprover: CPU time limit exceeded, terminating
% 261.21/260.15 eprover: CPU time limit exceeded, terminating
% 263.25/262.17 eprover: CPU time limit exceeded, terminating
% 265.25/264.18 eprover: CPU time limit exceeded, terminating
% 267.33/266.20 eprover: CPU time limit exceeded, terminating
% 269.36/268.21 eprover: CPU time limit exceeded, terminating
% 271.36/270.22 eprover: CPU time limit exceeded, terminating
% 273.34/272.24 eprover: CPU time limit exceeded, terminating
% 275.38/274.25 eprover: CPU time limit exceeded, terminating
% 277.41/276.26 eprover: CPU time limit exceeded, terminating
% 279.40/278.28 eprover: CPU time limit exceeded, terminating
% 281.42/280.29 eprover: CPU time limit exceeded, terminating
% 283.44/282.31 eprover: CPU time limit exceeded, terminating
% 285.54/284.32 eprover: CPU time limit exceeded, terminating
% 287.53/286.33 eprover: CPU time limit exceeded, terminating
% 289.55/288.35 eprover: CPU time limit exceeded, terminating
% 291.57/290.36 eprover: CPU time limit exceeded, terminating
% 293.57/292.37 eprover: CPU time limit exceeded, terminating
% 295.60/294.39 eprover: CPU time limit exceeded, terminating
% 297.67/296.40 eprover: CPU time limit exceeded, terminating
% 299.69/298.42 eprover: CPU time limit exceeded, terminating
% 300.35/299.03 eprover: CPU time limit exceeded, terminating
% 300.35/299.04 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------