TSTP Solution File: CSR113+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR113+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:20 EDT 2022
% Result : Timeout 287.81s 269.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : CSR113+1 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n022.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 : Thu Jun 9 17:40:34 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.76/3.79 eprover: CPU time limit exceeded, terminating
% 5.83/5.80 eprover: CPU time limit exceeded, terminating
% 7.98/7.81 eprover: CPU time limit exceeded, terminating
% 10.19/9.82 eprover: CPU time limit exceeded, terminating
% 12.36/11.83 eprover: CPU time limit exceeded, terminating
% 14.48/13.85 eprover: CPU time limit exceeded, terminating
% 16.65/15.86 eprover: CPU time limit exceeded, terminating
% 18.80/17.87 eprover: CPU time limit exceeded, terminating
% 20.94/19.88 eprover: CPU time limit exceeded, terminating
% 23.13/21.89 eprover: CPU time limit exceeded, terminating
% 25.26/23.91 eprover: CPU time limit exceeded, terminating
% 27.42/25.92 eprover: CPU time limit exceeded, terminating
% 29.60/27.93 eprover: CPU time limit exceeded, terminating
% 31.76/29.94 eprover: CPU time limit exceeded, terminating
% 33.95/31.95 eprover: CPU time limit exceeded, terminating
% 36.12/33.96 eprover: CPU time limit exceeded, terminating
% 38.30/35.98 eprover: CPU time limit exceeded, terminating
% 40.44/37.99 eprover: CPU time limit exceeded, terminating
% 42.61/40.00 eprover: CPU time limit exceeded, terminating
% 44.71/42.01 eprover: CPU time limit exceeded, terminating
% 46.88/44.02 eprover: CPU time limit exceeded, terminating
% 49.09/46.03 eprover: CPU time limit exceeded, terminating
% 51.21/48.04 eprover: CPU time limit exceeded, terminating
% 53.38/50.05 eprover: CPU time limit exceeded, terminating
% 55.56/52.06 eprover: CPU time limit exceeded, terminating
% 57.72/54.07 eprover: CPU time limit exceeded, terminating
% 59.90/56.08 eprover: CPU time limit exceeded, terminating
% 62.01/58.09 eprover: CPU time limit exceeded, terminating
% 64.19/60.10 eprover: CPU time limit exceeded, terminating
% 66.32/62.11 eprover: CPU time limit exceeded, terminating
% 68.47/64.12 eprover: CPU time limit exceeded, terminating
% 70.66/66.13 eprover: CPU time limit exceeded, terminating
% 72.76/68.14 eprover: CPU time limit exceeded, terminating
% 74.94/70.16 eprover: CPU time limit exceeded, terminating
% 77.14/72.17 eprover: CPU time limit exceeded, terminating
% 79.24/74.18 eprover: CPU time limit exceeded, terminating
% 81.37/76.19 eprover: CPU time limit exceeded, terminating
% 83.39/78.20 eprover: CPU time limit exceeded, terminating
% 85.60/80.21 eprover: CPU time limit exceeded, terminating
% 87.66/82.23 eprover: CPU time limit exceeded, terminating
% 89.83/84.24 eprover: CPU time limit exceeded, terminating
% 92.03/86.25 eprover: CPU time limit exceeded, terminating
% 94.20/88.26 eprover: CPU time limit exceeded, terminating
% 96.29/90.27 eprover: CPU time limit exceeded, terminating
% 98.48/92.28 eprover: CPU time limit exceeded, terminating
% 100.59/94.30 eprover: CPU time limit exceeded, terminating
% 102.80/96.31 eprover: CPU time limit exceeded, terminating
% 104.96/98.32 eprover: CPU time limit exceeded, terminating
% 107.13/100.33 eprover: CPU time limit exceeded, terminating
% 109.28/102.34 eprover: CPU time limit exceeded, terminating
% 111.42/104.35 eprover: CPU time limit exceeded, terminating
% 113.54/106.36 eprover: CPU time limit exceeded, terminating
% 115.65/108.37 eprover: CPU time limit exceeded, terminating
% 117.88/110.38 eprover: CPU time limit exceeded, terminating
% 120.05/112.39 eprover: CPU time limit exceeded, terminating
% 122.18/114.40 eprover: CPU time limit exceeded, terminating
% 124.36/116.42 eprover: CPU time limit exceeded, terminating
% 126.50/118.43 eprover: CPU time limit exceeded, terminating
% 128.66/120.44 eprover: CPU time limit exceeded, terminating
% 130.78/122.45 eprover: CPU time limit exceeded, terminating
% 132.95/124.46 eprover: CPU time limit exceeded, terminating
% 135.12/126.47 eprover: CPU time limit exceeded, terminating
% 137.26/128.48 eprover: CPU time limit exceeded, terminating
% 139.40/130.49 eprover: CPU time limit exceeded, terminating
% 141.48/132.50 eprover: CPU time limit exceeded, terminating
% 143.68/134.51 eprover: CPU time limit exceeded, terminating
% 145.86/136.52 eprover: CPU time limit exceeded, terminating
% 148.03/138.54 eprover: CPU time limit exceeded, terminating
% 150.16/140.55 eprover: CPU time limit exceeded, terminating
% 152.32/142.56 eprover: CPU time limit exceeded, terminating
% 154.48/144.57 eprover: CPU time limit exceeded, terminating
% 156.61/146.58 eprover: CPU time limit exceeded, terminating
% 158.82/148.59 eprover: CPU time limit exceeded, terminating
% 160.96/150.60 eprover: CPU time limit exceeded, terminating
% 163.09/152.61 eprover: CPU time limit exceeded, terminating
% 165.28/154.62 eprover: CPU time limit exceeded, terminating
% 167.38/156.63 eprover: CPU time limit exceeded, terminating
% 169.57/158.64 eprover: CPU time limit exceeded, terminating
% 171.70/160.66 eprover: CPU time limit exceeded, terminating
% 173.89/162.67 eprover: CPU time limit exceeded, terminating
% 176.05/164.68 eprover: CPU time limit exceeded, terminating
% 178.16/166.69 eprover: CPU time limit exceeded, terminating
% 180.35/168.70 eprover: CPU time limit exceeded, terminating
% 182.52/170.71 eprover: CPU time limit exceeded, terminating
% 184.70/172.73 eprover: CPU time limit exceeded, terminating
% 186.88/174.74 eprover: CPU time limit exceeded, terminating
% 188.97/176.77 eprover: CPU time limit exceeded, terminating
% 191.19/178.78 eprover: CPU time limit exceeded, terminating
% 193.38/180.80 eprover: CPU time limit exceeded, terminating
% 195.51/182.81 eprover: CPU time limit exceeded, terminating
% 197.65/184.83 eprover: CPU time limit exceeded, terminating
% 199.83/186.84 eprover: CPU time limit exceeded, terminating
% 202.05/188.86 eprover: CPU time limit exceeded, terminating
% 204.16/190.87 eprover: CPU time limit exceeded, terminating
% 206.37/192.88 eprover: CPU time limit exceeded, terminating
% 208.47/194.90 eprover: CPU time limit exceeded, terminating
% 210.69/196.91 eprover: CPU time limit exceeded, terminating
% 212.87/198.93 eprover: CPU time limit exceeded, terminating
% 215.00/200.96 eprover: CPU time limit exceeded, terminating
% 217.17/202.97 eprover: CPU time limit exceeded, terminating
% 219.35/204.98 eprover: CPU time limit exceeded, terminating
% 221.50/206.99 eprover: CPU time limit exceeded, terminating
% 223.65/209.01 eprover: CPU time limit exceeded, terminating
% 225.80/211.02 eprover: CPU time limit exceeded, terminating
% 227.98/213.03 eprover: CPU time limit exceeded, terminating
% 230.04/215.04 eprover: CPU time limit exceeded, terminating
% 232.11/217.06 eprover: CPU time limit exceeded, terminating
% 234.30/219.07 eprover: CPU time limit exceeded, terminating
% 236.39/221.08 eprover: CPU time limit exceeded, terminating
% 238.56/223.09 eprover: CPU time limit exceeded, terminating
% 240.76/225.10 eprover: CPU time limit exceeded, terminating
% 242.92/227.11 eprover: CPU time limit exceeded, terminating
% 245.08/229.12 eprover: CPU time limit exceeded, terminating
% 247.20/231.14 eprover: CPU time limit exceeded, terminating
% 249.33/233.15 eprover: CPU time limit exceeded, terminating
% 251.43/235.16 eprover: CPU time limit exceeded, terminating
% 253.47/237.17 eprover: CPU time limit exceeded, terminating
% 255.53/239.18 eprover: CPU time limit exceeded, terminating
% 257.68/241.20 eprover: CPU time limit exceeded, terminating
% 259.92/243.21 eprover: CPU time limit exceeded, terminating
% 262.05/245.22 eprover: CPU time limit exceeded, terminating
% 264.12/247.23 eprover: CPU time limit exceeded, terminating
% 266.26/249.24 eprover: CPU time limit exceeded, terminating
% 268.36/251.26 eprover: CPU time limit exceeded, terminating
% 270.52/253.27 eprover: CPU time limit exceeded, terminating
% 272.71/255.28 eprover: CPU time limit exceeded, terminating
% 274.90/257.29 eprover: CPU time limit exceeded, terminating
% 276.97/259.30 eprover: CPU time limit exceeded, terminating
% 279.14/261.31 eprover: CPU time limit exceeded, terminating
% 281.33/263.33 eprover: CPU time limit exceeded, terminating
% 283.49/265.34 eprover: CPU time limit exceeded, terminating
% 285.66/267.35 eprover: CPU time limit exceeded, terminating
% 287.81/269.36 eprover: CPU time limit exceeded, terminating
% 289.97/271.37 eprover: CPU time limit exceeded, terminating
% 292.11/273.39 eprover: CPU time limit exceeded, terminating
% 294.22/275.40 eprover: CPU time limit exceeded, terminating
% 296.35/277.41 eprover: CPU time limit exceeded, terminating
% 298.37/279.42 eprover: CPU time limit exceeded, terminating
% 300.09/281.04 eprover: CPU time limit exceeded, terminating
% 300.09/281.05 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------