TSTP Solution File: MVA009-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MVA009-1 : TPTP v8.1.0. Released v8.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 00:55:02 EDT 2022
% Result : Timeout 286.35s 285.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : MVA009-1 : TPTP v8.1.0. Released v8.1.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n024.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue May 31 17:04:06 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.14/2.37 eprover: CPU time limit exceeded, terminating
% 4.17/4.38 eprover: CPU time limit exceeded, terminating
% 6.22/6.40 eprover: CPU time limit exceeded, terminating
% 8.22/8.41 eprover: CPU time limit exceeded, terminating
% 10.23/10.42 eprover: CPU time limit exceeded, terminating
% 12.25/12.44 eprover: CPU time limit exceeded, terminating
% 14.24/14.45 eprover: CPU time limit exceeded, terminating
% 16.25/16.46 eprover: CPU time limit exceeded, terminating
% 18.28/18.48 eprover: CPU time limit exceeded, terminating
% 20.26/20.49 eprover: CPU time limit exceeded, terminating
% 22.33/22.50 eprover: CPU time limit exceeded, terminating
% 24.37/24.51 eprover: CPU time limit exceeded, terminating
% 26.35/26.53 eprover: CPU time limit exceeded, terminating
% 28.32/28.54 eprover: CPU time limit exceeded, terminating
% 30.35/30.56 eprover: CPU time limit exceeded, terminating
% 32.38/32.57 eprover: CPU time limit exceeded, terminating
% 34.38/34.58 eprover: CPU time limit exceeded, terminating
% 36.41/36.60 eprover: CPU time limit exceeded, terminating
% 38.49/38.61 eprover: CPU time limit exceeded, terminating
% 40.49/40.62 eprover: CPU time limit exceeded, terminating
% 42.52/42.64 eprover: CPU time limit exceeded, terminating
% 44.47/44.65 eprover: CPU time limit exceeded, terminating
% 46.54/46.67 eprover: CPU time limit exceeded, terminating
% 48.50/48.68 eprover: CPU time limit exceeded, terminating
% 50.52/50.69 eprover: CPU time limit exceeded, terminating
% 52.51/52.71 eprover: CPU time limit exceeded, terminating
% 56.48/54.72 eprover: CPU time limit exceeded, terminating
% 58.48/56.73 eprover: CPU time limit exceeded, terminating
% 60.52/58.75 eprover: CPU time limit exceeded, terminating
% 62.48/60.76 eprover: CPU time limit exceeded, terminating
% 64.51/62.78 eprover: CPU time limit exceeded, terminating
% 66.53/64.79 eprover: CPU time limit exceeded, terminating
% 68.61/66.80 eprover: CPU time limit exceeded, terminating
% 70.59/68.82 eprover: CPU time limit exceeded, terminating
% 72.60/70.83 eprover: CPU time limit exceeded, terminating
% 74.65/72.85 eprover: CPU time limit exceeded, terminating
% 76.60/74.86 eprover: CPU time limit exceeded, terminating
% 78.63/76.87 eprover: CPU time limit exceeded, terminating
% 80.64/78.89 eprover: CPU time limit exceeded, terminating
% 82.72/80.90 eprover: CPU time limit exceeded, terminating
% 84.72/82.91 eprover: CPU time limit exceeded, terminating
% 86.74/84.93 eprover: CPU time limit exceeded, terminating
% 88.75/86.94 eprover: CPU time limit exceeded, terminating
% 90.74/88.96 eprover: CPU time limit exceeded, terminating
% 92.73/90.97 eprover: CPU time limit exceeded, terminating
% 94.75/92.98 eprover: CPU time limit exceeded, terminating
% 96.82/95.00 eprover: CPU time limit exceeded, terminating
% 98.84/97.01 eprover: CPU time limit exceeded, terminating
% 100.87/99.02 eprover: CPU time limit exceeded, terminating
% 102.87/101.04 eprover: CPU time limit exceeded, terminating
% 104.86/103.05 eprover: CPU time limit exceeded, terminating
% 106.88/105.07 eprover: CPU time limit exceeded, terminating
% 108.88/107.08 eprover: CPU time limit exceeded, terminating
% 110.88/109.09 eprover: CPU time limit exceeded, terminating
% 112.97/111.11 eprover: CPU time limit exceeded, terminating
% 114.98/113.12 eprover: CPU time limit exceeded, terminating
% 116.97/115.13 eprover: CPU time limit exceeded, terminating
% 119.00/117.15 eprover: CPU time limit exceeded, terminating
% 120.97/119.16 eprover: CPU time limit exceeded, terminating
% 123.06/121.17 eprover: CPU time limit exceeded, terminating
% 124.99/123.19 eprover: CPU time limit exceeded, terminating
% 127.07/125.20 eprover: CPU time limit exceeded, terminating
% 129.09/127.21 eprover: CPU time limit exceeded, terminating
% 131.12/129.23 eprover: CPU time limit exceeded, terminating
% 133.11/131.24 eprover: CPU time limit exceeded, terminating
% 135.11/133.26 eprover: CPU time limit exceeded, terminating
% 137.08/135.27 eprover: CPU time limit exceeded, terminating
% 139.18/137.28 eprover: CPU time limit exceeded, terminating
% 141.21/139.31 eprover: CPU time limit exceeded, terminating
% 143.20/141.32 eprover: CPU time limit exceeded, terminating
% 145.23/143.34 eprover: CPU time limit exceeded, terminating
% 147.18/145.35 eprover: CPU time limit exceeded, terminating
% 149.22/147.37 eprover: CPU time limit exceeded, terminating
% 151.21/149.39 eprover: CPU time limit exceeded, terminating
% 153.29/151.41 eprover: CPU time limit exceeded, terminating
% 155.31/153.42 eprover: CPU time limit exceeded, terminating
% 157.31/155.44 eprover: CPU time limit exceeded, terminating
% 159.33/157.45 eprover: CPU time limit exceeded, terminating
% 161.30/159.47 eprover: CPU time limit exceeded, terminating
% 163.31/161.49 eprover: CPU time limit exceeded, terminating
% 165.41/163.50 eprover: CPU time limit exceeded, terminating
% 167.42/165.51 eprover: CPU time limit exceeded, terminating
% 169.39/167.53 eprover: CPU time limit exceeded, terminating
% 171.43/169.54 eprover: CPU time limit exceeded, terminating
% 173.43/171.55 eprover: CPU time limit exceeded, terminating
% 175.40/173.57 eprover: CPU time limit exceeded, terminating
% 177.42/175.58 eprover: CPU time limit exceeded, terminating
% 179.44/177.59 eprover: CPU time limit exceeded, terminating
% 181.53/179.61 eprover: CPU time limit exceeded, terminating
% 183.52/181.62 eprover: CPU time limit exceeded, terminating
% 185.56/183.69 eprover: CPU time limit exceeded, terminating
% 187.52/185.78 eprover: CPU time limit exceeded, terminating
% 189.56/187.86 eprover: CPU time limit exceeded, terminating
% 191.59/189.95 eprover: CPU time limit exceeded, terminating
% 193.59/192.02 eprover: CPU time limit exceeded, terminating
% 195.63/194.03 eprover: CPU time limit exceeded, terminating
% 197.63/196.05 eprover: CPU time limit exceeded, terminating
% 199.63/198.13 eprover: CPU time limit exceeded, terminating
% 201.65/200.14 eprover: CPU time limit exceeded, terminating
% 203.68/202.24 eprover: CPU time limit exceeded, terminating
% 205.68/204.26 eprover: CPU time limit exceeded, terminating
% 207.68/206.35 eprover: CPU time limit exceeded, terminating
% 209.70/208.44 eprover: CPU time limit exceeded, terminating
% 211.69/210.54 eprover: CPU time limit exceeded, terminating
% 213.77/212.55 eprover: CPU time limit exceeded, terminating
% 215.78/214.63 eprover: CPU time limit exceeded, terminating
% 217.78/216.65 eprover: CPU time limit exceeded, terminating
% 219.78/218.67 eprover: CPU time limit exceeded, terminating
% 221.82/220.68 eprover: CPU time limit exceeded, terminating
% 223.83/222.69 eprover: CPU time limit exceeded, terminating
% 225.82/224.70 eprover: CPU time limit exceeded, terminating
% 227.86/226.72 eprover: CPU time limit exceeded, terminating
% 229.84/228.73 eprover: CPU time limit exceeded, terminating
% 231.89/230.74 eprover: CPU time limit exceeded, terminating
% 233.86/232.76 eprover: CPU time limit exceeded, terminating
% 235.89/234.77 eprover: CPU time limit exceeded, terminating
% 237.93/236.79 eprover: CPU time limit exceeded, terminating
% 239.91/238.80 eprover: CPU time limit exceeded, terminating
% 241.99/240.81 eprover: CPU time limit exceeded, terminating
% 244.00/242.83 eprover: CPU time limit exceeded, terminating
% 246.01/244.84 eprover: CPU time limit exceeded, terminating
% 247.99/246.86 eprover: CPU time limit exceeded, terminating
% 250.04/248.87 eprover: CPU time limit exceeded, terminating
% 252.02/250.88 eprover: CPU time limit exceeded, terminating
% 254.06/252.90 eprover: CPU time limit exceeded, terminating
% 256.03/254.91 eprover: CPU time limit exceeded, terminating
% 258.12/256.92 eprover: CPU time limit exceeded, terminating
% 260.06/258.94 eprover: CPU time limit exceeded, terminating
% 262.12/260.95 eprover: CPU time limit exceeded, terminating
% 264.16/262.96 eprover: CPU time limit exceeded, terminating
% 266.19/264.98 eprover: CPU time limit exceeded, terminating
% 268.21/266.99 eprover: CPU time limit exceeded, terminating
% 270.16/269.00 eprover: CPU time limit exceeded, terminating
% 272.16/271.02 eprover: CPU time limit exceeded, terminating
% 274.25/273.03 eprover: CPU time limit exceeded, terminating
% 276.26/275.04 eprover: CPU time limit exceeded, terminating
% 278.27/277.06 eprover: CPU time limit exceeded, terminating
% 280.25/279.07 eprover: CPU time limit exceeded, terminating
% 282.29/281.08 eprover: CPU time limit exceeded, terminating
% 284.27/283.10 eprover: CPU time limit exceeded, terminating
% 286.35/285.11 eprover: CPU time limit exceeded, terminating
% 288.35/287.12 eprover: CPU time limit exceeded, terminating
% 290.33/289.14 eprover: CPU time limit exceeded, terminating
% 292.37/291.15 eprover: CPU time limit exceeded, terminating
% 294.36/293.17 eprover: CPU time limit exceeded, terminating
% 296.38/295.18 eprover: CPU time limit exceeded, terminating
% 298.37/297.19 eprover: CPU time limit exceeded, terminating
% 300.01/298.75 eprover: CPU time limit exceeded, terminating
% 300.01/298.77 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------