TSTP Solution File: SET030-4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET030-4 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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 : Tue Jul 19 01:52:07 EDT 2022
% Result : Timeout 286.65s 286.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SET030-4 : TPTP v8.1.0. Released v1.0.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun Jul 10 23:35:44 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.27/2.45 eprover: CPU time limit exceeded, terminating
% 4.29/4.46 eprover: CPU time limit exceeded, terminating
% 6.28/6.47 eprover: CPU time limit exceeded, terminating
% 8.32/8.48 eprover: CPU time limit exceeded, terminating
% 10.31/10.49 eprover: CPU time limit exceeded, terminating
% 12.33/12.50 eprover: CPU time limit exceeded, terminating
% 14.35/14.51 eprover: CPU time limit exceeded, terminating
% 16.32/16.53 eprover: CPU time limit exceeded, terminating
% 18.35/18.54 eprover: CPU time limit exceeded, terminating
% 20.40/20.55 eprover: CPU time limit exceeded, terminating
% 22.45/22.56 eprover: CPU time limit exceeded, terminating
% 24.41/24.57 eprover: CPU time limit exceeded, terminating
% 26.46/26.58 eprover: CPU time limit exceeded, terminating
% 28.45/28.59 eprover: CPU time limit exceeded, terminating
% 30.49/30.60 eprover: CPU time limit exceeded, terminating
% 32.53/32.61 eprover: CPU time limit exceeded, terminating
% 34.53/34.62 eprover: CPU time limit exceeded, terminating
% 36.48/36.63 eprover: CPU time limit exceeded, terminating
% 38.51/38.64 eprover: CPU time limit exceeded, terminating
% 40.58/40.66 eprover: CPU time limit exceeded, terminating
% 42.58/42.67 eprover: CPU time limit exceeded, terminating
% 44.58/44.69 eprover: CPU time limit exceeded, terminating
% 46.59/46.70 eprover: CPU time limit exceeded, terminating
% 48.66/48.71 eprover: CPU time limit exceeded, terminating
% 50.67/50.72 eprover: CPU time limit exceeded, terminating
% 52.67/52.73 eprover: CPU time limit exceeded, terminating
% 54.72/54.75 eprover: CPU time limit exceeded, terminating
% 56.73/56.77 eprover: CPU time limit exceeded, terminating
% 58.71/58.78 eprover: CPU time limit exceeded, terminating
% 60.77/60.79 eprover: CPU time limit exceeded, terminating
% 62.74/62.80 eprover: CPU time limit exceeded, terminating
% 64.76/64.82 eprover: CPU time limit exceeded, terminating
% 66.80/66.83 eprover: CPU time limit exceeded, terminating
% 68.79/68.84 eprover: CPU time limit exceeded, terminating
% 70.82/70.86 eprover: CPU time limit exceeded, terminating
% 72.88/72.87 eprover: CPU time limit exceeded, terminating
% 74.85/74.89 eprover: CPU time limit exceeded, terminating
% 76.86/76.90 eprover: CPU time limit exceeded, terminating
% 78.83/78.91 eprover: CPU time limit exceeded, terminating
% 80.91/80.93 eprover: CPU time limit exceeded, terminating
% 82.96/82.94 eprover: CPU time limit exceeded, terminating
% 84.99/84.96 eprover: CPU time limit exceeded, terminating
% 86.98/86.97 eprover: CPU time limit exceeded, terminating
% 89.02/88.98 eprover: CPU time limit exceeded, terminating
% 91.00/90.99 eprover: CPU time limit exceeded, terminating
% 93.02/93.00 eprover: CPU time limit exceeded, terminating
% 95.01/95.03 eprover: CPU time limit exceeded, terminating
% 96.99/97.03 eprover: CPU time limit exceeded, terminating
% 99.07/99.05 eprover: CPU time limit exceeded, terminating
% 101.11/101.06 eprover: CPU time limit exceeded, terminating
% 103.11/103.07 eprover: CPU time limit exceeded, terminating
% 105.12/105.09 eprover: CPU time limit exceeded, terminating
% 107.12/107.10 eprover: CPU time limit exceeded, terminating
% 109.15/109.11 eprover: CPU time limit exceeded, terminating
% 111.18/111.12 eprover: CPU time limit exceeded, terminating
% 113.16/113.13 eprover: CPU time limit exceeded, terminating
% 115.21/115.15 eprover: CPU time limit exceeded, terminating
% 117.27/117.16 eprover: CPU time limit exceeded, terminating
% 119.22/119.17 eprover: CPU time limit exceeded, terminating
% 121.27/121.19 eprover: CPU time limit exceeded, terminating
% 123.23/123.20 eprover: CPU time limit exceeded, terminating
% 125.31/125.22 eprover: CPU time limit exceeded, terminating
% 127.34/127.23 eprover: CPU time limit exceeded, terminating
% 129.34/129.24 eprover: CPU time limit exceeded, terminating
% 131.34/131.25 eprover: CPU time limit exceeded, terminating
% 133.30/133.26 eprover: CPU time limit exceeded, terminating
% 135.37/135.28 eprover: CPU time limit exceeded, terminating
% 137.40/137.29 eprover: CPU time limit exceeded, terminating
% 139.38/139.30 eprover: CPU time limit exceeded, terminating
% 141.41/141.31 eprover: CPU time limit exceeded, terminating
% 143.45/143.33 eprover: CPU time limit exceeded, terminating
% 145.43/145.34 eprover: CPU time limit exceeded, terminating
% 147.47/147.35 eprover: CPU time limit exceeded, terminating
% 149.51/149.36 eprover: CPU time limit exceeded, terminating
% 151.51/151.37 eprover: CPU time limit exceeded, terminating
% 153.49/153.38 eprover: CPU time limit exceeded, terminating
% 155.52/155.39 eprover: CPU time limit exceeded, terminating
% 157.59/157.40 eprover: CPU time limit exceeded, terminating
% 159.59/159.41 eprover: CPU time limit exceeded, terminating
% 161.63/161.43 eprover: CPU time limit exceeded, terminating
% 163.61/163.44 eprover: CPU time limit exceeded, terminating
% 165.58/165.45 eprover: CPU time limit exceeded, terminating
% 167.62/167.46 eprover: CPU time limit exceeded, terminating
% 169.65/169.47 eprover: CPU time limit exceeded, terminating
% 171.64/171.48 eprover: CPU time limit exceeded, terminating
% 173.74/173.50 eprover: CPU time limit exceeded, terminating
% 175.76/175.51 eprover: CPU time limit exceeded, terminating
% 177.74/177.52 eprover: CPU time limit exceeded, terminating
% 179.73/179.53 eprover: CPU time limit exceeded, terminating
% 181.77/181.54 eprover: CPU time limit exceeded, terminating
% 183.78/183.55 eprover: CPU time limit exceeded, terminating
% 185.76/185.56 eprover: CPU time limit exceeded, terminating
% 187.76/187.57 eprover: CPU time limit exceeded, terminating
% 189.80/189.58 eprover: CPU time limit exceeded, terminating
% 191.86/191.59 eprover: CPU time limit exceeded, terminating
% 193.90/193.61 eprover: CPU time limit exceeded, terminating
% 195.94/195.62 eprover: CPU time limit exceeded, terminating
% 197.91/197.63 eprover: CPU time limit exceeded, terminating
% 199.92/199.64 eprover: CPU time limit exceeded, terminating
% 201.93/201.65 eprover: CPU time limit exceeded, terminating
% 203.95/203.66 eprover: CPU time limit exceeded, terminating
% 205.99/205.67 eprover: CPU time limit exceeded, terminating
% 207.98/207.69 eprover: CPU time limit exceeded, terminating
% 210.04/209.70 eprover: CPU time limit exceeded, terminating
% 211.98/211.71 eprover: CPU time limit exceeded, terminating
% 214.07/213.72 eprover: CPU time limit exceeded, terminating
% 216.08/215.73 eprover: CPU time limit exceeded, terminating
% 218.08/217.74 eprover: CPU time limit exceeded, terminating
% 220.08/219.75 eprover: CPU time limit exceeded, terminating
% 222.06/221.76 eprover: CPU time limit exceeded, terminating
% 224.11/223.77 eprover: CPU time limit exceeded, terminating
% 226.12/225.78 eprover: CPU time limit exceeded, terminating
% 228.14/227.79 eprover: CPU time limit exceeded, terminating
% 230.22/229.81 eprover: CPU time limit exceeded, terminating
% 232.20/231.82 eprover: CPU time limit exceeded, terminating
% 234.23/233.83 eprover: CPU time limit exceeded, terminating
% 236.22/235.84 eprover: CPU time limit exceeded, terminating
% 238.28/237.85 eprover: CPU time limit exceeded, terminating
% 240.26/239.86 eprover: CPU time limit exceeded, terminating
% 242.28/241.87 eprover: CPU time limit exceeded, terminating
% 244.32/243.88 eprover: CPU time limit exceeded, terminating
% 246.27/245.89 eprover: CPU time limit exceeded, terminating
% 248.36/247.91 eprover: CPU time limit exceeded, terminating
% 250.37/249.92 eprover: CPU time limit exceeded, terminating
% 252.37/251.93 eprover: CPU time limit exceeded, terminating
% 254.43/253.94 eprover: CPU time limit exceeded, terminating
% 256.38/255.95 eprover: CPU time limit exceeded, terminating
% 258.44/257.96 eprover: CPU time limit exceeded, terminating
% 260.41/259.97 eprover: CPU time limit exceeded, terminating
% 262.45/261.98 eprover: CPU time limit exceeded, terminating
% 264.45/263.99 eprover: CPU time limit exceeded, terminating
% 266.54/266.00 eprover: CPU time limit exceeded, terminating
% 268.46/268.02 eprover: CPU time limit exceeded, terminating
% 270.55/270.03 eprover: CPU time limit exceeded, terminating
% 272.52/272.04 eprover: CPU time limit exceeded, terminating
% 274.58/274.05 eprover: CPU time limit exceeded, terminating
% 276.61/276.06 eprover: CPU time limit exceeded, terminating
% 278.63/278.07 eprover: CPU time limit exceeded, terminating
% 280.64/280.08 eprover: CPU time limit exceeded, terminating
% 282.64/282.09 eprover: CPU time limit exceeded, terminating
% 284.65/284.10 eprover: CPU time limit exceeded, terminating
% 286.65/286.11 eprover: CPU time limit exceeded, terminating
% 288.66/288.12 eprover: CPU time limit exceeded, terminating
% 290.71/290.14 eprover: CPU time limit exceeded, terminating
% 292.73/292.15 eprover: CPU time limit exceeded, terminating
% 294.75/294.16 eprover: CPU time limit exceeded, terminating
% 296.76/296.17 eprover: CPU time limit exceeded, terminating
% 298.77/298.18 eprover: CPU time limit exceeded, terminating
% 300.02/299.39 eprover: CPU time limit exceeded, terminating
% 300.02/299.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------