TSTP Solution File: CSR163+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR163+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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:59 EDT 2022
% Result : Timeout 286.50s 261.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR163+1 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n007.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 11 04:03:22 EDT 2022
% 0.12/0.35 % CPUTime :
% 5.92/5.92 eprover: CPU time limit exceeded, terminating
% 8.13/7.93 eprover: CPU time limit exceeded, terminating
% 10.32/9.95 eprover: CPU time limit exceeded, terminating
% 12.52/11.96 eprover: CPU time limit exceeded, terminating
% 14.76/13.98 eprover: CPU time limit exceeded, terminating
% 16.90/15.99 eprover: CPU time limit exceeded, terminating
% 19.15/18.01 eprover: CPU time limit exceeded, terminating
% 21.37/20.02 eprover: CPU time limit exceeded, terminating
% 23.59/22.04 eprover: CPU time limit exceeded, terminating
% 25.79/24.05 eprover: CPU time limit exceeded, terminating
% 28.01/26.07 eprover: CPU time limit exceeded, terminating
% 30.27/28.08 eprover: CPU time limit exceeded, terminating
% 32.49/30.10 eprover: CPU time limit exceeded, terminating
% 34.69/32.11 eprover: CPU time limit exceeded, terminating
% 36.89/34.13 eprover: CPU time limit exceeded, terminating
% 39.08/36.14 eprover: CPU time limit exceeded, terminating
% 41.30/38.15 eprover: CPU time limit exceeded, terminating
% 43.48/40.17 eprover: CPU time limit exceeded, terminating
% 45.65/42.19 eprover: CPU time limit exceeded, terminating
% 47.98/44.20 eprover: CPU time limit exceeded, terminating
% 50.20/46.22 eprover: CPU time limit exceeded, terminating
% 52.37/48.23 eprover: CPU time limit exceeded, terminating
% 54.55/50.25 eprover: CPU time limit exceeded, terminating
% 56.76/52.26 eprover: CPU time limit exceeded, terminating
% 58.98/54.28 eprover: CPU time limit exceeded, terminating
% 61.24/56.29 eprover: CPU time limit exceeded, terminating
% 63.45/58.31 eprover: CPU time limit exceeded, terminating
% 65.63/60.32 eprover: CPU time limit exceeded, terminating
% 67.84/62.34 eprover: CPU time limit exceeded, terminating
% 70.01/64.35 eprover: CPU time limit exceeded, terminating
% 72.22/66.37 eprover: CPU time limit exceeded, terminating
% 74.40/68.38 eprover: CPU time limit exceeded, terminating
% 76.71/70.40 eprover: CPU time limit exceeded, terminating
% 78.92/72.41 eprover: CPU time limit exceeded, terminating
% 81.15/74.43 eprover: CPU time limit exceeded, terminating
% 83.31/76.44 eprover: CPU time limit exceeded, terminating
% 85.51/78.46 eprover: CPU time limit exceeded, terminating
% 87.72/80.47 eprover: CPU time limit exceeded, terminating
% 89.98/82.49 eprover: CPU time limit exceeded, terminating
% 92.19/84.50 eprover: CPU time limit exceeded, terminating
% 94.38/86.52 eprover: CPU time limit exceeded, terminating
% 96.57/88.53 eprover: CPU time limit exceeded, terminating
% 98.77/90.55 eprover: CPU time limit exceeded, terminating
% 100.99/92.56 eprover: CPU time limit exceeded, terminating
% 103.15/94.58 eprover: CPU time limit exceeded, terminating
% 105.44/96.59 eprover: CPU time limit exceeded, terminating
% 107.64/98.61 eprover: CPU time limit exceeded, terminating
% 109.84/100.62 eprover: CPU time limit exceeded, terminating
% 112.01/102.64 eprover: CPU time limit exceeded, terminating
% 114.21/104.65 eprover: CPU time limit exceeded, terminating
% 116.43/106.67 eprover: CPU time limit exceeded, terminating
% 118.60/108.68 eprover: CPU time limit exceeded, terminating
% 120.81/110.70 eprover: CPU time limit exceeded, terminating
% 123.08/112.72 eprover: CPU time limit exceeded, terminating
% 125.27/114.73 eprover: CPU time limit exceeded, terminating
% 127.49/116.75 eprover: CPU time limit exceeded, terminating
% 129.67/118.76 eprover: CPU time limit exceeded, terminating
% 131.91/120.78 eprover: CPU time limit exceeded, terminating
% 134.07/122.80 eprover: CPU time limit exceeded, terminating
% 136.33/124.82 eprover: CPU time limit exceeded, terminating
% 138.52/126.83 eprover: CPU time limit exceeded, terminating
% 140.69/128.85 eprover: CPU time limit exceeded, terminating
% 142.88/130.86 eprover: CPU time limit exceeded, terminating
% 145.15/132.88 eprover: CPU time limit exceeded, terminating
% 147.29/134.90 eprover: CPU time limit exceeded, terminating
% 149.54/136.91 eprover: CPU time limit exceeded, terminating
% 151.76/138.93 eprover: CPU time limit exceeded, terminating
% 153.99/140.94 eprover: CPU time limit exceeded, terminating
% 156.15/142.96 eprover: CPU time limit exceeded, terminating
% 158.35/144.97 eprover: CPU time limit exceeded, terminating
% 160.59/146.99 eprover: CPU time limit exceeded, terminating
% 162.72/149.00 eprover: CPU time limit exceeded, terminating
% 164.95/151.02 eprover: CPU time limit exceeded, terminating
% 167.20/153.03 eprover: CPU time limit exceeded, terminating
% 169.36/155.05 eprover: CPU time limit exceeded, terminating
% 171.59/157.06 eprover: CPU time limit exceeded, terminating
% 173.83/159.08 eprover: CPU time limit exceeded, terminating
% 175.97/161.09 eprover: CPU time limit exceeded, terminating
% 178.21/163.11 eprover: CPU time limit exceeded, terminating
% 180.43/165.13 eprover: CPU time limit exceeded, terminating
% 182.60/167.14 eprover: CPU time limit exceeded, terminating
% 184.83/169.16 eprover: CPU time limit exceeded, terminating
% 187.09/171.17 eprover: CPU time limit exceeded, terminating
% 189.22/173.19 eprover: CPU time limit exceeded, terminating
% 191.46/175.20 eprover: CPU time limit exceeded, terminating
% 193.70/177.22 eprover: CPU time limit exceeded, terminating
% 195.86/179.23 eprover: CPU time limit exceeded, terminating
% 198.11/181.25 eprover: CPU time limit exceeded, terminating
% 200.26/183.26 eprover: CPU time limit exceeded, terminating
% 202.50/185.28 eprover: CPU time limit exceeded, terminating
% 204.75/187.29 eprover: CPU time limit exceeded, terminating
% 206.97/189.31 eprover: CPU time limit exceeded, terminating
% 209.11/191.33 eprover: CPU time limit exceeded, terminating
% 211.36/193.34 eprover: CPU time limit exceeded, terminating
% 213.54/195.36 eprover: CPU time limit exceeded, terminating
% 215.76/197.37 eprover: CPU time limit exceeded, terminating
% 218.00/199.38 eprover: CPU time limit exceeded, terminating
% 220.16/201.39 eprover: CPU time limit exceeded, terminating
% 222.44/203.40 eprover: CPU time limit exceeded, terminating
% 224.55/205.42 eprover: CPU time limit exceeded, terminating
% 226.79/207.43 eprover: CPU time limit exceeded, terminating
% 229.03/209.44 eprover: CPU time limit exceeded, terminating
% 231.25/211.45 eprover: CPU time limit exceeded, terminating
% 233.37/213.47 eprover: CPU time limit exceeded, terminating
% 235.60/215.49 eprover: CPU time limit exceeded, terminating
% 237.84/217.50 eprover: CPU time limit exceeded, terminating
% 240.01/219.52 eprover: CPU time limit exceeded, terminating
% 242.24/221.53 eprover: CPU time limit exceeded, terminating
% 244.47/223.55 eprover: CPU time limit exceeded, terminating
% 246.70/225.57 eprover: CPU time limit exceeded, terminating
% 248.86/227.58 eprover: CPU time limit exceeded, terminating
% 251.11/229.60 eprover: CPU time limit exceeded, terminating
% 253.20/231.62 eprover: CPU time limit exceeded, terminating
% 255.51/233.63 eprover: CPU time limit exceeded, terminating
% 257.75/235.66 eprover: CPU time limit exceeded, terminating
% 259.94/237.68 eprover: CPU time limit exceeded, terminating
% 262.13/239.70 eprover: CPU time limit exceeded, terminating
% 264.40/241.71 eprover: CPU time limit exceeded, terminating
% 266.62/243.73 eprover: CPU time limit exceeded, terminating
% 268.84/245.75 eprover: CPU time limit exceeded, terminating
% 271.04/247.77 eprover: CPU time limit exceeded, terminating
% 273.25/249.78 eprover: CPU time limit exceeded, terminating
% 275.47/251.80 eprover: CPU time limit exceeded, terminating
% 277.69/253.82 eprover: CPU time limit exceeded, terminating
% 279.89/255.84 eprover: CPU time limit exceeded, terminating
% 282.10/257.85 eprover: CPU time limit exceeded, terminating
% 284.32/259.87 eprover: CPU time limit exceeded, terminating
% 286.50/261.89 eprover: CPU time limit exceeded, terminating
% 288.69/263.90 eprover: CPU time limit exceeded, terminating
% 290.89/265.92 eprover: CPU time limit exceeded, terminating
% 293.15/267.94 eprover: CPU time limit exceeded, terminating
% 295.36/269.96 eprover: CPU time limit exceeded, terminating
% 297.54/271.98 eprover: CPU time limit exceeded, terminating
% 299.76/273.99 eprover: CPU time limit exceeded, terminating
% 300.42/274.52 eprover: CPU time limit exceeded, terminating
% 300.42/274.54 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------