TSTP Solution File: CSR115+98 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+98 : TPTP v8.1.0. Released v4.0.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 : Fri Jul 15 03:35:38 EDT 2022
% Result : Timeout 287.65s 269.30s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR115+98 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n012.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 : Sat Jun 11 12:25:26 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.72/3.76 eprover: CPU time limit exceeded, terminating
% 5.81/5.77 eprover: CPU time limit exceeded, terminating
% 8.01/7.78 eprover: CPU time limit exceeded, terminating
% 10.17/9.79 eprover: CPU time limit exceeded, terminating
% 12.29/11.80 eprover: CPU time limit exceeded, terminating
% 14.50/13.82 eprover: CPU time limit exceeded, terminating
% 16.65/15.83 eprover: CPU time limit exceeded, terminating
% 18.74/17.84 eprover: CPU time limit exceeded, terminating
% 20.93/19.85 eprover: CPU time limit exceeded, terminating
% 23.10/21.86 eprover: CPU time limit exceeded, terminating
% 25.28/23.87 eprover: CPU time limit exceeded, terminating
% 27.44/25.89 eprover: CPU time limit exceeded, terminating
% 29.55/27.90 eprover: CPU time limit exceeded, terminating
% 31.69/29.91 eprover: CPU time limit exceeded, terminating
% 33.90/31.92 eprover: CPU time limit exceeded, terminating
% 36.04/33.93 eprover: CPU time limit exceeded, terminating
% 38.16/35.94 eprover: CPU time limit exceeded, terminating
% 40.40/37.95 eprover: CPU time limit exceeded, terminating
% 42.57/39.96 eprover: CPU time limit exceeded, terminating
% 44.72/41.98 eprover: CPU time limit exceeded, terminating
% 46.88/43.99 eprover: CPU time limit exceeded, terminating
% 49.02/46.00 eprover: CPU time limit exceeded, terminating
% 51.13/48.01 eprover: CPU time limit exceeded, terminating
% 53.33/50.03 eprover: CPU time limit exceeded, terminating
% 55.50/52.04 eprover: CPU time limit exceeded, terminating
% 57.66/54.05 eprover: CPU time limit exceeded, terminating
% 59.83/56.06 eprover: CPU time limit exceeded, terminating
% 61.97/58.07 eprover: CPU time limit exceeded, terminating
% 64.10/60.08 eprover: CPU time limit exceeded, terminating
% 66.24/62.09 eprover: CPU time limit exceeded, terminating
% 68.37/64.10 eprover: CPU time limit exceeded, terminating
% 70.52/66.11 eprover: CPU time limit exceeded, terminating
% 72.69/68.12 eprover: CPU time limit exceeded, terminating
% 74.83/70.13 eprover: CPU time limit exceeded, terminating
% 77.02/72.14 eprover: CPU time limit exceeded, terminating
% 79.19/74.15 eprover: CPU time limit exceeded, terminating
% 81.26/76.16 eprover: CPU time limit exceeded, terminating
% 83.33/78.17 eprover: CPU time limit exceeded, terminating
% 85.50/80.18 eprover: CPU time limit exceeded, terminating
% 87.65/82.19 eprover: CPU time limit exceeded, terminating
% 89.77/84.20 eprover: CPU time limit exceeded, terminating
% 91.96/86.22 eprover: CPU time limit exceeded, terminating
% 94.07/88.23 eprover: CPU time limit exceeded, terminating
% 96.28/90.24 eprover: CPU time limit exceeded, terminating
% 98.42/92.25 eprover: CPU time limit exceeded, terminating
% 100.59/94.26 eprover: CPU time limit exceeded, terminating
% 102.72/96.27 eprover: CPU time limit exceeded, terminating
% 104.86/98.28 eprover: CPU time limit exceeded, terminating
% 107.05/100.29 eprover: CPU time limit exceeded, terminating
% 109.19/102.30 eprover: CPU time limit exceeded, terminating
% 111.35/104.31 eprover: CPU time limit exceeded, terminating
% 113.49/106.32 eprover: CPU time limit exceeded, terminating
% 115.63/108.33 eprover: CPU time limit exceeded, terminating
% 117.81/110.34 eprover: CPU time limit exceeded, terminating
% 119.99/112.35 eprover: CPU time limit exceeded, terminating
% 122.13/114.36 eprover: CPU time limit exceeded, terminating
% 124.29/116.37 eprover: CPU time limit exceeded, terminating
% 126.41/118.38 eprover: CPU time limit exceeded, terminating
% 128.61/120.39 eprover: CPU time limit exceeded, terminating
% 130.71/122.40 eprover: CPU time limit exceeded, terminating
% 132.90/124.42 eprover: CPU time limit exceeded, terminating
% 135.08/126.43 eprover: CPU time limit exceeded, terminating
% 137.25/128.44 eprover: CPU time limit exceeded, terminating
% 139.41/130.45 eprover: CPU time limit exceeded, terminating
% 141.47/132.46 eprover: CPU time limit exceeded, terminating
% 143.68/134.47 eprover: CPU time limit exceeded, terminating
% 145.83/136.48 eprover: CPU time limit exceeded, terminating
% 147.98/138.49 eprover: CPU time limit exceeded, terminating
% 150.17/140.50 eprover: CPU time limit exceeded, terminating
% 152.32/142.51 eprover: CPU time limit exceeded, terminating
% 154.49/144.53 eprover: CPU time limit exceeded, terminating
% 156.61/146.56 eprover: CPU time limit exceeded, terminating
% 158.81/148.58 eprover: CPU time limit exceeded, terminating
% 160.96/150.59 eprover: CPU time limit exceeded, terminating
% 163.09/152.60 eprover: CPU time limit exceeded, terminating
% 165.28/154.61 eprover: CPU time limit exceeded, terminating
% 167.45/156.62 eprover: CPU time limit exceeded, terminating
% 169.64/158.63 eprover: CPU time limit exceeded, terminating
% 171.81/160.65 eprover: CPU time limit exceeded, terminating
% 173.96/162.66 eprover: CPU time limit exceeded, terminating
% 176.07/164.67 eprover: CPU time limit exceeded, terminating
% 178.23/166.68 eprover: CPU time limit exceeded, terminating
% 180.32/168.70 eprover: CPU time limit exceeded, terminating
% 182.54/170.71 eprover: CPU time limit exceeded, terminating
% 184.73/172.72 eprover: CPU time limit exceeded, terminating
% 186.86/174.73 eprover: CPU time limit exceeded, terminating
% 189.00/176.74 eprover: CPU time limit exceeded, terminating
% 191.19/178.76 eprover: CPU time limit exceeded, terminating
% 193.32/180.77 eprover: CPU time limit exceeded, terminating
% 195.46/182.78 eprover: CPU time limit exceeded, terminating
% 197.69/184.79 eprover: CPU time limit exceeded, terminating
% 199.85/186.80 eprover: CPU time limit exceeded, terminating
% 201.98/188.81 eprover: CPU time limit exceeded, terminating
% 204.13/190.83 eprover: CPU time limit exceeded, terminating
% 206.26/192.85 eprover: CPU time limit exceeded, terminating
% 208.41/194.86 eprover: CPU time limit exceeded, terminating
% 210.62/196.90 eprover: CPU time limit exceeded, terminating
% 212.73/198.90 eprover: CPU time limit exceeded, terminating
% 214.93/200.91 eprover: CPU time limit exceeded, terminating
% 217.05/202.92 eprover: CPU time limit exceeded, terminating
% 219.20/204.93 eprover: CPU time limit exceeded, terminating
% 221.38/206.94 eprover: CPU time limit exceeded, terminating
% 223.50/208.95 eprover: CPU time limit exceeded, terminating
% 225.64/210.97 eprover: CPU time limit exceeded, terminating
% 227.86/212.98 eprover: CPU time limit exceeded, terminating
% 229.86/214.99 eprover: CPU time limit exceeded, terminating
% 232.01/217.00 eprover: CPU time limit exceeded, terminating
% 234.18/219.01 eprover: CPU time limit exceeded, terminating
% 236.30/221.02 eprover: CPU time limit exceeded, terminating
% 238.48/223.03 eprover: CPU time limit exceeded, terminating
% 240.63/225.04 eprover: CPU time limit exceeded, terminating
% 242.82/227.05 eprover: CPU time limit exceeded, terminating
% 244.93/229.06 eprover: CPU time limit exceeded, terminating
% 247.04/231.07 eprover: CPU time limit exceeded, terminating
% 249.22/233.09 eprover: CPU time limit exceeded, terminating
% 251.29/235.10 eprover: CPU time limit exceeded, terminating
% 253.33/237.11 eprover: CPU time limit exceeded, terminating
% 255.45/239.13 eprover: CPU time limit exceeded, terminating
% 257.57/241.14 eprover: CPU time limit exceeded, terminating
% 259.74/243.15 eprover: CPU time limit exceeded, terminating
% 261.85/245.16 eprover: CPU time limit exceeded, terminating
% 263.96/247.17 eprover: CPU time limit exceeded, terminating
% 266.12/249.18 eprover: CPU time limit exceeded, terminating
% 268.23/251.20 eprover: CPU time limit exceeded, terminating
% 270.38/253.21 eprover: CPU time limit exceeded, terminating
% 272.56/255.22 eprover: CPU time limit exceeded, terminating
% 274.69/257.23 eprover: CPU time limit exceeded, terminating
% 276.90/259.24 eprover: CPU time limit exceeded, terminating
% 279.05/261.25 eprover: CPU time limit exceeded, terminating
% 281.21/263.26 eprover: CPU time limit exceeded, terminating
% 283.35/265.28 eprover: CPU time limit exceeded, terminating
% 285.48/267.29 eprover: CPU time limit exceeded, terminating
% 287.65/269.30 eprover: CPU time limit exceeded, terminating
% 289.76/271.31 eprover: CPU time limit exceeded, terminating
% 291.91/273.32 eprover: CPU time limit exceeded, terminating
% 294.10/275.33 eprover: CPU time limit exceeded, terminating
% 296.17/277.35 eprover: CPU time limit exceeded, terminating
% 298.22/279.36 eprover: CPU time limit exceeded, terminating
% 300.05/281.10 eprover: CPU time limit exceeded, terminating
% 300.05/281.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------