TSTP Solution File: NUM337+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM337+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:36:09 EDT 2022
% Result : Timeout 287.55s 286.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.14 % Problem : NUM337+1 : TPTP v8.1.0. Released v3.1.0.
% 0.08/0.15 % Command : run_infinox %s
% 0.15/0.37 % Computer : n013.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 600
% 0.15/0.37 % DateTime : Thu Jul 7 21:33:59 EDT 2022
% 0.15/0.37 % CPUTime :
% 2.34/2.59 eprover: CPU time limit exceeded, terminating
% 4.39/4.61 eprover: CPU time limit exceeded, terminating
% 6.44/6.64 eprover: CPU time limit exceeded, terminating
% 8.43/8.66 eprover: CPU time limit exceeded, terminating
% 10.49/10.67 eprover: CPU time limit exceeded, terminating
% 12.53/12.70 eprover: CPU time limit exceeded, terminating
% 14.57/14.71 eprover: CPU time limit exceeded, terminating
% 16.54/16.75 eprover: CPU time limit exceeded, terminating
% 18.62/18.76 eprover: CPU time limit exceeded, terminating
% 20.66/20.77 eprover: CPU time limit exceeded, terminating
% 22.63/22.79 eprover: CPU time limit exceeded, terminating
% 24.68/24.79 eprover: CPU time limit exceeded, terminating
% 26.66/26.80 eprover: CPU time limit exceeded, terminating
% 28.72/28.81 eprover: CPU time limit exceeded, terminating
% 30.68/30.82 eprover: CPU time limit exceeded, terminating
% 32.76/32.84 eprover: CPU time limit exceeded, terminating
% 34.77/34.85 eprover: CPU time limit exceeded, terminating
% 36.77/36.86 eprover: CPU time limit exceeded, terminating
% 38.80/38.88 eprover: CPU time limit exceeded, terminating
% 40.81/40.89 eprover: CPU time limit exceeded, terminating
% 42.86/42.90 eprover: CPU time limit exceeded, terminating
% 44.84/44.91 eprover: CPU time limit exceeded, terminating
% 46.88/46.92 eprover: CPU time limit exceeded, terminating
% 48.92/48.94 eprover: CPU time limit exceeded, terminating
% 50.93/50.95 eprover: CPU time limit exceeded, terminating
% 52.97/52.96 eprover: CPU time limit exceeded, terminating
% 54.96/54.97 eprover: CPU time limit exceeded, terminating
% 57.00/56.98 eprover: CPU time limit exceeded, terminating
% 59.00/58.99 eprover: CPU time limit exceeded, terminating
% 61.00/61.00 eprover: CPU time limit exceeded, terminating
% 63.01/63.02 eprover: CPU time limit exceeded, terminating
% 65.04/65.03 eprover: CPU time limit exceeded, terminating
% 67.02/67.04 eprover: CPU time limit exceeded, terminating
% 69.09/69.05 eprover: CPU time limit exceeded, terminating
% 71.11/71.06 eprover: CPU time limit exceeded, terminating
% 73.16/73.07 eprover: CPU time limit exceeded, terminating
% 75.18/75.09 eprover: CPU time limit exceeded, terminating
% 77.18/77.10 eprover: CPU time limit exceeded, terminating
% 79.21/79.11 eprover: CPU time limit exceeded, terminating
% 81.24/81.12 eprover: CPU time limit exceeded, terminating
% 83.24/83.13 eprover: CPU time limit exceeded, terminating
% 85.25/85.14 eprover: CPU time limit exceeded, terminating
% 87.26/87.16 eprover: CPU time limit exceeded, terminating
% 89.27/89.17 eprover: CPU time limit exceeded, terminating
% 91.32/91.18 eprover: CPU time limit exceeded, terminating
% 93.36/93.19 eprover: CPU time limit exceeded, terminating
% 95.37/95.21 eprover: CPU time limit exceeded, terminating
% 97.38/97.22 eprover: CPU time limit exceeded, terminating
% 99.37/99.23 eprover: CPU time limit exceeded, terminating
% 101.41/101.24 eprover: CPU time limit exceeded, terminating
% 103.42/103.25 eprover: CPU time limit exceeded, terminating
% 105.47/105.26 eprover: CPU time limit exceeded, terminating
% 107.49/107.28 eprover: CPU time limit exceeded, terminating
% 109.48/109.29 eprover: CPU time limit exceeded, terminating
% 111.54/111.30 eprover: CPU time limit exceeded, terminating
% 113.49/113.31 eprover: CPU time limit exceeded, terminating
% 115.53/115.33 eprover: CPU time limit exceeded, terminating
% 117.58/117.34 eprover: CPU time limit exceeded, terminating
% 119.63/119.35 eprover: CPU time limit exceeded, terminating
% 121.64/121.37 eprover: CPU time limit exceeded, terminating
% 123.68/123.38 eprover: CPU time limit exceeded, terminating
% 125.67/125.39 eprover: CPU time limit exceeded, terminating
% 127.71/127.41 eprover: CPU time limit exceeded, terminating
% 129.74/129.42 eprover: CPU time limit exceeded, terminating
% 131.69/131.44 eprover: CPU time limit exceeded, terminating
% 133.77/133.45 eprover: CPU time limit exceeded, terminating
% 135.82/135.47 eprover: CPU time limit exceeded, terminating
% 137.79/137.48 eprover: CPU time limit exceeded, terminating
% 139.88/139.50 eprover: CPU time limit exceeded, terminating
% 141.90/141.51 eprover: CPU time limit exceeded, terminating
% 143.92/143.53 eprover: CPU time limit exceeded, terminating
% 145.96/145.54 eprover: CPU time limit exceeded, terminating
% 147.91/147.56 eprover: CPU time limit exceeded, terminating
% 149.96/149.57 eprover: CPU time limit exceeded, terminating
% 152.03/151.58 eprover: CPU time limit exceeded, terminating
% 154.06/153.60 eprover: CPU time limit exceeded, terminating
% 156.07/155.61 eprover: CPU time limit exceeded, terminating
% 158.10/157.63 eprover: CPU time limit exceeded, terminating
% 160.13/159.64 eprover: CPU time limit exceeded, terminating
% 162.12/161.66 eprover: CPU time limit exceeded, terminating
% 164.15/163.67 eprover: CPU time limit exceeded, terminating
% 166.19/165.69 eprover: CPU time limit exceeded, terminating
% 168.17/167.70 eprover: CPU time limit exceeded, terminating
% 170.23/169.72 eprover: CPU time limit exceeded, terminating
% 172.27/171.73 eprover: CPU time limit exceeded, terminating
% 174.31/173.75 eprover: CPU time limit exceeded, terminating
% 176.31/175.76 eprover: CPU time limit exceeded, terminating
% 178.30/177.78 eprover: CPU time limit exceeded, terminating
% 180.36/179.79 eprover: CPU time limit exceeded, terminating
% 182.39/181.81 eprover: CPU time limit exceeded, terminating
% 184.41/183.82 eprover: CPU time limit exceeded, terminating
% 186.42/185.83 eprover: CPU time limit exceeded, terminating
% 188.42/187.84 eprover: CPU time limit exceeded, terminating
% 190.42/189.85 eprover: CPU time limit exceeded, terminating
% 192.46/191.86 eprover: CPU time limit exceeded, terminating
% 194.52/193.88 eprover: CPU time limit exceeded, terminating
% 196.54/195.89 eprover: CPU time limit exceeded, terminating
% 198.52/197.90 eprover: CPU time limit exceeded, terminating
% 200.54/199.91 eprover: CPU time limit exceeded, terminating
% 202.54/201.93 eprover: CPU time limit exceeded, terminating
% 204.65/203.94 eprover: CPU time limit exceeded, terminating
% 206.66/205.95 eprover: CPU time limit exceeded, terminating
% 208.69/207.96 eprover: CPU time limit exceeded, terminating
% 210.69/209.97 eprover: CPU time limit exceeded, terminating
% 212.66/211.99 eprover: CPU time limit exceeded, terminating
% 214.71/214.00 eprover: CPU time limit exceeded, terminating
% 216.78/216.01 eprover: CPU time limit exceeded, terminating
% 218.75/218.02 eprover: CPU time limit exceeded, terminating
% 220.75/220.03 eprover: CPU time limit exceeded, terminating
% 222.83/222.05 eprover: CPU time limit exceeded, terminating
% 224.86/224.06 eprover: CPU time limit exceeded, terminating
% 226.87/226.07 eprover: CPU time limit exceeded, terminating
% 228.87/228.08 eprover: CPU time limit exceeded, terminating
% 230.92/230.09 eprover: CPU time limit exceeded, terminating
% 232.95/232.10 eprover: CPU time limit exceeded, terminating
% 234.98/234.12 eprover: CPU time limit exceeded, terminating
% 236.99/236.13 eprover: CPU time limit exceeded, terminating
% 238.95/238.14 eprover: CPU time limit exceeded, terminating
% 241.02/240.15 eprover: CPU time limit exceeded, terminating
% 243.07/242.16 eprover: CPU time limit exceeded, terminating
% 245.07/244.18 eprover: CPU time limit exceeded, terminating
% 247.08/246.19 eprover: CPU time limit exceeded, terminating
% 249.12/248.20 eprover: CPU time limit exceeded, terminating
% 251.11/250.21 eprover: CPU time limit exceeded, terminating
% 253.15/252.22 eprover: CPU time limit exceeded, terminating
% 255.14/254.23 eprover: CPU time limit exceeded, terminating
% 257.17/256.24 eprover: CPU time limit exceeded, terminating
% 259.21/258.26 eprover: CPU time limit exceeded, terminating
% 261.25/260.27 eprover: CPU time limit exceeded, terminating
% 263.22/262.30 eprover: CPU time limit exceeded, terminating
% 265.28/264.31 eprover: CPU time limit exceeded, terminating
% 267.32/266.33 eprover: CPU time limit exceeded, terminating
% 269.30/268.36 eprover: CPU time limit exceeded, terminating
% 271.35/270.37 eprover: CPU time limit exceeded, terminating
% 273.39/272.41 eprover: CPU time limit exceeded, terminating
% 275.44/274.43 eprover: CPU time limit exceeded, terminating
% 277.44/276.44 eprover: CPU time limit exceeded, terminating
% 279.47/278.46 eprover: CPU time limit exceeded, terminating
% 281.49/280.47 eprover: CPU time limit exceeded, terminating
% 283.46/282.49 eprover: CPU time limit exceeded, terminating
% 285.53/284.50 eprover: CPU time limit exceeded, terminating
% 287.55/286.52 eprover: CPU time limit exceeded, terminating
% 289.55/288.53 eprover: CPU time limit exceeded, terminating
% 291.56/290.55 eprover: CPU time limit exceeded, terminating
% 293.64/292.57 eprover: CPU time limit exceeded, terminating
% 295.64/294.59 eprover: CPU time limit exceeded, terminating
% 297.69/296.60 eprover: CPU time limit exceeded, terminating
% 299.67/298.62 eprover: CPU time limit exceeded, terminating
% 300.12/299.01 eprover: CPU time limit exceeded, terminating
% 300.12/299.02 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------