TSTP Solution File: NUM791+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM791+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:53 EDT 2022
% Result : Timeout 286.65s 276.01s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : NUM791+4 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n013.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Wed Jul 6 04:17:59 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.08/4.24 eprover: CPU time limit exceeded, terminating
% 6.18/6.26 eprover: CPU time limit exceeded, terminating
% 8.26/8.27 eprover: CPU time limit exceeded, terminating
% 10.34/10.28 eprover: CPU time limit exceeded, terminating
% 12.45/12.29 eprover: CPU time limit exceeded, terminating
% 14.59/14.30 eprover: CPU time limit exceeded, terminating
% 16.67/16.32 eprover: CPU time limit exceeded, terminating
% 18.77/18.33 eprover: CPU time limit exceeded, terminating
% 20.82/20.34 eprover: CPU time limit exceeded, terminating
% 22.90/22.35 eprover: CPU time limit exceeded, terminating
% 24.96/24.37 eprover: CPU time limit exceeded, terminating
% 27.05/26.38 eprover: CPU time limit exceeded, terminating
% 29.17/28.39 eprover: CPU time limit exceeded, terminating
% 31.23/30.40 eprover: CPU time limit exceeded, terminating
% 33.33/32.42 eprover: CPU time limit exceeded, terminating
% 35.48/34.43 eprover: CPU time limit exceeded, terminating
% 37.58/36.44 eprover: CPU time limit exceeded, terminating
% 39.67/38.46 eprover: CPU time limit exceeded, terminating
% 41.74/40.47 eprover: CPU time limit exceeded, terminating
% 43.82/42.48 eprover: CPU time limit exceeded, terminating
% 45.91/44.50 eprover: CPU time limit exceeded, terminating
% 48.07/46.51 eprover: CPU time limit exceeded, terminating
% 50.13/48.52 eprover: CPU time limit exceeded, terminating
% 52.23/50.53 eprover: CPU time limit exceeded, terminating
% 54.33/52.55 eprover: CPU time limit exceeded, terminating
% 56.40/54.56 eprover: CPU time limit exceeded, terminating
% 58.50/56.57 eprover: CPU time limit exceeded, terminating
% 60.59/58.58 eprover: CPU time limit exceeded, terminating
% 62.75/60.60 eprover: CPU time limit exceeded, terminating
% 64.82/62.61 eprover: CPU time limit exceeded, terminating
% 66.90/64.62 eprover: CPU time limit exceeded, terminating
% 69.01/66.64 eprover: CPU time limit exceeded, terminating
% 71.09/68.65 eprover: CPU time limit exceeded, terminating
% 73.16/70.66 eprover: CPU time limit exceeded, terminating
% 75.21/72.67 eprover: CPU time limit exceeded, terminating
% 77.33/74.69 eprover: CPU time limit exceeded, terminating
% 79.48/76.70 eprover: CPU time limit exceeded, terminating
% 81.56/78.71 eprover: CPU time limit exceeded, terminating
% 83.64/80.72 eprover: CPU time limit exceeded, terminating
% 85.75/82.74 eprover: CPU time limit exceeded, terminating
% 87.82/84.75 eprover: CPU time limit exceeded, terminating
% 89.88/86.76 eprover: CPU time limit exceeded, terminating
% 91.97/88.78 eprover: CPU time limit exceeded, terminating
% 94.14/90.79 eprover: CPU time limit exceeded, terminating
% 96.16/92.80 eprover: CPU time limit exceeded, terminating
% 98.32/94.81 eprover: CPU time limit exceeded, terminating
% 100.39/96.83 eprover: CPU time limit exceeded, terminating
% 102.47/98.84 eprover: CPU time limit exceeded, terminating
% 104.57/100.85 eprover: CPU time limit exceeded, terminating
% 106.63/102.87 eprover: CPU time limit exceeded, terminating
% 108.73/104.88 eprover: CPU time limit exceeded, terminating
% 110.81/106.89 eprover: CPU time limit exceeded, terminating
% 112.96/108.91 eprover: CPU time limit exceeded, terminating
% 115.05/110.92 eprover: CPU time limit exceeded, terminating
% 117.14/112.93 eprover: CPU time limit exceeded, terminating
% 119.23/114.94 eprover: CPU time limit exceeded, terminating
% 121.29/116.96 eprover: CPU time limit exceeded, terminating
% 123.39/118.97 eprover: CPU time limit exceeded, terminating
% 125.47/120.98 eprover: CPU time limit exceeded, terminating
% 127.60/122.99 eprover: CPU time limit exceeded, terminating
% 129.70/125.02 eprover: CPU time limit exceeded, terminating
% 131.77/127.03 eprover: CPU time limit exceeded, terminating
% 133.86/129.05 eprover: CPU time limit exceeded, terminating
% 135.94/131.07 eprover: CPU time limit exceeded, terminating
% 138.09/133.09 eprover: CPU time limit exceeded, terminating
% 140.17/135.12 eprover: CPU time limit exceeded, terminating
% 142.23/137.13 eprover: CPU time limit exceeded, terminating
% 144.34/139.14 eprover: CPU time limit exceeded, terminating
% 146.37/141.15 eprover: CPU time limit exceeded, terminating
% 148.48/143.17 eprover: CPU time limit exceeded, terminating
% 150.55/145.18 eprover: CPU time limit exceeded, terminating
% 152.61/147.19 eprover: CPU time limit exceeded, terminating
% 154.79/149.20 eprover: CPU time limit exceeded, terminating
% 156.87/151.22 eprover: CPU time limit exceeded, terminating
% 158.95/153.23 eprover: CPU time limit exceeded, terminating
% 161.01/155.24 eprover: CPU time limit exceeded, terminating
% 163.11/157.25 eprover: CPU time limit exceeded, terminating
% 165.17/159.26 eprover: CPU time limit exceeded, terminating
% 167.26/161.28 eprover: CPU time limit exceeded, terminating
% 169.33/163.29 eprover: CPU time limit exceeded, terminating
% 171.41/165.30 eprover: CPU time limit exceeded, terminating
% 173.56/167.32 eprover: CPU time limit exceeded, terminating
% 175.66/169.33 eprover: CPU time limit exceeded, terminating
% 177.75/171.34 eprover: CPU time limit exceeded, terminating
% 179.81/173.35 eprover: CPU time limit exceeded, terminating
% 181.90/175.37 eprover: CPU time limit exceeded, terminating
% 184.00/177.38 eprover: CPU time limit exceeded, terminating
% 186.12/179.39 eprover: CPU time limit exceeded, terminating
% 188.22/181.40 eprover: CPU time limit exceeded, terminating
% 190.32/183.42 eprover: CPU time limit exceeded, terminating
% 192.40/185.43 eprover: CPU time limit exceeded, terminating
% 194.48/187.44 eprover: CPU time limit exceeded, terminating
% 196.57/189.45 eprover: CPU time limit exceeded, terminating
% 198.65/191.47 eprover: CPU time limit exceeded, terminating
% 200.72/193.48 eprover: CPU time limit exceeded, terminating
% 202.88/195.49 eprover: CPU time limit exceeded, terminating
% 204.89/197.51 eprover: CPU time limit exceeded, terminating
% 207.05/199.52 eprover: CPU time limit exceeded, terminating
% 209.13/201.53 eprover: CPU time limit exceeded, terminating
% 211.24/203.54 eprover: CPU time limit exceeded, terminating
% 213.32/205.56 eprover: CPU time limit exceeded, terminating
% 215.41/207.57 eprover: CPU time limit exceeded, terminating
% 217.46/209.58 eprover: CPU time limit exceeded, terminating
% 219.56/211.60 eprover: CPU time limit exceeded, terminating
% 221.72/213.61 eprover: CPU time limit exceeded, terminating
% 223.83/215.62 eprover: CPU time limit exceeded, terminating
% 225.89/217.64 eprover: CPU time limit exceeded, terminating
% 227.97/219.65 eprover: CPU time limit exceeded, terminating
% 230.06/221.66 eprover: CPU time limit exceeded, terminating
% 232.14/223.67 eprover: CPU time limit exceeded, terminating
% 234.21/225.69 eprover: CPU time limit exceeded, terminating
% 236.41/227.70 eprover: CPU time limit exceeded, terminating
% 238.48/229.71 eprover: CPU time limit exceeded, terminating
% 240.54/231.73 eprover: CPU time limit exceeded, terminating
% 242.62/233.74 eprover: CPU time limit exceeded, terminating
% 244.72/235.75 eprover: CPU time limit exceeded, terminating
% 246.80/237.77 eprover: CPU time limit exceeded, terminating
% 248.92/239.78 eprover: CPU time limit exceeded, terminating
% 251.05/241.79 eprover: CPU time limit exceeded, terminating
% 253.15/243.80 eprover: CPU time limit exceeded, terminating
% 255.23/245.82 eprover: CPU time limit exceeded, terminating
% 257.31/247.83 eprover: CPU time limit exceeded, terminating
% 259.40/249.84 eprover: CPU time limit exceeded, terminating
% 261.47/251.86 eprover: CPU time limit exceeded, terminating
% 263.57/253.87 eprover: CPU time limit exceeded, terminating
% 265.63/255.88 eprover: CPU time limit exceeded, terminating
% 267.74/257.90 eprover: CPU time limit exceeded, terminating
% 269.82/259.91 eprover: CPU time limit exceeded, terminating
% 271.98/261.92 eprover: CPU time limit exceeded, terminating
% 274.09/263.93 eprover: CPU time limit exceeded, terminating
% 276.13/265.95 eprover: CPU time limit exceeded, terminating
% 278.26/267.96 eprover: CPU time limit exceeded, terminating
% 280.31/269.97 eprover: CPU time limit exceeded, terminating
% 282.39/271.99 eprover: CPU time limit exceeded, terminating
% 284.58/274.00 eprover: CPU time limit exceeded, terminating
% 286.65/276.01 eprover: CPU time limit exceeded, terminating
% 288.73/278.02 eprover: CPU time limit exceeded, terminating
% 290.83/280.04 eprover: CPU time limit exceeded, terminating
% 292.91/282.05 eprover: CPU time limit exceeded, terminating
% 295.00/284.06 eprover: CPU time limit exceeded, terminating
% 297.07/286.07 eprover: CPU time limit exceeded, terminating
% 299.22/288.08 eprover: CPU time limit exceeded, terminating
% 300.03/288.81 eprover: CPU time limit exceeded, terminating
% 300.03/288.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------