TSTP Solution File: CSR053+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR053+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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:36 EDT 2022
% Result : Timeout 286.96s 263.69s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR053+3 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n015.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 18:25:51 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.27/4.32 eprover: CPU time limit exceeded, terminating
% 6.43/6.33 eprover: CPU time limit exceeded, terminating
% 8.59/8.34 eprover: CPU time limit exceeded, terminating
% 10.75/10.35 eprover: CPU time limit exceeded, terminating
% 12.91/12.36 eprover: CPU time limit exceeded, terminating
% 15.08/14.37 eprover: CPU time limit exceeded, terminating
% 17.28/16.38 eprover: CPU time limit exceeded, terminating
% 19.42/18.39 eprover: CPU time limit exceeded, terminating
% 21.61/20.41 eprover: CPU time limit exceeded, terminating
% 23.86/22.42 eprover: CPU time limit exceeded, terminating
% 26.00/24.43 eprover: CPU time limit exceeded, terminating
% 28.18/26.44 eprover: CPU time limit exceeded, terminating
% 30.39/28.45 eprover: CPU time limit exceeded, terminating
% 32.55/30.46 eprover: CPU time limit exceeded, terminating
% 34.72/32.47 eprover: CPU time limit exceeded, terminating
% 36.91/34.48 eprover: CPU time limit exceeded, terminating
% 39.13/36.49 eprover: CPU time limit exceeded, terminating
% 41.30/38.50 eprover: CPU time limit exceeded, terminating
% 43.49/40.51 eprover: CPU time limit exceeded, terminating
% 45.66/42.52 eprover: CPU time limit exceeded, terminating
% 47.81/44.53 eprover: CPU time limit exceeded, terminating
% 50.00/46.54 eprover: CPU time limit exceeded, terminating
% 52.15/48.55 eprover: CPU time limit exceeded, terminating
% 54.30/50.56 eprover: CPU time limit exceeded, terminating
% 56.47/52.57 eprover: CPU time limit exceeded, terminating
% 58.65/54.58 eprover: CPU time limit exceeded, terminating
% 60.88/56.59 eprover: CPU time limit exceeded, terminating
% 62.97/58.60 eprover: CPU time limit exceeded, terminating
% 65.23/60.61 eprover: CPU time limit exceeded, terminating
% 67.40/62.62 eprover: CPU time limit exceeded, terminating
% 69.58/64.63 eprover: CPU time limit exceeded, terminating
% 71.73/66.64 eprover: CPU time limit exceeded, terminating
% 73.87/68.65 eprover: CPU time limit exceeded, terminating
% 76.03/70.66 eprover: CPU time limit exceeded, terminating
% 78.22/72.67 eprover: CPU time limit exceeded, terminating
% 80.44/74.68 eprover: CPU time limit exceeded, terminating
% 82.62/76.69 eprover: CPU time limit exceeded, terminating
% 86.76/78.70 eprover: CPU time limit exceeded, terminating
% 88.92/80.71 eprover: CPU time limit exceeded, terminating
% 91.12/82.72 eprover: CPU time limit exceeded, terminating
% 93.25/84.73 eprover: CPU time limit exceeded, terminating
% 95.44/86.74 eprover: CPU time limit exceeded, terminating
% 97.61/88.75 eprover: CPU time limit exceeded, terminating
% 99.74/90.76 eprover: CPU time limit exceeded, terminating
% 101.95/92.77 eprover: CPU time limit exceeded, terminating
% 104.09/94.79 eprover: CPU time limit exceeded, terminating
% 106.30/96.80 eprover: CPU time limit exceeded, terminating
% 108.49/98.81 eprover: CPU time limit exceeded, terminating
% 110.63/100.82 eprover: CPU time limit exceeded, terminating
% 112.79/102.83 eprover: CPU time limit exceeded, terminating
% 114.97/104.84 eprover: CPU time limit exceeded, terminating
% 117.14/106.85 eprover: CPU time limit exceeded, terminating
% 119.31/108.86 eprover: CPU time limit exceeded, terminating
% 121.48/110.87 eprover: CPU time limit exceeded, terminating
% 123.65/112.88 eprover: CPU time limit exceeded, terminating
% 125.87/114.89 eprover: CPU time limit exceeded, terminating
% 128.04/116.90 eprover: CPU time limit exceeded, terminating
% 130.22/118.91 eprover: CPU time limit exceeded, terminating
% 132.37/120.92 eprover: CPU time limit exceeded, terminating
% 134.52/122.93 eprover: CPU time limit exceeded, terminating
% 136.72/124.94 eprover: CPU time limit exceeded, terminating
% 138.84/126.95 eprover: CPU time limit exceeded, terminating
% 141.03/128.96 eprover: CPU time limit exceeded, terminating
% 143.16/130.97 eprover: CPU time limit exceeded, terminating
% 145.32/132.98 eprover: CPU time limit exceeded, terminating
% 147.52/134.99 eprover: CPU time limit exceeded, terminating
% 149.66/137.00 eprover: CPU time limit exceeded, terminating
% 151.94/139.01 eprover: CPU time limit exceeded, terminating
% 154.10/141.02 eprover: CPU time limit exceeded, terminating
% 156.23/143.03 eprover: CPU time limit exceeded, terminating
% 158.44/145.04 eprover: CPU time limit exceeded, terminating
% 160.58/147.05 eprover: CPU time limit exceeded, terminating
% 162.70/149.06 eprover: CPU time limit exceeded, terminating
% 164.90/151.07 eprover: CPU time limit exceeded, terminating
% 167.08/153.08 eprover: CPU time limit exceeded, terminating
% 169.22/155.09 eprover: CPU time limit exceeded, terminating
% 171.48/157.11 eprover: CPU time limit exceeded, terminating
% 173.64/159.12 eprover: CPU time limit exceeded, terminating
% 175.83/161.13 eprover: CPU time limit exceeded, terminating
% 177.99/163.14 eprover: CPU time limit exceeded, terminating
% 180.12/165.15 eprover: CPU time limit exceeded, terminating
% 182.32/167.16 eprover: CPU time limit exceeded, terminating
% 184.49/169.17 eprover: CPU time limit exceeded, terminating
% 186.63/171.18 eprover: CPU time limit exceeded, terminating
% 188.82/173.19 eprover: CPU time limit exceeded, terminating
% 191.00/175.20 eprover: CPU time limit exceeded, terminating
% 193.23/177.22 eprover: CPU time limit exceeded, terminating
% 195.35/179.23 eprover: CPU time limit exceeded, terminating
% 197.60/181.24 eprover: CPU time limit exceeded, terminating
% 199.76/183.25 eprover: CPU time limit exceeded, terminating
% 201.90/185.26 eprover: CPU time limit exceeded, terminating
% 204.08/187.27 eprover: CPU time limit exceeded, terminating
% 206.33/189.28 eprover: CPU time limit exceeded, terminating
% 208.51/191.29 eprover: CPU time limit exceeded, terminating
% 210.66/193.30 eprover: CPU time limit exceeded, terminating
% 212.84/195.31 eprover: CPU time limit exceeded, terminating
% 215.04/197.33 eprover: CPU time limit exceeded, terminating
% 217.21/199.34 eprover: CPU time limit exceeded, terminating
% 219.36/201.35 eprover: CPU time limit exceeded, terminating
% 221.59/203.36 eprover: CPU time limit exceeded, terminating
% 223.72/205.37 eprover: CPU time limit exceeded, terminating
% 225.92/207.38 eprover: CPU time limit exceeded, terminating
% 228.11/209.39 eprover: CPU time limit exceeded, terminating
% 230.23/211.40 eprover: CPU time limit exceeded, terminating
% 232.39/213.42 eprover: CPU time limit exceeded, terminating
% 234.65/215.43 eprover: CPU time limit exceeded, terminating
% 236.80/217.44 eprover: CPU time limit exceeded, terminating
% 238.99/219.45 eprover: CPU time limit exceeded, terminating
% 241.14/221.46 eprover: CPU time limit exceeded, terminating
% 243.30/223.47 eprover: CPU time limit exceeded, terminating
% 245.51/225.48 eprover: CPU time limit exceeded, terminating
% 247.67/227.49 eprover: CPU time limit exceeded, terminating
% 249.92/229.50 eprover: CPU time limit exceeded, terminating
% 252.09/231.52 eprover: CPU time limit exceeded, terminating
% 254.25/233.53 eprover: CPU time limit exceeded, terminating
% 256.38/235.54 eprover: CPU time limit exceeded, terminating
% 258.57/237.55 eprover: CPU time limit exceeded, terminating
% 260.78/239.56 eprover: CPU time limit exceeded, terminating
% 262.92/241.57 eprover: CPU time limit exceeded, terminating
% 265.09/243.58 eprover: CPU time limit exceeded, terminating
% 267.29/245.59 eprover: CPU time limit exceeded, terminating
% 269.53/247.60 eprover: CPU time limit exceeded, terminating
% 271.69/249.62 eprover: CPU time limit exceeded, terminating
% 273.88/251.63 eprover: CPU time limit exceeded, terminating
% 276.02/253.64 eprover: CPU time limit exceeded, terminating
% 278.17/255.65 eprover: CPU time limit exceeded, terminating
% 280.38/257.66 eprover: CPU time limit exceeded, terminating
% 282.55/259.67 eprover: CPU time limit exceeded, terminating
% 284.72/261.68 eprover: CPU time limit exceeded, terminating
% 286.96/263.69 eprover: CPU time limit exceeded, terminating
% 289.14/265.70 eprover: CPU time limit exceeded, terminating
% 291.29/267.72 eprover: CPU time limit exceeded, terminating
% 293.49/269.73 eprover: CPU time limit exceeded, terminating
% 295.67/271.74 eprover: CPU time limit exceeded, terminating
% 297.82/273.75 eprover: CPU time limit exceeded, terminating
% 300.00/275.76 eprover: CPU time limit exceeded, terminating
% 300.07/275.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------