TSTP Solution File: CSR115+47 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+47 : 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:31 EDT 2022
% Result : Timeout 287.50s 271.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.10 % Problem : CSR115+47 : TPTP v8.1.0. Released v4.0.0.
% 0.02/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Sat Jun 11 03:56:09 EDT 2022
% 0.10/0.29 % CPUTime :
% 3.74/3.84 eprover: CPU time limit exceeded, terminating
% 5.89/5.85 eprover: CPU time limit exceeded, terminating
% 8.04/7.86 eprover: CPU time limit exceeded, terminating
% 10.14/9.88 eprover: CPU time limit exceeded, terminating
% 12.27/11.89 eprover: CPU time limit exceeded, terminating
% 14.47/13.90 eprover: CPU time limit exceeded, terminating
% 16.62/15.92 eprover: CPU time limit exceeded, terminating
% 18.70/17.93 eprover: CPU time limit exceeded, terminating
% 20.80/19.95 eprover: CPU time limit exceeded, terminating
% 22.97/21.97 eprover: CPU time limit exceeded, terminating
% 25.15/23.99 eprover: CPU time limit exceeded, terminating
% 27.18/26.00 eprover: CPU time limit exceeded, terminating
% 29.42/28.01 eprover: CPU time limit exceeded, terminating
% 31.55/30.03 eprover: CPU time limit exceeded, terminating
% 33.66/32.04 eprover: CPU time limit exceeded, terminating
% 35.82/34.05 eprover: CPU time limit exceeded, terminating
% 37.98/36.06 eprover: CPU time limit exceeded, terminating
% 40.09/38.08 eprover: CPU time limit exceeded, terminating
% 42.23/40.09 eprover: CPU time limit exceeded, terminating
% 44.40/42.10 eprover: CPU time limit exceeded, terminating
% 46.62/44.11 eprover: CPU time limit exceeded, terminating
% 48.75/46.12 eprover: CPU time limit exceeded, terminating
% 50.86/48.13 eprover: CPU time limit exceeded, terminating
% 52.96/50.15 eprover: CPU time limit exceeded, terminating
% 55.12/52.16 eprover: CPU time limit exceeded, terminating
% 57.24/54.17 eprover: CPU time limit exceeded, terminating
% 59.39/56.18 eprover: CPU time limit exceeded, terminating
% 61.58/58.19 eprover: CPU time limit exceeded, terminating
% 63.68/60.20 eprover: CPU time limit exceeded, terminating
% 65.87/62.22 eprover: CPU time limit exceeded, terminating
% 67.98/64.23 eprover: CPU time limit exceeded, terminating
% 70.17/66.24 eprover: CPU time limit exceeded, terminating
% 72.27/68.25 eprover: CPU time limit exceeded, terminating
% 74.36/70.26 eprover: CPU time limit exceeded, terminating
% 76.55/72.28 eprover: CPU time limit exceeded, terminating
% 78.75/74.29 eprover: CPU time limit exceeded, terminating
% 80.83/76.30 eprover: CPU time limit exceeded, terminating
% 82.86/78.31 eprover: CPU time limit exceeded, terminating
% 85.04/80.32 eprover: CPU time limit exceeded, terminating
% 87.15/82.33 eprover: CPU time limit exceeded, terminating
% 89.31/84.35 eprover: CPU time limit exceeded, terminating
% 91.42/86.36 eprover: CPU time limit exceeded, terminating
% 93.58/88.37 eprover: CPU time limit exceeded, terminating
% 95.69/90.38 eprover: CPU time limit exceeded, terminating
% 97.88/92.39 eprover: CPU time limit exceeded, terminating
% 100.05/94.41 eprover: CPU time limit exceeded, terminating
% 102.19/96.42 eprover: CPU time limit exceeded, terminating
% 104.33/98.43 eprover: CPU time limit exceeded, terminating
% 106.44/100.44 eprover: CPU time limit exceeded, terminating
% 108.59/102.45 eprover: CPU time limit exceeded, terminating
% 110.69/104.47 eprover: CPU time limit exceeded, terminating
% 112.83/106.48 eprover: CPU time limit exceeded, terminating
% 115.03/108.49 eprover: CPU time limit exceeded, terminating
% 117.12/110.50 eprover: CPU time limit exceeded, terminating
% 119.26/112.51 eprover: CPU time limit exceeded, terminating
% 121.48/114.52 eprover: CPU time limit exceeded, terminating
% 123.59/116.53 eprover: CPU time limit exceeded, terminating
% 125.70/118.54 eprover: CPU time limit exceeded, terminating
% 127.85/120.56 eprover: CPU time limit exceeded, terminating
% 129.97/122.57 eprover: CPU time limit exceeded, terminating
% 132.10/124.58 eprover: CPU time limit exceeded, terminating
% 134.30/126.59 eprover: CPU time limit exceeded, terminating
% 136.45/128.60 eprover: CPU time limit exceeded, terminating
% 138.56/130.61 eprover: CPU time limit exceeded, terminating
% 140.70/132.62 eprover: CPU time limit exceeded, terminating
% 142.82/134.64 eprover: CPU time limit exceeded, terminating
% 144.93/136.65 eprover: CPU time limit exceeded, terminating
% 147.08/138.66 eprover: CPU time limit exceeded, terminating
% 149.19/140.67 eprover: CPU time limit exceeded, terminating
% 151.32/142.68 eprover: CPU time limit exceeded, terminating
% 153.46/144.69 eprover: CPU time limit exceeded, terminating
% 155.56/146.70 eprover: CPU time limit exceeded, terminating
% 157.68/148.71 eprover: CPU time limit exceeded, terminating
% 159.78/150.72 eprover: CPU time limit exceeded, terminating
% 161.92/152.73 eprover: CPU time limit exceeded, terminating
% 164.05/154.74 eprover: CPU time limit exceeded, terminating
% 166.14/156.75 eprover: CPU time limit exceeded, terminating
% 168.26/158.76 eprover: CPU time limit exceeded, terminating
% 170.39/160.77 eprover: CPU time limit exceeded, terminating
% 172.59/162.79 eprover: CPU time limit exceeded, terminating
% 174.65/164.80 eprover: CPU time limit exceeded, terminating
% 176.87/166.81 eprover: CPU time limit exceeded, terminating
% 178.97/168.82 eprover: CPU time limit exceeded, terminating
% 181.12/170.83 eprover: CPU time limit exceeded, terminating
% 183.27/172.84 eprover: CPU time limit exceeded, terminating
% 185.36/174.85 eprover: CPU time limit exceeded, terminating
% 187.49/176.87 eprover: CPU time limit exceeded, terminating
% 189.60/178.88 eprover: CPU time limit exceeded, terminating
% 191.81/180.89 eprover: CPU time limit exceeded, terminating
% 193.85/182.90 eprover: CPU time limit exceeded, terminating
% 196.02/184.91 eprover: CPU time limit exceeded, terminating
% 198.18/186.92 eprover: CPU time limit exceeded, terminating
% 200.31/188.93 eprover: CPU time limit exceeded, terminating
% 202.43/190.94 eprover: CPU time limit exceeded, terminating
% 204.59/192.96 eprover: CPU time limit exceeded, terminating
% 206.69/194.97 eprover: CPU time limit exceeded, terminating
% 208.86/196.98 eprover: CPU time limit exceeded, terminating
% 211.04/198.99 eprover: CPU time limit exceeded, terminating
% 213.20/201.00 eprover: CPU time limit exceeded, terminating
% 215.33/203.01 eprover: CPU time limit exceeded, terminating
% 217.46/205.02 eprover: CPU time limit exceeded, terminating
% 219.62/207.03 eprover: CPU time limit exceeded, terminating
% 221.71/209.04 eprover: CPU time limit exceeded, terminating
% 223.88/211.05 eprover: CPU time limit exceeded, terminating
% 226.03/213.07 eprover: CPU time limit exceeded, terminating
% 228.06/215.08 eprover: CPU time limit exceeded, terminating
% 230.16/217.09 eprover: CPU time limit exceeded, terminating
% 232.31/219.10 eprover: CPU time limit exceeded, terminating
% 234.41/221.11 eprover: CPU time limit exceeded, terminating
% 236.56/223.12 eprover: CPU time limit exceeded, terminating
% 238.72/225.13 eprover: CPU time limit exceeded, terminating
% 240.82/227.14 eprover: CPU time limit exceeded, terminating
% 242.97/229.16 eprover: CPU time limit exceeded, terminating
% 245.11/231.17 eprover: CPU time limit exceeded, terminating
% 247.24/233.18 eprover: CPU time limit exceeded, terminating
% 249.24/235.19 eprover: CPU time limit exceeded, terminating
% 251.37/237.20 eprover: CPU time limit exceeded, terminating
% 253.36/239.21 eprover: CPU time limit exceeded, terminating
% 255.51/241.23 eprover: CPU time limit exceeded, terminating
% 257.67/243.24 eprover: CPU time limit exceeded, terminating
% 259.77/245.25 eprover: CPU time limit exceeded, terminating
% 261.85/247.26 eprover: CPU time limit exceeded, terminating
% 263.98/249.28 eprover: CPU time limit exceeded, terminating
% 266.07/251.29 eprover: CPU time limit exceeded, terminating
% 268.27/253.30 eprover: CPU time limit exceeded, terminating
% 270.42/255.31 eprover: CPU time limit exceeded, terminating
% 272.56/257.32 eprover: CPU time limit exceeded, terminating
% 274.70/259.34 eprover: CPU time limit exceeded, terminating
% 276.80/261.35 eprover: CPU time limit exceeded, terminating
% 278.96/263.36 eprover: CPU time limit exceeded, terminating
% 281.06/265.37 eprover: CPU time limit exceeded, terminating
% 283.25/267.38 eprover: CPU time limit exceeded, terminating
% 285.37/269.40 eprover: CPU time limit exceeded, terminating
% 287.50/271.41 eprover: CPU time limit exceeded, terminating
% 289.63/273.42 eprover: CPU time limit exceeded, terminating
% 291.75/275.43 eprover: CPU time limit exceeded, terminating
% 293.87/277.44 eprover: CPU time limit exceeded, terminating
% 295.86/279.46 eprover: CPU time limit exceeded, terminating
% 297.93/281.47 eprover: CPU time limit exceeded, terminating
% 299.98/283.48 eprover: CPU time limit exceeded, terminating
% 300.09/283.51 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------