TSTP Solution File: NUM788+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM788+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:50 EDT 2022
% Result : Timeout 286.31s 276.18s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUM788+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n021.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue Jul 5 05:28:02 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.44/4.56 eprover: CPU time limit exceeded, terminating
% 6.46/6.57 eprover: CPU time limit exceeded, terminating
% 8.58/8.58 eprover: CPU time limit exceeded, terminating
% 10.71/10.59 eprover: CPU time limit exceeded, terminating
% 12.73/12.60 eprover: CPU time limit exceeded, terminating
% 14.86/14.61 eprover: CPU time limit exceeded, terminating
% 16.97/16.62 eprover: CPU time limit exceeded, terminating
% 19.00/18.63 eprover: CPU time limit exceeded, terminating
% 21.11/20.64 eprover: CPU time limit exceeded, terminating
% 23.15/22.65 eprover: CPU time limit exceeded, terminating
% 25.30/24.66 eprover: CPU time limit exceeded, terminating
% 27.35/26.67 eprover: CPU time limit exceeded, terminating
% 29.46/28.68 eprover: CPU time limit exceeded, terminating
% 31.60/30.69 eprover: CPU time limit exceeded, terminating
% 33.62/32.70 eprover: CPU time limit exceeded, terminating
% 35.76/34.71 eprover: CPU time limit exceeded, terminating
% 37.77/36.72 eprover: CPU time limit exceeded, terminating
% 39.90/38.73 eprover: CPU time limit exceeded, terminating
% 42.02/40.74 eprover: CPU time limit exceeded, terminating
% 44.05/42.75 eprover: CPU time limit exceeded, terminating
% 46.20/44.76 eprover: CPU time limit exceeded, terminating
% 48.33/46.77 eprover: CPU time limit exceeded, terminating
% 50.38/48.78 eprover: CPU time limit exceeded, terminating
% 52.49/50.79 eprover: CPU time limit exceeded, terminating
% 54.52/52.80 eprover: CPU time limit exceeded, terminating
% 56.65/54.81 eprover: CPU time limit exceeded, terminating
% 58.68/56.81 eprover: CPU time limit exceeded, terminating
% 60.83/58.82 eprover: CPU time limit exceeded, terminating
% 62.91/60.83 eprover: CPU time limit exceeded, terminating
% 64.97/62.84 eprover: CPU time limit exceeded, terminating
% 67.06/64.85 eprover: CPU time limit exceeded, terminating
% 69.17/66.86 eprover: CPU time limit exceeded, terminating
% 71.24/68.87 eprover: CPU time limit exceeded, terminating
% 73.33/70.88 eprover: CPU time limit exceeded, terminating
% 75.39/72.89 eprover: CPU time limit exceeded, terminating
% 77.56/74.90 eprover: CPU time limit exceeded, terminating
% 79.63/76.91 eprover: CPU time limit exceeded, terminating
% 81.72/78.92 eprover: CPU time limit exceeded, terminating
% 83.81/80.93 eprover: CPU time limit exceeded, terminating
% 85.88/82.94 eprover: CPU time limit exceeded, terminating
% 87.94/84.95 eprover: CPU time limit exceeded, terminating
% 90.05/86.96 eprover: CPU time limit exceeded, terminating
% 92.14/88.97 eprover: CPU time limit exceeded, terminating
% 94.21/90.98 eprover: CPU time limit exceeded, terminating
% 96.37/92.99 eprover: CPU time limit exceeded, terminating
% 98.45/95.00 eprover: CPU time limit exceeded, terminating
% 100.53/97.01 eprover: CPU time limit exceeded, terminating
% 102.62/99.02 eprover: CPU time limit exceeded, terminating
% 104.70/101.03 eprover: CPU time limit exceeded, terminating
% 106.79/103.04 eprover: CPU time limit exceeded, terminating
% 108.87/105.05 eprover: CPU time limit exceeded, terminating
% 110.95/107.06 eprover: CPU time limit exceeded, terminating
% 113.03/109.07 eprover: CPU time limit exceeded, terminating
% 115.10/111.08 eprover: CPU time limit exceeded, terminating
% 117.19/113.09 eprover: CPU time limit exceeded, terminating
% 119.37/115.10 eprover: CPU time limit exceeded, terminating
% 121.44/117.11 eprover: CPU time limit exceeded, terminating
% 123.53/119.12 eprover: CPU time limit exceeded, terminating
% 125.59/121.13 eprover: CPU time limit exceeded, terminating
% 127.68/123.14 eprover: CPU time limit exceeded, terminating
% 129.76/125.15 eprover: CPU time limit exceeded, terminating
% 131.82/127.16 eprover: CPU time limit exceeded, terminating
% 133.92/129.17 eprover: CPU time limit exceeded, terminating
% 136.01/131.17 eprover: CPU time limit exceeded, terminating
% 138.09/133.18 eprover: CPU time limit exceeded, terminating
% 140.16/135.19 eprover: CPU time limit exceeded, terminating
% 142.24/137.20 eprover: CPU time limit exceeded, terminating
% 144.40/139.21 eprover: CPU time limit exceeded, terminating
% 146.49/141.22 eprover: CPU time limit exceeded, terminating
% 148.57/143.23 eprover: CPU time limit exceeded, terminating
% 150.65/145.24 eprover: CPU time limit exceeded, terminating
% 152.73/147.25 eprover: CPU time limit exceeded, terminating
% 154.81/149.26 eprover: CPU time limit exceeded, terminating
% 156.88/151.27 eprover: CPU time limit exceeded, terminating
% 158.97/153.28 eprover: CPU time limit exceeded, terminating
% 161.13/155.29 eprover: CPU time limit exceeded, terminating
% 163.20/157.31 eprover: CPU time limit exceeded, terminating
% 165.28/159.32 eprover: CPU time limit exceeded, terminating
% 167.33/161.33 eprover: CPU time limit exceeded, terminating
% 169.44/163.34 eprover: CPU time limit exceeded, terminating
% 171.50/165.35 eprover: CPU time limit exceeded, terminating
% 173.58/167.37 eprover: CPU time limit exceeded, terminating
% 175.66/169.39 eprover: CPU time limit exceeded, terminating
% 177.80/171.40 eprover: CPU time limit exceeded, terminating
% 179.88/173.41 eprover: CPU time limit exceeded, terminating
% 181.94/175.43 eprover: CPU time limit exceeded, terminating
% 184.00/177.44 eprover: CPU time limit exceeded, terminating
% 186.10/179.46 eprover: CPU time limit exceeded, terminating
% 188.17/181.47 eprover: CPU time limit exceeded, terminating
% 190.24/183.48 eprover: CPU time limit exceeded, terminating
% 192.31/185.50 eprover: CPU time limit exceeded, terminating
% 194.49/187.51 eprover: CPU time limit exceeded, terminating
% 196.57/189.52 eprover: CPU time limit exceeded, terminating
% 198.63/191.54 eprover: CPU time limit exceeded, terminating
% 200.70/193.55 eprover: CPU time limit exceeded, terminating
% 202.74/195.59 eprover: CPU time limit exceeded, terminating
% 204.89/197.60 eprover: CPU time limit exceeded, terminating
% 206.99/199.62 eprover: CPU time limit exceeded, terminating
% 209.07/201.63 eprover: CPU time limit exceeded, terminating
% 211.11/203.64 eprover: CPU time limit exceeded, terminating
% 213.21/205.66 eprover: CPU time limit exceeded, terminating
% 215.30/207.67 eprover: CPU time limit exceeded, terminating
% 217.35/209.69 eprover: CPU time limit exceeded, terminating
% 219.52/211.70 eprover: CPU time limit exceeded, terminating
% 221.52/213.71 eprover: CPU time limit exceeded, terminating
% 223.69/215.72 eprover: CPU time limit exceeded, terminating
% 225.75/217.74 eprover: CPU time limit exceeded, terminating
% 227.84/219.75 eprover: CPU time limit exceeded, terminating
% 229.92/221.77 eprover: CPU time limit exceeded, terminating
% 232.06/223.79 eprover: CPU time limit exceeded, terminating
% 234.14/225.80 eprover: CPU time limit exceeded, terminating
% 236.22/227.81 eprover: CPU time limit exceeded, terminating
% 238.30/229.82 eprover: CPU time limit exceeded, terminating
% 240.34/231.87 eprover: CPU time limit exceeded, terminating
% 242.47/233.88 eprover: CPU time limit exceeded, terminating
% 244.49/235.89 eprover: CPU time limit exceeded, terminating
% 246.64/237.91 eprover: CPU time limit exceeded, terminating
% 248.73/239.92 eprover: CPU time limit exceeded, terminating
% 250.81/241.94 eprover: CPU time limit exceeded, terminating
% 252.89/243.96 eprover: CPU time limit exceeded, terminating
% 254.97/245.97 eprover: CPU time limit exceeded, terminating
% 257.09/247.98 eprover: CPU time limit exceeded, terminating
% 259.18/249.99 eprover: CPU time limit exceeded, terminating
% 261.26/252.00 eprover: CPU time limit exceeded, terminating
% 263.36/254.02 eprover: CPU time limit exceeded, terminating
% 265.45/256.03 eprover: CPU time limit exceeded, terminating
% 267.54/258.05 eprover: CPU time limit exceeded, terminating
% 269.59/260.06 eprover: CPU time limit exceeded, terminating
% 271.70/262.09 eprover: CPU time limit exceeded, terminating
% 273.79/264.10 eprover: CPU time limit exceeded, terminating
% 275.87/266.12 eprover: CPU time limit exceeded, terminating
% 277.96/268.13 eprover: CPU time limit exceeded, terminating
% 280.00/270.14 eprover: CPU time limit exceeded, terminating
% 282.09/272.16 eprover: CPU time limit exceeded, terminating
% 284.16/274.17 eprover: CPU time limit exceeded, terminating
% 286.31/276.18 eprover: CPU time limit exceeded, terminating
% 288.31/278.20 eprover: CPU time limit exceeded, terminating
% 290.49/280.21 eprover: CPU time limit exceeded, terminating
% 292.56/282.22 eprover: CPU time limit exceeded, terminating
% 294.65/284.24 eprover: CPU time limit exceeded, terminating
% 296.70/286.26 eprover: CPU time limit exceeded, terminating
% 298.75/288.27 eprover: CPU time limit exceeded, terminating
% 300.04/289.41 eprover: CPU time limit exceeded, terminating
% 300.04/289.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------