TSTP Solution File: CSR115+41 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR115+41 : 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.49s 271.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.10 % Problem : CSR115+41 : TPTP v8.1.0. Released v4.0.0.
% 0.08/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 14:29:39 EDT 2022
% 0.10/0.30 % CPUTime :
% 3.64/3.75 eprover: CPU time limit exceeded, terminating
% 5.81/5.76 eprover: CPU time limit exceeded, terminating
% 7.93/7.78 eprover: CPU time limit exceeded, terminating
% 10.12/9.79 eprover: CPU time limit exceeded, terminating
% 12.20/11.80 eprover: CPU time limit exceeded, terminating
% 14.39/13.81 eprover: CPU time limit exceeded, terminating
% 16.51/15.83 eprover: CPU time limit exceeded, terminating
% 18.60/17.84 eprover: CPU time limit exceeded, terminating
% 20.77/19.85 eprover: CPU time limit exceeded, terminating
% 22.96/21.87 eprover: CPU time limit exceeded, terminating
% 25.04/23.88 eprover: CPU time limit exceeded, terminating
% 27.23/25.89 eprover: CPU time limit exceeded, terminating
% 29.38/27.91 eprover: CPU time limit exceeded, terminating
% 31.53/29.92 eprover: CPU time limit exceeded, terminating
% 33.65/31.93 eprover: CPU time limit exceeded, terminating
% 35.79/33.95 eprover: CPU time limit exceeded, terminating
% 37.96/35.96 eprover: CPU time limit exceeded, terminating
% 40.07/37.97 eprover: CPU time limit exceeded, terminating
% 42.22/39.99 eprover: CPU time limit exceeded, terminating
% 44.41/42.00 eprover: CPU time limit exceeded, terminating
% 46.56/44.01 eprover: CPU time limit exceeded, terminating
% 48.70/46.02 eprover: CPU time limit exceeded, terminating
% 50.79/48.04 eprover: CPU time limit exceeded, terminating
% 52.95/50.05 eprover: CPU time limit exceeded, terminating
% 55.09/52.06 eprover: CPU time limit exceeded, terminating
% 57.24/54.07 eprover: CPU time limit exceeded, terminating
% 59.43/56.09 eprover: CPU time limit exceeded, terminating
% 61.55/58.10 eprover: CPU time limit exceeded, terminating
% 63.74/60.11 eprover: CPU time limit exceeded, terminating
% 65.84/62.13 eprover: CPU time limit exceeded, terminating
% 67.99/64.14 eprover: CPU time limit exceeded, terminating
% 70.13/66.15 eprover: CPU time limit exceeded, terminating
% 72.21/68.17 eprover: CPU time limit exceeded, terminating
% 74.40/70.18 eprover: CPU time limit exceeded, terminating
% 76.61/72.19 eprover: CPU time limit exceeded, terminating
% 78.73/74.20 eprover: CPU time limit exceeded, terminating
% 80.75/76.22 eprover: CPU time limit exceeded, terminating
% 82.82/78.23 eprover: CPU time limit exceeded, terminating
% 85.01/80.24 eprover: CPU time limit exceeded, terminating
% 87.18/82.26 eprover: CPU time limit exceeded, terminating
% 89.31/84.27 eprover: CPU time limit exceeded, terminating
% 91.44/86.28 eprover: CPU time limit exceeded, terminating
% 93.58/88.29 eprover: CPU time limit exceeded, terminating
% 95.67/90.31 eprover: CPU time limit exceeded, terminating
% 97.85/92.32 eprover: CPU time limit exceeded, terminating
% 100.00/94.33 eprover: CPU time limit exceeded, terminating
% 102.12/96.34 eprover: CPU time limit exceeded, terminating
% 104.28/98.36 eprover: CPU time limit exceeded, terminating
% 106.46/100.37 eprover: CPU time limit exceeded, terminating
% 108.55/102.38 eprover: CPU time limit exceeded, terminating
% 110.75/104.40 eprover: CPU time limit exceeded, terminating
% 112.82/106.41 eprover: CPU time limit exceeded, terminating
% 115.02/108.42 eprover: CPU time limit exceeded, terminating
% 117.17/110.44 eprover: CPU time limit exceeded, terminating
% 119.30/112.45 eprover: CPU time limit exceeded, terminating
% 121.43/114.46 eprover: CPU time limit exceeded, terminating
% 123.53/116.47 eprover: CPU time limit exceeded, terminating
% 125.68/118.49 eprover: CPU time limit exceeded, terminating
% 127.90/120.50 eprover: CPU time limit exceeded, terminating
% 130.04/122.51 eprover: CPU time limit exceeded, terminating
% 132.20/124.53 eprover: CPU time limit exceeded, terminating
% 134.32/126.54 eprover: CPU time limit exceeded, terminating
% 136.44/128.55 eprover: CPU time limit exceeded, terminating
% 138.56/130.57 eprover: CPU time limit exceeded, terminating
% 140.67/132.58 eprover: CPU time limit exceeded, terminating
% 142.89/134.59 eprover: CPU time limit exceeded, terminating
% 145.02/136.61 eprover: CPU time limit exceeded, terminating
% 147.16/138.62 eprover: CPU time limit exceeded, terminating
% 149.29/140.63 eprover: CPU time limit exceeded, terminating
% 151.41/142.64 eprover: CPU time limit exceeded, terminating
% 153.53/144.66 eprover: CPU time limit exceeded, terminating
% 155.69/146.67 eprover: CPU time limit exceeded, terminating
% 157.85/148.68 eprover: CPU time limit exceeded, terminating
% 160.03/150.70 eprover: CPU time limit exceeded, terminating
% 162.16/152.71 eprover: CPU time limit exceeded, terminating
% 164.32/154.72 eprover: CPU time limit exceeded, terminating
% 166.43/156.74 eprover: CPU time limit exceeded, terminating
% 168.58/158.75 eprover: CPU time limit exceeded, terminating
% 170.72/160.76 eprover: CPU time limit exceeded, terminating
% 172.81/162.78 eprover: CPU time limit exceeded, terminating
% 174.99/164.79 eprover: CPU time limit exceeded, terminating
% 177.12/166.80 eprover: CPU time limit exceeded, terminating
% 179.32/168.81 eprover: CPU time limit exceeded, terminating
% 181.46/170.82 eprover: CPU time limit exceeded, terminating
% 183.58/172.83 eprover: CPU time limit exceeded, terminating
% 185.67/174.84 eprover: CPU time limit exceeded, terminating
% 187.82/176.85 eprover: CPU time limit exceeded, terminating
% 189.96/178.86 eprover: CPU time limit exceeded, terminating
% 192.08/180.87 eprover: CPU time limit exceeded, terminating
% 194.20/182.88 eprover: CPU time limit exceeded, terminating
% 196.39/184.89 eprover: CPU time limit exceeded, terminating
% 198.43/186.91 eprover: CPU time limit exceeded, terminating
% 200.65/188.92 eprover: CPU time limit exceeded, terminating
% 202.75/190.93 eprover: CPU time limit exceeded, terminating
% 204.91/192.94 eprover: CPU time limit exceeded, terminating
% 207.01/194.95 eprover: CPU time limit exceeded, terminating
% 209.14/196.96 eprover: CPU time limit exceeded, terminating
% 211.25/198.97 eprover: CPU time limit exceeded, terminating
% 213.39/200.98 eprover: CPU time limit exceeded, terminating
% 215.58/202.99 eprover: CPU time limit exceeded, terminating
% 217.65/205.00 eprover: CPU time limit exceeded, terminating
% 219.84/207.01 eprover: CPU time limit exceeded, terminating
% 221.98/209.03 eprover: CPU time limit exceeded, terminating
% 224.08/211.04 eprover: CPU time limit exceeded, terminating
% 226.22/213.05 eprover: CPU time limit exceeded, terminating
% 228.23/215.06 eprover: CPU time limit exceeded, terminating
% 230.33/217.07 eprover: CPU time limit exceeded, terminating
% 232.46/219.08 eprover: CPU time limit exceeded, terminating
% 234.56/221.09 eprover: CPU time limit exceeded, terminating
% 236.70/223.10 eprover: CPU time limit exceeded, terminating
% 238.86/225.11 eprover: CPU time limit exceeded, terminating
% 241.03/227.12 eprover: CPU time limit exceeded, terminating
% 243.12/229.14 eprover: CPU time limit exceeded, terminating
% 245.23/231.15 eprover: CPU time limit exceeded, terminating
% 247.30/233.16 eprover: CPU time limit exceeded, terminating
% 249.40/235.17 eprover: CPU time limit exceeded, terminating
% 251.51/237.18 eprover: CPU time limit exceeded, terminating
% 253.52/239.19 eprover: CPU time limit exceeded, terminating
% 255.68/241.20 eprover: CPU time limit exceeded, terminating
% 257.77/243.22 eprover: CPU time limit exceeded, terminating
% 259.94/245.23 eprover: CPU time limit exceeded, terminating
% 261.95/247.24 eprover: CPU time limit exceeded, terminating
% 264.10/249.25 eprover: CPU time limit exceeded, terminating
% 266.24/251.26 eprover: CPU time limit exceeded, terminating
% 268.32/253.27 eprover: CPU time limit exceeded, terminating
% 270.45/255.29 eprover: CPU time limit exceeded, terminating
% 272.59/257.30 eprover: CPU time limit exceeded, terminating
% 274.76/259.31 eprover: CPU time limit exceeded, terminating
% 276.90/261.32 eprover: CPU time limit exceeded, terminating
% 278.98/263.33 eprover: CPU time limit exceeded, terminating
% 281.14/265.34 eprover: CPU time limit exceeded, terminating
% 283.26/267.35 eprover: CPU time limit exceeded, terminating
% 285.31/269.36 eprover: CPU time limit exceeded, terminating
% 287.49/271.38 eprover: CPU time limit exceeded, terminating
% 289.66/273.39 eprover: CPU time limit exceeded, terminating
% 291.76/275.40 eprover: CPU time limit exceeded, terminating
% 293.84/277.41 eprover: CPU time limit exceeded, terminating
% 295.88/279.42 eprover: CPU time limit exceeded, terminating
% 297.96/281.44 eprover: CPU time limit exceeded, terminating
% 300.05/283.39 eprover: CPU time limit exceeded, terminating
% 300.05/283.41 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------