TSTP Solution File: MGT038-2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : MGT038-2 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Sun Jul 17 22:12:58 EDT 2022
% Result : Timeout 285.85s 286.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.09 % Problem : MGT038-2 : TPTP v8.1.0. Released v2.4.0.
% 0.04/0.09 % Command : run_infinox %s
% 0.08/0.29 % Computer : n032.cluster.edu
% 0.08/0.29 % Model : x86_64 x86_64
% 0.08/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.29 % Memory : 8042.1875MB
% 0.08/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.29 % CPULimit : 300
% 0.08/0.29 % WCLimit : 600
% 0.08/0.29 % DateTime : Thu Jun 9 08:58:07 EDT 2022
% 0.08/0.29 % CPUTime :
% 2.12/2.32 eprover: CPU time limit exceeded, terminating
% 4.13/4.34 eprover: CPU time limit exceeded, terminating
% 6.11/6.35 eprover: CPU time limit exceeded, terminating
% 8.16/8.36 eprover: CPU time limit exceeded, terminating
% 10.14/10.37 eprover: CPU time limit exceeded, terminating
% 12.15/12.38 eprover: CPU time limit exceeded, terminating
% 14.17/14.39 eprover: CPU time limit exceeded, terminating
% 16.17/16.40 eprover: CPU time limit exceeded, terminating
% 18.18/18.41 eprover: CPU time limit exceeded, terminating
% 20.17/20.43 eprover: CPU time limit exceeded, terminating
% 22.18/22.43 eprover: CPU time limit exceeded, terminating
% 24.25/24.45 eprover: CPU time limit exceeded, terminating
% 26.26/26.46 eprover: CPU time limit exceeded, terminating
% 28.26/28.47 eprover: CPU time limit exceeded, terminating
% 30.27/30.48 eprover: CPU time limit exceeded, terminating
% 32.27/32.50 eprover: CPU time limit exceeded, terminating
% 34.23/34.51 eprover: CPU time limit exceeded, terminating
% 36.25/36.52 eprover: CPU time limit exceeded, terminating
% 38.31/38.53 eprover: CPU time limit exceeded, terminating
% 40.28/40.54 eprover: CPU time limit exceeded, terminating
% 42.34/42.55 eprover: CPU time limit exceeded, terminating
% 44.34/44.57 eprover: CPU time limit exceeded, terminating
% 46.34/46.58 eprover: CPU time limit exceeded, terminating
% 48.33/48.60 eprover: CPU time limit exceeded, terminating
% 50.36/50.63 eprover: CPU time limit exceeded, terminating
% 52.39/52.64 eprover: CPU time limit exceeded, terminating
% 54.40/54.65 eprover: CPU time limit exceeded, terminating
% 56.43/56.66 eprover: CPU time limit exceeded, terminating
% 58.43/58.67 eprover: CPU time limit exceeded, terminating
% 60.43/60.68 eprover: CPU time limit exceeded, terminating
% 62.44/62.71 eprover: CPU time limit exceeded, terminating
% 64.42/64.73 eprover: CPU time limit exceeded, terminating
% 66.45/66.76 eprover: CPU time limit exceeded, terminating
% 68.45/68.79 eprover: CPU time limit exceeded, terminating
% 70.47/70.82 eprover: CPU time limit exceeded, terminating
% 72.41/72.85 eprover: CPU time limit exceeded, terminating
% 74.46/74.88 eprover: CPU time limit exceeded, terminating
% 76.49/76.90 eprover: CPU time limit exceeded, terminating
% 78.50/78.93 eprover: CPU time limit exceeded, terminating
% 80.54/80.96 eprover: CPU time limit exceeded, terminating
% 82.52/83.00 eprover: CPU time limit exceeded, terminating
% 84.49/85.02 eprover: CPU time limit exceeded, terminating
% 86.54/87.05 eprover: CPU time limit exceeded, terminating
% 88.54/89.08 eprover: CPU time limit exceeded, terminating
% 90.55/91.12 eprover: CPU time limit exceeded, terminating
% 92.54/93.16 eprover: CPU time limit exceeded, terminating
% 94.53/95.22 eprover: CPU time limit exceeded, terminating
% 96.64/97.25 eprover: CPU time limit exceeded, terminating
% 98.62/99.29 eprover: CPU time limit exceeded, terminating
% 100.67/101.34 eprover: CPU time limit exceeded, terminating
% 102.68/103.38 eprover: CPU time limit exceeded, terminating
% 104.68/105.39 eprover: CPU time limit exceeded, terminating
% 106.67/107.40 eprover: CPU time limit exceeded, terminating
% 108.67/109.41 eprover: CPU time limit exceeded, terminating
% 110.68/111.42 eprover: CPU time limit exceeded, terminating
% 112.66/113.43 eprover: CPU time limit exceeded, terminating
% 114.67/115.44 eprover: CPU time limit exceeded, terminating
% 116.75/117.45 eprover: CPU time limit exceeded, terminating
% 118.77/119.46 eprover: CPU time limit exceeded, terminating
% 120.77/121.47 eprover: CPU time limit exceeded, terminating
% 122.79/123.48 eprover: CPU time limit exceeded, terminating
% 124.80/125.49 eprover: CPU time limit exceeded, terminating
% 126.81/127.50 eprover: CPU time limit exceeded, terminating
% 128.84/129.51 eprover: CPU time limit exceeded, terminating
% 130.82/131.52 eprover: CPU time limit exceeded, terminating
% 132.79/133.53 eprover: CPU time limit exceeded, terminating
% 134.84/135.54 eprover: CPU time limit exceeded, terminating
% 136.86/137.55 eprover: CPU time limit exceeded, terminating
% 138.92/139.56 eprover: CPU time limit exceeded, terminating
% 140.93/141.57 eprover: CPU time limit exceeded, terminating
% 142.92/143.58 eprover: CPU time limit exceeded, terminating
% 144.92/145.59 eprover: CPU time limit exceeded, terminating
% 146.93/147.60 eprover: CPU time limit exceeded, terminating
% 148.93/149.61 eprover: CPU time limit exceeded, terminating
% 150.92/151.63 eprover: CPU time limit exceeded, terminating
% 152.96/153.64 eprover: CPU time limit exceeded, terminating
% 155.02/155.65 eprover: CPU time limit exceeded, terminating
% 157.00/157.66 eprover: CPU time limit exceeded, terminating
% 159.04/159.66 eprover: CPU time limit exceeded, terminating
% 161.03/161.68 eprover: CPU time limit exceeded, terminating
% 163.06/163.69 eprover: CPU time limit exceeded, terminating
% 165.06/165.69 eprover: CPU time limit exceeded, terminating
% 167.06/167.70 eprover: CPU time limit exceeded, terminating
% 169.06/169.72 eprover: CPU time limit exceeded, terminating
% 171.06/171.73 eprover: CPU time limit exceeded, terminating
% 173.13/173.74 eprover: CPU time limit exceeded, terminating
% 175.15/175.75 eprover: CPU time limit exceeded, terminating
% 177.14/177.76 eprover: CPU time limit exceeded, terminating
% 179.18/179.77 eprover: CPU time limit exceeded, terminating
% 181.18/181.78 eprover: CPU time limit exceeded, terminating
% 183.19/183.79 eprover: CPU time limit exceeded, terminating
% 185.20/185.80 eprover: CPU time limit exceeded, terminating
% 187.19/187.81 eprover: CPU time limit exceeded, terminating
% 189.18/189.82 eprover: CPU time limit exceeded, terminating
% 191.21/191.83 eprover: CPU time limit exceeded, terminating
% 193.26/193.84 eprover: CPU time limit exceeded, terminating
% 195.26/195.85 eprover: CPU time limit exceeded, terminating
% 197.29/197.86 eprover: CPU time limit exceeded, terminating
% 199.32/199.87 eprover: CPU time limit exceeded, terminating
% 201.30/201.88 eprover: CPU time limit exceeded, terminating
% 203.33/203.89 eprover: CPU time limit exceeded, terminating
% 205.36/205.90 eprover: CPU time limit exceeded, terminating
% 207.32/207.91 eprover: CPU time limit exceeded, terminating
% 209.32/209.92 eprover: CPU time limit exceeded, terminating
% 211.35/211.93 eprover: CPU time limit exceeded, terminating
% 213.41/213.94 eprover: CPU time limit exceeded, terminating
% 215.40/215.95 eprover: CPU time limit exceeded, terminating
% 217.41/217.96 eprover: CPU time limit exceeded, terminating
% 219.44/219.97 eprover: CPU time limit exceeded, terminating
% 221.46/221.98 eprover: CPU time limit exceeded, terminating
% 223.47/223.98 eprover: CPU time limit exceeded, terminating
% 225.47/225.99 eprover: CPU time limit exceeded, terminating
% 227.47/228.00 eprover: CPU time limit exceeded, terminating
% 229.46/230.01 eprover: CPU time limit exceeded, terminating
% 231.53/232.02 eprover: CPU time limit exceeded, terminating
% 233.48/234.03 eprover: CPU time limit exceeded, terminating
% 235.55/236.04 eprover: CPU time limit exceeded, terminating
% 237.55/238.05 eprover: CPU time limit exceeded, terminating
% 239.59/240.06 eprover: CPU time limit exceeded, terminating
% 241.59/242.07 eprover: CPU time limit exceeded, terminating
% 243.62/244.08 eprover: CPU time limit exceeded, terminating
% 245.61/246.09 eprover: CPU time limit exceeded, terminating
% 247.59/248.10 eprover: CPU time limit exceeded, terminating
% 249.61/250.11 eprover: CPU time limit exceeded, terminating
% 251.63/252.12 eprover: CPU time limit exceeded, terminating
% 253.66/254.13 eprover: CPU time limit exceeded, terminating
% 255.69/256.14 eprover: CPU time limit exceeded, terminating
% 257.67/258.15 eprover: CPU time limit exceeded, terminating
% 259.70/260.16 eprover: CPU time limit exceeded, terminating
% 261.72/262.17 eprover: CPU time limit exceeded, terminating
% 263.74/264.18 eprover: CPU time limit exceeded, terminating
% 265.74/266.19 eprover: CPU time limit exceeded, terminating
% 267.76/268.20 eprover: CPU time limit exceeded, terminating
% 269.74/270.21 eprover: CPU time limit exceeded, terminating
% 271.74/272.22 eprover: CPU time limit exceeded, terminating
% 273.81/274.23 eprover: CPU time limit exceeded, terminating
% 275.82/276.24 eprover: CPU time limit exceeded, terminating
% 277.81/278.25 eprover: CPU time limit exceeded, terminating
% 279.84/280.26 eprover: CPU time limit exceeded, terminating
% 281.85/282.27 eprover: CPU time limit exceeded, terminating
% 283.83/284.28 eprover: CPU time limit exceeded, terminating
% 285.85/286.29 eprover: CPU time limit exceeded, terminating
% 287.86/288.30 eprover: CPU time limit exceeded, terminating
% 289.89/290.31 eprover: CPU time limit exceeded, terminating
% 291.92/292.32 eprover: CPU time limit exceeded, terminating
% 293.92/294.33 eprover: CPU time limit exceeded, terminating
% 295.94/296.34 eprover: CPU time limit exceeded, terminating
% 297.95/298.35 eprover: CPU time limit exceeded, terminating
% 299.96/300.36 eprover: CPU time limit exceeded, terminating
% 300.08/300.44 eprover: CPU time limit exceeded, terminating
% 300.08/300.46 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------