TSTP Solution File: CSR113+7 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+7 : TPTP v8.1.0. Released v4.0.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 : Fri Jul 15 03:35:23 EDT 2022
% Result : Timeout 287.56s 269.56s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR113+7 : TPTP v8.1.0. Released v4.0.0.
% 0.10/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 Jun 11 00:26:07 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.77/3.80 eprover: CPU time limit exceeded, terminating
% 5.89/5.81 eprover: CPU time limit exceeded, terminating
% 8.09/7.83 eprover: CPU time limit exceeded, terminating
% 10.19/9.84 eprover: CPU time limit exceeded, terminating
% 12.40/11.85 eprover: CPU time limit exceeded, terminating
% 14.54/13.86 eprover: CPU time limit exceeded, terminating
% 16.75/15.88 eprover: CPU time limit exceeded, terminating
% 18.90/17.89 eprover: CPU time limit exceeded, terminating
% 21.04/19.90 eprover: CPU time limit exceeded, terminating
% 23.20/21.92 eprover: CPU time limit exceeded, terminating
% 25.41/23.93 eprover: CPU time limit exceeded, terminating
% 27.53/25.94 eprover: CPU time limit exceeded, terminating
% 29.72/27.95 eprover: CPU time limit exceeded, terminating
% 31.94/29.96 eprover: CPU time limit exceeded, terminating
% 34.06/31.98 eprover: CPU time limit exceeded, terminating
% 36.26/33.99 eprover: CPU time limit exceeded, terminating
% 38.39/36.00 eprover: CPU time limit exceeded, terminating
% 40.56/38.02 eprover: CPU time limit exceeded, terminating
% 42.77/40.03 eprover: CPU time limit exceeded, terminating
% 44.86/42.04 eprover: CPU time limit exceeded, terminating
% 47.07/44.05 eprover: CPU time limit exceeded, terminating
% 49.25/46.07 eprover: CPU time limit exceeded, terminating
% 51.38/48.08 eprover: CPU time limit exceeded, terminating
% 53.58/50.09 eprover: CPU time limit exceeded, terminating
% 55.74/52.11 eprover: CPU time limit exceeded, terminating
% 57.91/54.12 eprover: CPU time limit exceeded, terminating
% 60.06/56.13 eprover: CPU time limit exceeded, terminating
% 62.17/58.15 eprover: CPU time limit exceeded, terminating
% 64.33/60.16 eprover: CPU time limit exceeded, terminating
% 66.47/62.17 eprover: CPU time limit exceeded, terminating
% 68.72/64.19 eprover: CPU time limit exceeded, terminating
% 70.89/66.20 eprover: CPU time limit exceeded, terminating
% 73.03/68.50 eprover: CPU time limit exceeded, terminating
% 75.16/70.51 eprover: CPU time limit exceeded, terminating
% 77.32/72.53 eprover: CPU time limit exceeded, terminating
% 79.48/74.54 eprover: CPU time limit exceeded, terminating
% 81.56/76.55 eprover: CPU time limit exceeded, terminating
% 83.63/78.56 eprover: CPU time limit exceeded, terminating
% 85.73/80.57 eprover: CPU time limit exceeded, terminating
% 87.98/82.59 eprover: CPU time limit exceeded, terminating
% 90.14/84.60 eprover: CPU time limit exceeded, terminating
% 92.27/86.61 eprover: CPU time limit exceeded, terminating
% 94.43/88.62 eprover: CPU time limit exceeded, terminating
% 96.58/90.63 eprover: CPU time limit exceeded, terminating
% 98.76/92.64 eprover: CPU time limit exceeded, terminating
% 100.87/94.65 eprover: CPU time limit exceeded, terminating
% 103.05/96.66 eprover: CPU time limit exceeded, terminating
% 105.16/98.67 eprover: CPU time limit exceeded, terminating
% 107.40/100.68 eprover: CPU time limit exceeded, terminating
% 109.55/102.69 eprover: CPU time limit exceeded, terminating
% 111.69/104.70 eprover: CPU time limit exceeded, terminating
% 113.85/106.71 eprover: CPU time limit exceeded, terminating
% 115.97/108.72 eprover: CPU time limit exceeded, terminating
% 118.11/110.73 eprover: CPU time limit exceeded, terminating
% 120.28/112.75 eprover: CPU time limit exceeded, terminating
% 122.41/114.76 eprover: CPU time limit exceeded, terminating
% 124.56/116.77 eprover: CPU time limit exceeded, terminating
% 126.73/118.78 eprover: CPU time limit exceeded, terminating
% 128.84/120.79 eprover: CPU time limit exceeded, terminating
% 131.06/122.80 eprover: CPU time limit exceeded, terminating
% 133.18/124.81 eprover: CPU time limit exceeded, terminating
% 135.29/126.82 eprover: CPU time limit exceeded, terminating
% 137.49/128.83 eprover: CPU time limit exceeded, terminating
% 139.60/130.84 eprover: CPU time limit exceeded, terminating
% 141.78/132.86 eprover: CPU time limit exceeded, terminating
% 143.87/134.87 eprover: CPU time limit exceeded, terminating
% 146.06/136.88 eprover: CPU time limit exceeded, terminating
% 148.25/138.89 eprover: CPU time limit exceeded, terminating
% 150.37/140.90 eprover: CPU time limit exceeded, terminating
% 152.55/142.91 eprover: CPU time limit exceeded, terminating
% 154.70/144.92 eprover: CPU time limit exceeded, terminating
% 156.82/146.93 eprover: CPU time limit exceeded, terminating
% 159.00/148.94 eprover: CPU time limit exceeded, terminating
% 161.13/150.95 eprover: CPU time limit exceeded, terminating
% 163.26/152.96 eprover: CPU time limit exceeded, terminating
% 165.43/154.97 eprover: CPU time limit exceeded, terminating
% 167.57/156.98 eprover: CPU time limit exceeded, terminating
% 169.78/158.99 eprover: CPU time limit exceeded, terminating
% 171.90/161.00 eprover: CPU time limit exceeded, terminating
% 174.01/163.01 eprover: CPU time limit exceeded, terminating
% 176.20/165.02 eprover: CPU time limit exceeded, terminating
% 178.39/167.03 eprover: CPU time limit exceeded, terminating
% 180.48/169.04 eprover: CPU time limit exceeded, terminating
% 182.66/171.05 eprover: CPU time limit exceeded, terminating
% 184.77/173.06 eprover: CPU time limit exceeded, terminating
% 186.94/175.07 eprover: CPU time limit exceeded, terminating
% 189.06/177.08 eprover: CPU time limit exceeded, terminating
% 191.27/179.09 eprover: CPU time limit exceeded, terminating
% 193.37/181.10 eprover: CPU time limit exceeded, terminating
% 195.58/183.11 eprover: CPU time limit exceeded, terminating
% 197.73/185.12 eprover: CPU time limit exceeded, terminating
% 199.85/187.13 eprover: CPU time limit exceeded, terminating
% 202.00/189.14 eprover: CPU time limit exceeded, terminating
% 204.12/191.15 eprover: CPU time limit exceeded, terminating
% 206.32/193.16 eprover: CPU time limit exceeded, terminating
% 208.47/195.17 eprover: CPU time limit exceeded, terminating
% 210.60/197.18 eprover: CPU time limit exceeded, terminating
% 212.75/199.19 eprover: CPU time limit exceeded, terminating
% 214.89/201.20 eprover: CPU time limit exceeded, terminating
% 217.05/203.21 eprover: CPU time limit exceeded, terminating
% 219.22/205.22 eprover: CPU time limit exceeded, terminating
% 221.39/207.23 eprover: CPU time limit exceeded, terminating
% 223.51/209.24 eprover: CPU time limit exceeded, terminating
% 225.68/211.25 eprover: CPU time limit exceeded, terminating
% 227.80/213.26 eprover: CPU time limit exceeded, terminating
% 229.90/215.27 eprover: CPU time limit exceeded, terminating
% 232.02/217.28 eprover: CPU time limit exceeded, terminating
% 234.14/219.29 eprover: CPU time limit exceeded, terminating
% 236.31/221.30 eprover: CPU time limit exceeded, terminating
% 238.48/223.31 eprover: CPU time limit exceeded, terminating
% 240.58/225.32 eprover: CPU time limit exceeded, terminating
% 242.70/227.33 eprover: CPU time limit exceeded, terminating
% 244.92/229.34 eprover: CPU time limit exceeded, terminating
% 247.06/231.36 eprover: CPU time limit exceeded, terminating
% 249.20/233.37 eprover: CPU time limit exceeded, terminating
% 251.24/235.38 eprover: CPU time limit exceeded, terminating
% 253.33/237.39 eprover: CPU time limit exceeded, terminating
% 255.39/239.40 eprover: CPU time limit exceeded, terminating
% 257.58/241.41 eprover: CPU time limit exceeded, terminating
% 259.72/243.42 eprover: CPU time limit exceeded, terminating
% 261.83/245.43 eprover: CPU time limit exceeded, terminating
% 263.94/247.44 eprover: CPU time limit exceeded, terminating
% 266.03/249.45 eprover: CPU time limit exceeded, terminating
% 268.20/251.46 eprover: CPU time limit exceeded, terminating
% 270.39/253.47 eprover: CPU time limit exceeded, terminating
% 272.50/255.48 eprover: CPU time limit exceeded, terminating
% 274.68/257.49 eprover: CPU time limit exceeded, terminating
% 276.78/259.51 eprover: CPU time limit exceeded, terminating
% 279.01/261.52 eprover: CPU time limit exceeded, terminating
% 281.14/263.53 eprover: CPU time limit exceeded, terminating
% 283.27/265.54 eprover: CPU time limit exceeded, terminating
% 285.45/267.55 eprover: CPU time limit exceeded, terminating
% 287.56/269.56 eprover: CPU time limit exceeded, terminating
% 289.73/271.57 eprover: CPU time limit exceeded, terminating
% 291.88/273.59 eprover: CPU time limit exceeded, terminating
% 294.04/275.60 eprover: CPU time limit exceeded, terminating
% 296.13/277.61 eprover: CPU time limit exceeded, terminating
% 298.19/279.62 eprover: CPU time limit exceeded, terminating
% 300.08/281.43 eprover: CPU time limit exceeded, terminating
% 300.08/281.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------