TSTP Solution File: CSR113+27 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+27 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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:21 EDT 2022
% Result : Timeout 287.47s 269.27s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : CSR113+27 : TPTP v8.1.0. Released v4.0.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n027.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jun 10 22:21:14 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.70/3.73 eprover: CPU time limit exceeded, terminating
% 5.82/5.74 eprover: CPU time limit exceeded, terminating
% 7.97/7.76 eprover: CPU time limit exceeded, terminating
% 10.10/9.77 eprover: CPU time limit exceeded, terminating
% 12.31/11.78 eprover: CPU time limit exceeded, terminating
% 14.50/13.80 eprover: CPU time limit exceeded, terminating
% 16.63/15.81 eprover: CPU time limit exceeded, terminating
% 18.79/17.82 eprover: CPU time limit exceeded, terminating
% 20.94/19.83 eprover: CPU time limit exceeded, terminating
% 23.09/21.85 eprover: CPU time limit exceeded, terminating
% 25.22/23.86 eprover: CPU time limit exceeded, terminating
% 27.40/25.87 eprover: CPU time limit exceeded, terminating
% 29.53/27.88 eprover: CPU time limit exceeded, terminating
% 31.68/29.89 eprover: CPU time limit exceeded, terminating
% 33.93/31.90 eprover: CPU time limit exceeded, terminating
% 36.09/33.92 eprover: CPU time limit exceeded, terminating
% 38.23/35.93 eprover: CPU time limit exceeded, terminating
% 40.37/37.94 eprover: CPU time limit exceeded, terminating
% 42.50/39.95 eprover: CPU time limit exceeded, terminating
% 44.67/41.96 eprover: CPU time limit exceeded, terminating
% 46.84/43.98 eprover: CPU time limit exceeded, terminating
% 49.05/45.99 eprover: CPU time limit exceeded, terminating
% 51.13/48.00 eprover: CPU time limit exceeded, terminating
% 53.38/50.01 eprover: CPU time limit exceeded, terminating
% 55.53/52.03 eprover: CPU time limit exceeded, terminating
% 57.67/54.04 eprover: CPU time limit exceeded, terminating
% 59.80/56.06 eprover: CPU time limit exceeded, terminating
% 61.94/58.07 eprover: CPU time limit exceeded, terminating
% 64.12/60.08 eprover: CPU time limit exceeded, terminating
% 66.26/62.09 eprover: CPU time limit exceeded, terminating
% 68.41/64.10 eprover: CPU time limit exceeded, terminating
% 70.66/66.11 eprover: CPU time limit exceeded, terminating
% 72.79/68.13 eprover: CPU time limit exceeded, terminating
% 74.95/70.14 eprover: CPU time limit exceeded, terminating
% 77.09/72.15 eprover: CPU time limit exceeded, terminating
% 79.22/74.16 eprover: CPU time limit exceeded, terminating
% 81.29/76.18 eprover: CPU time limit exceeded, terminating
% 83.39/78.19 eprover: CPU time limit exceeded, terminating
% 85.62/80.20 eprover: CPU time limit exceeded, terminating
% 87.73/82.21 eprover: CPU time limit exceeded, terminating
% 89.92/84.23 eprover: CPU time limit exceeded, terminating
% 92.07/86.24 eprover: CPU time limit exceeded, terminating
% 94.20/88.25 eprover: CPU time limit exceeded, terminating
% 96.35/90.26 eprover: CPU time limit exceeded, terminating
% 98.52/92.28 eprover: CPU time limit exceeded, terminating
% 100.72/94.29 eprover: CPU time limit exceeded, terminating
% 102.89/96.30 eprover: CPU time limit exceeded, terminating
% 105.05/98.31 eprover: CPU time limit exceeded, terminating
% 107.21/100.33 eprover: CPU time limit exceeded, terminating
% 109.32/102.34 eprover: CPU time limit exceeded, terminating
% 111.49/104.35 eprover: CPU time limit exceeded, terminating
% 113.65/106.36 eprover: CPU time limit exceeded, terminating
% 115.78/108.38 eprover: CPU time limit exceeded, terminating
% 118.00/110.39 eprover: CPU time limit exceeded, terminating
% 120.16/112.40 eprover: CPU time limit exceeded, terminating
% 122.30/114.41 eprover: CPU time limit exceeded, terminating
% 124.45/116.42 eprover: CPU time limit exceeded, terminating
% 126.62/118.43 eprover: CPU time limit exceeded, terminating
% 128.74/120.44 eprover: CPU time limit exceeded, terminating
% 130.89/122.45 eprover: CPU time limit exceeded, terminating
% 133.01/124.47 eprover: CPU time limit exceeded, terminating
% 135.18/126.48 eprover: CPU time limit exceeded, terminating
% 137.39/128.49 eprover: CPU time limit exceeded, terminating
% 139.44/130.50 eprover: CPU time limit exceeded, terminating
% 141.67/132.51 eprover: CPU time limit exceeded, terminating
% 143.79/134.52 eprover: CPU time limit exceeded, terminating
% 145.93/136.53 eprover: CPU time limit exceeded, terminating
% 148.10/138.54 eprover: CPU time limit exceeded, terminating
% 150.27/140.55 eprover: CPU time limit exceeded, terminating
% 152.38/142.56 eprover: CPU time limit exceeded, terminating
% 154.54/144.57 eprover: CPU time limit exceeded, terminating
% 156.69/146.58 eprover: CPU time limit exceeded, terminating
% 158.85/148.59 eprover: CPU time limit exceeded, terminating
% 161.07/150.60 eprover: CPU time limit exceeded, terminating
% 163.22/152.61 eprover: CPU time limit exceeded, terminating
% 165.33/154.62 eprover: CPU time limit exceeded, terminating
% 167.50/156.63 eprover: CPU time limit exceeded, terminating
% 169.65/158.65 eprover: CPU time limit exceeded, terminating
% 171.80/160.66 eprover: CPU time limit exceeded, terminating
% 173.93/162.67 eprover: CPU time limit exceeded, terminating
% 176.10/164.68 eprover: CPU time limit exceeded, terminating
% 178.30/166.69 eprover: CPU time limit exceeded, terminating
% 180.44/168.70 eprover: CPU time limit exceeded, terminating
% 182.57/170.71 eprover: CPU time limit exceeded, terminating
% 184.73/172.72 eprover: CPU time limit exceeded, terminating
% 186.89/174.73 eprover: CPU time limit exceeded, terminating
% 189.05/176.74 eprover: CPU time limit exceeded, terminating
% 191.16/178.76 eprover: CPU time limit exceeded, terminating
% 193.37/180.77 eprover: CPU time limit exceeded, terminating
% 195.45/182.78 eprover: CPU time limit exceeded, terminating
% 197.66/184.79 eprover: CPU time limit exceeded, terminating
% 199.82/186.80 eprover: CPU time limit exceeded, terminating
% 201.96/188.81 eprover: CPU time limit exceeded, terminating
% 204.11/190.82 eprover: CPU time limit exceeded, terminating
% 206.27/192.83 eprover: CPU time limit exceeded, terminating
% 208.44/194.84 eprover: CPU time limit exceeded, terminating
% 210.56/196.85 eprover: CPU time limit exceeded, terminating
% 212.74/198.86 eprover: CPU time limit exceeded, terminating
% 214.82/200.87 eprover: CPU time limit exceeded, terminating
% 217.06/202.89 eprover: CPU time limit exceeded, terminating
% 219.23/204.90 eprover: CPU time limit exceeded, terminating
% 221.34/206.91 eprover: CPU time limit exceeded, terminating
% 223.53/208.92 eprover: CPU time limit exceeded, terminating
% 225.64/210.93 eprover: CPU time limit exceeded, terminating
% 227.84/212.95 eprover: CPU time limit exceeded, terminating
% 229.86/214.96 eprover: CPU time limit exceeded, terminating
% 231.98/216.97 eprover: CPU time limit exceeded, terminating
% 234.06/218.98 eprover: CPU time limit exceeded, terminating
% 236.23/220.99 eprover: CPU time limit exceeded, terminating
% 238.44/223.00 eprover: CPU time limit exceeded, terminating
% 240.57/225.02 eprover: CPU time limit exceeded, terminating
% 242.68/227.03 eprover: CPU time limit exceeded, terminating
% 244.83/229.04 eprover: CPU time limit exceeded, terminating
% 246.98/231.05 eprover: CPU time limit exceeded, terminating
% 249.10/233.06 eprover: CPU time limit exceeded, terminating
% 251.21/235.07 eprover: CPU time limit exceeded, terminating
% 253.24/237.09 eprover: CPU time limit exceeded, terminating
% 255.37/239.10 eprover: CPU time limit exceeded, terminating
% 257.53/241.11 eprover: CPU time limit exceeded, terminating
% 259.67/243.12 eprover: CPU time limit exceeded, terminating
% 261.80/245.13 eprover: CPU time limit exceeded, terminating
% 263.84/247.14 eprover: CPU time limit exceeded, terminating
% 265.99/249.16 eprover: CPU time limit exceeded, terminating
% 268.14/251.17 eprover: CPU time limit exceeded, terminating
% 270.29/253.18 eprover: CPU time limit exceeded, terminating
% 272.43/255.19 eprover: CPU time limit exceeded, terminating
% 274.63/257.20 eprover: CPU time limit exceeded, terminating
% 276.77/259.21 eprover: CPU time limit exceeded, terminating
% 278.91/261.23 eprover: CPU time limit exceeded, terminating
% 281.02/263.24 eprover: CPU time limit exceeded, terminating
% 283.20/265.25 eprover: CPU time limit exceeded, terminating
% 285.32/267.26 eprover: CPU time limit exceeded, terminating
% 287.47/269.27 eprover: CPU time limit exceeded, terminating
% 289.59/271.28 eprover: CPU time limit exceeded, terminating
% 291.75/273.29 eprover: CPU time limit exceeded, terminating
% 293.96/275.31 eprover: CPU time limit exceeded, terminating
% 296.03/277.32 eprover: CPU time limit exceeded, terminating
% 298.10/279.33 eprover: CPU time limit exceeded, terminating
% 300.06/281.23 eprover: CPU time limit exceeded, terminating
% 300.06/281.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------