TSTP Solution File: CSR027+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR027+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:16 EDT 2022
% Result : Timeout 286.55s 265.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR027+3 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Sat Jun 11 03:55:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.41/4.45 eprover: CPU time limit exceeded, terminating
% 6.54/6.46 eprover: CPU time limit exceeded, terminating
% 8.71/8.47 eprover: CPU time limit exceeded, terminating
% 10.84/10.48 eprover: CPU time limit exceeded, terminating
% 13.01/12.49 eprover: CPU time limit exceeded, terminating
% 15.18/14.50 eprover: CPU time limit exceeded, terminating
% 17.39/16.51 eprover: CPU time limit exceeded, terminating
% 19.57/18.52 eprover: CPU time limit exceeded, terminating
% 21.67/20.54 eprover: CPU time limit exceeded, terminating
% 23.87/22.55 eprover: CPU time limit exceeded, terminating
% 26.07/24.56 eprover: CPU time limit exceeded, terminating
% 28.24/26.57 eprover: CPU time limit exceeded, terminating
% 30.43/28.58 eprover: CPU time limit exceeded, terminating
% 32.57/30.59 eprover: CPU time limit exceeded, terminating
% 34.78/32.60 eprover: CPU time limit exceeded, terminating
% 36.90/34.61 eprover: CPU time limit exceeded, terminating
% 39.10/36.63 eprover: CPU time limit exceeded, terminating
% 41.30/38.64 eprover: CPU time limit exceeded, terminating
% 43.49/40.65 eprover: CPU time limit exceeded, terminating
% 45.66/42.66 eprover: CPU time limit exceeded, terminating
% 47.81/44.67 eprover: CPU time limit exceeded, terminating
% 49.98/46.68 eprover: CPU time limit exceeded, terminating
% 52.14/48.69 eprover: CPU time limit exceeded, terminating
% 54.33/50.71 eprover: CPU time limit exceeded, terminating
% 56.53/52.72 eprover: CPU time limit exceeded, terminating
% 58.64/54.73 eprover: CPU time limit exceeded, terminating
% 60.86/56.74 eprover: CPU time limit exceeded, terminating
% 63.03/58.75 eprover: CPU time limit exceeded, terminating
% 65.21/60.76 eprover: CPU time limit exceeded, terminating
% 67.33/62.77 eprover: CPU time limit exceeded, terminating
% 69.52/64.79 eprover: CPU time limit exceeded, terminating
% 71.69/66.80 eprover: CPU time limit exceeded, terminating
% 73.90/68.81 eprover: CPU time limit exceeded, terminating
% 76.03/70.82 eprover: CPU time limit exceeded, terminating
% 78.19/72.83 eprover: CPU time limit exceeded, terminating
% 80.43/74.84 eprover: CPU time limit exceeded, terminating
% 82.54/76.85 eprover: CPU time limit exceeded, terminating
% 84.77/78.87 eprover: CPU time limit exceeded, terminating
% 86.92/80.88 eprover: CPU time limit exceeded, terminating
% 89.10/82.89 eprover: CPU time limit exceeded, terminating
% 91.24/84.90 eprover: CPU time limit exceeded, terminating
% 93.42/86.91 eprover: CPU time limit exceeded, terminating
% 95.62/88.92 eprover: CPU time limit exceeded, terminating
% 97.82/90.93 eprover: CPU time limit exceeded, terminating
% 99.94/92.95 eprover: CPU time limit exceeded, terminating
% 102.13/94.96 eprover: CPU time limit exceeded, terminating
% 104.32/96.97 eprover: CPU time limit exceeded, terminating
% 106.48/98.98 eprover: CPU time limit exceeded, terminating
% 108.63/100.99 eprover: CPU time limit exceeded, terminating
% 110.80/103.00 eprover: CPU time limit exceeded, terminating
% 113.00/105.01 eprover: CPU time limit exceeded, terminating
% 115.18/107.03 eprover: CPU time limit exceeded, terminating
% 117.31/109.04 eprover: CPU time limit exceeded, terminating
% 119.49/111.05 eprover: CPU time limit exceeded, terminating
% 121.66/113.06 eprover: CPU time limit exceeded, terminating
% 123.83/115.08 eprover: CPU time limit exceeded, terminating
% 126.02/117.09 eprover: CPU time limit exceeded, terminating
% 128.18/119.10 eprover: CPU time limit exceeded, terminating
% 130.33/121.12 eprover: CPU time limit exceeded, terminating
% 132.50/123.13 eprover: CPU time limit exceeded, terminating
% 134.64/125.14 eprover: CPU time limit exceeded, terminating
% 136.83/127.15 eprover: CPU time limit exceeded, terminating
% 139.02/129.16 eprover: CPU time limit exceeded, terminating
% 141.19/131.18 eprover: CPU time limit exceeded, terminating
% 143.36/133.19 eprover: CPU time limit exceeded, terminating
% 145.51/135.20 eprover: CPU time limit exceeded, terminating
% 147.68/137.21 eprover: CPU time limit exceeded, terminating
% 149.82/139.22 eprover: CPU time limit exceeded, terminating
% 152.05/141.23 eprover: CPU time limit exceeded, terminating
% 154.21/143.25 eprover: CPU time limit exceeded, terminating
% 156.36/145.26 eprover: CPU time limit exceeded, terminating
% 158.54/147.27 eprover: CPU time limit exceeded, terminating
% 160.70/149.28 eprover: CPU time limit exceeded, terminating
% 162.86/151.30 eprover: CPU time limit exceeded, terminating
% 165.05/153.31 eprover: CPU time limit exceeded, terminating
% 167.20/155.32 eprover: CPU time limit exceeded, terminating
% 169.38/157.33 eprover: CPU time limit exceeded, terminating
% 171.51/159.34 eprover: CPU time limit exceeded, terminating
% 173.74/161.35 eprover: CPU time limit exceeded, terminating
% 175.89/163.37 eprover: CPU time limit exceeded, terminating
% 178.09/165.38 eprover: CPU time limit exceeded, terminating
% 180.26/167.39 eprover: CPU time limit exceeded, terminating
% 182.35/169.40 eprover: CPU time limit exceeded, terminating
% 184.55/171.41 eprover: CPU time limit exceeded, terminating
% 186.74/173.43 eprover: CPU time limit exceeded, terminating
% 188.91/175.44 eprover: CPU time limit exceeded, terminating
% 191.07/177.45 eprover: CPU time limit exceeded, terminating
% 193.26/179.46 eprover: CPU time limit exceeded, terminating
% 195.43/181.47 eprover: CPU time limit exceeded, terminating
% 197.57/183.49 eprover: CPU time limit exceeded, terminating
% 199.75/185.50 eprover: CPU time limit exceeded, terminating
% 201.91/187.51 eprover: CPU time limit exceeded, terminating
% 204.04/189.52 eprover: CPU time limit exceeded, terminating
% 206.28/191.53 eprover: CPU time limit exceeded, terminating
% 208.45/193.55 eprover: CPU time limit exceeded, terminating
% 210.59/195.56 eprover: CPU time limit exceeded, terminating
% 212.79/197.57 eprover: CPU time limit exceeded, terminating
% 214.95/199.58 eprover: CPU time limit exceeded, terminating
% 217.12/201.60 eprover: CPU time limit exceeded, terminating
% 219.25/203.61 eprover: CPU time limit exceeded, terminating
% 221.46/205.62 eprover: CPU time limit exceeded, terminating
% 223.58/207.63 eprover: CPU time limit exceeded, terminating
% 225.80/209.64 eprover: CPU time limit exceeded, terminating
% 227.99/211.65 eprover: CPU time limit exceeded, terminating
% 230.15/213.67 eprover: CPU time limit exceeded, terminating
% 232.28/215.68 eprover: CPU time limit exceeded, terminating
% 234.47/217.69 eprover: CPU time limit exceeded, terminating
% 236.68/219.70 eprover: CPU time limit exceeded, terminating
% 238.80/221.71 eprover: CPU time limit exceeded, terminating
% 240.99/223.73 eprover: CPU time limit exceeded, terminating
% 243.17/225.74 eprover: CPU time limit exceeded, terminating
% 245.25/227.75 eprover: CPU time limit exceeded, terminating
% 247.51/229.76 eprover: CPU time limit exceeded, terminating
% 249.66/231.77 eprover: CPU time limit exceeded, terminating
% 251.81/233.79 eprover: CPU time limit exceeded, terminating
% 254.02/235.80 eprover: CPU time limit exceeded, terminating
% 256.19/237.81 eprover: CPU time limit exceeded, terminating
% 258.36/239.82 eprover: CPU time limit exceeded, terminating
% 260.54/241.83 eprover: CPU time limit exceeded, terminating
% 262.70/243.85 eprover: CPU time limit exceeded, terminating
% 264.87/245.86 eprover: CPU time limit exceeded, terminating
% 267.03/247.87 eprover: CPU time limit exceeded, terminating
% 269.20/249.88 eprover: CPU time limit exceeded, terminating
% 271.36/251.89 eprover: CPU time limit exceeded, terminating
% 273.55/253.91 eprover: CPU time limit exceeded, terminating
% 275.67/255.92 eprover: CPU time limit exceeded, terminating
% 277.90/257.93 eprover: CPU time limit exceeded, terminating
% 280.01/259.94 eprover: CPU time limit exceeded, terminating
% 282.22/261.96 eprover: CPU time limit exceeded, terminating
% 284.39/263.97 eprover: CPU time limit exceeded, terminating
% 286.55/265.98 eprover: CPU time limit exceeded, terminating
% 288.74/267.99 eprover: CPU time limit exceeded, terminating
% 290.87/270.01 eprover: CPU time limit exceeded, terminating
% 293.06/272.02 eprover: CPU time limit exceeded, terminating
% 295.22/274.03 eprover: CPU time limit exceeded, terminating
% 297.42/276.04 eprover: CPU time limit exceeded, terminating
% 299.60/278.05 eprover: CPU time limit exceeded, terminating
% 300.12/278.48 eprover: CPU time limit exceeded, terminating
% 300.12/278.50 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------