TSTP Solution File: SCT170+6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SCT170+6 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:39 EDT 2022
% Result : Timeout 285.77s 272.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SCT170+6 : TPTP v8.1.0. Released v5.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n025.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jul 2 06:27:54 EDT 2022
% 0.12/0.34 % CPUTime :
% 6.81/6.95 eprover: CPU time limit exceeded, terminating
% 8.98/8.96 eprover: CPU time limit exceeded, terminating
% 11.09/10.97 eprover: CPU time limit exceeded, terminating
% 13.21/12.98 eprover: CPU time limit exceeded, terminating
% 15.33/14.99 eprover: CPU time limit exceeded, terminating
% 17.40/17.00 eprover: CPU time limit exceeded, terminating
% 19.56/19.01 eprover: CPU time limit exceeded, terminating
% 21.67/21.02 eprover: CPU time limit exceeded, terminating
% 23.77/23.03 eprover: CPU time limit exceeded, terminating
% 25.89/25.04 eprover: CPU time limit exceeded, terminating
% 28.01/27.05 eprover: CPU time limit exceeded, terminating
% 30.11/29.06 eprover: CPU time limit exceeded, terminating
% 32.23/31.07 eprover: CPU time limit exceeded, terminating
% 34.32/33.08 eprover: CPU time limit exceeded, terminating
% 36.47/35.09 eprover: CPU time limit exceeded, terminating
% 38.57/37.10 eprover: CPU time limit exceeded, terminating
% 40.69/39.11 eprover: CPU time limit exceeded, terminating
% 42.78/41.12 eprover: CPU time limit exceeded, terminating
% 44.90/43.13 eprover: CPU time limit exceeded, terminating
% 47.02/45.14 eprover: CPU time limit exceeded, terminating
% 49.16/47.15 eprover: CPU time limit exceeded, terminating
% 51.27/49.16 eprover: CPU time limit exceeded, terminating
% 53.39/51.17 eprover: CPU time limit exceeded, terminating
% 55.47/53.18 eprover: CPU time limit exceeded, terminating
% 57.61/55.19 eprover: CPU time limit exceeded, terminating
% 59.73/57.20 eprover: CPU time limit exceeded, terminating
% 61.80/59.21 eprover: CPU time limit exceeded, terminating
% 63.95/61.22 eprover: CPU time limit exceeded, terminating
% 66.02/63.23 eprover: CPU time limit exceeded, terminating
% 68.17/65.24 eprover: CPU time limit exceeded, terminating
% 70.25/67.25 eprover: CPU time limit exceeded, terminating
% 72.41/69.26 eprover: CPU time limit exceeded, terminating
% 74.50/71.27 eprover: CPU time limit exceeded, terminating
% 76.62/73.28 eprover: CPU time limit exceeded, terminating
% 78.75/75.29 eprover: CPU time limit exceeded, terminating
% 80.87/77.30 eprover: CPU time limit exceeded, terminating
% 82.95/79.32 eprover: CPU time limit exceeded, terminating
% 85.06/81.33 eprover: CPU time limit exceeded, terminating
% 87.17/83.34 eprover: CPU time limit exceeded, terminating
% 89.28/85.35 eprover: CPU time limit exceeded, terminating
% 91.39/87.36 eprover: CPU time limit exceeded, terminating
% 93.56/89.37 eprover: CPU time limit exceeded, terminating
% 95.63/91.38 eprover: CPU time limit exceeded, terminating
% 97.75/93.39 eprover: CPU time limit exceeded, terminating
% 99.88/95.40 eprover: CPU time limit exceeded, terminating
% 101.94/97.41 eprover: CPU time limit exceeded, terminating
% 104.08/99.42 eprover: CPU time limit exceeded, terminating
% 106.19/101.43 eprover: CPU time limit exceeded, terminating
% 108.34/103.44 eprover: CPU time limit exceeded, terminating
% 110.41/105.45 eprover: CPU time limit exceeded, terminating
% 112.57/107.46 eprover: CPU time limit exceeded, terminating
% 114.68/109.47 eprover: CPU time limit exceeded, terminating
% 116.76/111.48 eprover: CPU time limit exceeded, terminating
% 118.87/113.49 eprover: CPU time limit exceeded, terminating
% 120.95/115.50 eprover: CPU time limit exceeded, terminating
% 123.05/117.51 eprover: CPU time limit exceeded, terminating
% 125.20/119.52 eprover: CPU time limit exceeded, terminating
% 127.31/121.53 eprover: CPU time limit exceeded, terminating
% 129.45/123.54 eprover: CPU time limit exceeded, terminating
% 131.58/125.55 eprover: CPU time limit exceeded, terminating
% 133.70/127.56 eprover: CPU time limit exceeded, terminating
% 135.81/129.57 eprover: CPU time limit exceeded, terminating
% 137.89/131.58 eprover: CPU time limit exceeded, terminating
% 140.01/133.59 eprover: CPU time limit exceeded, terminating
% 142.08/135.60 eprover: CPU time limit exceeded, terminating
% 144.20/137.61 eprover: CPU time limit exceeded, terminating
% 146.36/139.62 eprover: CPU time limit exceeded, terminating
% 148.40/141.63 eprover: CPU time limit exceeded, terminating
% 150.59/143.64 eprover: CPU time limit exceeded, terminating
% 152.65/145.65 eprover: CPU time limit exceeded, terminating
% 154.81/147.66 eprover: CPU time limit exceeded, terminating
% 156.93/149.67 eprover: CPU time limit exceeded, terminating
% 159.02/151.68 eprover: CPU time limit exceeded, terminating
% 161.13/153.69 eprover: CPU time limit exceeded, terminating
% 163.22/155.71 eprover: CPU time limit exceeded, terminating
% 165.31/157.71 eprover: CPU time limit exceeded, terminating
% 167.39/159.72 eprover: CPU time limit exceeded, terminating
% 169.60/161.73 eprover: CPU time limit exceeded, terminating
% 171.70/163.74 eprover: CPU time limit exceeded, terminating
% 173.82/165.75 eprover: CPU time limit exceeded, terminating
% 175.94/167.76 eprover: CPU time limit exceeded, terminating
% 178.05/169.78 eprover: CPU time limit exceeded, terminating
% 180.14/171.79 eprover: CPU time limit exceeded, terminating
% 182.26/173.80 eprover: CPU time limit exceeded, terminating
% 184.34/175.81 eprover: CPU time limit exceeded, terminating
% 186.46/177.82 eprover: CPU time limit exceeded, terminating
% 188.61/179.83 eprover: CPU time limit exceeded, terminating
% 190.63/181.84 eprover: CPU time limit exceeded, terminating
% 192.81/183.85 eprover: CPU time limit exceeded, terminating
% 194.92/185.86 eprover: CPU time limit exceeded, terminating
% 197.01/187.87 eprover: CPU time limit exceeded, terminating
% 199.15/189.88 eprover: CPU time limit exceeded, terminating
% 201.25/191.89 eprover: CPU time limit exceeded, terminating
% 203.37/193.90 eprover: CPU time limit exceeded, terminating
% 205.52/195.91 eprover: CPU time limit exceeded, terminating
% 207.59/197.92 eprover: CPU time limit exceeded, terminating
% 209.65/199.93 eprover: CPU time limit exceeded, terminating
% 211.83/201.94 eprover: CPU time limit exceeded, terminating
% 213.94/203.95 eprover: CPU time limit exceeded, terminating
% 216.05/205.96 eprover: CPU time limit exceeded, terminating
% 218.13/207.97 eprover: CPU time limit exceeded, terminating
% 220.25/209.98 eprover: CPU time limit exceeded, terminating
% 222.38/211.99 eprover: CPU time limit exceeded, terminating
% 224.46/214.00 eprover: CPU time limit exceeded, terminating
% 226.57/216.01 eprover: CPU time limit exceeded, terminating
% 228.74/218.02 eprover: CPU time limit exceeded, terminating
% 230.82/220.03 eprover: CPU time limit exceeded, terminating
% 232.97/222.04 eprover: CPU time limit exceeded, terminating
% 235.03/224.05 eprover: CPU time limit exceeded, terminating
% 237.20/226.06 eprover: CPU time limit exceeded, terminating
% 239.31/228.07 eprover: CPU time limit exceeded, terminating
% 241.38/230.08 eprover: CPU time limit exceeded, terminating
% 243.52/232.09 eprover: CPU time limit exceeded, terminating
% 245.58/234.10 eprover: CPU time limit exceeded, terminating
% 247.69/236.11 eprover: CPU time limit exceeded, terminating
% 249.86/238.12 eprover: CPU time limit exceeded, terminating
% 251.91/240.13 eprover: CPU time limit exceeded, terminating
% 254.09/242.14 eprover: CPU time limit exceeded, terminating
% 256.15/244.15 eprover: CPU time limit exceeded, terminating
% 258.31/246.16 eprover: CPU time limit exceeded, terminating
% 260.44/248.17 eprover: CPU time limit exceeded, terminating
% 262.52/250.18 eprover: CPU time limit exceeded, terminating
% 264.64/252.20 eprover: CPU time limit exceeded, terminating
% 266.72/254.21 eprover: CPU time limit exceeded, terminating
% 268.82/256.22 eprover: CPU time limit exceeded, terminating
% 270.89/258.23 eprover: CPU time limit exceeded, terminating
% 273.10/260.24 eprover: CPU time limit exceeded, terminating
% 275.21/262.25 eprover: CPU time limit exceeded, terminating
% 277.32/264.26 eprover: CPU time limit exceeded, terminating
% 279.45/266.27 eprover: CPU time limit exceeded, terminating
% 281.51/268.28 eprover: CPU time limit exceeded, terminating
% 283.63/270.29 eprover: CPU time limit exceeded, terminating
% 285.77/272.30 eprover: CPU time limit exceeded, terminating
% 287.84/274.31 eprover: CPU time limit exceeded, terminating
% 289.93/276.32 eprover: CPU time limit exceeded, terminating
% 292.13/278.33 eprover: CPU time limit exceeded, terminating
% 294.23/280.34 eprover: CPU time limit exceeded, terminating
% 296.34/282.35 eprover: CPU time limit exceeded, terminating
% 298.46/284.36 eprover: CPU time limit exceeded, terminating
% 300.03/285.82 eprover: CPU time limit exceeded, terminating
% 300.03/285.84 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------