TSTP Solution File: CSR114+8 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR114+8 : 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:26 EDT 2022
% Result : Timeout 285.85s 269.37s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.09 % Problem : CSR114+8 : TPTP v8.1.0. Released v4.0.0.
% 0.08/0.10 % Command : run_infinox %s
% 0.09/0.29 % Computer : n032.cluster.edu
% 0.09/0.29 % Model : x86_64 x86_64
% 0.09/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.29 % Memory : 8042.1875MB
% 0.09/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.29 % CPULimit : 300
% 0.09/0.29 % WCLimit : 600
% 0.09/0.29 % DateTime : Fri Jun 10 17:45:54 EDT 2022
% 0.09/0.29 % CPUTime :
% 3.72/3.83 eprover: CPU time limit exceeded, terminating
% 5.90/5.84 eprover: CPU time limit exceeded, terminating
% 7.98/7.85 eprover: CPU time limit exceeded, terminating
% 10.13/9.86 eprover: CPU time limit exceeded, terminating
% 12.30/11.87 eprover: CPU time limit exceeded, terminating
% 14.41/13.89 eprover: CPU time limit exceeded, terminating
% 16.57/15.90 eprover: CPU time limit exceeded, terminating
% 18.66/17.91 eprover: CPU time limit exceeded, terminating
% 20.86/19.92 eprover: CPU time limit exceeded, terminating
% 23.01/21.93 eprover: CPU time limit exceeded, terminating
% 25.12/23.94 eprover: CPU time limit exceeded, terminating
% 27.28/25.95 eprover: CPU time limit exceeded, terminating
% 29.41/27.96 eprover: CPU time limit exceeded, terminating
% 31.57/29.98 eprover: CPU time limit exceeded, terminating
% 33.72/31.99 eprover: CPU time limit exceeded, terminating
% 35.81/34.00 eprover: CPU time limit exceeded, terminating
% 38.00/36.01 eprover: CPU time limit exceeded, terminating
% 40.17/38.02 eprover: CPU time limit exceeded, terminating
% 42.30/40.03 eprover: CPU time limit exceeded, terminating
% 44.48/42.04 eprover: CPU time limit exceeded, terminating
% 46.58/44.05 eprover: CPU time limit exceeded, terminating
% 48.73/46.06 eprover: CPU time limit exceeded, terminating
% 50.83/48.08 eprover: CPU time limit exceeded, terminating
% 53.06/50.09 eprover: CPU time limit exceeded, terminating
% 55.20/52.10 eprover: CPU time limit exceeded, terminating
% 57.27/54.11 eprover: CPU time limit exceeded, terminating
% 59.48/56.12 eprover: CPU time limit exceeded, terminating
% 61.62/58.13 eprover: CPU time limit exceeded, terminating
% 63.79/60.14 eprover: CPU time limit exceeded, terminating
% 65.89/62.15 eprover: CPU time limit exceeded, terminating
% 67.99/64.16 eprover: CPU time limit exceeded, terminating
% 70.22/66.18 eprover: CPU time limit exceeded, terminating
% 72.29/68.19 eprover: CPU time limit exceeded, terminating
% 74.49/70.20 eprover: CPU time limit exceeded, terminating
% 76.55/72.21 eprover: CPU time limit exceeded, terminating
% 78.77/74.22 eprover: CPU time limit exceeded, terminating
% 80.83/76.23 eprover: CPU time limit exceeded, terminating
% 82.87/78.24 eprover: CPU time limit exceeded, terminating
% 85.02/80.25 eprover: CPU time limit exceeded, terminating
% 87.14/82.27 eprover: CPU time limit exceeded, terminating
% 89.29/84.28 eprover: CPU time limit exceeded, terminating
% 91.41/86.29 eprover: CPU time limit exceeded, terminating
% 93.65/88.30 eprover: CPU time limit exceeded, terminating
% 95.78/90.31 eprover: CPU time limit exceeded, terminating
% 97.94/92.32 eprover: CPU time limit exceeded, terminating
% 100.03/94.33 eprover: CPU time limit exceeded, terminating
% 102.18/96.34 eprover: CPU time limit exceeded, terminating
% 104.30/98.35 eprover: CPU time limit exceeded, terminating
% 106.45/100.37 eprover: CPU time limit exceeded, terminating
% 108.60/102.38 eprover: CPU time limit exceeded, terminating
% 110.72/104.39 eprover: CPU time limit exceeded, terminating
% 112.89/106.40 eprover: CPU time limit exceeded, terminating
% 115.09/108.41 eprover: CPU time limit exceeded, terminating
% 117.22/110.42 eprover: CPU time limit exceeded, terminating
% 119.35/112.43 eprover: CPU time limit exceeded, terminating
% 121.50/114.44 eprover: CPU time limit exceeded, terminating
% 123.60/116.46 eprover: CPU time limit exceeded, terminating
% 125.73/118.47 eprover: CPU time limit exceeded, terminating
% 127.87/120.48 eprover: CPU time limit exceeded, terminating
% 130.09/122.49 eprover: CPU time limit exceeded, terminating
% 132.21/124.50 eprover: CPU time limit exceeded, terminating
% 134.35/126.52 eprover: CPU time limit exceeded, terminating
% 136.49/128.53 eprover: CPU time limit exceeded, terminating
% 138.58/130.54 eprover: CPU time limit exceeded, terminating
% 140.71/132.56 eprover: CPU time limit exceeded, terminating
% 142.85/134.57 eprover: CPU time limit exceeded, terminating
% 145.05/136.58 eprover: CPU time limit exceeded, terminating
% 147.10/138.59 eprover: CPU time limit exceeded, terminating
% 149.25/140.60 eprover: CPU time limit exceeded, terminating
% 151.48/142.61 eprover: CPU time limit exceeded, terminating
% 153.58/144.62 eprover: CPU time limit exceeded, terminating
% 155.72/146.63 eprover: CPU time limit exceeded, terminating
% 157.86/148.64 eprover: CPU time limit exceeded, terminating
% 159.96/150.66 eprover: CPU time limit exceeded, terminating
% 162.11/152.67 eprover: CPU time limit exceeded, terminating
% 164.27/154.68 eprover: CPU time limit exceeded, terminating
% 166.36/156.69 eprover: CPU time limit exceeded, terminating
% 168.59/158.70 eprover: CPU time limit exceeded, terminating
% 170.73/160.71 eprover: CPU time limit exceeded, terminating
% 172.87/162.72 eprover: CPU time limit exceeded, terminating
% 174.99/164.73 eprover: CPU time limit exceeded, terminating
% 177.13/166.75 eprover: CPU time limit exceeded, terminating
% 179.24/168.76 eprover: CPU time limit exceeded, terminating
% 181.36/170.77 eprover: CPU time limit exceeded, terminating
% 183.55/172.78 eprover: CPU time limit exceeded, terminating
% 185.60/174.79 eprover: CPU time limit exceeded, terminating
% 187.83/176.80 eprover: CPU time limit exceeded, terminating
% 189.96/178.81 eprover: CPU time limit exceeded, terminating
% 192.08/180.82 eprover: CPU time limit exceeded, terminating
% 194.22/182.83 eprover: CPU time limit exceeded, terminating
% 196.35/184.85 eprover: CPU time limit exceeded, terminating
% 198.43/186.86 eprover: CPU time limit exceeded, terminating
% 200.58/188.87 eprover: CPU time limit exceeded, terminating
% 202.75/190.88 eprover: CPU time limit exceeded, terminating
% 204.85/192.89 eprover: CPU time limit exceeded, terminating
% 207.04/194.90 eprover: CPU time limit exceeded, terminating
% 209.14/196.92 eprover: CPU time limit exceeded, terminating
% 211.29/198.93 eprover: CPU time limit exceeded, terminating
% 213.44/200.94 eprover: CPU time limit exceeded, terminating
% 215.54/202.95 eprover: CPU time limit exceeded, terminating
% 217.65/204.96 eprover: CPU time limit exceeded, terminating
% 219.76/206.97 eprover: CPU time limit exceeded, terminating
% 221.89/208.99 eprover: CPU time limit exceeded, terminating
% 224.10/211.00 eprover: CPU time limit exceeded, terminating
% 226.16/213.01 eprover: CPU time limit exceeded, terminating
% 228.37/215.02 eprover: CPU time limit exceeded, terminating
% 230.40/217.04 eprover: CPU time limit exceeded, terminating
% 232.53/219.05 eprover: CPU time limit exceeded, terminating
% 234.69/221.06 eprover: CPU time limit exceeded, terminating
% 236.83/223.08 eprover: CPU time limit exceeded, terminating
% 239.03/225.09 eprover: CPU time limit exceeded, terminating
% 241.17/227.10 eprover: CPU time limit exceeded, terminating
% 243.31/229.12 eprover: CPU time limit exceeded, terminating
% 245.47/231.13 eprover: CPU time limit exceeded, terminating
% 247.57/233.14 eprover: CPU time limit exceeded, terminating
% 249.61/235.16 eprover: CPU time limit exceeded, terminating
% 251.65/237.17 eprover: CPU time limit exceeded, terminating
% 253.81/239.18 eprover: CPU time limit exceeded, terminating
% 255.97/241.19 eprover: CPU time limit exceeded, terminating
% 258.16/243.21 eprover: CPU time limit exceeded, terminating
% 260.30/245.22 eprover: CPU time limit exceeded, terminating
% 262.34/247.23 eprover: CPU time limit exceeded, terminating
% 264.45/249.24 eprover: CPU time limit exceeded, terminating
% 266.61/251.26 eprover: CPU time limit exceeded, terminating
% 268.76/253.27 eprover: CPU time limit exceeded, terminating
% 270.96/255.28 eprover: CPU time limit exceeded, terminating
% 273.01/257.30 eprover: CPU time limit exceeded, terminating
% 275.14/259.31 eprover: CPU time limit exceeded, terminating
% 277.34/261.32 eprover: CPU time limit exceeded, terminating
% 279.46/263.34 eprover: CPU time limit exceeded, terminating
% 281.58/265.35 eprover: CPU time limit exceeded, terminating
% 283.70/267.36 eprover: CPU time limit exceeded, terminating
% 285.85/269.37 eprover: CPU time limit exceeded, terminating
% 287.99/271.39 eprover: CPU time limit exceeded, terminating
% 290.19/273.40 eprover: CPU time limit exceeded, terminating
% 292.31/275.41 eprover: CPU time limit exceeded, terminating
% 294.39/277.42 eprover: CPU time limit exceeded, terminating
% 296.41/279.44 eprover: CPU time limit exceeded, terminating
% 298.44/281.45 eprover: CPU time limit exceeded, terminating
% 300.08/282.91 eprover: CPU time limit exceeded, terminating
% 300.08/282.92 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------