TSTP Solution File: NUM653+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM653+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:39:05 EDT 2022
% Result : Timeout 287.48s 282.31s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.07 % Problem : NUM653+4 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.07 % Command : run_infinox %s
% 0.08/0.26 % Computer : n025.cluster.edu
% 0.08/0.26 % Model : x86_64 x86_64
% 0.08/0.26 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.26 % Memory : 8042.1875MB
% 0.08/0.26 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.26 % CPULimit : 300
% 0.08/0.26 % WCLimit : 600
% 0.08/0.26 % DateTime : Thu Jul 7 11:25:13 EDT 2022
% 0.08/0.26 % CPUTime :
% 2.76/2.91 eprover: CPU time limit exceeded, terminating
% 4.77/4.92 eprover: CPU time limit exceeded, terminating
% 6.82/6.93 eprover: CPU time limit exceeded, terminating
% 8.84/8.94 eprover: CPU time limit exceeded, terminating
% 10.86/10.95 eprover: CPU time limit exceeded, terminating
% 12.90/12.96 eprover: CPU time limit exceeded, terminating
% 14.92/14.97 eprover: CPU time limit exceeded, terminating
% 16.92/16.98 eprover: CPU time limit exceeded, terminating
% 19.02/18.99 eprover: CPU time limit exceeded, terminating
% 20.98/21.00 eprover: CPU time limit exceeded, terminating
% 23.08/23.01 eprover: CPU time limit exceeded, terminating
% 25.12/25.02 eprover: CPU time limit exceeded, terminating
% 27.17/27.03 eprover: CPU time limit exceeded, terminating
% 29.17/29.04 eprover: CPU time limit exceeded, terminating
% 31.20/31.05 eprover: CPU time limit exceeded, terminating
% 33.26/33.06 eprover: CPU time limit exceeded, terminating
% 35.26/35.07 eprover: CPU time limit exceeded, terminating
% 37.34/37.08 eprover: CPU time limit exceeded, terminating
% 39.39/39.09 eprover: CPU time limit exceeded, terminating
% 41.42/41.10 eprover: CPU time limit exceeded, terminating
% 43.43/43.11 eprover: CPU time limit exceeded, terminating
% 45.47/45.12 eprover: CPU time limit exceeded, terminating
% 47.52/47.13 eprover: CPU time limit exceeded, terminating
% 49.51/49.14 eprover: CPU time limit exceeded, terminating
% 51.58/51.15 eprover: CPU time limit exceeded, terminating
% 53.59/53.16 eprover: CPU time limit exceeded, terminating
% 55.66/55.17 eprover: CPU time limit exceeded, terminating
% 57.59/57.18 eprover: CPU time limit exceeded, terminating
% 61.61/59.19 eprover: CPU time limit exceeded, terminating
% 63.64/61.20 eprover: CPU time limit exceeded, terminating
% 65.67/63.21 eprover: CPU time limit exceeded, terminating
% 67.71/65.22 eprover: CPU time limit exceeded, terminating
% 69.73/67.23 eprover: CPU time limit exceeded, terminating
% 71.78/69.24 eprover: CPU time limit exceeded, terminating
% 73.80/71.25 eprover: CPU time limit exceeded, terminating
% 75.79/73.26 eprover: CPU time limit exceeded, terminating
% 77.80/75.27 eprover: CPU time limit exceeded, terminating
% 79.84/77.28 eprover: CPU time limit exceeded, terminating
% 81.96/79.29 eprover: CPU time limit exceeded, terminating
% 83.97/81.30 eprover: CPU time limit exceeded, terminating
% 85.94/83.31 eprover: CPU time limit exceeded, terminating
% 88.00/85.31 eprover: CPU time limit exceeded, terminating
% 90.09/87.32 eprover: CPU time limit exceeded, terminating
% 92.14/89.33 eprover: CPU time limit exceeded, terminating
% 94.13/91.34 eprover: CPU time limit exceeded, terminating
% 96.15/93.35 eprover: CPU time limit exceeded, terminating
% 98.15/95.36 eprover: CPU time limit exceeded, terminating
% 100.22/97.37 eprover: CPU time limit exceeded, terminating
% 102.24/99.38 eprover: CPU time limit exceeded, terminating
% 104.26/101.39 eprover: CPU time limit exceeded, terminating
% 106.31/103.40 eprover: CPU time limit exceeded, terminating
% 108.39/105.41 eprover: CPU time limit exceeded, terminating
% 110.45/107.42 eprover: CPU time limit exceeded, terminating
% 112.48/109.43 eprover: CPU time limit exceeded, terminating
% 114.49/111.44 eprover: CPU time limit exceeded, terminating
% 116.49/113.45 eprover: CPU time limit exceeded, terminating
% 118.54/115.46 eprover: CPU time limit exceeded, terminating
% 120.62/117.47 eprover: CPU time limit exceeded, terminating
% 122.58/119.48 eprover: CPU time limit exceeded, terminating
% 124.64/121.49 eprover: CPU time limit exceeded, terminating
% 126.69/123.50 eprover: CPU time limit exceeded, terminating
% 128.76/125.51 eprover: CPU time limit exceeded, terminating
% 130.76/127.52 eprover: CPU time limit exceeded, terminating
% 132.80/129.53 eprover: CPU time limit exceeded, terminating
% 134.79/131.54 eprover: CPU time limit exceeded, terminating
% 136.88/133.55 eprover: CPU time limit exceeded, terminating
% 138.86/135.56 eprover: CPU time limit exceeded, terminating
% 140.97/137.57 eprover: CPU time limit exceeded, terminating
% 142.95/139.58 eprover: CPU time limit exceeded, terminating
% 145.01/141.59 eprover: CPU time limit exceeded, terminating
% 147.05/143.60 eprover: CPU time limit exceeded, terminating
% 149.03/145.61 eprover: CPU time limit exceeded, terminating
% 151.14/147.62 eprover: CPU time limit exceeded, terminating
% 153.15/149.63 eprover: CPU time limit exceeded, terminating
% 155.17/151.64 eprover: CPU time limit exceeded, terminating
% 157.25/153.65 eprover: CPU time limit exceeded, terminating
% 159.22/155.66 eprover: CPU time limit exceeded, terminating
% 161.28/157.67 eprover: CPU time limit exceeded, terminating
% 163.30/159.68 eprover: CPU time limit exceeded, terminating
% 165.33/161.69 eprover: CPU time limit exceeded, terminating
% 167.39/163.70 eprover: CPU time limit exceeded, terminating
% 169.45/165.71 eprover: CPU time limit exceeded, terminating
% 171.44/167.72 eprover: CPU time limit exceeded, terminating
% 173.51/169.73 eprover: CPU time limit exceeded, terminating
% 175.52/171.74 eprover: CPU time limit exceeded, terminating
% 177.58/173.75 eprover: CPU time limit exceeded, terminating
% 179.56/175.76 eprover: CPU time limit exceeded, terminating
% 181.67/177.77 eprover: CPU time limit exceeded, terminating
% 183.62/179.78 eprover: CPU time limit exceeded, terminating
% 185.72/181.79 eprover: CPU time limit exceeded, terminating
% 187.76/183.80 eprover: CPU time limit exceeded, terminating
% 189.78/185.81 eprover: CPU time limit exceeded, terminating
% 191.82/187.82 eprover: CPU time limit exceeded, terminating
% 193.85/189.83 eprover: CPU time limit exceeded, terminating
% 195.91/191.84 eprover: CPU time limit exceeded, terminating
% 197.90/193.85 eprover: CPU time limit exceeded, terminating
% 199.94/195.86 eprover: CPU time limit exceeded, terminating
% 202.00/197.87 eprover: CPU time limit exceeded, terminating
% 204.06/199.88 eprover: CPU time limit exceeded, terminating
% 206.04/201.90 eprover: CPU time limit exceeded, terminating
% 208.12/203.91 eprover: CPU time limit exceeded, terminating
% 210.16/205.92 eprover: CPU time limit exceeded, terminating
% 212.20/207.93 eprover: CPU time limit exceeded, terminating
% 214.19/209.94 eprover: CPU time limit exceeded, terminating
% 216.25/211.95 eprover: CPU time limit exceeded, terminating
% 218.26/213.96 eprover: CPU time limit exceeded, terminating
% 220.30/215.97 eprover: CPU time limit exceeded, terminating
% 222.32/217.98 eprover: CPU time limit exceeded, terminating
% 224.36/219.99 eprover: CPU time limit exceeded, terminating
% 226.44/222.00 eprover: CPU time limit exceeded, terminating
% 228.44/224.01 eprover: CPU time limit exceeded, terminating
% 230.50/226.02 eprover: CPU time limit exceeded, terminating
% 232.49/228.03 eprover: CPU time limit exceeded, terminating
% 234.57/230.04 eprover: CPU time limit exceeded, terminating
% 236.56/232.05 eprover: CPU time limit exceeded, terminating
% 238.64/234.06 eprover: CPU time limit exceeded, terminating
% 240.61/236.07 eprover: CPU time limit exceeded, terminating
% 242.68/238.08 eprover: CPU time limit exceeded, terminating
% 244.67/240.09 eprover: CPU time limit exceeded, terminating
% 246.73/242.10 eprover: CPU time limit exceeded, terminating
% 248.75/244.11 eprover: CPU time limit exceeded, terminating
% 250.84/246.12 eprover: CPU time limit exceeded, terminating
% 252.87/248.13 eprover: CPU time limit exceeded, terminating
% 254.88/250.14 eprover: CPU time limit exceeded, terminating
% 256.96/252.15 eprover: CPU time limit exceeded, terminating
% 258.95/254.17 eprover: CPU time limit exceeded, terminating
% 260.99/256.18 eprover: CPU time limit exceeded, terminating
% 263.01/258.19 eprover: CPU time limit exceeded, terminating
% 265.10/260.20 eprover: CPU time limit exceeded, terminating
% 267.12/262.21 eprover: CPU time limit exceeded, terminating
% 269.17/264.22 eprover: CPU time limit exceeded, terminating
% 271.20/266.23 eprover: CPU time limit exceeded, terminating
% 273.19/268.24 eprover: CPU time limit exceeded, terminating
% 275.20/270.25 eprover: CPU time limit exceeded, terminating
% 277.23/272.26 eprover: CPU time limit exceeded, terminating
% 279.34/274.27 eprover: CPU time limit exceeded, terminating
% 281.33/276.28 eprover: CPU time limit exceeded, terminating
% 283.41/278.29 eprover: CPU time limit exceeded, terminating
% 285.43/280.30 eprover: CPU time limit exceeded, terminating
% 287.48/282.31 eprover: CPU time limit exceeded, terminating
% 289.49/284.32 eprover: CPU time limit exceeded, terminating
% 291.55/286.33 eprover: CPU time limit exceeded, terminating
% 293.53/288.34 eprover: CPU time limit exceeded, terminating
% 295.62/290.35 eprover: CPU time limit exceeded, terminating
% 297.59/292.36 eprover: CPU time limit exceeded, terminating
% 299.66/294.37 eprover: CPU time limit exceeded, terminating
% 300.07/294.72 eprover: CPU time limit exceeded, terminating
% 300.07/294.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------