TSTP Solution File: SCT169+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SCT169+7 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n012.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:36 EDT 2022
% Result : Timeout 286.33s 269.29s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SCT169+7 : TPTP v8.1.0. Released v5.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n012.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jul 2 02:32:47 EDT 2022
% 0.13/0.34 % CPUTime :
% 7.56/7.60 eprover: CPU time limit exceeded, terminating
% 9.71/9.61 eprover: CPU time limit exceeded, terminating
% 11.77/11.62 eprover: CPU time limit exceeded, terminating
% 13.99/13.63 eprover: CPU time limit exceeded, terminating
% 16.11/15.64 eprover: CPU time limit exceeded, terminating
% 18.26/17.65 eprover: CPU time limit exceeded, terminating
% 20.41/19.66 eprover: CPU time limit exceeded, terminating
% 22.53/21.67 eprover: CPU time limit exceeded, terminating
% 24.74/23.68 eprover: CPU time limit exceeded, terminating
% 26.81/25.69 eprover: CPU time limit exceeded, terminating
% 29.04/27.70 eprover: CPU time limit exceeded, terminating
% 31.18/29.71 eprover: CPU time limit exceeded, terminating
% 33.29/31.72 eprover: CPU time limit exceeded, terminating
% 35.43/33.73 eprover: CPU time limit exceeded, terminating
% 37.59/35.74 eprover: CPU time limit exceeded, terminating
% 39.74/37.75 eprover: CPU time limit exceeded, terminating
% 41.85/39.76 eprover: CPU time limit exceeded, terminating
% 44.02/41.77 eprover: CPU time limit exceeded, terminating
% 46.13/43.78 eprover: CPU time limit exceeded, terminating
% 48.34/45.79 eprover: CPU time limit exceeded, terminating
% 50.49/47.80 eprover: CPU time limit exceeded, terminating
% 52.62/49.81 eprover: CPU time limit exceeded, terminating
% 54.78/51.82 eprover: CPU time limit exceeded, terminating
% 56.91/53.83 eprover: CPU time limit exceeded, terminating
% 59.03/55.84 eprover: CPU time limit exceeded, terminating
% 61.16/57.85 eprover: CPU time limit exceeded, terminating
% 63.33/59.87 eprover: CPU time limit exceeded, terminating
% 65.50/61.88 eprover: CPU time limit exceeded, terminating
% 67.68/63.90 eprover: CPU time limit exceeded, terminating
% 69.80/65.91 eprover: CPU time limit exceeded, terminating
% 71.94/67.92 eprover: CPU time limit exceeded, terminating
% 74.10/69.93 eprover: CPU time limit exceeded, terminating
% 76.21/71.95 eprover: CPU time limit exceeded, terminating
% 78.35/73.97 eprover: CPU time limit exceeded, terminating
% 80.50/75.98 eprover: CPU time limit exceeded, terminating
% 82.67/77.99 eprover: CPU time limit exceeded, terminating
% 84.83/80.00 eprover: CPU time limit exceeded, terminating
% 86.95/82.01 eprover: CPU time limit exceeded, terminating
% 89.11/84.03 eprover: CPU time limit exceeded, terminating
% 91.21/86.04 eprover: CPU time limit exceeded, terminating
% 93.36/88.05 eprover: CPU time limit exceeded, terminating
% 95.48/90.09 eprover: CPU time limit exceeded, terminating
% 97.68/92.10 eprover: CPU time limit exceeded, terminating
% 99.80/94.11 eprover: CPU time limit exceeded, terminating
% 101.98/96.13 eprover: CPU time limit exceeded, terminating
% 104.08/98.14 eprover: CPU time limit exceeded, terminating
% 106.27/100.16 eprover: CPU time limit exceeded, terminating
% 108.35/102.17 eprover: CPU time limit exceeded, terminating
% 110.54/104.18 eprover: CPU time limit exceeded, terminating
% 112.69/106.19 eprover: CPU time limit exceeded, terminating
% 114.79/108.20 eprover: CPU time limit exceeded, terminating
% 116.95/110.22 eprover: CPU time limit exceeded, terminating
% 119.15/112.23 eprover: CPU time limit exceeded, terminating
% 121.24/114.24 eprover: CPU time limit exceeded, terminating
% 123.41/116.25 eprover: CPU time limit exceeded, terminating
% 125.58/118.26 eprover: CPU time limit exceeded, terminating
% 127.72/120.31 eprover: CPU time limit exceeded, terminating
% 129.88/122.32 eprover: CPU time limit exceeded, terminating
% 131.97/124.33 eprover: CPU time limit exceeded, terminating
% 134.13/126.34 eprover: CPU time limit exceeded, terminating
% 136.23/128.36 eprover: CPU time limit exceeded, terminating
% 138.41/130.37 eprover: CPU time limit exceeded, terminating
% 140.60/132.39 eprover: CPU time limit exceeded, terminating
% 142.73/134.40 eprover: CPU time limit exceeded, terminating
% 144.90/136.42 eprover: CPU time limit exceeded, terminating
% 147.01/138.43 eprover: CPU time limit exceeded, terminating
% 149.15/140.44 eprover: CPU time limit exceeded, terminating
% 151.27/142.47 eprover: CPU time limit exceeded, terminating
% 153.41/144.48 eprover: CPU time limit exceeded, terminating
% 155.64/146.49 eprover: CPU time limit exceeded, terminating
% 157.77/148.50 eprover: CPU time limit exceeded, terminating
% 159.88/150.53 eprover: CPU time limit exceeded, terminating
% 162.03/152.54 eprover: CPU time limit exceeded, terminating
% 164.14/154.55 eprover: CPU time limit exceeded, terminating
% 166.29/156.56 eprover: CPU time limit exceeded, terminating
% 168.43/158.57 eprover: CPU time limit exceeded, terminating
% 170.58/160.58 eprover: CPU time limit exceeded, terminating
% 172.74/162.63 eprover: CPU time limit exceeded, terminating
% 174.91/164.64 eprover: CPU time limit exceeded, terminating
% 177.00/166.65 eprover: CPU time limit exceeded, terminating
% 179.16/168.67 eprover: CPU time limit exceeded, terminating
% 181.37/170.68 eprover: CPU time limit exceeded, terminating
% 183.43/172.69 eprover: CPU time limit exceeded, terminating
% 185.62/174.70 eprover: CPU time limit exceeded, terminating
% 187.71/176.71 eprover: CPU time limit exceeded, terminating
% 189.93/178.73 eprover: CPU time limit exceeded, terminating
% 192.07/180.74 eprover: CPU time limit exceeded, terminating
% 194.14/182.75 eprover: CPU time limit exceeded, terminating
% 196.32/184.76 eprover: CPU time limit exceeded, terminating
% 198.42/186.77 eprover: CPU time limit exceeded, terminating
% 200.58/188.78 eprover: CPU time limit exceeded, terminating
% 202.70/190.79 eprover: CPU time limit exceeded, terminating
% 204.90/192.80 eprover: CPU time limit exceeded, terminating
% 207.02/194.82 eprover: CPU time limit exceeded, terminating
% 209.18/196.83 eprover: CPU time limit exceeded, terminating
% 211.34/198.84 eprover: CPU time limit exceeded, terminating
% 213.44/200.85 eprover: CPU time limit exceeded, terminating
% 215.59/202.87 eprover: CPU time limit exceeded, terminating
% 217.70/204.88 eprover: CPU time limit exceeded, terminating
% 219.91/206.89 eprover: CPU time limit exceeded, terminating
% 221.97/208.90 eprover: CPU time limit exceeded, terminating
% 224.19/210.92 eprover: CPU time limit exceeded, terminating
% 226.34/212.93 eprover: CPU time limit exceeded, terminating
% 228.47/214.94 eprover: CPU time limit exceeded, terminating
% 230.62/216.95 eprover: CPU time limit exceeded, terminating
% 232.74/218.96 eprover: CPU time limit exceeded, terminating
% 234.88/220.98 eprover: CPU time limit exceeded, terminating
% 236.98/222.99 eprover: CPU time limit exceeded, terminating
% 239.20/225.00 eprover: CPU time limit exceeded, terminating
% 241.36/227.01 eprover: CPU time limit exceeded, terminating
% 243.47/229.04 eprover: CPU time limit exceeded, terminating
% 245.62/231.05 eprover: CPU time limit exceeded, terminating
% 247.72/233.06 eprover: CPU time limit exceeded, terminating
% 249.88/235.08 eprover: CPU time limit exceeded, terminating
% 252.07/237.09 eprover: CPU time limit exceeded, terminating
% 254.19/239.10 eprover: CPU time limit exceeded, terminating
% 256.36/241.11 eprover: CPU time limit exceeded, terminating
% 258.49/243.13 eprover: CPU time limit exceeded, terminating
% 260.64/245.14 eprover: CPU time limit exceeded, terminating
% 262.73/247.15 eprover: CPU time limit exceeded, terminating
% 264.88/249.17 eprover: CPU time limit exceeded, terminating
% 267.07/251.18 eprover: CPU time limit exceeded, terminating
% 269.14/253.19 eprover: CPU time limit exceeded, terminating
% 271.26/255.20 eprover: CPU time limit exceeded, terminating
% 273.47/257.21 eprover: CPU time limit exceeded, terminating
% 275.60/259.23 eprover: CPU time limit exceeded, terminating
% 277.71/261.24 eprover: CPU time limit exceeded, terminating
% 279.85/263.26 eprover: CPU time limit exceeded, terminating
% 282.01/265.27 eprover: CPU time limit exceeded, terminating
% 284.12/267.28 eprover: CPU time limit exceeded, terminating
% 286.33/269.29 eprover: CPU time limit exceeded, terminating
% 288.48/271.31 eprover: CPU time limit exceeded, terminating
% 290.61/273.32 eprover: CPU time limit exceeded, terminating
% 292.75/275.33 eprover: CPU time limit exceeded, terminating
% 294.84/277.34 eprover: CPU time limit exceeded, terminating
% 297.00/279.36 eprover: CPU time limit exceeded, terminating
% 299.14/281.37 eprover: CPU time limit exceeded, terminating
% 300.04/282.11 eprover: CPU time limit exceeded, terminating
% 300.04/282.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------