TSTP Solution File: NUM793+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM793+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:40:55 EDT 2022
% Result : Timeout 286.71s 272.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13 % Problem : NUM793+4 : TPTP v8.1.0. Released v7.3.0.
% 0.13/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n020.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.20/0.35 % CPULimit : 300
% 0.20/0.35 % WCLimit : 600
% 0.20/0.35 % DateTime : Tue Jul 5 02:57:59 EDT 2022
% 0.20/0.35 % CPUTime :
% 4.39/4.51 eprover: CPU time limit exceeded, terminating
% 6.48/6.53 eprover: CPU time limit exceeded, terminating
% 8.58/8.54 eprover: CPU time limit exceeded, terminating
% 10.68/10.56 eprover: CPU time limit exceeded, terminating
% 12.72/12.57 eprover: CPU time limit exceeded, terminating
% 14.84/14.59 eprover: CPU time limit exceeded, terminating
% 16.95/16.60 eprover: CPU time limit exceeded, terminating
% 19.02/18.62 eprover: CPU time limit exceeded, terminating
% 21.12/20.63 eprover: CPU time limit exceeded, terminating
% 23.19/22.65 eprover: CPU time limit exceeded, terminating
% 25.34/24.66 eprover: CPU time limit exceeded, terminating
% 27.45/26.68 eprover: CPU time limit exceeded, terminating
% 29.50/28.69 eprover: CPU time limit exceeded, terminating
% 31.61/30.70 eprover: CPU time limit exceeded, terminating
% 33.70/32.72 eprover: CPU time limit exceeded, terminating
% 35.79/34.73 eprover: CPU time limit exceeded, terminating
% 37.89/36.75 eprover: CPU time limit exceeded, terminating
% 39.97/38.76 eprover: CPU time limit exceeded, terminating
% 42.08/40.78 eprover: CPU time limit exceeded, terminating
% 44.13/42.79 eprover: CPU time limit exceeded, terminating
% 48.19/44.81 eprover: CPU time limit exceeded, terminating
% 50.27/46.82 eprover: CPU time limit exceeded, terminating
% 52.40/48.83 eprover: CPU time limit exceeded, terminating
% 54.50/50.85 eprover: CPU time limit exceeded, terminating
% 56.57/52.86 eprover: CPU time limit exceeded, terminating
% 58.70/54.87 eprover: CPU time limit exceeded, terminating
% 60.77/56.89 eprover: CPU time limit exceeded, terminating
% 62.82/58.90 eprover: CPU time limit exceeded, terminating
% 64.96/60.91 eprover: CPU time limit exceeded, terminating
% 67.08/62.93 eprover: CPU time limit exceeded, terminating
% 69.18/64.94 eprover: CPU time limit exceeded, terminating
% 71.25/66.96 eprover: CPU time limit exceeded, terminating
% 73.36/68.97 eprover: CPU time limit exceeded, terminating
% 75.39/70.99 eprover: CPU time limit exceeded, terminating
% 77.54/73.00 eprover: CPU time limit exceeded, terminating
% 79.67/75.01 eprover: CPU time limit exceeded, terminating
% 81.73/77.03 eprover: CPU time limit exceeded, terminating
% 83.84/79.04 eprover: CPU time limit exceeded, terminating
% 85.95/81.05 eprover: CPU time limit exceeded, terminating
% 88.04/83.07 eprover: CPU time limit exceeded, terminating
% 90.12/85.08 eprover: CPU time limit exceeded, terminating
% 92.25/87.10 eprover: CPU time limit exceeded, terminating
% 94.35/89.11 eprover: CPU time limit exceeded, terminating
% 96.41/91.13 eprover: CPU time limit exceeded, terminating
% 98.52/93.14 eprover: CPU time limit exceeded, terminating
% 102.55/95.16 eprover: CPU time limit exceeded, terminating
% 104.64/97.17 eprover: CPU time limit exceeded, terminating
% 106.81/99.19 eprover: CPU time limit exceeded, terminating
% 108.88/101.20 eprover: CPU time limit exceeded, terminating
% 110.98/103.21 eprover: CPU time limit exceeded, terminating
% 113.09/105.22 eprover: CPU time limit exceeded, terminating
% 115.11/107.24 eprover: CPU time limit exceeded, terminating
% 117.20/109.25 eprover: CPU time limit exceeded, terminating
% 119.33/111.26 eprover: CPU time limit exceeded, terminating
% 121.37/113.28 eprover: CPU time limit exceeded, terminating
% 123.54/115.29 eprover: CPU time limit exceeded, terminating
% 125.64/117.30 eprover: CPU time limit exceeded, terminating
% 127.72/119.32 eprover: CPU time limit exceeded, terminating
% 129.83/121.33 eprover: CPU time limit exceeded, terminating
% 131.89/123.34 eprover: CPU time limit exceeded, terminating
% 134.01/125.35 eprover: CPU time limit exceeded, terminating
% 136.02/127.37 eprover: CPU time limit exceeded, terminating
% 138.20/129.38 eprover: CPU time limit exceeded, terminating
% 140.27/131.40 eprover: CPU time limit exceeded, terminating
% 142.32/133.41 eprover: CPU time limit exceeded, terminating
% 144.47/135.42 eprover: CPU time limit exceeded, terminating
% 146.53/137.43 eprover: CPU time limit exceeded, terminating
% 148.66/139.45 eprover: CPU time limit exceeded, terminating
% 150.71/141.46 eprover: CPU time limit exceeded, terminating
% 152.83/143.47 eprover: CPU time limit exceeded, terminating
% 154.86/145.49 eprover: CPU time limit exceeded, terminating
% 157.02/147.50 eprover: CPU time limit exceeded, terminating
% 159.12/149.51 eprover: CPU time limit exceeded, terminating
% 161.20/151.53 eprover: CPU time limit exceeded, terminating
% 163.27/153.54 eprover: CPU time limit exceeded, terminating
% 165.38/155.55 eprover: CPU time limit exceeded, terminating
% 167.51/157.57 eprover: CPU time limit exceeded, terminating
% 169.54/159.58 eprover: CPU time limit exceeded, terminating
% 171.68/161.59 eprover: CPU time limit exceeded, terminating
% 173.79/163.61 eprover: CPU time limit exceeded, terminating
% 175.86/165.62 eprover: CPU time limit exceeded, terminating
% 177.98/167.63 eprover: CPU time limit exceeded, terminating
% 180.06/169.65 eprover: CPU time limit exceeded, terminating
% 182.14/171.66 eprover: CPU time limit exceeded, terminating
% 184.26/173.67 eprover: CPU time limit exceeded, terminating
% 186.34/175.69 eprover: CPU time limit exceeded, terminating
% 188.41/177.70 eprover: CPU time limit exceeded, terminating
% 190.52/179.71 eprover: CPU time limit exceeded, terminating
% 192.63/181.73 eprover: CPU time limit exceeded, terminating
% 194.69/183.74 eprover: CPU time limit exceeded, terminating
% 196.80/185.76 eprover: CPU time limit exceeded, terminating
% 198.90/187.77 eprover: CPU time limit exceeded, terminating
% 200.93/189.78 eprover: CPU time limit exceeded, terminating
% 203.09/191.80 eprover: CPU time limit exceeded, terminating
% 205.17/193.81 eprover: CPU time limit exceeded, terminating
% 207.25/195.82 eprover: CPU time limit exceeded, terminating
% 209.35/197.84 eprover: CPU time limit exceeded, terminating
% 211.46/199.85 eprover: CPU time limit exceeded, terminating
% 213.56/201.87 eprover: CPU time limit exceeded, terminating
% 215.67/203.88 eprover: CPU time limit exceeded, terminating
% 217.72/205.89 eprover: CPU time limit exceeded, terminating
% 219.83/207.91 eprover: CPU time limit exceeded, terminating
% 221.92/209.92 eprover: CPU time limit exceeded, terminating
% 224.04/211.94 eprover: CPU time limit exceeded, terminating
% 226.10/213.95 eprover: CPU time limit exceeded, terminating
% 228.16/215.96 eprover: CPU time limit exceeded, terminating
% 230.27/217.97 eprover: CPU time limit exceeded, terminating
% 232.34/219.99 eprover: CPU time limit exceeded, terminating
% 234.49/222.00 eprover: CPU time limit exceeded, terminating
% 236.54/224.01 eprover: CPU time limit exceeded, terminating
% 238.65/226.03 eprover: CPU time limit exceeded, terminating
% 240.76/228.04 eprover: CPU time limit exceeded, terminating
% 242.78/230.05 eprover: CPU time limit exceeded, terminating
% 244.91/232.07 eprover: CPU time limit exceeded, terminating
% 247.04/234.08 eprover: CPU time limit exceeded, terminating
% 249.08/236.09 eprover: CPU time limit exceeded, terminating
% 251.21/238.10 eprover: CPU time limit exceeded, terminating
% 253.31/240.11 eprover: CPU time limit exceeded, terminating
% 255.41/242.12 eprover: CPU time limit exceeded, terminating
% 257.42/244.13 eprover: CPU time limit exceeded, terminating
% 259.58/246.14 eprover: CPU time limit exceeded, terminating
% 261.65/248.15 eprover: CPU time limit exceeded, terminating
% 263.68/250.16 eprover: CPU time limit exceeded, terminating
% 265.82/252.17 eprover: CPU time limit exceeded, terminating
% 267.88/254.18 eprover: CPU time limit exceeded, terminating
% 270.01/256.19 eprover: CPU time limit exceeded, terminating
% 272.05/258.21 eprover: CPU time limit exceeded, terminating
% 274.15/260.22 eprover: CPU time limit exceeded, terminating
% 276.30/262.23 eprover: CPU time limit exceeded, terminating
% 278.38/264.24 eprover: CPU time limit exceeded, terminating
% 280.45/266.26 eprover: CPU time limit exceeded, terminating
% 282.54/268.27 eprover: CPU time limit exceeded, terminating
% 284.62/270.28 eprover: CPU time limit exceeded, terminating
% 286.71/272.30 eprover: CPU time limit exceeded, terminating
% 288.79/274.31 eprover: CPU time limit exceeded, terminating
% 290.93/276.32 eprover: CPU time limit exceeded, terminating
% 292.95/278.34 eprover: CPU time limit exceeded, terminating
% 295.11/280.35 eprover: CPU time limit exceeded, terminating
% 297.21/282.36 eprover: CPU time limit exceeded, terminating
% 299.28/284.37 eprover: CPU time limit exceeded, terminating
% 300.07/285.07 eprover: CPU time limit exceeded, terminating
% 300.07/285.08 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------