TSTP Solution File: CAT021+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CAT021+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:04 EDT 2022
% Result : Timeout 287.15s 261.55s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CAT021+2 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Sun May 29 21:55:10 EDT 2022
% 0.13/0.34 % CPUTime :
% 21.98/21.95 eprover: CPU time limit exceeded, terminating
% 24.22/23.96 eprover: CPU time limit exceeded, terminating
% 26.38/25.97 eprover: CPU time limit exceeded, terminating
% 28.68/27.98 eprover: CPU time limit exceeded, terminating
% 30.82/29.99 eprover: CPU time limit exceeded, terminating
% 33.05/32.00 eprover: CPU time limit exceeded, terminating
% 35.34/34.01 eprover: CPU time limit exceeded, terminating
% 37.57/36.02 eprover: CPU time limit exceeded, terminating
% 39.78/38.04 eprover: CPU time limit exceeded, terminating
% 41.99/40.05 eprover: CPU time limit exceeded, terminating
% 44.20/42.06 eprover: CPU time limit exceeded, terminating
% 46.40/44.07 eprover: CPU time limit exceeded, terminating
% 48.64/46.08 eprover: CPU time limit exceeded, terminating
% 50.87/48.09 eprover: CPU time limit exceeded, terminating
% 53.13/50.10 eprover: CPU time limit exceeded, terminating
% 55.35/52.12 eprover: CPU time limit exceeded, terminating
% 57.58/54.13 eprover: CPU time limit exceeded, terminating
% 59.78/56.14 eprover: CPU time limit exceeded, terminating
% 61.99/58.16 eprover: CPU time limit exceeded, terminating
% 64.22/60.17 eprover: CPU time limit exceeded, terminating
% 66.52/62.20 eprover: CPU time limit exceeded, terminating
% 68.73/64.21 eprover: CPU time limit exceeded, terminating
% 70.98/66.24 eprover: CPU time limit exceeded, terminating
% 73.13/68.25 eprover: CPU time limit exceeded, terminating
% 75.37/70.27 eprover: CPU time limit exceeded, terminating
% 77.62/72.28 eprover: CPU time limit exceeded, terminating
% 79.87/74.29 eprover: CPU time limit exceeded, terminating
% 82.05/76.30 eprover: CPU time limit exceeded, terminating
% 84.36/78.32 eprover: CPU time limit exceeded, terminating
% 86.58/80.33 eprover: CPU time limit exceeded, terminating
% 88.80/82.34 eprover: CPU time limit exceeded, terminating
% 91.00/84.35 eprover: CPU time limit exceeded, terminating
% 93.19/86.36 eprover: CPU time limit exceeded, terminating
% 95.41/88.37 eprover: CPU time limit exceeded, terminating
% 97.69/90.39 eprover: CPU time limit exceeded, terminating
% 99.88/92.40 eprover: CPU time limit exceeded, terminating
% 102.16/94.41 eprover: CPU time limit exceeded, terminating
% 104.41/96.42 eprover: CPU time limit exceeded, terminating
% 106.64/98.45 eprover: CPU time limit exceeded, terminating
% 108.86/100.46 eprover: CPU time limit exceeded, terminating
% 111.10/102.48 eprover: CPU time limit exceeded, terminating
% 113.35/104.50 eprover: CPU time limit exceeded, terminating
% 115.55/106.52 eprover: CPU time limit exceeded, terminating
% 117.79/108.53 eprover: CPU time limit exceeded, terminating
% 120.12/110.54 eprover: CPU time limit exceeded, terminating
% 122.36/112.56 eprover: CPU time limit exceeded, terminating
% 124.59/114.57 eprover: CPU time limit exceeded, terminating
% 126.87/116.58 eprover: CPU time limit exceeded, terminating
% 129.09/118.60 eprover: CPU time limit exceeded, terminating
% 131.36/120.61 eprover: CPU time limit exceeded, terminating
% 133.56/122.63 eprover: CPU time limit exceeded, terminating
% 135.88/124.65 eprover: CPU time limit exceeded, terminating
% 138.11/126.66 eprover: CPU time limit exceeded, terminating
% 140.35/128.67 eprover: CPU time limit exceeded, terminating
% 142.47/130.68 eprover: CPU time limit exceeded, terminating
% 144.70/132.69 eprover: CPU time limit exceeded, terminating
% 146.96/134.70 eprover: CPU time limit exceeded, terminating
% 149.15/136.72 eprover: CPU time limit exceeded, terminating
% 151.32/138.73 eprover: CPU time limit exceeded, terminating
% 153.61/140.74 eprover: CPU time limit exceeded, terminating
% 155.80/142.75 eprover: CPU time limit exceeded, terminating
% 157.99/144.76 eprover: CPU time limit exceeded, terminating
% 160.28/146.77 eprover: CPU time limit exceeded, terminating
% 162.51/148.79 eprover: CPU time limit exceeded, terminating
% 164.73/150.80 eprover: CPU time limit exceeded, terminating
% 166.95/152.82 eprover: CPU time limit exceeded, terminating
% 169.19/154.83 eprover: CPU time limit exceeded, terminating
% 171.38/156.84 eprover: CPU time limit exceeded, terminating
% 173.62/158.85 eprover: CPU time limit exceeded, terminating
% 175.85/160.87 eprover: CPU time limit exceeded, terminating
% 178.09/162.88 eprover: CPU time limit exceeded, terminating
% 180.30/164.89 eprover: CPU time limit exceeded, terminating
% 182.50/166.90 eprover: CPU time limit exceeded, terminating
% 184.72/168.91 eprover: CPU time limit exceeded, terminating
% 186.97/170.92 eprover: CPU time limit exceeded, terminating
% 189.18/172.93 eprover: CPU time limit exceeded, terminating
% 191.40/174.94 eprover: CPU time limit exceeded, terminating
% 193.65/176.96 eprover: CPU time limit exceeded, terminating
% 195.91/178.97 eprover: CPU time limit exceeded, terminating
% 198.13/180.98 eprover: CPU time limit exceeded, terminating
% 200.37/182.99 eprover: CPU time limit exceeded, terminating
% 202.55/185.00 eprover: CPU time limit exceeded, terminating
% 204.83/187.01 eprover: CPU time limit exceeded, terminating
% 207.05/189.02 eprover: CPU time limit exceeded, terminating
% 209.28/191.04 eprover: CPU time limit exceeded, terminating
% 211.55/193.05 eprover: CPU time limit exceeded, terminating
% 213.78/195.06 eprover: CPU time limit exceeded, terminating
% 215.98/197.07 eprover: CPU time limit exceeded, terminating
% 218.21/199.09 eprover: CPU time limit exceeded, terminating
% 220.45/201.10 eprover: CPU time limit exceeded, terminating
% 222.62/203.11 eprover: CPU time limit exceeded, terminating
% 224.83/205.12 eprover: CPU time limit exceeded, terminating
% 227.10/207.14 eprover: CPU time limit exceeded, terminating
% 229.34/209.15 eprover: CPU time limit exceeded, terminating
% 231.54/211.16 eprover: CPU time limit exceeded, terminating
% 233.77/213.18 eprover: CPU time limit exceeded, terminating
% 236.02/215.19 eprover: CPU time limit exceeded, terminating
% 238.19/217.21 eprover: CPU time limit exceeded, terminating
% 240.44/219.22 eprover: CPU time limit exceeded, terminating
% 242.71/221.24 eprover: CPU time limit exceeded, terminating
% 244.94/223.25 eprover: CPU time limit exceeded, terminating
% 247.13/225.27 eprover: CPU time limit exceeded, terminating
% 249.35/227.28 eprover: CPU time limit exceeded, terminating
% 251.53/229.30 eprover: CPU time limit exceeded, terminating
% 253.79/231.32 eprover: CPU time limit exceeded, terminating
% 255.98/233.33 eprover: CPU time limit exceeded, terminating
% 258.25/235.34 eprover: CPU time limit exceeded, terminating
% 260.50/237.36 eprover: CPU time limit exceeded, terminating
% 262.68/239.38 eprover: CPU time limit exceeded, terminating
% 264.94/241.39 eprover: CPU time limit exceeded, terminating
% 267.19/243.41 eprover: CPU time limit exceeded, terminating
% 269.31/245.42 eprover: CPU time limit exceeded, terminating
% 271.60/247.44 eprover: CPU time limit exceeded, terminating
% 273.83/249.46 eprover: CPU time limit exceeded, terminating
% 276.06/251.47 eprover: CPU time limit exceeded, terminating
% 278.22/253.49 eprover: CPU time limit exceeded, terminating
% 280.47/255.50 eprover: CPU time limit exceeded, terminating
% 282.64/257.52 eprover: CPU time limit exceeded, terminating
% 284.92/259.53 eprover: CPU time limit exceeded, terminating
% 287.15/261.55 eprover: CPU time limit exceeded, terminating
% 289.35/263.56 eprover: CPU time limit exceeded, terminating
% 291.56/265.58 eprover: CPU time limit exceeded, terminating
% 293.82/267.59 eprover: CPU time limit exceeded, terminating
% 296.06/269.60 eprover: CPU time limit exceeded, terminating
% 298.21/271.62 eprover: CPU time limit exceeded, terminating
% 300.10/273.21 eprover: CPU time limit exceeded, terminating
% 300.10/273.22 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------