TSTP Solution File: SYN986-10.006 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SYN986-10.006 : 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 : Thu Jul 21 07:08:49 EDT 2022
% Result : Timeout 286.07s 280.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.14 % Problem : SYN986-10.006 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n021.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Mon Jul 11 21:10:38 EDT 2022
% 0.14/0.37 % CPUTime :
% 2.13/2.41 eprover: CPU time limit exceeded, terminating
% 4.22/4.43 eprover: CPU time limit exceeded, terminating
% 6.22/6.45 eprover: CPU time limit exceeded, terminating
% 8.22/8.47 eprover: CPU time limit exceeded, terminating
% 10.21/10.49 eprover: CPU time limit exceeded, terminating
% 12.28/12.50 eprover: CPU time limit exceeded, terminating
% 14.27/14.52 eprover: CPU time limit exceeded, terminating
% 16.32/16.54 eprover: CPU time limit exceeded, terminating
% 18.33/18.55 eprover: CPU time limit exceeded, terminating
% 20.28/20.57 eprover: CPU time limit exceeded, terminating
% 22.32/22.58 eprover: CPU time limit exceeded, terminating
% 24.36/24.61 eprover: CPU time limit exceeded, terminating
% 26.33/26.62 eprover: CPU time limit exceeded, terminating
% 28.36/28.63 eprover: CPU time limit exceeded, terminating
% 30.41/30.65 eprover: CPU time limit exceeded, terminating
% 32.41/32.66 eprover: CPU time limit exceeded, terminating
% 34.43/34.67 eprover: CPU time limit exceeded, terminating
% 36.42/36.68 eprover: CPU time limit exceeded, terminating
% 38.41/38.70 eprover: CPU time limit exceeded, terminating
% 40.45/40.71 eprover: CPU time limit exceeded, terminating
% 42.50/42.72 eprover: CPU time limit exceeded, terminating
% 44.50/44.73 eprover: CPU time limit exceeded, terminating
% 46.46/46.74 eprover: CPU time limit exceeded, terminating
% 48.54/48.76 eprover: CPU time limit exceeded, terminating
% 50.53/50.77 eprover: CPU time limit exceeded, terminating
% 52.57/52.78 eprover: CPU time limit exceeded, terminating
% 54.57/54.80 eprover: CPU time limit exceeded, terminating
% 56.60/56.81 eprover: CPU time limit exceeded, terminating
% 58.59/58.82 eprover: CPU time limit exceeded, terminating
% 60.61/60.83 eprover: CPU time limit exceeded, terminating
% 62.61/62.85 eprover: CPU time limit exceeded, terminating
% 64.65/64.86 eprover: CPU time limit exceeded, terminating
% 66.65/66.87 eprover: CPU time limit exceeded, terminating
% 68.63/68.88 eprover: CPU time limit exceeded, terminating
% 70.70/70.90 eprover: CPU time limit exceeded, terminating
% 72.71/72.91 eprover: CPU time limit exceeded, terminating
% 74.71/74.92 eprover: CPU time limit exceeded, terminating
% 76.71/76.93 eprover: CPU time limit exceeded, terminating
% 78.72/78.94 eprover: CPU time limit exceeded, terminating
% 80.79/80.96 eprover: CPU time limit exceeded, terminating
% 82.74/82.97 eprover: CPU time limit exceeded, terminating
% 84.82/84.98 eprover: CPU time limit exceeded, terminating
% 86.79/86.99 eprover: CPU time limit exceeded, terminating
% 90.81/89.00 eprover: CPU time limit exceeded, terminating
% 92.83/91.02 eprover: CPU time limit exceeded, terminating
% 94.85/93.03 eprover: CPU time limit exceeded, terminating
% 96.79/95.05 eprover: CPU time limit exceeded, terminating
% 98.84/97.06 eprover: CPU time limit exceeded, terminating
% 100.88/99.07 eprover: CPU time limit exceeded, terminating
% 102.89/101.08 eprover: CPU time limit exceeded, terminating
% 104.88/103.10 eprover: CPU time limit exceeded, terminating
% 106.94/105.11 eprover: CPU time limit exceeded, terminating
% 108.88/107.12 eprover: CPU time limit exceeded, terminating
% 110.92/109.13 eprover: CPU time limit exceeded, terminating
% 112.95/111.14 eprover: CPU time limit exceeded, terminating
% 115.00/113.15 eprover: CPU time limit exceeded, terminating
% 117.01/115.16 eprover: CPU time limit exceeded, terminating
% 119.04/117.18 eprover: CPU time limit exceeded, terminating
% 121.01/119.19 eprover: CPU time limit exceeded, terminating
% 123.02/121.20 eprover: CPU time limit exceeded, terminating
% 125.07/123.22 eprover: CPU time limit exceeded, terminating
% 127.08/125.23 eprover: CPU time limit exceeded, terminating
% 129.08/127.25 eprover: CPU time limit exceeded, terminating
% 131.10/129.27 eprover: CPU time limit exceeded, terminating
% 133.12/131.28 eprover: CPU time limit exceeded, terminating
% 135.14/133.30 eprover: CPU time limit exceeded, terminating
% 137.13/135.32 eprover: CPU time limit exceeded, terminating
% 139.14/137.34 eprover: CPU time limit exceeded, terminating
% 141.19/139.37 eprover: CPU time limit exceeded, terminating
% 143.21/141.38 eprover: CPU time limit exceeded, terminating
% 145.17/143.40 eprover: CPU time limit exceeded, terminating
% 147.21/145.41 eprover: CPU time limit exceeded, terminating
% 149.26/147.43 eprover: CPU time limit exceeded, terminating
% 151.18/149.44 eprover: CPU time limit exceeded, terminating
% 155.21/151.46 eprover: CPU time limit exceeded, terminating
% 157.25/153.48 eprover: CPU time limit exceeded, terminating
% 159.23/155.49 eprover: CPU time limit exceeded, terminating
% 161.28/157.51 eprover: CPU time limit exceeded, terminating
% 163.23/159.54 eprover: CPU time limit exceeded, terminating
% 165.28/161.55 eprover: CPU time limit exceeded, terminating
% 167.32/163.56 eprover: CPU time limit exceeded, terminating
% 169.32/165.57 eprover: CPU time limit exceeded, terminating
% 173.33/167.59 eprover: CPU time limit exceeded, terminating
% 175.32/169.61 eprover: CPU time limit exceeded, terminating
% 177.34/171.62 eprover: CPU time limit exceeded, terminating
% 179.32/173.63 eprover: CPU time limit exceeded, terminating
% 181.40/175.64 eprover: CPU time limit exceeded, terminating
% 183.43/177.66 eprover: CPU time limit exceeded, terminating
% 185.40/179.68 eprover: CPU time limit exceeded, terminating
% 187.46/181.69 eprover: CPU time limit exceeded, terminating
% 189.42/183.70 eprover: CPU time limit exceeded, terminating
% 191.43/185.72 eprover: CPU time limit exceeded, terminating
% 193.45/187.73 eprover: CPU time limit exceeded, terminating
% 195.47/189.75 eprover: CPU time limit exceeded, terminating
% 197.53/191.76 eprover: CPU time limit exceeded, terminating
% 199.52/193.77 eprover: CPU time limit exceeded, terminating
% 201.53/195.79 eprover: CPU time limit exceeded, terminating
% 203.53/197.80 eprover: CPU time limit exceeded, terminating
% 205.57/199.82 eprover: CPU time limit exceeded, terminating
% 207.57/201.83 eprover: CPU time limit exceeded, terminating
% 209.59/203.84 eprover: CPU time limit exceeded, terminating
% 211.62/205.85 eprover: CPU time limit exceeded, terminating
% 213.63/207.87 eprover: CPU time limit exceeded, terminating
% 215.63/209.89 eprover: CPU time limit exceeded, terminating
% 217.64/211.90 eprover: CPU time limit exceeded, terminating
% 219.67/213.91 eprover: CPU time limit exceeded, terminating
% 221.62/215.93 eprover: CPU time limit exceeded, terminating
% 223.70/217.94 eprover: CPU time limit exceeded, terminating
% 225.71/219.96 eprover: CPU time limit exceeded, terminating
% 227.72/221.97 eprover: CPU time limit exceeded, terminating
% 229.74/223.98 eprover: CPU time limit exceeded, terminating
% 231.72/226.00 eprover: CPU time limit exceeded, terminating
% 233.71/228.01 eprover: CPU time limit exceeded, terminating
% 235.73/230.02 eprover: CPU time limit exceeded, terminating
% 237.74/232.04 eprover: CPU time limit exceeded, terminating
% 239.79/234.06 eprover: CPU time limit exceeded, terminating
% 241.79/236.07 eprover: CPU time limit exceeded, terminating
% 243.78/238.08 eprover: CPU time limit exceeded, terminating
% 245.78/240.09 eprover: CPU time limit exceeded, terminating
% 247.83/242.10 eprover: CPU time limit exceeded, terminating
% 249.83/244.12 eprover: CPU time limit exceeded, terminating
% 251.83/246.15 eprover: CPU time limit exceeded, terminating
% 253.87/248.16 eprover: CPU time limit exceeded, terminating
% 255.88/250.17 eprover: CPU time limit exceeded, terminating
% 257.87/252.18 eprover: CPU time limit exceeded, terminating
% 259.88/254.20 eprover: CPU time limit exceeded, terminating
% 261.94/256.21 eprover: CPU time limit exceeded, terminating
% 263.88/258.22 eprover: CPU time limit exceeded, terminating
% 265.95/260.24 eprover: CPU time limit exceeded, terminating
% 267.99/262.25 eprover: CPU time limit exceeded, terminating
% 269.99/264.27 eprover: CPU time limit exceeded, terminating
% 272.00/266.28 eprover: CPU time limit exceeded, terminating
% 274.01/268.29 eprover: CPU time limit exceeded, terminating
% 276.01/270.30 eprover: CPU time limit exceeded, terminating
% 278.01/272.31 eprover: CPU time limit exceeded, terminating
% 280.01/274.32 eprover: CPU time limit exceeded, terminating
% 282.09/276.34 eprover: CPU time limit exceeded, terminating
% 284.10/278.35 eprover: CPU time limit exceeded, terminating
% 286.07/280.36 eprover: CPU time limit exceeded, terminating
% 288.12/282.37 eprover: CPU time limit exceeded, terminating
% 290.14/284.38 eprover: CPU time limit exceeded, terminating
% 292.10/286.39 eprover: CPU time limit exceeded, terminating
% 294.16/288.41 eprover: CPU time limit exceeded, terminating
% 296.18/290.42 eprover: CPU time limit exceeded, terminating
% 298.16/292.43 eprover: CPU time limit exceeded, terminating
% 300.03/294.26 eprover: CPU time limit exceeded, terminating
% 300.03/294.27 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------