TSTP Solution File: NUM371+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM371+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:20 EDT 2022
% Result : Timeout 287.31s 284.14s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : NUM371+1 : TPTP v8.1.0. Released v3.1.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n008.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Thu Jul 7 23:10:08 EDT 2022
% 0.14/0.35 % CPUTime :
% 2.35/2.53 eprover: CPU time limit exceeded, terminating
% 4.36/4.54 eprover: CPU time limit exceeded, terminating
% 6.39/6.55 eprover: CPU time limit exceeded, terminating
% 8.41/8.56 eprover: CPU time limit exceeded, terminating
% 10.40/10.57 eprover: CPU time limit exceeded, terminating
% 12.47/12.58 eprover: CPU time limit exceeded, terminating
% 14.43/14.59 eprover: CPU time limit exceeded, terminating
% 16.53/16.63 eprover: CPU time limit exceeded, terminating
% 18.54/18.64 eprover: CPU time limit exceeded, terminating
% 20.57/20.65 eprover: CPU time limit exceeded, terminating
% 22.59/22.66 eprover: CPU time limit exceeded, terminating
% 24.59/24.67 eprover: CPU time limit exceeded, terminating
% 26.64/26.68 eprover: CPU time limit exceeded, terminating
% 28.64/28.69 eprover: CPU time limit exceeded, terminating
% 30.67/30.71 eprover: CPU time limit exceeded, terminating
% 32.70/32.72 eprover: CPU time limit exceeded, terminating
% 34.71/34.73 eprover: CPU time limit exceeded, terminating
% 36.68/36.74 eprover: CPU time limit exceeded, terminating
% 38.77/38.75 eprover: CPU time limit exceeded, terminating
% 40.79/40.76 eprover: CPU time limit exceeded, terminating
% 42.79/42.77 eprover: CPU time limit exceeded, terminating
% 44.82/44.79 eprover: CPU time limit exceeded, terminating
% 46.85/46.80 eprover: CPU time limit exceeded, terminating
% 48.82/48.81 eprover: CPU time limit exceeded, terminating
% 50.85/50.82 eprover: CPU time limit exceeded, terminating
% 52.94/52.83 eprover: CPU time limit exceeded, terminating
% 54.91/54.84 eprover: CPU time limit exceeded, terminating
% 56.98/56.85 eprover: CPU time limit exceeded, terminating
% 59.00/58.87 eprover: CPU time limit exceeded, terminating
% 61.00/60.88 eprover: CPU time limit exceeded, terminating
% 63.04/62.89 eprover: CPU time limit exceeded, terminating
% 65.03/64.90 eprover: CPU time limit exceeded, terminating
% 67.08/66.91 eprover: CPU time limit exceeded, terminating
% 69.13/68.93 eprover: CPU time limit exceeded, terminating
% 71.08/70.94 eprover: CPU time limit exceeded, terminating
% 73.13/72.95 eprover: CPU time limit exceeded, terminating
% 75.10/74.96 eprover: CPU time limit exceeded, terminating
% 77.18/76.97 eprover: CPU time limit exceeded, terminating
% 79.22/78.98 eprover: CPU time limit exceeded, terminating
% 81.21/81.00 eprover: CPU time limit exceeded, terminating
% 83.26/83.01 eprover: CPU time limit exceeded, terminating
% 85.30/85.02 eprover: CPU time limit exceeded, terminating
% 87.29/87.03 eprover: CPU time limit exceeded, terminating
% 89.34/89.04 eprover: CPU time limit exceeded, terminating
% 91.36/91.05 eprover: CPU time limit exceeded, terminating
% 93.36/93.07 eprover: CPU time limit exceeded, terminating
% 95.39/95.08 eprover: CPU time limit exceeded, terminating
% 97.38/97.09 eprover: CPU time limit exceeded, terminating
% 99.42/99.10 eprover: CPU time limit exceeded, terminating
% 101.41/101.11 eprover: CPU time limit exceeded, terminating
% 103.49/103.12 eprover: CPU time limit exceeded, terminating
% 105.51/105.13 eprover: CPU time limit exceeded, terminating
% 107.50/107.15 eprover: CPU time limit exceeded, terminating
% 109.55/109.16 eprover: CPU time limit exceeded, terminating
% 111.60/111.17 eprover: CPU time limit exceeded, terminating
% 113.56/113.18 eprover: CPU time limit exceeded, terminating
% 115.65/115.19 eprover: CPU time limit exceeded, terminating
% 117.58/117.20 eprover: CPU time limit exceeded, terminating
% 119.68/119.21 eprover: CPU time limit exceeded, terminating
% 121.70/121.22 eprover: CPU time limit exceeded, terminating
% 123.70/123.24 eprover: CPU time limit exceeded, terminating
% 125.76/125.25 eprover: CPU time limit exceeded, terminating
% 127.77/127.26 eprover: CPU time limit exceeded, terminating
% 129.77/129.27 eprover: CPU time limit exceeded, terminating
% 131.81/131.28 eprover: CPU time limit exceeded, terminating
% 133.80/133.30 eprover: CPU time limit exceeded, terminating
% 135.84/135.31 eprover: CPU time limit exceeded, terminating
% 137.87/137.32 eprover: CPU time limit exceeded, terminating
% 139.87/139.33 eprover: CPU time limit exceeded, terminating
% 141.90/141.34 eprover: CPU time limit exceeded, terminating
% 143.90/143.36 eprover: CPU time limit exceeded, terminating
% 145.95/145.37 eprover: CPU time limit exceeded, terminating
% 147.98/147.38 eprover: CPU time limit exceeded, terminating
% 149.96/149.39 eprover: CPU time limit exceeded, terminating
% 152.03/151.40 eprover: CPU time limit exceeded, terminating
% 154.03/153.41 eprover: CPU time limit exceeded, terminating
% 156.05/155.43 eprover: CPU time limit exceeded, terminating
% 158.11/157.44 eprover: CPU time limit exceeded, terminating
% 160.09/159.45 eprover: CPU time limit exceeded, terminating
% 162.15/161.46 eprover: CPU time limit exceeded, terminating
% 164.19/163.47 eprover: CPU time limit exceeded, terminating
% 166.18/165.48 eprover: CPU time limit exceeded, terminating
% 168.19/167.50 eprover: CPU time limit exceeded, terminating
% 170.18/169.51 eprover: CPU time limit exceeded, terminating
% 172.23/171.52 eprover: CPU time limit exceeded, terminating
% 174.21/173.53 eprover: CPU time limit exceeded, terminating
% 176.33/175.54 eprover: CPU time limit exceeded, terminating
% 178.34/177.55 eprover: CPU time limit exceeded, terminating
% 180.35/179.57 eprover: CPU time limit exceeded, terminating
% 182.36/181.58 eprover: CPU time limit exceeded, terminating
% 184.34/183.59 eprover: CPU time limit exceeded, terminating
% 186.38/185.60 eprover: CPU time limit exceeded, terminating
% 188.43/187.61 eprover: CPU time limit exceeded, terminating
% 190.41/189.62 eprover: CPU time limit exceeded, terminating
% 192.47/191.63 eprover: CPU time limit exceeded, terminating
% 194.50/193.64 eprover: CPU time limit exceeded, terminating
% 196.53/195.66 eprover: CPU time limit exceeded, terminating
% 198.52/197.67 eprover: CPU time limit exceeded, terminating
% 200.55/199.68 eprover: CPU time limit exceeded, terminating
% 202.55/201.69 eprover: CPU time limit exceeded, terminating
% 204.62/203.70 eprover: CPU time limit exceeded, terminating
% 206.57/205.71 eprover: CPU time limit exceeded, terminating
% 208.64/207.73 eprover: CPU time limit exceeded, terminating
% 210.70/209.74 eprover: CPU time limit exceeded, terminating
% 212.67/211.75 eprover: CPU time limit exceeded, terminating
% 214.75/213.76 eprover: CPU time limit exceeded, terminating
% 216.76/215.77 eprover: CPU time limit exceeded, terminating
% 218.78/217.78 eprover: CPU time limit exceeded, terminating
% 220.76/219.80 eprover: CPU time limit exceeded, terminating
% 222.80/221.81 eprover: CPU time limit exceeded, terminating
% 224.86/223.82 eprover: CPU time limit exceeded, terminating
% 226.80/225.83 eprover: CPU time limit exceeded, terminating
% 228.89/227.84 eprover: CPU time limit exceeded, terminating
% 230.89/229.85 eprover: CPU time limit exceeded, terminating
% 232.86/231.86 eprover: CPU time limit exceeded, terminating
% 234.97/233.88 eprover: CPU time limit exceeded, terminating
% 236.96/235.89 eprover: CPU time limit exceeded, terminating
% 239.01/237.90 eprover: CPU time limit exceeded, terminating
% 240.99/239.92 eprover: CPU time limit exceeded, terminating
% 244.98/241.93 eprover: CPU time limit exceeded, terminating
% 247.04/243.94 eprover: CPU time limit exceeded, terminating
% 248.99/245.96 eprover: CPU time limit exceeded, terminating
% 251.03/247.96 eprover: CPU time limit exceeded, terminating
% 253.04/249.97 eprover: CPU time limit exceeded, terminating
% 255.09/251.98 eprover: CPU time limit exceeded, terminating
% 257.12/253.99 eprover: CPU time limit exceeded, terminating
% 259.13/256.00 eprover: CPU time limit exceeded, terminating
% 261.14/258.01 eprover: CPU time limit exceeded, terminating
% 263.17/260.02 eprover: CPU time limit exceeded, terminating
% 265.17/262.03 eprover: CPU time limit exceeded, terminating
% 267.20/264.04 eprover: CPU time limit exceeded, terminating
% 269.18/266.05 eprover: CPU time limit exceeded, terminating
% 271.23/268.06 eprover: CPU time limit exceeded, terminating
% 273.24/270.07 eprover: CPU time limit exceeded, terminating
% 275.26/272.08 eprover: CPU time limit exceeded, terminating
% 277.32/274.09 eprover: CPU time limit exceeded, terminating
% 279.33/276.10 eprover: CPU time limit exceeded, terminating
% 281.32/278.11 eprover: CPU time limit exceeded, terminating
% 283.37/280.12 eprover: CPU time limit exceeded, terminating
% 285.34/282.13 eprover: CPU time limit exceeded, terminating
% 287.31/284.14 eprover: CPU time limit exceeded, terminating
% 289.36/286.15 eprover: CPU time limit exceeded, terminating
% 291.43/288.15 eprover: CPU time limit exceeded, terminating
% 293.44/290.16 eprover: CPU time limit exceeded, terminating
% 295.47/292.17 eprover: CPU time limit exceeded, terminating
% 297.47/294.18 eprover: CPU time limit exceeded, terminating
% 299.47/296.19 eprover: CPU time limit exceeded, terminating
% 300.03/296.68 eprover: CPU time limit exceeded, terminating
% 300.03/296.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------