TSTP Solution File: SET781-3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET781-3 : TPTP v8.1.0. Released v2.5.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:57:49 EDT 2022
% Result : Timeout 286.07s 286.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : SET781-3 : TPTP v8.1.0. Released v2.5.0.
% 0.04/0.13 % 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 : Sat Jul 9 17:35:13 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.24/2.42 eprover: CPU time limit exceeded, terminating
% 4.21/4.43 eprover: CPU time limit exceeded, terminating
% 6.27/6.44 eprover: CPU time limit exceeded, terminating
% 8.25/8.45 eprover: CPU time limit exceeded, terminating
% 10.23/10.45 eprover: CPU time limit exceeded, terminating
% 12.26/12.46 eprover: CPU time limit exceeded, terminating
% 14.28/14.47 eprover: CPU time limit exceeded, terminating
% 16.32/16.48 eprover: CPU time limit exceeded, terminating
% 18.34/18.49 eprover: CPU time limit exceeded, terminating
% 20.35/20.49 eprover: CPU time limit exceeded, terminating
% 22.37/22.50 eprover: CPU time limit exceeded, terminating
% 24.37/24.51 eprover: CPU time limit exceeded, terminating
% 26.38/26.52 eprover: CPU time limit exceeded, terminating
% 28.40/28.52 eprover: CPU time limit exceeded, terminating
% 30.41/30.53 eprover: CPU time limit exceeded, terminating
% 32.40/32.56 eprover: CPU time limit exceeded, terminating
% 34.45/34.57 eprover: CPU time limit exceeded, terminating
% 36.42/36.58 eprover: CPU time limit exceeded, terminating
% 38.48/38.59 eprover: CPU time limit exceeded, terminating
% 40.50/40.60 eprover: CPU time limit exceeded, terminating
% 42.49/42.61 eprover: CPU time limit exceeded, terminating
% 44.47/44.63 eprover: CPU time limit exceeded, terminating
% 46.51/46.64 eprover: CPU time limit exceeded, terminating
% 48.47/48.65 eprover: CPU time limit exceeded, terminating
% 50.51/50.66 eprover: CPU time limit exceeded, terminating
% 52.54/52.68 eprover: CPU time limit exceeded, terminating
% 54.59/54.69 eprover: CPU time limit exceeded, terminating
% 56.51/56.70 eprover: CPU time limit exceeded, terminating
% 58.58/58.71 eprover: CPU time limit exceeded, terminating
% 60.62/60.72 eprover: CPU time limit exceeded, terminating
% 62.60/62.74 eprover: CPU time limit exceeded, terminating
% 64.57/64.75 eprover: CPU time limit exceeded, terminating
% 66.61/66.76 eprover: CPU time limit exceeded, terminating
% 68.68/68.77 eprover: CPU time limit exceeded, terminating
% 70.63/70.79 eprover: CPU time limit exceeded, terminating
% 72.70/72.80 eprover: CPU time limit exceeded, terminating
% 74.63/74.81 eprover: CPU time limit exceeded, terminating
% 76.71/76.82 eprover: CPU time limit exceeded, terminating
% 78.72/78.83 eprover: CPU time limit exceeded, terminating
% 80.71/80.84 eprover: CPU time limit exceeded, terminating
% 82.76/82.85 eprover: CPU time limit exceeded, terminating
% 84.73/84.86 eprover: CPU time limit exceeded, terminating
% 86.76/86.87 eprover: CPU time limit exceeded, terminating
% 88.80/88.88 eprover: CPU time limit exceeded, terminating
% 90.75/90.89 eprover: CPU time limit exceeded, terminating
% 92.82/92.90 eprover: CPU time limit exceeded, terminating
% 94.83/94.91 eprover: CPU time limit exceeded, terminating
% 96.86/96.92 eprover: CPU time limit exceeded, terminating
% 98.85/98.93 eprover: CPU time limit exceeded, terminating
% 100.83/100.94 eprover: CPU time limit exceeded, terminating
% 102.87/102.95 eprover: CPU time limit exceeded, terminating
% 104.90/104.96 eprover: CPU time limit exceeded, terminating
% 106.92/106.97 eprover: CPU time limit exceeded, terminating
% 108.91/108.99 eprover: CPU time limit exceeded, terminating
% 110.93/111.00 eprover: CPU time limit exceeded, terminating
% 112.93/113.01 eprover: CPU time limit exceeded, terminating
% 114.92/115.02 eprover: CPU time limit exceeded, terminating
% 116.99/117.03 eprover: CPU time limit exceeded, terminating
% 119.00/119.04 eprover: CPU time limit exceeded, terminating
% 121.01/121.05 eprover: CPU time limit exceeded, terminating
% 123.02/123.06 eprover: CPU time limit exceeded, terminating
% 125.04/125.07 eprover: CPU time limit exceeded, terminating
% 127.04/127.08 eprover: CPU time limit exceeded, terminating
% 129.06/129.09 eprover: CPU time limit exceeded, terminating
% 131.09/131.11 eprover: CPU time limit exceeded, terminating
% 133.04/133.12 eprover: CPU time limit exceeded, terminating
% 135.03/135.13 eprover: CPU time limit exceeded, terminating
% 137.07/137.14 eprover: CPU time limit exceeded, terminating
% 139.05/139.15 eprover: CPU time limit exceeded, terminating
% 141.14/141.16 eprover: CPU time limit exceeded, terminating
% 143.14/143.18 eprover: CPU time limit exceeded, terminating
% 145.14/145.20 eprover: CPU time limit exceeded, terminating
% 147.15/147.21 eprover: CPU time limit exceeded, terminating
% 149.13/149.22 eprover: CPU time limit exceeded, terminating
% 151.13/151.23 eprover: CPU time limit exceeded, terminating
% 153.23/153.24 eprover: CPU time limit exceeded, terminating
% 155.25/155.25 eprover: CPU time limit exceeded, terminating
% 157.24/157.26 eprover: CPU time limit exceeded, terminating
% 159.27/159.27 eprover: CPU time limit exceeded, terminating
% 161.27/161.28 eprover: CPU time limit exceeded, terminating
% 163.24/163.29 eprover: CPU time limit exceeded, terminating
% 165.27/165.30 eprover: CPU time limit exceeded, terminating
% 167.30/167.31 eprover: CPU time limit exceeded, terminating
% 169.33/169.33 eprover: CPU time limit exceeded, terminating
% 171.32/171.35 eprover: CPU time limit exceeded, terminating
% 173.36/173.35 eprover: CPU time limit exceeded, terminating
% 175.36/175.36 eprover: CPU time limit exceeded, terminating
% 177.38/177.37 eprover: CPU time limit exceeded, terminating
% 179.40/179.38 eprover: CPU time limit exceeded, terminating
% 181.38/181.39 eprover: CPU time limit exceeded, terminating
% 183.39/183.41 eprover: CPU time limit exceeded, terminating
% 185.37/185.41 eprover: CPU time limit exceeded, terminating
% 187.44/187.42 eprover: CPU time limit exceeded, terminating
% 189.40/189.43 eprover: CPU time limit exceeded, terminating
% 191.46/191.45 eprover: CPU time limit exceeded, terminating
% 193.48/193.46 eprover: CPU time limit exceeded, terminating
% 195.48/195.48 eprover: CPU time limit exceeded, terminating
% 197.49/197.49 eprover: CPU time limit exceeded, terminating
% 199.49/199.51 eprover: CPU time limit exceeded, terminating
% 201.55/201.53 eprover: CPU time limit exceeded, terminating
% 203.56/203.54 eprover: CPU time limit exceeded, terminating
% 205.56/205.55 eprover: CPU time limit exceeded, terminating
% 207.57/207.57 eprover: CPU time limit exceeded, terminating
% 209.58/209.58 eprover: CPU time limit exceeded, terminating
% 211.62/211.59 eprover: CPU time limit exceeded, terminating
% 213.59/213.60 eprover: CPU time limit exceeded, terminating
% 215.56/215.61 eprover: CPU time limit exceeded, terminating
% 217.60/217.62 eprover: CPU time limit exceeded, terminating
% 219.67/219.64 eprover: CPU time limit exceeded, terminating
% 221.63/221.65 eprover: CPU time limit exceeded, terminating
% 223.68/223.67 eprover: CPU time limit exceeded, terminating
% 225.70/225.68 eprover: CPU time limit exceeded, terminating
% 227.67/227.69 eprover: CPU time limit exceeded, terminating
% 229.70/229.70 eprover: CPU time limit exceeded, terminating
% 231.71/231.71 eprover: CPU time limit exceeded, terminating
% 233.74/233.72 eprover: CPU time limit exceeded, terminating
% 235.69/235.73 eprover: CPU time limit exceeded, terminating
% 237.79/237.76 eprover: CPU time limit exceeded, terminating
% 239.79/239.77 eprover: CPU time limit exceeded, terminating
% 241.80/241.78 eprover: CPU time limit exceeded, terminating
% 243.81/243.80 eprover: CPU time limit exceeded, terminating
% 245.84/245.82 eprover: CPU time limit exceeded, terminating
% 247.79/247.84 eprover: CPU time limit exceeded, terminating
% 249.85/249.85 eprover: CPU time limit exceeded, terminating
% 251.85/251.87 eprover: CPU time limit exceeded, terminating
% 253.86/253.88 eprover: CPU time limit exceeded, terminating
% 255.85/255.90 eprover: CPU time limit exceeded, terminating
% 257.91/257.91 eprover: CPU time limit exceeded, terminating
% 259.92/259.92 eprover: CPU time limit exceeded, terminating
% 261.88/261.94 eprover: CPU time limit exceeded, terminating
% 263.96/263.96 eprover: CPU time limit exceeded, terminating
% 265.97/265.97 eprover: CPU time limit exceeded, terminating
% 267.95/267.99 eprover: CPU time limit exceeded, terminating
% 269.94/270.01 eprover: CPU time limit exceeded, terminating
% 271.95/272.02 eprover: CPU time limit exceeded, terminating
% 274.00/274.03 eprover: CPU time limit exceeded, terminating
% 276.00/276.04 eprover: CPU time limit exceeded, terminating
% 278.01/278.05 eprover: CPU time limit exceeded, terminating
% 280.08/280.07 eprover: CPU time limit exceeded, terminating
% 282.06/282.08 eprover: CPU time limit exceeded, terminating
% 284.08/284.09 eprover: CPU time limit exceeded, terminating
% 286.07/286.10 eprover: CPU time limit exceeded, terminating
% 288.06/288.11 eprover: CPU time limit exceeded, terminating
% 290.12/290.12 eprover: CPU time limit exceeded, terminating
% 292.10/292.13 eprover: CPU time limit exceeded, terminating
% 294.16/294.14 eprover: CPU time limit exceeded, terminating
% 296.14/296.15 eprover: CPU time limit exceeded, terminating
% 298.18/298.16 eprover: CPU time limit exceeded, terminating
% 300.07/300.02 eprover: CPU time limit exceeded, terminating
% 300.07/300.04 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------