TSTP Solution File: NUM360+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM360+1 : TPTP v8.1.0. Released v3.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:36:17 EDT 2022
% Result : Timeout 287.37s 284.82s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : NUM360+1 : TPTP v8.1.0. Released v3.1.0.
% 0.08/0.14 % Command : run_infinox %s
% 0.14/0.35 % Computer : n007.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 : Wed Jul 6 00:38:28 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.28/2.54 eprover: CPU time limit exceeded, terminating
% 4.29/4.55 eprover: CPU time limit exceeded, terminating
% 6.34/6.56 eprover: CPU time limit exceeded, terminating
% 8.43/8.57 eprover: CPU time limit exceeded, terminating
% 10.38/10.58 eprover: CPU time limit exceeded, terminating
% 12.40/12.60 eprover: CPU time limit exceeded, terminating
% 14.45/14.61 eprover: CPU time limit exceeded, terminating
% 16.48/16.64 eprover: CPU time limit exceeded, terminating
% 18.54/18.65 eprover: CPU time limit exceeded, terminating
% 20.51/20.66 eprover: CPU time limit exceeded, terminating
% 22.53/22.67 eprover: CPU time limit exceeded, terminating
% 24.58/24.68 eprover: CPU time limit exceeded, terminating
% 26.55/26.69 eprover: CPU time limit exceeded, terminating
% 28.65/28.71 eprover: CPU time limit exceeded, terminating
% 30.67/30.72 eprover: CPU time limit exceeded, terminating
% 32.67/32.73 eprover: CPU time limit exceeded, terminating
% 34.71/34.74 eprover: CPU time limit exceeded, terminating
% 36.70/36.75 eprover: CPU time limit exceeded, terminating
% 38.69/38.76 eprover: CPU time limit exceeded, terminating
% 40.70/40.78 eprover: CPU time limit exceeded, terminating
% 42.73/42.79 eprover: CPU time limit exceeded, terminating
% 44.80/44.80 eprover: CPU time limit exceeded, terminating
% 46.83/46.81 eprover: CPU time limit exceeded, terminating
% 48.85/48.83 eprover: CPU time limit exceeded, terminating
% 50.85/50.84 eprover: CPU time limit exceeded, terminating
% 52.82/52.85 eprover: CPU time limit exceeded, terminating
% 54.85/54.87 eprover: CPU time limit exceeded, terminating
% 56.95/56.88 eprover: CPU time limit exceeded, terminating
% 58.95/58.90 eprover: CPU time limit exceeded, terminating
% 60.98/60.91 eprover: CPU time limit exceeded, terminating
% 62.98/62.93 eprover: CPU time limit exceeded, terminating
% 64.99/64.94 eprover: CPU time limit exceeded, terminating
% 67.02/66.96 eprover: CPU time limit exceeded, terminating
% 69.00/68.97 eprover: CPU time limit exceeded, terminating
% 71.07/70.97 eprover: CPU time limit exceeded, terminating
% 73.01/72.98 eprover: CPU time limit exceeded, terminating
% 75.11/74.99 eprover: CPU time limit exceeded, terminating
% 77.14/77.01 eprover: CPU time limit exceeded, terminating
% 79.12/79.05 eprover: CPU time limit exceeded, terminating
% 81.13/81.08 eprover: CPU time limit exceeded, terminating
% 83.20/83.10 eprover: CPU time limit exceeded, terminating
% 85.20/85.14 eprover: CPU time limit exceeded, terminating
% 87.20/87.17 eprover: CPU time limit exceeded, terminating
% 89.18/89.19 eprover: CPU time limit exceeded, terminating
% 93.27/91.23 eprover: CPU time limit exceeded, terminating
% 95.23/93.27 eprover: CPU time limit exceeded, terminating
% 97.30/95.32 eprover: CPU time limit exceeded, terminating
% 99.26/97.36 eprover: CPU time limit exceeded, terminating
% 101.26/99.39 eprover: CPU time limit exceeded, terminating
% 103.34/101.43 eprover: CPU time limit exceeded, terminating
% 105.34/103.45 eprover: CPU time limit exceeded, terminating
% 107.39/105.49 eprover: CPU time limit exceeded, terminating
% 109.40/107.52 eprover: CPU time limit exceeded, terminating
% 111.35/109.55 eprover: CPU time limit exceeded, terminating
% 113.38/111.59 eprover: CPU time limit exceeded, terminating
% 115.43/113.63 eprover: CPU time limit exceeded, terminating
% 117.46/115.68 eprover: CPU time limit exceeded, terminating
% 119.49/117.71 eprover: CPU time limit exceeded, terminating
% 121.50/119.75 eprover: CPU time limit exceeded, terminating
% 123.44/121.76 eprover: CPU time limit exceeded, terminating
% 125.51/123.77 eprover: CPU time limit exceeded, terminating
% 127.58/125.78 eprover: CPU time limit exceeded, terminating
% 129.59/127.79 eprover: CPU time limit exceeded, terminating
% 131.62/129.80 eprover: CPU time limit exceeded, terminating
% 133.59/131.81 eprover: CPU time limit exceeded, terminating
% 135.58/133.82 eprover: CPU time limit exceeded, terminating
% 137.66/135.83 eprover: CPU time limit exceeded, terminating
% 139.70/137.84 eprover: CPU time limit exceeded, terminating
% 141.70/139.85 eprover: CPU time limit exceeded, terminating
% 143.75/141.86 eprover: CPU time limit exceeded, terminating
% 145.68/143.87 eprover: CPU time limit exceeded, terminating
% 147.74/145.89 eprover: CPU time limit exceeded, terminating
% 149.80/147.90 eprover: CPU time limit exceeded, terminating
% 151.81/149.91 eprover: CPU time limit exceeded, terminating
% 153.82/151.92 eprover: CPU time limit exceeded, terminating
% 155.85/153.93 eprover: CPU time limit exceeded, terminating
% 157.88/155.95 eprover: CPU time limit exceeded, terminating
% 159.91/157.96 eprover: CPU time limit exceeded, terminating
% 161.89/159.97 eprover: CPU time limit exceeded, terminating
% 163.97/161.99 eprover: CPU time limit exceeded, terminating
% 166.00/164.00 eprover: CPU time limit exceeded, terminating
% 168.02/166.01 eprover: CPU time limit exceeded, terminating
% 170.02/168.03 eprover: CPU time limit exceeded, terminating
% 172.07/170.04 eprover: CPU time limit exceeded, terminating
% 174.05/172.05 eprover: CPU time limit exceeded, terminating
% 176.06/174.07 eprover: CPU time limit exceeded, terminating
% 178.07/176.08 eprover: CPU time limit exceeded, terminating
% 180.10/178.09 eprover: CPU time limit exceeded, terminating
% 182.17/180.11 eprover: CPU time limit exceeded, terminating
% 184.20/182.12 eprover: CPU time limit exceeded, terminating
% 186.23/184.13 eprover: CPU time limit exceeded, terminating
% 188.22/186.15 eprover: CPU time limit exceeded, terminating
% 190.21/188.16 eprover: CPU time limit exceeded, terminating
% 192.23/190.17 eprover: CPU time limit exceeded, terminating
% 194.28/192.18 eprover: CPU time limit exceeded, terminating
% 196.36/194.20 eprover: CPU time limit exceeded, terminating
% 198.37/196.21 eprover: CPU time limit exceeded, terminating
% 200.39/198.22 eprover: CPU time limit exceeded, terminating
% 202.41/200.24 eprover: CPU time limit exceeded, terminating
% 204.42/202.25 eprover: CPU time limit exceeded, terminating
% 206.42/204.26 eprover: CPU time limit exceeded, terminating
% 208.44/206.28 eprover: CPU time limit exceeded, terminating
% 210.46/208.29 eprover: CPU time limit exceeded, terminating
% 212.47/210.30 eprover: CPU time limit exceeded, terminating
% 214.57/212.32 eprover: CPU time limit exceeded, terminating
% 216.57/214.33 eprover: CPU time limit exceeded, terminating
% 218.57/216.34 eprover: CPU time limit exceeded, terminating
% 220.61/218.36 eprover: CPU time limit exceeded, terminating
% 222.60/220.37 eprover: CPU time limit exceeded, terminating
% 224.67/222.39 eprover: CPU time limit exceeded, terminating
% 226.71/224.40 eprover: CPU time limit exceeded, terminating
% 228.66/226.41 eprover: CPU time limit exceeded, terminating
% 230.75/228.43 eprover: CPU time limit exceeded, terminating
% 232.76/230.44 eprover: CPU time limit exceeded, terminating
% 234.76/232.46 eprover: CPU time limit exceeded, terminating
% 236.84/234.47 eprover: CPU time limit exceeded, terminating
% 238.83/236.49 eprover: CPU time limit exceeded, terminating
% 240.88/238.50 eprover: CPU time limit exceeded, terminating
% 242.90/240.51 eprover: CPU time limit exceeded, terminating
% 244.89/242.53 eprover: CPU time limit exceeded, terminating
% 246.91/244.54 eprover: CPU time limit exceeded, terminating
% 248.97/246.56 eprover: CPU time limit exceeded, terminating
% 250.98/248.57 eprover: CPU time limit exceeded, terminating
% 253.01/250.58 eprover: CPU time limit exceeded, terminating
% 255.00/252.60 eprover: CPU time limit exceeded, terminating
% 257.00/254.61 eprover: CPU time limit exceeded, terminating
% 259.06/256.63 eprover: CPU time limit exceeded, terminating
% 261.03/258.64 eprover: CPU time limit exceeded, terminating
% 263.14/260.65 eprover: CPU time limit exceeded, terminating
% 265.18/262.67 eprover: CPU time limit exceeded, terminating
% 267.19/264.68 eprover: CPU time limit exceeded, terminating
% 269.17/266.70 eprover: CPU time limit exceeded, terminating
% 271.24/268.71 eprover: CPU time limit exceeded, terminating
% 273.28/270.72 eprover: CPU time limit exceeded, terminating
% 275.28/272.74 eprover: CPU time limit exceeded, terminating
% 277.32/274.75 eprover: CPU time limit exceeded, terminating
% 279.33/276.76 eprover: CPU time limit exceeded, terminating
% 281.34/278.78 eprover: CPU time limit exceeded, terminating
% 283.38/280.79 eprover: CPU time limit exceeded, terminating
% 285.36/282.80 eprover: CPU time limit exceeded, terminating
% 287.37/284.82 eprover: CPU time limit exceeded, terminating
% 289.43/286.83 eprover: CPU time limit exceeded, terminating
% 291.45/288.84 eprover: CPU time limit exceeded, terminating
% 295.49/290.85 eprover: CPU time limit exceeded, terminating
% 297.52/292.87 eprover: CPU time limit exceeded, terminating
% 299.53/294.88 eprover: CPU time limit exceeded, terminating
% 300.01/295.36 eprover: CPU time limit exceeded, terminating
% 300.01/295.37 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------