TSTP Solution File: CSR052+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR052+3 : TPTP v8.1.0. Released v3.4.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:34:35 EDT 2022
% Result : Timeout 287.47s 267.74s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : CSR052+3 : TPTP v8.1.0. Released v3.4.0.
% 0.00/0.10 % 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 09:47:09 EDT 2022
% 0.15/0.30 % CPUTime :
% 4.22/4.27 eprover: CPU time limit exceeded, terminating
% 6.29/6.28 eprover: CPU time limit exceeded, terminating
% 8.51/8.29 eprover: CPU time limit exceeded, terminating
% 10.65/10.30 eprover: CPU time limit exceeded, terminating
% 12.79/12.31 eprover: CPU time limit exceeded, terminating
% 14.91/14.32 eprover: CPU time limit exceeded, terminating
% 17.06/16.34 eprover: CPU time limit exceeded, terminating
% 19.19/18.35 eprover: CPU time limit exceeded, terminating
% 21.37/20.36 eprover: CPU time limit exceeded, terminating
% 23.46/22.38 eprover: CPU time limit exceeded, terminating
% 27.59/24.39 eprover: CPU time limit exceeded, terminating
% 29.73/26.40 eprover: CPU time limit exceeded, terminating
% 31.88/28.41 eprover: CPU time limit exceeded, terminating
% 34.04/30.42 eprover: CPU time limit exceeded, terminating
% 36.19/32.43 eprover: CPU time limit exceeded, terminating
% 38.35/34.44 eprover: CPU time limit exceeded, terminating
% 40.49/36.45 eprover: CPU time limit exceeded, terminating
% 42.62/38.46 eprover: CPU time limit exceeded, terminating
% 44.76/40.47 eprover: CPU time limit exceeded, terminating
% 46.90/42.48 eprover: CPU time limit exceeded, terminating
% 49.05/44.49 eprover: CPU time limit exceeded, terminating
% 51.27/46.50 eprover: CPU time limit exceeded, terminating
% 53.42/48.51 eprover: CPU time limit exceeded, terminating
% 55.55/50.52 eprover: CPU time limit exceeded, terminating
% 57.70/52.53 eprover: CPU time limit exceeded, terminating
% 59.83/54.54 eprover: CPU time limit exceeded, terminating
% 61.95/56.55 eprover: CPU time limit exceeded, terminating
% 64.12/58.56 eprover: CPU time limit exceeded, terminating
% 66.25/60.57 eprover: CPU time limit exceeded, terminating
% 68.39/62.58 eprover: CPU time limit exceeded, terminating
% 70.60/64.59 eprover: CPU time limit exceeded, terminating
% 72.67/66.60 eprover: CPU time limit exceeded, terminating
% 74.90/68.61 eprover: CPU time limit exceeded, terminating
% 77.01/70.62 eprover: CPU time limit exceeded, terminating
% 79.14/72.63 eprover: CPU time limit exceeded, terminating
% 81.28/74.64 eprover: CPU time limit exceeded, terminating
% 83.43/76.65 eprover: CPU time limit exceeded, terminating
% 85.58/78.66 eprover: CPU time limit exceeded, terminating
% 87.70/80.67 eprover: CPU time limit exceeded, terminating
% 89.83/82.68 eprover: CPU time limit exceeded, terminating
% 91.98/84.69 eprover: CPU time limit exceeded, terminating
% 94.19/86.70 eprover: CPU time limit exceeded, terminating
% 96.34/88.71 eprover: CPU time limit exceeded, terminating
% 98.47/90.72 eprover: CPU time limit exceeded, terminating
% 100.62/92.73 eprover: CPU time limit exceeded, terminating
% 102.75/94.74 eprover: CPU time limit exceeded, terminating
% 104.92/96.75 eprover: CPU time limit exceeded, terminating
% 107.06/98.76 eprover: CPU time limit exceeded, terminating
% 109.17/100.77 eprover: CPU time limit exceeded, terminating
% 111.32/102.78 eprover: CPU time limit exceeded, terminating
% 113.56/104.79 eprover: CPU time limit exceeded, terminating
% 115.69/106.81 eprover: CPU time limit exceeded, terminating
% 117.80/108.82 eprover: CPU time limit exceeded, terminating
% 119.98/110.83 eprover: CPU time limit exceeded, terminating
% 122.10/112.84 eprover: CPU time limit exceeded, terminating
% 124.24/114.85 eprover: CPU time limit exceeded, terminating
% 126.38/116.86 eprover: CPU time limit exceeded, terminating
% 128.52/118.87 eprover: CPU time limit exceeded, terminating
% 130.66/120.88 eprover: CPU time limit exceeded, terminating
% 132.88/122.89 eprover: CPU time limit exceeded, terminating
% 135.01/124.91 eprover: CPU time limit exceeded, terminating
% 137.15/126.92 eprover: CPU time limit exceeded, terminating
% 139.31/128.93 eprover: CPU time limit exceeded, terminating
% 141.45/130.94 eprover: CPU time limit exceeded, terminating
% 143.58/132.95 eprover: CPU time limit exceeded, terminating
% 145.72/134.96 eprover: CPU time limit exceeded, terminating
% 147.87/136.97 eprover: CPU time limit exceeded, terminating
% 149.99/138.98 eprover: CPU time limit exceeded, terminating
% 152.22/140.99 eprover: CPU time limit exceeded, terminating
% 154.26/143.00 eprover: CPU time limit exceeded, terminating
% 156.50/145.02 eprover: CPU time limit exceeded, terminating
% 158.63/147.03 eprover: CPU time limit exceeded, terminating
% 160.77/149.04 eprover: CPU time limit exceeded, terminating
% 162.91/151.05 eprover: CPU time limit exceeded, terminating
% 165.05/153.06 eprover: CPU time limit exceeded, terminating
% 167.20/155.08 eprover: CPU time limit exceeded, terminating
% 169.31/157.09 eprover: CPU time limit exceeded, terminating
% 171.52/159.10 eprover: CPU time limit exceeded, terminating
% 173.65/161.11 eprover: CPU time limit exceeded, terminating
% 175.84/163.13 eprover: CPU time limit exceeded, terminating
% 177.95/165.14 eprover: CPU time limit exceeded, terminating
% 180.07/167.15 eprover: CPU time limit exceeded, terminating
% 182.25/169.17 eprover: CPU time limit exceeded, terminating
% 184.34/171.18 eprover: CPU time limit exceeded, terminating
% 186.53/173.19 eprover: CPU time limit exceeded, terminating
% 188.72/175.21 eprover: CPU time limit exceeded, terminating
% 190.88/177.22 eprover: CPU time limit exceeded, terminating
% 192.97/179.23 eprover: CPU time limit exceeded, terminating
% 195.15/181.24 eprover: CPU time limit exceeded, terminating
% 197.26/183.25 eprover: CPU time limit exceeded, terminating
% 199.42/185.27 eprover: CPU time limit exceeded, terminating
% 201.59/187.28 eprover: CPU time limit exceeded, terminating
% 203.77/189.29 eprover: CPU time limit exceeded, terminating
% 205.88/191.30 eprover: CPU time limit exceeded, terminating
% 208.01/193.31 eprover: CPU time limit exceeded, terminating
% 210.22/195.33 eprover: CPU time limit exceeded, terminating
% 212.29/197.34 eprover: CPU time limit exceeded, terminating
% 214.49/199.35 eprover: CPU time limit exceeded, terminating
% 216.65/201.36 eprover: CPU time limit exceeded, terminating
% 218.77/203.37 eprover: CPU time limit exceeded, terminating
% 220.95/205.39 eprover: CPU time limit exceeded, terminating
% 223.06/207.40 eprover: CPU time limit exceeded, terminating
% 225.17/209.41 eprover: CPU time limit exceeded, terminating
% 227.37/211.42 eprover: CPU time limit exceeded, terminating
% 229.54/213.43 eprover: CPU time limit exceeded, terminating
% 231.64/215.44 eprover: CPU time limit exceeded, terminating
% 233.83/217.45 eprover: CPU time limit exceeded, terminating
% 236.00/219.46 eprover: CPU time limit exceeded, terminating
% 238.12/221.48 eprover: CPU time limit exceeded, terminating
% 240.27/223.49 eprover: CPU time limit exceeded, terminating
% 242.41/225.50 eprover: CPU time limit exceeded, terminating
% 244.54/227.51 eprover: CPU time limit exceeded, terminating
% 246.64/229.52 eprover: CPU time limit exceeded, terminating
% 248.77/231.54 eprover: CPU time limit exceeded, terminating
% 251.00/233.55 eprover: CPU time limit exceeded, terminating
% 253.13/235.56 eprover: CPU time limit exceeded, terminating
% 255.28/237.57 eprover: CPU time limit exceeded, terminating
% 257.42/239.58 eprover: CPU time limit exceeded, terminating
% 259.58/241.59 eprover: CPU time limit exceeded, terminating
% 261.75/243.60 eprover: CPU time limit exceeded, terminating
% 263.87/245.62 eprover: CPU time limit exceeded, terminating
% 265.97/247.63 eprover: CPU time limit exceeded, terminating
% 268.13/249.64 eprover: CPU time limit exceeded, terminating
% 270.32/251.65 eprover: CPU time limit exceeded, terminating
% 272.49/253.66 eprover: CPU time limit exceeded, terminating
% 274.61/255.67 eprover: CPU time limit exceeded, terminating
% 276.75/257.68 eprover: CPU time limit exceeded, terminating
% 278.88/259.69 eprover: CPU time limit exceeded, terminating
% 281.06/261.71 eprover: CPU time limit exceeded, terminating
% 283.14/263.72 eprover: CPU time limit exceeded, terminating
% 285.37/265.73 eprover: CPU time limit exceeded, terminating
% 287.47/267.74 eprover: CPU time limit exceeded, terminating
% 289.64/269.75 eprover: CPU time limit exceeded, terminating
% 291.79/271.76 eprover: CPU time limit exceeded, terminating
% 293.91/273.77 eprover: CPU time limit exceeded, terminating
% 296.08/275.79 eprover: CPU time limit exceeded, terminating
% 298.24/277.80 eprover: CPU time limit exceeded, terminating
% 300.05/279.47 eprover: CPU time limit exceeded, terminating
% 300.05/279.49 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------