TSTP Solution File: CAT036+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT036+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n027.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 00:01:08 EDT 2022
% Result : Timeout 286.29s 259.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CAT036+2 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.34 % Computer : n027.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 : Sun May 29 18:14:31 EDT 2022
% 0.12/0.34 % CPUTime :
% 20.34/20.28 eprover: CPU time limit exceeded, terminating
% 22.56/22.29 eprover: CPU time limit exceeded, terminating
% 24.75/24.30 eprover: CPU time limit exceeded, terminating
% 27.01/26.31 eprover: CPU time limit exceeded, terminating
% 29.20/28.32 eprover: CPU time limit exceeded, terminating
% 31.45/30.33 eprover: CPU time limit exceeded, terminating
% 33.65/32.34 eprover: CPU time limit exceeded, terminating
% 35.84/34.36 eprover: CPU time limit exceeded, terminating
% 38.09/36.37 eprover: CPU time limit exceeded, terminating
% 40.33/38.38 eprover: CPU time limit exceeded, terminating
% 42.50/40.39 eprover: CPU time limit exceeded, terminating
% 44.78/42.40 eprover: CPU time limit exceeded, terminating
% 46.93/44.41 eprover: CPU time limit exceeded, terminating
% 49.21/46.42 eprover: CPU time limit exceeded, terminating
% 51.45/48.43 eprover: CPU time limit exceeded, terminating
% 53.66/50.44 eprover: CPU time limit exceeded, terminating
% 55.92/52.46 eprover: CPU time limit exceeded, terminating
% 58.16/54.47 eprover: CPU time limit exceeded, terminating
% 60.36/56.48 eprover: CPU time limit exceeded, terminating
% 62.58/58.49 eprover: CPU time limit exceeded, terminating
% 64.77/60.50 eprover: CPU time limit exceeded, terminating
% 67.00/62.51 eprover: CPU time limit exceeded, terminating
% 69.21/64.52 eprover: CPU time limit exceeded, terminating
% 71.43/66.54 eprover: CPU time limit exceeded, terminating
% 73.67/68.55 eprover: CPU time limit exceeded, terminating
% 75.92/70.56 eprover: CPU time limit exceeded, terminating
% 78.16/72.57 eprover: CPU time limit exceeded, terminating
% 80.37/74.58 eprover: CPU time limit exceeded, terminating
% 82.60/76.59 eprover: CPU time limit exceeded, terminating
% 84.85/78.60 eprover: CPU time limit exceeded, terminating
% 87.01/80.61 eprover: CPU time limit exceeded, terminating
% 91.18/82.62 eprover: CPU time limit exceeded, terminating
% 93.40/84.63 eprover: CPU time limit exceeded, terminating
% 95.64/86.64 eprover: CPU time limit exceeded, terminating
% 97.82/88.65 eprover: CPU time limit exceeded, terminating
% 100.08/90.67 eprover: CPU time limit exceeded, terminating
% 102.31/92.68 eprover: CPU time limit exceeded, terminating
% 104.50/94.69 eprover: CPU time limit exceeded, terminating
% 106.72/96.70 eprover: CPU time limit exceeded, terminating
% 108.97/98.71 eprover: CPU time limit exceeded, terminating
% 111.13/100.72 eprover: CPU time limit exceeded, terminating
% 113.35/102.73 eprover: CPU time limit exceeded, terminating
% 115.58/104.74 eprover: CPU time limit exceeded, terminating
% 117.82/106.75 eprover: CPU time limit exceeded, terminating
% 120.03/108.77 eprover: CPU time limit exceeded, terminating
% 122.26/110.78 eprover: CPU time limit exceeded, terminating
% 124.46/112.79 eprover: CPU time limit exceeded, terminating
% 126.68/114.80 eprover: CPU time limit exceeded, terminating
% 128.88/116.81 eprover: CPU time limit exceeded, terminating
% 131.06/118.82 eprover: CPU time limit exceeded, terminating
% 133.30/120.83 eprover: CPU time limit exceeded, terminating
% 135.47/122.84 eprover: CPU time limit exceeded, terminating
% 137.78/124.85 eprover: CPU time limit exceeded, terminating
% 139.96/126.86 eprover: CPU time limit exceeded, terminating
% 142.22/128.87 eprover: CPU time limit exceeded, terminating
% 144.43/130.88 eprover: CPU time limit exceeded, terminating
% 146.63/132.89 eprover: CPU time limit exceeded, terminating
% 148.86/134.90 eprover: CPU time limit exceeded, terminating
% 151.01/136.91 eprover: CPU time limit exceeded, terminating
% 153.26/138.92 eprover: CPU time limit exceeded, terminating
% 155.41/140.94 eprover: CPU time limit exceeded, terminating
% 157.73/142.95 eprover: CPU time limit exceeded, terminating
% 159.94/144.96 eprover: CPU time limit exceeded, terminating
% 162.17/146.97 eprover: CPU time limit exceeded, terminating
% 164.37/148.98 eprover: CPU time limit exceeded, terminating
% 166.59/150.99 eprover: CPU time limit exceeded, terminating
% 168.78/153.00 eprover: CPU time limit exceeded, terminating
% 171.00/155.01 eprover: CPU time limit exceeded, terminating
% 173.19/157.02 eprover: CPU time limit exceeded, terminating
% 175.42/159.03 eprover: CPU time limit exceeded, terminating
% 177.68/161.05 eprover: CPU time limit exceeded, terminating
% 179.90/163.06 eprover: CPU time limit exceeded, terminating
% 182.09/165.07 eprover: CPU time limit exceeded, terminating
% 184.32/167.08 eprover: CPU time limit exceeded, terminating
% 186.53/169.09 eprover: CPU time limit exceeded, terminating
% 188.75/171.10 eprover: CPU time limit exceeded, terminating
% 190.93/173.11 eprover: CPU time limit exceeded, terminating
% 193.16/175.13 eprover: CPU time limit exceeded, terminating
% 195.38/177.14 eprover: CPU time limit exceeded, terminating
% 197.57/179.15 eprover: CPU time limit exceeded, terminating
% 199.83/181.16 eprover: CPU time limit exceeded, terminating
% 202.04/183.17 eprover: CPU time limit exceeded, terminating
% 204.26/185.18 eprover: CPU time limit exceeded, terminating
% 206.50/187.20 eprover: CPU time limit exceeded, terminating
% 208.68/189.21 eprover: CPU time limit exceeded, terminating
% 210.95/191.22 eprover: CPU time limit exceeded, terminating
% 213.18/193.23 eprover: CPU time limit exceeded, terminating
% 215.39/195.24 eprover: CPU time limit exceeded, terminating
% 217.60/197.25 eprover: CPU time limit exceeded, terminating
% 219.73/199.26 eprover: CPU time limit exceeded, terminating
% 222.01/201.27 eprover: CPU time limit exceeded, terminating
% 224.24/203.29 eprover: CPU time limit exceeded, terminating
% 226.47/205.30 eprover: CPU time limit exceeded, terminating
% 228.69/207.31 eprover: CPU time limit exceeded, terminating
% 230.89/209.32 eprover: CPU time limit exceeded, terminating
% 233.11/211.33 eprover: CPU time limit exceeded, terminating
% 235.32/213.34 eprover: CPU time limit exceeded, terminating
% 237.55/215.35 eprover: CPU time limit exceeded, terminating
% 239.78/217.36 eprover: CPU time limit exceeded, terminating
% 241.97/219.37 eprover: CPU time limit exceeded, terminating
% 244.19/221.38 eprover: CPU time limit exceeded, terminating
% 246.42/223.40 eprover: CPU time limit exceeded, terminating
% 248.64/225.41 eprover: CPU time limit exceeded, terminating
% 250.85/227.42 eprover: CPU time limit exceeded, terminating
% 253.06/229.43 eprover: CPU time limit exceeded, terminating
% 255.28/231.44 eprover: CPU time limit exceeded, terminating
% 257.48/233.45 eprover: CPU time limit exceeded, terminating
% 259.76/235.46 eprover: CPU time limit exceeded, terminating
% 261.96/237.47 eprover: CPU time limit exceeded, terminating
% 264.16/239.48 eprover: CPU time limit exceeded, terminating
% 266.39/241.49 eprover: CPU time limit exceeded, terminating
% 268.56/243.51 eprover: CPU time limit exceeded, terminating
% 270.79/245.52 eprover: CPU time limit exceeded, terminating
% 273.03/247.53 eprover: CPU time limit exceeded, terminating
% 275.21/249.54 eprover: CPU time limit exceeded, terminating
% 277.43/251.55 eprover: CPU time limit exceeded, terminating
% 279.62/253.56 eprover: CPU time limit exceeded, terminating
% 281.90/255.57 eprover: CPU time limit exceeded, terminating
% 284.11/257.58 eprover: CPU time limit exceeded, terminating
% 286.29/259.59 eprover: CPU time limit exceeded, terminating
% 288.47/261.62 eprover: CPU time limit exceeded, terminating
% 290.76/263.63 eprover: CPU time limit exceeded, terminating
% 292.93/265.64 eprover: CPU time limit exceeded, terminating
% 297.13/267.65 eprover: CPU time limit exceeded, terminating
% 299.34/269.66 eprover: CPU time limit exceeded, terminating
% 300.06/270.26 eprover: CPU time limit exceeded, terminating
% 300.06/270.27 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------