TSTP Solution File: CSR115+23 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+23 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:28 EDT 2022
% Result : Timeout 287.74s 269.22s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR115+23 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n015.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Sat Jun 11 06:55:05 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.65/3.70 eprover: CPU time limit exceeded, terminating
% 5.83/5.71 eprover: CPU time limit exceeded, terminating
% 7.94/7.72 eprover: CPU time limit exceeded, terminating
% 10.09/9.73 eprover: CPU time limit exceeded, terminating
% 12.22/11.74 eprover: CPU time limit exceeded, terminating
% 14.38/13.75 eprover: CPU time limit exceeded, terminating
% 16.57/15.76 eprover: CPU time limit exceeded, terminating
% 18.69/17.77 eprover: CPU time limit exceeded, terminating
% 20.84/19.78 eprover: CPU time limit exceeded, terminating
% 22.99/21.79 eprover: CPU time limit exceeded, terminating
% 25.11/23.80 eprover: CPU time limit exceeded, terminating
% 27.26/25.81 eprover: CPU time limit exceeded, terminating
% 29.43/27.82 eprover: CPU time limit exceeded, terminating
% 31.58/29.83 eprover: CPU time limit exceeded, terminating
% 33.80/31.84 eprover: CPU time limit exceeded, terminating
% 35.94/33.85 eprover: CPU time limit exceeded, terminating
% 38.10/35.86 eprover: CPU time limit exceeded, terminating
% 40.24/37.87 eprover: CPU time limit exceeded, terminating
% 42.36/39.88 eprover: CPU time limit exceeded, terminating
% 44.51/41.89 eprover: CPU time limit exceeded, terminating
% 46.63/43.90 eprover: CPU time limit exceeded, terminating
% 48.80/45.91 eprover: CPU time limit exceeded, terminating
% 50.97/47.92 eprover: CPU time limit exceeded, terminating
% 53.06/49.93 eprover: CPU time limit exceeded, terminating
% 55.28/51.94 eprover: CPU time limit exceeded, terminating
% 57.45/53.95 eprover: CPU time limit exceeded, terminating
% 59.60/55.96 eprover: CPU time limit exceeded, terminating
% 61.76/57.97 eprover: CPU time limit exceeded, terminating
% 63.91/59.98 eprover: CPU time limit exceeded, terminating
% 66.07/61.99 eprover: CPU time limit exceeded, terminating
% 68.20/64.00 eprover: CPU time limit exceeded, terminating
% 70.34/66.01 eprover: CPU time limit exceeded, terminating
% 72.48/68.03 eprover: CPU time limit exceeded, terminating
% 74.74/70.04 eprover: CPU time limit exceeded, terminating
% 76.90/72.05 eprover: CPU time limit exceeded, terminating
% 79.05/74.06 eprover: CPU time limit exceeded, terminating
% 81.13/76.07 eprover: CPU time limit exceeded, terminating
% 83.19/78.09 eprover: CPU time limit exceeded, terminating
% 85.35/80.10 eprover: CPU time limit exceeded, terminating
% 87.50/82.11 eprover: CPU time limit exceeded, terminating
% 89.63/84.12 eprover: CPU time limit exceeded, terminating
% 91.80/86.13 eprover: CPU time limit exceeded, terminating
% 94.01/88.14 eprover: CPU time limit exceeded, terminating
% 96.17/90.16 eprover: CPU time limit exceeded, terminating
% 98.32/92.17 eprover: CPU time limit exceeded, terminating
% 100.47/94.18 eprover: CPU time limit exceeded, terminating
% 102.63/96.19 eprover: CPU time limit exceeded, terminating
% 104.79/98.20 eprover: CPU time limit exceeded, terminating
% 106.96/100.21 eprover: CPU time limit exceeded, terminating
% 109.07/102.23 eprover: CPU time limit exceeded, terminating
% 111.29/104.24 eprover: CPU time limit exceeded, terminating
% 113.44/106.25 eprover: CPU time limit exceeded, terminating
% 115.54/108.26 eprover: CPU time limit exceeded, terminating
% 117.72/110.27 eprover: CPU time limit exceeded, terminating
% 119.92/112.28 eprover: CPU time limit exceeded, terminating
% 122.09/114.30 eprover: CPU time limit exceeded, terminating
% 124.21/116.31 eprover: CPU time limit exceeded, terminating
% 126.41/118.32 eprover: CPU time limit exceeded, terminating
% 128.54/120.33 eprover: CPU time limit exceeded, terminating
% 130.66/122.34 eprover: CPU time limit exceeded, terminating
% 132.87/124.35 eprover: CPU time limit exceeded, terminating
% 135.04/126.37 eprover: CPU time limit exceeded, terminating
% 137.11/128.38 eprover: CPU time limit exceeded, terminating
% 139.33/130.39 eprover: CPU time limit exceeded, terminating
% 141.51/132.40 eprover: CPU time limit exceeded, terminating
% 143.66/134.42 eprover: CPU time limit exceeded, terminating
% 145.83/136.43 eprover: CPU time limit exceeded, terminating
% 147.97/138.44 eprover: CPU time limit exceeded, terminating
% 150.08/140.45 eprover: CPU time limit exceeded, terminating
% 152.26/142.46 eprover: CPU time limit exceeded, terminating
% 154.43/144.47 eprover: CPU time limit exceeded, terminating
% 156.61/146.48 eprover: CPU time limit exceeded, terminating
% 158.74/148.49 eprover: CPU time limit exceeded, terminating
% 160.91/150.51 eprover: CPU time limit exceeded, terminating
% 163.02/152.52 eprover: CPU time limit exceeded, terminating
% 165.22/154.53 eprover: CPU time limit exceeded, terminating
% 167.42/156.54 eprover: CPU time limit exceeded, terminating
% 169.53/158.55 eprover: CPU time limit exceeded, terminating
% 171.64/160.57 eprover: CPU time limit exceeded, terminating
% 173.88/162.58 eprover: CPU time limit exceeded, terminating
% 175.98/164.59 eprover: CPU time limit exceeded, terminating
% 178.17/166.60 eprover: CPU time limit exceeded, terminating
% 180.36/168.62 eprover: CPU time limit exceeded, terminating
% 182.47/170.63 eprover: CPU time limit exceeded, terminating
% 184.66/172.64 eprover: CPU time limit exceeded, terminating
% 186.79/174.65 eprover: CPU time limit exceeded, terminating
% 188.93/176.66 eprover: CPU time limit exceeded, terminating
% 191.10/178.68 eprover: CPU time limit exceeded, terminating
% 193.27/180.69 eprover: CPU time limit exceeded, terminating
% 195.46/182.70 eprover: CPU time limit exceeded, terminating
% 197.63/184.71 eprover: CPU time limit exceeded, terminating
% 199.73/186.73 eprover: CPU time limit exceeded, terminating
% 201.90/188.74 eprover: CPU time limit exceeded, terminating
% 204.04/190.75 eprover: CPU time limit exceeded, terminating
% 206.23/192.76 eprover: CPU time limit exceeded, terminating
% 208.34/194.77 eprover: CPU time limit exceeded, terminating
% 210.49/196.78 eprover: CPU time limit exceeded, terminating
% 212.71/198.80 eprover: CPU time limit exceeded, terminating
% 214.86/200.81 eprover: CPU time limit exceeded, terminating
% 217.01/202.82 eprover: CPU time limit exceeded, terminating
% 219.16/204.83 eprover: CPU time limit exceeded, terminating
% 221.28/206.84 eprover: CPU time limit exceeded, terminating
% 223.49/208.85 eprover: CPU time limit exceeded, terminating
% 225.59/210.87 eprover: CPU time limit exceeded, terminating
% 227.78/212.88 eprover: CPU time limit exceeded, terminating
% 229.90/214.89 eprover: CPU time limit exceeded, terminating
% 231.91/216.90 eprover: CPU time limit exceeded, terminating
% 234.09/218.91 eprover: CPU time limit exceeded, terminating
% 236.29/220.92 eprover: CPU time limit exceeded, terminating
% 238.42/222.94 eprover: CPU time limit exceeded, terminating
% 240.59/224.95 eprover: CPU time limit exceeded, terminating
% 242.79/226.96 eprover: CPU time limit exceeded, terminating
% 244.87/228.97 eprover: CPU time limit exceeded, terminating
% 247.09/230.99 eprover: CPU time limit exceeded, terminating
% 249.24/233.00 eprover: CPU time limit exceeded, terminating
% 251.24/235.01 eprover: CPU time limit exceeded, terminating
% 253.39/237.02 eprover: CPU time limit exceeded, terminating
% 255.42/239.03 eprover: CPU time limit exceeded, terminating
% 257.63/241.05 eprover: CPU time limit exceeded, terminating
% 259.75/243.06 eprover: CPU time limit exceeded, terminating
% 261.96/245.07 eprover: CPU time limit exceeded, terminating
% 263.99/247.08 eprover: CPU time limit exceeded, terminating
% 266.20/249.10 eprover: CPU time limit exceeded, terminating
% 268.30/251.11 eprover: CPU time limit exceeded, terminating
% 270.53/253.12 eprover: CPU time limit exceeded, terminating
% 272.70/255.13 eprover: CPU time limit exceeded, terminating
% 274.83/257.14 eprover: CPU time limit exceeded, terminating
% 276.95/259.16 eprover: CPU time limit exceeded, terminating
% 279.08/261.17 eprover: CPU time limit exceeded, terminating
% 281.26/263.18 eprover: CPU time limit exceeded, terminating
% 283.47/265.19 eprover: CPU time limit exceeded, terminating
% 285.59/267.20 eprover: CPU time limit exceeded, terminating
% 287.74/269.22 eprover: CPU time limit exceeded, terminating
% 289.92/271.23 eprover: CPU time limit exceeded, terminating
% 292.05/273.24 eprover: CPU time limit exceeded, terminating
% 294.22/275.25 eprover: CPU time limit exceeded, terminating
% 296.26/277.27 eprover: CPU time limit exceeded, terminating
% 298.37/279.28 eprover: CPU time limit exceeded, terminating
% 300.01/280.82 eprover: CPU time limit exceeded, terminating
% 300.01/280.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------