TSTP Solution File: CSR115+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+1 : TPTP v8.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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.36s 271.51s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : CSR115+1 : TPTP v8.1.0. Released v4.0.0.
% 0.09/0.11 % Command : run_infinox %s
% 0.11/0.30 % Computer : n032.cluster.edu
% 0.11/0.30 % Model : x86_64 x86_64
% 0.11/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.30 % Memory : 8042.1875MB
% 0.11/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.30 % CPULimit : 300
% 0.11/0.30 % WCLimit : 600
% 0.11/0.30 % DateTime : Sat Jun 11 16:18:25 EDT 2022
% 0.16/0.31 % CPUTime :
% 3.86/3.92 eprover: CPU time limit exceeded, terminating
% 6.01/5.93 eprover: CPU time limit exceeded, terminating
% 8.12/7.94 eprover: CPU time limit exceeded, terminating
% 10.28/9.96 eprover: CPU time limit exceeded, terminating
% 12.43/11.97 eprover: CPU time limit exceeded, terminating
% 14.59/13.98 eprover: CPU time limit exceeded, terminating
% 16.71/16.00 eprover: CPU time limit exceeded, terminating
% 18.79/18.01 eprover: CPU time limit exceeded, terminating
% 21.01/20.03 eprover: CPU time limit exceeded, terminating
% 23.08/22.04 eprover: CPU time limit exceeded, terminating
% 25.28/24.05 eprover: CPU time limit exceeded, terminating
% 27.46/26.07 eprover: CPU time limit exceeded, terminating
% 29.62/28.08 eprover: CPU time limit exceeded, terminating
% 31.74/30.09 eprover: CPU time limit exceeded, terminating
% 33.85/32.11 eprover: CPU time limit exceeded, terminating
% 36.05/34.12 eprover: CPU time limit exceeded, terminating
% 38.14/36.14 eprover: CPU time limit exceeded, terminating
% 40.34/38.15 eprover: CPU time limit exceeded, terminating
% 42.47/40.16 eprover: CPU time limit exceeded, terminating
% 44.66/42.18 eprover: CPU time limit exceeded, terminating
% 46.81/44.19 eprover: CPU time limit exceeded, terminating
% 48.90/46.21 eprover: CPU time limit exceeded, terminating
% 51.07/48.22 eprover: CPU time limit exceeded, terminating
% 53.21/50.23 eprover: CPU time limit exceeded, terminating
% 55.31/52.24 eprover: CPU time limit exceeded, terminating
% 57.47/54.25 eprover: CPU time limit exceeded, terminating
% 59.58/56.26 eprover: CPU time limit exceeded, terminating
% 61.73/58.27 eprover: CPU time limit exceeded, terminating
% 63.91/60.28 eprover: CPU time limit exceeded, terminating
% 65.95/62.29 eprover: CPU time limit exceeded, terminating
% 68.16/64.30 eprover: CPU time limit exceeded, terminating
% 70.29/66.31 eprover: CPU time limit exceeded, terminating
% 72.42/68.33 eprover: CPU time limit exceeded, terminating
% 74.57/70.34 eprover: CPU time limit exceeded, terminating
% 76.65/72.35 eprover: CPU time limit exceeded, terminating
% 78.78/74.36 eprover: CPU time limit exceeded, terminating
% 80.88/76.37 eprover: CPU time limit exceeded, terminating
% 82.89/78.38 eprover: CPU time limit exceeded, terminating
% 85.12/80.39 eprover: CPU time limit exceeded, terminating
% 87.25/82.40 eprover: CPU time limit exceeded, terminating
% 89.36/84.42 eprover: CPU time limit exceeded, terminating
% 91.53/86.43 eprover: CPU time limit exceeded, terminating
% 93.64/88.44 eprover: CPU time limit exceeded, terminating
% 95.81/90.45 eprover: CPU time limit exceeded, terminating
% 97.91/92.46 eprover: CPU time limit exceeded, terminating
% 100.05/94.47 eprover: CPU time limit exceeded, terminating
% 102.21/96.48 eprover: CPU time limit exceeded, terminating
% 104.39/98.49 eprover: CPU time limit exceeded, terminating
% 106.46/100.51 eprover: CPU time limit exceeded, terminating
% 108.64/102.52 eprover: CPU time limit exceeded, terminating
% 110.79/104.53 eprover: CPU time limit exceeded, terminating
% 112.87/106.54 eprover: CPU time limit exceeded, terminating
% 115.03/108.55 eprover: CPU time limit exceeded, terminating
% 117.13/110.57 eprover: CPU time limit exceeded, terminating
% 119.29/112.58 eprover: CPU time limit exceeded, terminating
% 121.46/114.59 eprover: CPU time limit exceeded, terminating
% 123.62/116.60 eprover: CPU time limit exceeded, terminating
% 125.75/118.61 eprover: CPU time limit exceeded, terminating
% 127.90/120.63 eprover: CPU time limit exceeded, terminating
% 129.98/122.64 eprover: CPU time limit exceeded, terminating
% 132.13/124.65 eprover: CPU time limit exceeded, terminating
% 134.24/126.66 eprover: CPU time limit exceeded, terminating
% 136.39/128.67 eprover: CPU time limit exceeded, terminating
% 138.54/130.68 eprover: CPU time limit exceeded, terminating
% 140.60/132.70 eprover: CPU time limit exceeded, terminating
% 142.73/134.70 eprover: CPU time limit exceeded, terminating
% 144.90/136.71 eprover: CPU time limit exceeded, terminating
% 147.04/138.72 eprover: CPU time limit exceeded, terminating
% 149.17/140.73 eprover: CPU time limit exceeded, terminating
% 151.24/142.75 eprover: CPU time limit exceeded, terminating
% 153.40/144.76 eprover: CPU time limit exceeded, terminating
% 155.42/146.77 eprover: CPU time limit exceeded, terminating
% 157.58/148.78 eprover: CPU time limit exceeded, terminating
% 159.75/150.79 eprover: CPU time limit exceeded, terminating
% 161.87/152.80 eprover: CPU time limit exceeded, terminating
% 164.01/154.82 eprover: CPU time limit exceeded, terminating
% 166.16/156.83 eprover: CPU time limit exceeded, terminating
% 168.25/158.84 eprover: CPU time limit exceeded, terminating
% 170.38/160.85 eprover: CPU time limit exceeded, terminating
% 172.43/162.86 eprover: CPU time limit exceeded, terminating
% 174.65/164.87 eprover: CPU time limit exceeded, terminating
% 176.76/166.89 eprover: CPU time limit exceeded, terminating
% 178.88/168.90 eprover: CPU time limit exceeded, terminating
% 181.03/170.91 eprover: CPU time limit exceeded, terminating
% 183.17/172.92 eprover: CPU time limit exceeded, terminating
% 185.29/174.93 eprover: CPU time limit exceeded, terminating
% 187.44/176.95 eprover: CPU time limit exceeded, terminating
% 189.54/178.96 eprover: CPU time limit exceeded, terminating
% 191.70/180.97 eprover: CPU time limit exceeded, terminating
% 193.79/182.98 eprover: CPU time limit exceeded, terminating
% 195.94/184.99 eprover: CPU time limit exceeded, terminating
% 198.03/187.01 eprover: CPU time limit exceeded, terminating
% 200.21/189.02 eprover: CPU time limit exceeded, terminating
% 202.35/191.03 eprover: CPU time limit exceeded, terminating
% 204.50/193.04 eprover: CPU time limit exceeded, terminating
% 206.59/195.05 eprover: CPU time limit exceeded, terminating
% 208.79/197.06 eprover: CPU time limit exceeded, terminating
% 210.83/199.07 eprover: CPU time limit exceeded, terminating
% 213.08/201.09 eprover: CPU time limit exceeded, terminating
% 215.18/203.10 eprover: CPU time limit exceeded, terminating
% 217.30/205.11 eprover: CPU time limit exceeded, terminating
% 219.47/207.12 eprover: CPU time limit exceeded, terminating
% 221.56/209.13 eprover: CPU time limit exceeded, terminating
% 223.73/211.15 eprover: CPU time limit exceeded, terminating
% 225.84/213.16 eprover: CPU time limit exceeded, terminating
% 227.93/215.17 eprover: CPU time limit exceeded, terminating
% 230.02/217.18 eprover: CPU time limit exceeded, terminating
% 232.17/219.20 eprover: CPU time limit exceeded, terminating
% 234.31/221.21 eprover: CPU time limit exceeded, terminating
% 236.40/223.22 eprover: CPU time limit exceeded, terminating
% 238.55/225.23 eprover: CPU time limit exceeded, terminating
% 240.66/227.25 eprover: CPU time limit exceeded, terminating
% 242.82/229.26 eprover: CPU time limit exceeded, terminating
% 244.97/231.27 eprover: CPU time limit exceeded, terminating
% 247.04/233.28 eprover: CPU time limit exceeded, terminating
% 249.17/235.30 eprover: CPU time limit exceeded, terminating
% 251.24/237.31 eprover: CPU time limit exceeded, terminating
% 253.31/239.32 eprover: CPU time limit exceeded, terminating
% 255.44/241.33 eprover: CPU time limit exceeded, terminating
% 257.57/243.34 eprover: CPU time limit exceeded, terminating
% 259.68/245.36 eprover: CPU time limit exceeded, terminating
% 261.71/247.37 eprover: CPU time limit exceeded, terminating
% 263.88/249.38 eprover: CPU time limit exceeded, terminating
% 266.06/251.39 eprover: CPU time limit exceeded, terminating
% 268.16/253.40 eprover: CPU time limit exceeded, terminating
% 270.33/255.41 eprover: CPU time limit exceeded, terminating
% 272.42/257.43 eprover: CPU time limit exceeded, terminating
% 274.53/259.44 eprover: CPU time limit exceeded, terminating
% 276.69/261.45 eprover: CPU time limit exceeded, terminating
% 278.83/263.46 eprover: CPU time limit exceeded, terminating
% 280.95/265.48 eprover: CPU time limit exceeded, terminating
% 283.11/267.49 eprover: CPU time limit exceeded, terminating
% 285.26/269.50 eprover: CPU time limit exceeded, terminating
% 287.36/271.51 eprover: CPU time limit exceeded, terminating
% 289.54/273.53 eprover: CPU time limit exceeded, terminating
% 291.70/275.54 eprover: CPU time limit exceeded, terminating
% 293.77/277.55 eprover: CPU time limit exceeded, terminating
% 295.84/279.56 eprover: CPU time limit exceeded, terminating
% 297.90/281.58 eprover: CPU time limit exceeded, terminating
% 300.03/283.57 eprover: CPU time limit exceeded, terminating
% 300.03/283.58 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------