TSTP Solution File: CSR115+58 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+58 : 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:33 EDT 2022
% Result : Timeout 287.47s 269.27s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR115+58 : TPTP v8.1.0. Released v4.0.0.
% 0.10/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n027.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 10 19:57:14 EDT 2022
% 0.13/0.33 % CPUTime :
% 3.67/3.74 eprover: CPU time limit exceeded, terminating
% 5.86/5.75 eprover: CPU time limit exceeded, terminating
% 7.99/7.76 eprover: CPU time limit exceeded, terminating
% 10.15/9.77 eprover: CPU time limit exceeded, terminating
% 12.30/11.79 eprover: CPU time limit exceeded, terminating
% 14.52/13.80 eprover: CPU time limit exceeded, terminating
% 16.66/15.81 eprover: CPU time limit exceeded, terminating
% 18.82/17.82 eprover: CPU time limit exceeded, terminating
% 20.94/19.84 eprover: CPU time limit exceeded, terminating
% 23.10/21.85 eprover: CPU time limit exceeded, terminating
% 25.29/23.86 eprover: CPU time limit exceeded, terminating
% 27.47/25.87 eprover: CPU time limit exceeded, terminating
% 29.59/27.88 eprover: CPU time limit exceeded, terminating
% 31.85/29.90 eprover: CPU time limit exceeded, terminating
% 34.02/31.91 eprover: CPU time limit exceeded, terminating
% 36.18/33.92 eprover: CPU time limit exceeded, terminating
% 38.33/35.94 eprover: CPU time limit exceeded, terminating
% 40.46/37.95 eprover: CPU time limit exceeded, terminating
% 42.64/39.96 eprover: CPU time limit exceeded, terminating
% 44.81/41.97 eprover: CPU time limit exceeded, terminating
% 46.97/43.98 eprover: CPU time limit exceeded, terminating
% 49.17/45.99 eprover: CPU time limit exceeded, terminating
% 51.33/48.01 eprover: CPU time limit exceeded, terminating
% 53.49/50.02 eprover: CPU time limit exceeded, terminating
% 55.67/52.03 eprover: CPU time limit exceeded, terminating
% 57.80/54.04 eprover: CPU time limit exceeded, terminating
% 59.96/56.05 eprover: CPU time limit exceeded, terminating
% 62.12/58.06 eprover: CPU time limit exceeded, terminating
% 64.23/60.07 eprover: CPU time limit exceeded, terminating
% 66.48/62.09 eprover: CPU time limit exceeded, terminating
% 68.56/64.10 eprover: CPU time limit exceeded, terminating
% 70.77/66.11 eprover: CPU time limit exceeded, terminating
% 72.94/68.12 eprover: CPU time limit exceeded, terminating
% 75.06/70.13 eprover: CPU time limit exceeded, terminating
% 77.19/72.14 eprover: CPU time limit exceeded, terminating
% 79.39/74.16 eprover: CPU time limit exceeded, terminating
% 81.45/76.17 eprover: CPU time limit exceeded, terminating
% 83.50/78.18 eprover: CPU time limit exceeded, terminating
% 85.70/80.19 eprover: CPU time limit exceeded, terminating
% 87.78/82.20 eprover: CPU time limit exceeded, terminating
% 89.98/84.21 eprover: CPU time limit exceeded, terminating
% 92.13/86.22 eprover: CPU time limit exceeded, terminating
% 94.28/88.24 eprover: CPU time limit exceeded, terminating
% 96.39/90.25 eprover: CPU time limit exceeded, terminating
% 98.57/92.26 eprover: CPU time limit exceeded, terminating
% 100.73/94.27 eprover: CPU time limit exceeded, terminating
% 102.86/96.28 eprover: CPU time limit exceeded, terminating
% 105.02/98.29 eprover: CPU time limit exceeded, terminating
% 107.22/100.30 eprover: CPU time limit exceeded, terminating
% 109.29/102.31 eprover: CPU time limit exceeded, terminating
% 111.54/104.32 eprover: CPU time limit exceeded, terminating
% 113.69/106.33 eprover: CPU time limit exceeded, terminating
% 115.78/108.35 eprover: CPU time limit exceeded, terminating
% 117.97/110.36 eprover: CPU time limit exceeded, terminating
% 120.13/112.37 eprover: CPU time limit exceeded, terminating
% 122.24/114.38 eprover: CPU time limit exceeded, terminating
% 124.43/116.39 eprover: CPU time limit exceeded, terminating
% 126.53/118.40 eprover: CPU time limit exceeded, terminating
% 128.76/120.41 eprover: CPU time limit exceeded, terminating
% 130.90/122.42 eprover: CPU time limit exceeded, terminating
% 133.02/124.44 eprover: CPU time limit exceeded, terminating
% 135.19/126.45 eprover: CPU time limit exceeded, terminating
% 137.29/128.46 eprover: CPU time limit exceeded, terminating
% 139.45/130.47 eprover: CPU time limit exceeded, terminating
% 141.58/132.48 eprover: CPU time limit exceeded, terminating
% 143.79/134.49 eprover: CPU time limit exceeded, terminating
% 145.95/136.50 eprover: CPU time limit exceeded, terminating
% 148.07/138.51 eprover: CPU time limit exceeded, terminating
% 150.25/140.53 eprover: CPU time limit exceeded, terminating
% 152.36/142.54 eprover: CPU time limit exceeded, terminating
% 154.50/144.55 eprover: CPU time limit exceeded, terminating
% 156.64/146.56 eprover: CPU time limit exceeded, terminating
% 158.80/148.57 eprover: CPU time limit exceeded, terminating
% 161.01/150.58 eprover: CPU time limit exceeded, terminating
% 163.07/152.59 eprover: CPU time limit exceeded, terminating
% 165.28/154.60 eprover: CPU time limit exceeded, terminating
% 167.45/156.61 eprover: CPU time limit exceeded, terminating
% 169.58/158.62 eprover: CPU time limit exceeded, terminating
% 171.72/160.64 eprover: CPU time limit exceeded, terminating
% 173.89/162.65 eprover: CPU time limit exceeded, terminating
% 176.01/164.66 eprover: CPU time limit exceeded, terminating
% 178.15/166.67 eprover: CPU time limit exceeded, terminating
% 180.35/168.68 eprover: CPU time limit exceeded, terminating
% 182.49/170.69 eprover: CPU time limit exceeded, terminating
% 184.65/172.70 eprover: CPU time limit exceeded, terminating
% 186.79/174.72 eprover: CPU time limit exceeded, terminating
% 188.93/176.73 eprover: CPU time limit exceeded, terminating
% 191.08/178.74 eprover: CPU time limit exceeded, terminating
% 193.22/180.75 eprover: CPU time limit exceeded, terminating
% 195.33/182.76 eprover: CPU time limit exceeded, terminating
% 197.48/184.77 eprover: CPU time limit exceeded, terminating
% 199.63/186.78 eprover: CPU time limit exceeded, terminating
% 201.75/188.80 eprover: CPU time limit exceeded, terminating
% 203.98/190.81 eprover: CPU time limit exceeded, terminating
% 206.15/192.82 eprover: CPU time limit exceeded, terminating
% 208.28/194.83 eprover: CPU time limit exceeded, terminating
% 210.40/196.84 eprover: CPU time limit exceeded, terminating
% 212.56/198.85 eprover: CPU time limit exceeded, terminating
% 214.71/200.86 eprover: CPU time limit exceeded, terminating
% 216.85/202.87 eprover: CPU time limit exceeded, terminating
% 218.99/204.88 eprover: CPU time limit exceeded, terminating
% 221.13/206.89 eprover: CPU time limit exceeded, terminating
% 223.35/208.91 eprover: CPU time limit exceeded, terminating
% 225.47/210.92 eprover: CPU time limit exceeded, terminating
% 227.64/212.93 eprover: CPU time limit exceeded, terminating
% 229.72/214.94 eprover: CPU time limit exceeded, terminating
% 231.76/216.95 eprover: CPU time limit exceeded, terminating
% 233.90/218.96 eprover: CPU time limit exceeded, terminating
% 236.05/220.97 eprover: CPU time limit exceeded, terminating
% 238.26/222.98 eprover: CPU time limit exceeded, terminating
% 240.40/224.99 eprover: CPU time limit exceeded, terminating
% 242.55/227.01 eprover: CPU time limit exceeded, terminating
% 244.67/229.02 eprover: CPU time limit exceeded, terminating
% 246.81/231.03 eprover: CPU time limit exceeded, terminating
% 248.94/233.05 eprover: CPU time limit exceeded, terminating
% 251.01/235.06 eprover: CPU time limit exceeded, terminating
% 253.08/237.07 eprover: CPU time limit exceeded, terminating
% 255.11/239.08 eprover: CPU time limit exceeded, terminating
% 257.35/241.09 eprover: CPU time limit exceeded, terminating
% 259.49/243.10 eprover: CPU time limit exceeded, terminating
% 261.65/245.12 eprover: CPU time limit exceeded, terminating
% 263.68/247.13 eprover: CPU time limit exceeded, terminating
% 265.85/249.14 eprover: CPU time limit exceeded, terminating
% 268.01/251.15 eprover: CPU time limit exceeded, terminating
% 270.13/253.17 eprover: CPU time limit exceeded, terminating
% 272.29/255.18 eprover: CPU time limit exceeded, terminating
% 274.44/257.19 eprover: CPU time limit exceeded, terminating
% 276.61/259.21 eprover: CPU time limit exceeded, terminating
% 278.85/261.22 eprover: CPU time limit exceeded, terminating
% 281.01/263.23 eprover: CPU time limit exceeded, terminating
% 283.14/265.25 eprover: CPU time limit exceeded, terminating
% 285.28/267.26 eprover: CPU time limit exceeded, terminating
% 287.47/269.27 eprover: CPU time limit exceeded, terminating
% 289.68/271.29 eprover: CPU time limit exceeded, terminating
% 291.85/273.30 eprover: CPU time limit exceeded, terminating
% 293.98/275.31 eprover: CPU time limit exceeded, terminating
% 296.06/277.32 eprover: CPU time limit exceeded, terminating
% 298.14/279.34 eprover: CPU time limit exceeded, terminating
% 300.09/281.23 eprover: CPU time limit exceeded, terminating
% 300.09/281.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------