TSTP Solution File: SCT169+6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SCT169+6 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n005.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:35 EDT 2022
% Result : Timeout 285.96s 279.04s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : SCT169+6 : TPTP v8.1.0. Released v5.3.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n005.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 : Fri Jul 1 22:10:52 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.47/3.64 eprover: CPU time limit exceeded, terminating
% 5.48/5.65 eprover: CPU time limit exceeded, terminating
% 7.55/7.66 eprover: CPU time limit exceeded, terminating
% 9.64/9.67 eprover: CPU time limit exceeded, terminating
% 11.75/11.68 eprover: CPU time limit exceeded, terminating
% 13.73/13.69 eprover: CPU time limit exceeded, terminating
% 15.86/15.70 eprover: CPU time limit exceeded, terminating
% 17.81/17.71 eprover: CPU time limit exceeded, terminating
% 19.97/19.72 eprover: CPU time limit exceeded, terminating
% 22.02/21.73 eprover: CPU time limit exceeded, terminating
% 24.10/23.74 eprover: CPU time limit exceeded, terminating
% 26.12/25.75 eprover: CPU time limit exceeded, terminating
% 28.18/27.76 eprover: CPU time limit exceeded, terminating
% 30.26/29.77 eprover: CPU time limit exceeded, terminating
% 32.29/31.78 eprover: CPU time limit exceeded, terminating
% 34.39/33.79 eprover: CPU time limit exceeded, terminating
% 36.48/35.80 eprover: CPU time limit exceeded, terminating
% 38.50/37.81 eprover: CPU time limit exceeded, terminating
% 40.58/39.82 eprover: CPU time limit exceeded, terminating
% 42.61/41.83 eprover: CPU time limit exceeded, terminating
% 44.70/43.84 eprover: CPU time limit exceeded, terminating
% 46.74/45.85 eprover: CPU time limit exceeded, terminating
% 48.79/47.86 eprover: CPU time limit exceeded, terminating
% 50.83/49.87 eprover: CPU time limit exceeded, terminating
% 52.88/51.88 eprover: CPU time limit exceeded, terminating
% 54.95/53.89 eprover: CPU time limit exceeded, terminating
% 57.06/55.90 eprover: CPU time limit exceeded, terminating
% 59.11/57.91 eprover: CPU time limit exceeded, terminating
% 61.19/59.93 eprover: CPU time limit exceeded, terminating
% 63.22/61.94 eprover: CPU time limit exceeded, terminating
% 65.31/63.95 eprover: CPU time limit exceeded, terminating
% 67.35/65.96 eprover: CPU time limit exceeded, terminating
% 69.40/67.97 eprover: CPU time limit exceeded, terminating
% 71.49/69.99 eprover: CPU time limit exceeded, terminating
% 73.49/71.99 eprover: CPU time limit exceeded, terminating
% 75.62/74.00 eprover: CPU time limit exceeded, terminating
% 77.69/76.01 eprover: CPU time limit exceeded, terminating
% 79.70/78.02 eprover: CPU time limit exceeded, terminating
% 81.81/80.03 eprover: CPU time limit exceeded, terminating
% 83.81/82.04 eprover: CPU time limit exceeded, terminating
% 85.92/84.05 eprover: CPU time limit exceeded, terminating
% 87.93/86.06 eprover: CPU time limit exceeded, terminating
% 90.03/88.07 eprover: CPU time limit exceeded, terminating
% 92.04/90.08 eprover: CPU time limit exceeded, terminating
% 94.11/92.09 eprover: CPU time limit exceeded, terminating
% 96.21/94.10 eprover: CPU time limit exceeded, terminating
% 98.29/96.11 eprover: CPU time limit exceeded, terminating
% 100.34/98.12 eprover: CPU time limit exceeded, terminating
% 102.42/100.13 eprover: CPU time limit exceeded, terminating
% 104.42/102.14 eprover: CPU time limit exceeded, terminating
% 106.53/104.15 eprover: CPU time limit exceeded, terminating
% 108.56/106.16 eprover: CPU time limit exceeded, terminating
% 110.58/108.17 eprover: CPU time limit exceeded, terminating
% 112.67/110.18 eprover: CPU time limit exceeded, terminating
% 114.80/112.19 eprover: CPU time limit exceeded, terminating
% 116.86/114.20 eprover: CPU time limit exceeded, terminating
% 118.93/116.21 eprover: CPU time limit exceeded, terminating
% 120.97/118.22 eprover: CPU time limit exceeded, terminating
% 123.05/120.23 eprover: CPU time limit exceeded, terminating
% 125.12/122.24 eprover: CPU time limit exceeded, terminating
% 127.13/124.25 eprover: CPU time limit exceeded, terminating
% 129.16/126.26 eprover: CPU time limit exceeded, terminating
% 131.21/128.27 eprover: CPU time limit exceeded, terminating
% 133.29/130.28 eprover: CPU time limit exceeded, terminating
% 135.41/132.29 eprover: CPU time limit exceeded, terminating
% 137.41/134.30 eprover: CPU time limit exceeded, terminating
% 139.47/136.31 eprover: CPU time limit exceeded, terminating
% 141.59/138.32 eprover: CPU time limit exceeded, terminating
% 143.68/140.34 eprover: CPU time limit exceeded, terminating
% 145.70/142.35 eprover: CPU time limit exceeded, terminating
% 147.71/144.36 eprover: CPU time limit exceeded, terminating
% 149.82/146.37 eprover: CPU time limit exceeded, terminating
% 151.92/148.37 eprover: CPU time limit exceeded, terminating
% 153.94/150.39 eprover: CPU time limit exceeded, terminating
% 155.96/152.40 eprover: CPU time limit exceeded, terminating
% 158.02/154.41 eprover: CPU time limit exceeded, terminating
% 160.15/156.42 eprover: CPU time limit exceeded, terminating
% 162.23/158.43 eprover: CPU time limit exceeded, terminating
% 164.27/160.44 eprover: CPU time limit exceeded, terminating
% 166.31/162.45 eprover: CPU time limit exceeded, terminating
% 168.34/164.46 eprover: CPU time limit exceeded, terminating
% 170.42/166.47 eprover: CPU time limit exceeded, terminating
% 172.50/168.48 eprover: CPU time limit exceeded, terminating
% 174.59/170.49 eprover: CPU time limit exceeded, terminating
% 176.60/172.50 eprover: CPU time limit exceeded, terminating
% 178.72/174.51 eprover: CPU time limit exceeded, terminating
% 180.75/176.52 eprover: CPU time limit exceeded, terminating
% 182.80/178.53 eprover: CPU time limit exceeded, terminating
% 184.85/180.54 eprover: CPU time limit exceeded, terminating
% 186.93/182.55 eprover: CPU time limit exceeded, terminating
% 188.99/184.56 eprover: CPU time limit exceeded, terminating
% 191.04/186.57 eprover: CPU time limit exceeded, terminating
% 193.15/188.58 eprover: CPU time limit exceeded, terminating
% 195.13/190.59 eprover: CPU time limit exceeded, terminating
% 197.27/192.60 eprover: CPU time limit exceeded, terminating
% 199.31/194.61 eprover: CPU time limit exceeded, terminating
% 201.39/196.62 eprover: CPU time limit exceeded, terminating
% 203.46/198.63 eprover: CPU time limit exceeded, terminating
% 205.49/200.64 eprover: CPU time limit exceeded, terminating
% 207.57/202.65 eprover: CPU time limit exceeded, terminating
% 209.59/204.66 eprover: CPU time limit exceeded, terminating
% 211.72/206.67 eprover: CPU time limit exceeded, terminating
% 213.70/208.68 eprover: CPU time limit exceeded, terminating
% 215.79/210.69 eprover: CPU time limit exceeded, terminating
% 217.90/212.70 eprover: CPU time limit exceeded, terminating
% 219.96/214.71 eprover: CPU time limit exceeded, terminating
% 222.02/216.72 eprover: CPU time limit exceeded, terminating
% 224.06/218.73 eprover: CPU time limit exceeded, terminating
% 226.11/220.74 eprover: CPU time limit exceeded, terminating
% 228.16/222.75 eprover: CPU time limit exceeded, terminating
% 230.22/224.76 eprover: CPU time limit exceeded, terminating
% 232.25/226.77 eprover: CPU time limit exceeded, terminating
% 234.32/228.78 eprover: CPU time limit exceeded, terminating
% 236.39/230.79 eprover: CPU time limit exceeded, terminating
% 238.52/232.80 eprover: CPU time limit exceeded, terminating
% 240.55/234.81 eprover: CPU time limit exceeded, terminating
% 242.63/236.82 eprover: CPU time limit exceeded, terminating
% 244.69/238.83 eprover: CPU time limit exceeded, terminating
% 246.73/240.84 eprover: CPU time limit exceeded, terminating
% 248.76/242.85 eprover: CPU time limit exceeded, terminating
% 250.83/244.87 eprover: CPU time limit exceeded, terminating
% 252.91/246.88 eprover: CPU time limit exceeded, terminating
% 254.96/248.89 eprover: CPU time limit exceeded, terminating
% 257.07/250.90 eprover: CPU time limit exceeded, terminating
% 259.14/252.91 eprover: CPU time limit exceeded, terminating
% 261.18/254.92 eprover: CPU time limit exceeded, terminating
% 263.27/256.93 eprover: CPU time limit exceeded, terminating
% 265.30/258.94 eprover: CPU time limit exceeded, terminating
% 267.36/260.95 eprover: CPU time limit exceeded, terminating
% 269.41/262.96 eprover: CPU time limit exceeded, terminating
% 271.43/264.97 eprover: CPU time limit exceeded, terminating
% 273.51/266.98 eprover: CPU time limit exceeded, terminating
% 275.58/268.99 eprover: CPU time limit exceeded, terminating
% 277.69/271.00 eprover: CPU time limit exceeded, terminating
% 279.70/273.01 eprover: CPU time limit exceeded, terminating
% 281.75/275.02 eprover: CPU time limit exceeded, terminating
% 283.89/277.03 eprover: CPU time limit exceeded, terminating
% 285.96/279.04 eprover: CPU time limit exceeded, terminating
% 288.00/281.05 eprover: CPU time limit exceeded, terminating
% 290.02/283.06 eprover: CPU time limit exceeded, terminating
% 292.06/285.07 eprover: CPU time limit exceeded, terminating
% 294.15/287.08 eprover: CPU time limit exceeded, terminating
% 296.21/289.09 eprover: CPU time limit exceeded, terminating
% 298.24/291.10 eprover: CPU time limit exceeded, terminating
% 300.01/292.72 eprover: CPU time limit exceeded, terminating
% 300.01/292.74 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------