TSTP Solution File: SET861-2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET861-2 : TPTP v8.1.0. Released v3.2.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:58:32 EDT 2022
% Result : Timeout 285.93s 286.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.01/0.11 % Problem : SET861-2 : TPTP v8.1.0. Released v3.2.0.
% 0.11/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 : Sat Jul 9 21:31:59 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.12/2.36 eprover: CPU time limit exceeded, terminating
% 4.10/4.37 eprover: CPU time limit exceeded, terminating
% 6.13/6.38 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.22/12.43 eprover: CPU time limit exceeded, terminating
% 14.21/14.45 eprover: CPU time limit exceeded, terminating
% 16.20/16.46 eprover: CPU time limit exceeded, terminating
% 18.21/18.47 eprover: CPU time limit exceeded, terminating
% 20.23/20.48 eprover: CPU time limit exceeded, terminating
% 22.31/22.49 eprover: CPU time limit exceeded, terminating
% 24.21/24.50 eprover: CPU time limit exceeded, terminating
% 26.30/26.53 eprover: CPU time limit exceeded, terminating
% 28.31/28.55 eprover: CPU time limit exceeded, terminating
% 30.29/30.56 eprover: CPU time limit exceeded, terminating
% 32.31/32.57 eprover: CPU time limit exceeded, terminating
% 34.32/34.59 eprover: CPU time limit exceeded, terminating
% 36.30/36.60 eprover: CPU time limit exceeded, terminating
% 38.40/38.61 eprover: CPU time limit exceeded, terminating
% 40.40/40.62 eprover: CPU time limit exceeded, terminating
% 42.41/42.63 eprover: CPU time limit exceeded, terminating
% 44.39/44.65 eprover: CPU time limit exceeded, terminating
% 46.36/46.67 eprover: CPU time limit exceeded, terminating
% 48.47/48.68 eprover: CPU time limit exceeded, terminating
% 50.47/50.70 eprover: CPU time limit exceeded, terminating
% 52.49/52.71 eprover: CPU time limit exceeded, terminating
% 54.50/54.72 eprover: CPU time limit exceeded, terminating
% 56.47/56.73 eprover: CPU time limit exceeded, terminating
% 58.49/58.75 eprover: CPU time limit exceeded, terminating
% 60.48/60.77 eprover: CPU time limit exceeded, terminating
% 62.48/62.79 eprover: CPU time limit exceeded, terminating
% 64.45/64.80 eprover: CPU time limit exceeded, terminating
% 66.54/66.82 eprover: CPU time limit exceeded, terminating
% 68.57/68.83 eprover: CPU time limit exceeded, terminating
% 70.58/70.84 eprover: CPU time limit exceeded, terminating
% 72.55/72.85 eprover: CPU time limit exceeded, terminating
% 74.57/74.86 eprover: CPU time limit exceeded, terminating
% 76.57/76.87 eprover: CPU time limit exceeded, terminating
% 78.57/78.89 eprover: CPU time limit exceeded, terminating
% 80.66/80.90 eprover: CPU time limit exceeded, terminating
% 82.67/82.92 eprover: CPU time limit exceeded, terminating
% 84.66/84.93 eprover: CPU time limit exceeded, terminating
% 86.66/86.94 eprover: CPU time limit exceeded, terminating
% 88.67/88.96 eprover: CPU time limit exceeded, terminating
% 90.64/90.97 eprover: CPU time limit exceeded, terminating
% 92.73/92.99 eprover: CPU time limit exceeded, terminating
% 94.73/95.00 eprover: CPU time limit exceeded, terminating
% 96.72/97.02 eprover: CPU time limit exceeded, terminating
% 98.76/99.04 eprover: CPU time limit exceeded, terminating
% 100.77/101.06 eprover: CPU time limit exceeded, terminating
% 102.80/103.07 eprover: CPU time limit exceeded, terminating
% 104.81/105.09 eprover: CPU time limit exceeded, terminating
% 106.76/107.11 eprover: CPU time limit exceeded, terminating
% 108.80/109.12 eprover: CPU time limit exceeded, terminating
% 110.83/111.13 eprover: CPU time limit exceeded, terminating
% 112.79/113.14 eprover: CPU time limit exceeded, terminating
% 114.84/115.15 eprover: CPU time limit exceeded, terminating
% 116.80/117.16 eprover: CPU time limit exceeded, terminating
% 118.86/119.17 eprover: CPU time limit exceeded, terminating
% 120.92/121.19 eprover: CPU time limit exceeded, terminating
% 122.90/123.20 eprover: CPU time limit exceeded, terminating
% 124.94/125.21 eprover: CPU time limit exceeded, terminating
% 126.94/127.22 eprover: CPU time limit exceeded, terminating
% 128.95/129.23 eprover: CPU time limit exceeded, terminating
% 130.95/131.24 eprover: CPU time limit exceeded, terminating
% 132.97/133.25 eprover: CPU time limit exceeded, terminating
% 134.92/135.27 eprover: CPU time limit exceeded, terminating
% 136.98/137.28 eprover: CPU time limit exceeded, terminating
% 139.02/139.29 eprover: CPU time limit exceeded, terminating
% 141.00/141.30 eprover: CPU time limit exceeded, terminating
% 143.00/143.33 eprover: CPU time limit exceeded, terminating
% 145.04/145.34 eprover: CPU time limit exceeded, terminating
% 146.99/147.35 eprover: CPU time limit exceeded, terminating
% 149.06/149.36 eprover: CPU time limit exceeded, terminating
% 151.08/151.38 eprover: CPU time limit exceeded, terminating
% 153.08/153.39 eprover: CPU time limit exceeded, terminating
% 155.09/155.40 eprover: CPU time limit exceeded, terminating
% 157.12/157.41 eprover: CPU time limit exceeded, terminating
% 159.13/159.42 eprover: CPU time limit exceeded, terminating
% 161.11/161.45 eprover: CPU time limit exceeded, terminating
% 163.11/163.46 eprover: CPU time limit exceeded, terminating
% 165.17/165.47 eprover: CPU time limit exceeded, terminating
% 167.17/167.48 eprover: CPU time limit exceeded, terminating
% 169.17/169.49 eprover: CPU time limit exceeded, terminating
% 171.20/171.50 eprover: CPU time limit exceeded, terminating
% 173.17/173.51 eprover: CPU time limit exceeded, terminating
% 175.18/175.52 eprover: CPU time limit exceeded, terminating
% 177.24/177.53 eprover: CPU time limit exceeded, terminating
% 179.19/179.55 eprover: CPU time limit exceeded, terminating
% 181.25/181.56 eprover: CPU time limit exceeded, terminating
% 183.27/183.58 eprover: CPU time limit exceeded, terminating
% 185.20/185.60 eprover: CPU time limit exceeded, terminating
% 187.29/187.61 eprover: CPU time limit exceeded, terminating
% 189.30/189.63 eprover: CPU time limit exceeded, terminating
% 191.31/191.64 eprover: CPU time limit exceeded, terminating
% 193.30/193.65 eprover: CPU time limit exceeded, terminating
% 195.32/195.66 eprover: CPU time limit exceeded, terminating
% 197.35/197.67 eprover: CPU time limit exceeded, terminating
% 199.32/199.69 eprover: CPU time limit exceeded, terminating
% 201.35/201.70 eprover: CPU time limit exceeded, terminating
% 203.31/203.72 eprover: CPU time limit exceeded, terminating
% 205.41/205.73 eprover: CPU time limit exceeded, terminating
% 207.35/207.74 eprover: CPU time limit exceeded, terminating
% 209.40/209.76 eprover: CPU time limit exceeded, terminating
% 211.44/211.77 eprover: CPU time limit exceeded, terminating
% 213.40/213.78 eprover: CPU time limit exceeded, terminating
% 215.45/215.80 eprover: CPU time limit exceeded, terminating
% 217.48/217.81 eprover: CPU time limit exceeded, terminating
% 219.49/219.83 eprover: CPU time limit exceeded, terminating
% 221.50/221.84 eprover: CPU time limit exceeded, terminating
% 223.51/223.85 eprover: CPU time limit exceeded, terminating
% 225.48/225.88 eprover: CPU time limit exceeded, terminating
% 227.47/227.89 eprover: CPU time limit exceeded, terminating
% 229.48/229.90 eprover: CPU time limit exceeded, terminating
% 231.56/231.92 eprover: CPU time limit exceeded, terminating
% 233.58/233.93 eprover: CPU time limit exceeded, terminating
% 235.55/235.94 eprover: CPU time limit exceeded, terminating
% 237.55/237.96 eprover: CPU time limit exceeded, terminating
% 239.57/239.97 eprover: CPU time limit exceeded, terminating
% 241.64/241.99 eprover: CPU time limit exceeded, terminating
% 243.63/244.01 eprover: CPU time limit exceeded, terminating
% 245.66/246.02 eprover: CPU time limit exceeded, terminating
% 247.67/248.05 eprover: CPU time limit exceeded, terminating
% 249.63/250.06 eprover: CPU time limit exceeded, terminating
% 251.66/252.08 eprover: CPU time limit exceeded, terminating
% 253.71/254.09 eprover: CPU time limit exceeded, terminating
% 255.73/256.11 eprover: CPU time limit exceeded, terminating
% 257.71/258.13 eprover: CPU time limit exceeded, terminating
% 259.75/260.14 eprover: CPU time limit exceeded, terminating
% 261.75/262.15 eprover: CPU time limit exceeded, terminating
% 263.70/264.18 eprover: CPU time limit exceeded, terminating
% 265.74/266.20 eprover: CPU time limit exceeded, terminating
% 267.78/268.22 eprover: CPU time limit exceeded, terminating
% 269.83/270.23 eprover: CPU time limit exceeded, terminating
% 271.82/272.24 eprover: CPU time limit exceeded, terminating
% 273.79/274.26 eprover: CPU time limit exceeded, terminating
% 275.84/276.28 eprover: CPU time limit exceeded, terminating
% 277.80/278.29 eprover: CPU time limit exceeded, terminating
% 279.82/280.30 eprover: CPU time limit exceeded, terminating
% 281.88/282.31 eprover: CPU time limit exceeded, terminating
% 283.92/284.32 eprover: CPU time limit exceeded, terminating
% 285.93/286.33 eprover: CPU time limit exceeded, terminating
% 287.90/288.36 eprover: CPU time limit exceeded, terminating
% 289.93/290.37 eprover: CPU time limit exceeded, terminating
% 291.90/292.38 eprover: CPU time limit exceeded, terminating
% 293.91/294.40 eprover: CPU time limit exceeded, terminating
% 295.95/296.41 eprover: CPU time limit exceeded, terminating
% 297.92/298.42 eprover: CPU time limit exceeded, terminating
% 299.99/300.43 eprover: CPU time limit exceeded, terminating
% 300.07/300.47 eprover: CPU time limit exceeded, terminating
% 300.07/300.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------