TSTP Solution File: SCT170+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SCT170+2 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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 : Mon Jul 18 21:34:37 EDT 2022
% Result : Timeout 285.84s 274.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.13/0.13 % Problem : SCT170+2 : TPTP v8.1.0. Released v5.3.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n026.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Sat Jul 2 05:07:20 EDT 2022
% 0.14/0.35 % CPUTime :
% 6.27/6.38 eprover: CPU time limit exceeded, terminating
% 8.35/8.40 eprover: CPU time limit exceeded, terminating
% 10.47/10.41 eprover: CPU time limit exceeded, terminating
% 12.56/12.42 eprover: CPU time limit exceeded, terminating
% 14.73/14.43 eprover: CPU time limit exceeded, terminating
% 16.82/16.44 eprover: CPU time limit exceeded, terminating
% 18.90/18.45 eprover: CPU time limit exceeded, terminating
% 20.97/20.46 eprover: CPU time limit exceeded, terminating
% 23.09/22.47 eprover: CPU time limit exceeded, terminating
% 25.20/24.48 eprover: CPU time limit exceeded, terminating
% 27.25/26.49 eprover: CPU time limit exceeded, terminating
% 29.35/28.50 eprover: CPU time limit exceeded, terminating
% 31.47/30.52 eprover: CPU time limit exceeded, terminating
% 33.53/32.53 eprover: CPU time limit exceeded, terminating
% 35.66/34.54 eprover: CPU time limit exceeded, terminating
% 37.75/36.55 eprover: CPU time limit exceeded, terminating
% 39.91/38.57 eprover: CPU time limit exceeded, terminating
% 42.00/40.58 eprover: CPU time limit exceeded, terminating
% 44.08/42.60 eprover: CPU time limit exceeded, terminating
% 46.18/44.61 eprover: CPU time limit exceeded, terminating
% 48.24/46.63 eprover: CPU time limit exceeded, terminating
% 50.41/48.64 eprover: CPU time limit exceeded, terminating
% 52.52/50.65 eprover: CPU time limit exceeded, terminating
% 54.58/52.67 eprover: CPU time limit exceeded, terminating
% 56.70/54.68 eprover: CPU time limit exceeded, terminating
% 58.78/56.70 eprover: CPU time limit exceeded, terminating
% 60.88/58.71 eprover: CPU time limit exceeded, terminating
% 63.01/60.73 eprover: CPU time limit exceeded, terminating
% 65.14/62.74 eprover: CPU time limit exceeded, terminating
% 67.15/64.75 eprover: CPU time limit exceeded, terminating
% 69.33/66.77 eprover: CPU time limit exceeded, terminating
% 71.41/68.78 eprover: CPU time limit exceeded, terminating
% 73.56/70.80 eprover: CPU time limit exceeded, terminating
% 75.62/72.81 eprover: CPU time limit exceeded, terminating
% 77.76/74.83 eprover: CPU time limit exceeded, terminating
% 79.83/76.84 eprover: CPU time limit exceeded, terminating
% 81.94/78.85 eprover: CPU time limit exceeded, terminating
% 84.03/80.87 eprover: CPU time limit exceeded, terminating
% 86.15/82.88 eprover: CPU time limit exceeded, terminating
% 88.26/84.90 eprover: CPU time limit exceeded, terminating
% 90.31/86.91 eprover: CPU time limit exceeded, terminating
% 92.47/88.93 eprover: CPU time limit exceeded, terminating
% 94.57/90.94 eprover: CPU time limit exceeded, terminating
% 96.66/92.95 eprover: CPU time limit exceeded, terminating
% 98.73/94.97 eprover: CPU time limit exceeded, terminating
% 100.89/96.98 eprover: CPU time limit exceeded, terminating
% 102.96/99.00 eprover: CPU time limit exceeded, terminating
% 105.03/101.01 eprover: CPU time limit exceeded, terminating
% 107.10/103.02 eprover: CPU time limit exceeded, terminating
% 109.25/105.04 eprover: CPU time limit exceeded, terminating
% 111.37/107.05 eprover: CPU time limit exceeded, terminating
% 113.46/109.07 eprover: CPU time limit exceeded, terminating
% 115.58/111.08 eprover: CPU time limit exceeded, terminating
% 117.65/113.10 eprover: CPU time limit exceeded, terminating
% 119.74/115.11 eprover: CPU time limit exceeded, terminating
% 121.87/117.12 eprover: CPU time limit exceeded, terminating
% 124.01/119.14 eprover: CPU time limit exceeded, terminating
% 126.10/121.15 eprover: CPU time limit exceeded, terminating
% 128.21/123.17 eprover: CPU time limit exceeded, terminating
% 130.29/125.18 eprover: CPU time limit exceeded, terminating
% 132.40/127.20 eprover: CPU time limit exceeded, terminating
% 134.47/129.21 eprover: CPU time limit exceeded, terminating
% 136.55/131.22 eprover: CPU time limit exceeded, terminating
% 138.67/133.24 eprover: CPU time limit exceeded, terminating
% 140.80/135.25 eprover: CPU time limit exceeded, terminating
% 142.92/137.27 eprover: CPU time limit exceeded, terminating
% 145.03/139.28 eprover: CPU time limit exceeded, terminating
% 147.08/141.30 eprover: CPU time limit exceeded, terminating
% 149.22/143.31 eprover: CPU time limit exceeded, terminating
% 151.33/145.32 eprover: CPU time limit exceeded, terminating
% 153.38/147.34 eprover: CPU time limit exceeded, terminating
% 155.55/149.35 eprover: CPU time limit exceeded, terminating
% 157.61/151.37 eprover: CPU time limit exceeded, terminating
% 159.75/153.38 eprover: CPU time limit exceeded, terminating
% 161.84/155.40 eprover: CPU time limit exceeded, terminating
% 163.94/157.41 eprover: CPU time limit exceeded, terminating
% 166.03/159.42 eprover: CPU time limit exceeded, terminating
% 168.13/161.44 eprover: CPU time limit exceeded, terminating
% 170.23/163.45 eprover: CPU time limit exceeded, terminating
% 172.33/165.47 eprover: CPU time limit exceeded, terminating
% 174.44/167.48 eprover: CPU time limit exceeded, terminating
% 176.57/169.50 eprover: CPU time limit exceeded, terminating
% 178.62/171.51 eprover: CPU time limit exceeded, terminating
% 180.76/173.53 eprover: CPU time limit exceeded, terminating
% 182.82/175.54 eprover: CPU time limit exceeded, terminating
% 184.96/177.56 eprover: CPU time limit exceeded, terminating
% 187.07/179.57 eprover: CPU time limit exceeded, terminating
% 189.16/181.58 eprover: CPU time limit exceeded, terminating
% 191.25/183.60 eprover: CPU time limit exceeded, terminating
% 193.34/185.61 eprover: CPU time limit exceeded, terminating
% 195.40/187.63 eprover: CPU time limit exceeded, terminating
% 197.52/189.64 eprover: CPU time limit exceeded, terminating
% 199.62/191.65 eprover: CPU time limit exceeded, terminating
% 201.74/193.67 eprover: CPU time limit exceeded, terminating
% 203.84/195.68 eprover: CPU time limit exceeded, terminating
% 205.94/197.70 eprover: CPU time limit exceeded, terminating
% 208.06/199.71 eprover: CPU time limit exceeded, terminating
% 210.16/201.72 eprover: CPU time limit exceeded, terminating
% 212.27/203.74 eprover: CPU time limit exceeded, terminating
% 214.39/205.75 eprover: CPU time limit exceeded, terminating
% 216.50/207.77 eprover: CPU time limit exceeded, terminating
% 218.55/209.78 eprover: CPU time limit exceeded, terminating
% 220.70/211.80 eprover: CPU time limit exceeded, terminating
% 222.76/213.81 eprover: CPU time limit exceeded, terminating
% 224.83/215.83 eprover: CPU time limit exceeded, terminating
% 227.01/217.84 eprover: CPU time limit exceeded, terminating
% 229.10/219.85 eprover: CPU time limit exceeded, terminating
% 231.18/221.87 eprover: CPU time limit exceeded, terminating
% 233.27/223.88 eprover: CPU time limit exceeded, terminating
% 235.38/225.90 eprover: CPU time limit exceeded, terminating
% 237.52/227.91 eprover: CPU time limit exceeded, terminating
% 239.62/229.93 eprover: CPU time limit exceeded, terminating
% 241.65/231.94 eprover: CPU time limit exceeded, terminating
% 243.82/233.95 eprover: CPU time limit exceeded, terminating
% 245.89/235.97 eprover: CPU time limit exceeded, terminating
% 248.00/237.98 eprover: CPU time limit exceeded, terminating
% 250.11/240.00 eprover: CPU time limit exceeded, terminating
% 252.22/242.01 eprover: CPU time limit exceeded, terminating
% 254.30/244.02 eprover: CPU time limit exceeded, terminating
% 256.41/246.04 eprover: CPU time limit exceeded, terminating
% 258.49/248.05 eprover: CPU time limit exceeded, terminating
% 260.62/250.07 eprover: CPU time limit exceeded, terminating
% 262.70/252.08 eprover: CPU time limit exceeded, terminating
% 264.77/254.09 eprover: CPU time limit exceeded, terminating
% 266.92/256.11 eprover: CPU time limit exceeded, terminating
% 269.00/258.12 eprover: CPU time limit exceeded, terminating
% 271.08/260.14 eprover: CPU time limit exceeded, terminating
% 273.24/262.15 eprover: CPU time limit exceeded, terminating
% 275.35/264.17 eprover: CPU time limit exceeded, terminating
% 277.44/266.18 eprover: CPU time limit exceeded, terminating
% 279.52/268.19 eprover: CPU time limit exceeded, terminating
% 281.61/270.21 eprover: CPU time limit exceeded, terminating
% 283.67/272.22 eprover: CPU time limit exceeded, terminating
% 285.84/274.24 eprover: CPU time limit exceeded, terminating
% 287.94/276.25 eprover: CPU time limit exceeded, terminating
% 290.02/278.27 eprover: CPU time limit exceeded, terminating
% 292.14/280.28 eprover: CPU time limit exceeded, terminating
% 294.20/282.29 eprover: CPU time limit exceeded, terminating
% 296.31/284.31 eprover: CPU time limit exceeded, terminating
% 298.40/286.32 eprover: CPU time limit exceeded, terminating
% 300.08/287.85 eprover: CPU time limit exceeded, terminating
% 300.08/287.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------