TSTP Solution File: NUM203-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM203-1 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:35:18 EDT 2022
% Result : Timeout 286.59s 285.90s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.07 % Problem : NUM203-1 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.04/0.07 % Command : run_infinox %s
% 0.06/0.26 % Computer : n024.cluster.edu
% 0.06/0.26 % Model : x86_64 x86_64
% 0.06/0.26 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.06/0.26 % Memory : 8042.1875MB
% 0.06/0.26 % OS : Linux 3.10.0-693.el7.x86_64
% 0.06/0.26 % CPULimit : 300
% 0.06/0.26 % WCLimit : 600
% 0.06/0.26 % DateTime : Wed Jul 6 20:57:44 EDT 2022
% 0.06/0.26 % CPUTime :
% 2.12/2.32 eprover: CPU time limit exceeded, terminating
% 4.08/4.33 eprover: CPU time limit exceeded, terminating
% 6.12/6.34 eprover: CPU time limit exceeded, terminating
% 8.12/8.35 eprover: CPU time limit exceeded, terminating
% 10.18/10.36 eprover: CPU time limit exceeded, terminating
% 12.18/12.37 eprover: CPU time limit exceeded, terminating
% 14.23/14.38 eprover: CPU time limit exceeded, terminating
% 16.20/16.39 eprover: CPU time limit exceeded, terminating
% 18.24/18.41 eprover: CPU time limit exceeded, terminating
% 20.29/20.42 eprover: CPU time limit exceeded, terminating
% 22.26/22.43 eprover: CPU time limit exceeded, terminating
% 24.27/24.44 eprover: CPU time limit exceeded, terminating
% 26.29/26.45 eprover: CPU time limit exceeded, terminating
% 28.31/28.46 eprover: CPU time limit exceeded, terminating
% 30.34/30.47 eprover: CPU time limit exceeded, terminating
% 32.36/32.48 eprover: CPU time limit exceeded, terminating
% 34.35/34.50 eprover: CPU time limit exceeded, terminating
% 36.36/36.51 eprover: CPU time limit exceeded, terminating
% 38.40/38.52 eprover: CPU time limit exceeded, terminating
% 40.38/40.53 eprover: CPU time limit exceeded, terminating
% 42.47/42.53 eprover: CPU time limit exceeded, terminating
% 44.40/44.54 eprover: CPU time limit exceeded, terminating
% 46.49/46.56 eprover: CPU time limit exceeded, terminating
% 48.51/48.57 eprover: CPU time limit exceeded, terminating
% 50.52/50.57 eprover: CPU time limit exceeded, terminating
% 52.52/52.58 eprover: CPU time limit exceeded, terminating
% 54.51/54.59 eprover: CPU time limit exceeded, terminating
% 56.53/56.60 eprover: CPU time limit exceeded, terminating
% 58.58/58.62 eprover: CPU time limit exceeded, terminating
% 60.56/60.63 eprover: CPU time limit exceeded, terminating
% 62.64/62.65 eprover: CPU time limit exceeded, terminating
% 64.65/64.66 eprover: CPU time limit exceeded, terminating
% 66.65/66.67 eprover: CPU time limit exceeded, terminating
% 68.64/68.69 eprover: CPU time limit exceeded, terminating
% 70.68/70.70 eprover: CPU time limit exceeded, terminating
% 72.72/72.71 eprover: CPU time limit exceeded, terminating
% 74.71/74.72 eprover: CPU time limit exceeded, terminating
% 76.70/76.73 eprover: CPU time limit exceeded, terminating
% 78.77/78.74 eprover: CPU time limit exceeded, terminating
% 80.78/80.75 eprover: CPU time limit exceeded, terminating
% 82.80/82.76 eprover: CPU time limit exceeded, terminating
% 84.80/84.78 eprover: CPU time limit exceeded, terminating
% 86.82/86.79 eprover: CPU time limit exceeded, terminating
% 88.86/88.80 eprover: CPU time limit exceeded, terminating
% 90.82/90.81 eprover: CPU time limit exceeded, terminating
% 92.89/92.82 eprover: CPU time limit exceeded, terminating
% 94.88/94.83 eprover: CPU time limit exceeded, terminating
% 96.93/96.84 eprover: CPU time limit exceeded, terminating
% 98.92/98.85 eprover: CPU time limit exceeded, terminating
% 100.95/100.86 eprover: CPU time limit exceeded, terminating
% 102.97/102.88 eprover: CPU time limit exceeded, terminating
% 104.97/104.89 eprover: CPU time limit exceeded, terminating
% 106.97/106.90 eprover: CPU time limit exceeded, terminating
% 109.03/108.91 eprover: CPU time limit exceeded, terminating
% 111.01/110.92 eprover: CPU time limit exceeded, terminating
% 113.07/112.93 eprover: CPU time limit exceeded, terminating
% 115.04/114.94 eprover: CPU time limit exceeded, terminating
% 117.09/116.95 eprover: CPU time limit exceeded, terminating
% 119.13/118.96 eprover: CPU time limit exceeded, terminating
% 121.14/120.97 eprover: CPU time limit exceeded, terminating
% 123.16/122.99 eprover: CPU time limit exceeded, terminating
% 125.14/125.00 eprover: CPU time limit exceeded, terminating
% 127.16/127.01 eprover: CPU time limit exceeded, terminating
% 129.20/129.02 eprover: CPU time limit exceeded, terminating
% 131.24/131.03 eprover: CPU time limit exceeded, terminating
% 133.23/133.04 eprover: CPU time limit exceeded, terminating
% 135.20/135.05 eprover: CPU time limit exceeded, terminating
% 137.25/137.06 eprover: CPU time limit exceeded, terminating
% 139.27/139.09 eprover: CPU time limit exceeded, terminating
% 141.26/141.10 eprover: CPU time limit exceeded, terminating
% 143.31/143.11 eprover: CPU time limit exceeded, terminating
% 145.28/145.12 eprover: CPU time limit exceeded, terminating
% 147.36/147.13 eprover: CPU time limit exceeded, terminating
% 149.37/149.14 eprover: CPU time limit exceeded, terminating
% 151.39/151.15 eprover: CPU time limit exceeded, terminating
% 153.38/153.16 eprover: CPU time limit exceeded, terminating
% 155.42/155.17 eprover: CPU time limit exceeded, terminating
% 157.42/157.18 eprover: CPU time limit exceeded, terminating
% 159.44/159.19 eprover: CPU time limit exceeded, terminating
% 161.45/161.20 eprover: CPU time limit exceeded, terminating
% 163.46/163.21 eprover: CPU time limit exceeded, terminating
% 165.52/165.22 eprover: CPU time limit exceeded, terminating
% 167.48/167.23 eprover: CPU time limit exceeded, terminating
% 169.56/169.24 eprover: CPU time limit exceeded, terminating
% 171.56/171.25 eprover: CPU time limit exceeded, terminating
% 173.58/173.26 eprover: CPU time limit exceeded, terminating
% 175.57/175.27 eprover: CPU time limit exceeded, terminating
% 177.62/177.28 eprover: CPU time limit exceeded, terminating
% 179.59/179.30 eprover: CPU time limit exceeded, terminating
% 181.60/181.31 eprover: CPU time limit exceeded, terminating
% 183.67/183.32 eprover: CPU time limit exceeded, terminating
% 185.69/185.33 eprover: CPU time limit exceeded, terminating
% 187.68/187.34 eprover: CPU time limit exceeded, terminating
% 189.67/189.35 eprover: CPU time limit exceeded, terminating
% 191.69/191.36 eprover: CPU time limit exceeded, terminating
% 193.74/193.37 eprover: CPU time limit exceeded, terminating
% 195.78/195.38 eprover: CPU time limit exceeded, terminating
% 197.75/197.39 eprover: CPU time limit exceeded, terminating
% 199.80/199.40 eprover: CPU time limit exceeded, terminating
% 201.77/201.41 eprover: CPU time limit exceeded, terminating
% 203.84/203.43 eprover: CPU time limit exceeded, terminating
% 205.81/205.44 eprover: CPU time limit exceeded, terminating
% 207.84/207.45 eprover: CPU time limit exceeded, terminating
% 209.88/209.46 eprover: CPU time limit exceeded, terminating
% 211.90/211.48 eprover: CPU time limit exceeded, terminating
% 213.91/213.49 eprover: CPU time limit exceeded, terminating
% 215.88/215.50 eprover: CPU time limit exceeded, terminating
% 217.97/217.51 eprover: CPU time limit exceeded, terminating
% 219.93/219.52 eprover: CPU time limit exceeded, terminating
% 221.98/221.53 eprover: CPU time limit exceeded, terminating
% 224.02/223.55 eprover: CPU time limit exceeded, terminating
% 225.99/225.56 eprover: CPU time limit exceeded, terminating
% 228.04/227.57 eprover: CPU time limit exceeded, terminating
% 230.05/229.58 eprover: CPU time limit exceeded, terminating
% 232.06/231.59 eprover: CPU time limit exceeded, terminating
% 234.07/233.60 eprover: CPU time limit exceeded, terminating
% 236.13/235.61 eprover: CPU time limit exceeded, terminating
% 238.10/237.62 eprover: CPU time limit exceeded, terminating
% 240.15/239.64 eprover: CPU time limit exceeded, terminating
% 242.12/241.65 eprover: CPU time limit exceeded, terminating
% 244.19/243.66 eprover: CPU time limit exceeded, terminating
% 246.22/245.67 eprover: CPU time limit exceeded, terminating
% 248.23/247.68 eprover: CPU time limit exceeded, terminating
% 250.24/249.69 eprover: CPU time limit exceeded, terminating
% 252.24/251.70 eprover: CPU time limit exceeded, terminating
% 254.23/253.71 eprover: CPU time limit exceeded, terminating
% 256.29/255.72 eprover: CPU time limit exceeded, terminating
% 258.25/257.74 eprover: CPU time limit exceeded, terminating
% 260.32/259.75 eprover: CPU time limit exceeded, terminating
% 262.36/261.76 eprover: CPU time limit exceeded, terminating
% 264.37/263.77 eprover: CPU time limit exceeded, terminating
% 266.36/265.78 eprover: CPU time limit exceeded, terminating
% 268.39/267.79 eprover: CPU time limit exceeded, terminating
% 270.36/269.80 eprover: CPU time limit exceeded, terminating
% 272.42/271.82 eprover: CPU time limit exceeded, terminating
% 274.41/273.83 eprover: CPU time limit exceeded, terminating
% 276.45/275.84 eprover: CPU time limit exceeded, terminating
% 278.52/277.85 eprover: CPU time limit exceeded, terminating
% 280.47/279.87 eprover: CPU time limit exceeded, terminating
% 282.54/281.88 eprover: CPU time limit exceeded, terminating
% 284.56/283.89 eprover: CPU time limit exceeded, terminating
% 286.59/285.90 eprover: CPU time limit exceeded, terminating
% 288.54/287.91 eprover: CPU time limit exceeded, terminating
% 290.59/289.93 eprover: CPU time limit exceeded, terminating
% 292.57/291.94 eprover: CPU time limit exceeded, terminating
% 294.66/293.95 eprover: CPU time limit exceeded, terminating
% 296.64/295.96 eprover: CPU time limit exceeded, terminating
% 298.65/297.97 eprover: CPU time limit exceeded, terminating
% 300.08/299.36 eprover: CPU time limit exceeded, terminating
% 300.08/299.37 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------