TSTP Solution File: CSR049+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR049+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:33 EDT 2022
% Result : Timeout 286.06s 265.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : CSR049+3 : TPTP v8.1.0. Released v3.4.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n026.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % 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 : Fri Jun 10 18:21:48 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.22/4.30 eprover: CPU time limit exceeded, terminating
% 6.43/6.31 eprover: CPU time limit exceeded, terminating
% 8.59/8.32 eprover: CPU time limit exceeded, terminating
% 10.74/10.33 eprover: CPU time limit exceeded, terminating
% 12.88/12.34 eprover: CPU time limit exceeded, terminating
% 15.05/14.35 eprover: CPU time limit exceeded, terminating
% 17.18/16.36 eprover: CPU time limit exceeded, terminating
% 19.34/18.37 eprover: CPU time limit exceeded, terminating
% 21.52/20.38 eprover: CPU time limit exceeded, terminating
% 23.68/22.39 eprover: CPU time limit exceeded, terminating
% 25.90/24.40 eprover: CPU time limit exceeded, terminating
% 28.04/26.41 eprover: CPU time limit exceeded, terminating
% 30.22/28.42 eprover: CPU time limit exceeded, terminating
% 32.44/30.43 eprover: CPU time limit exceeded, terminating
% 34.55/32.44 eprover: CPU time limit exceeded, terminating
% 36.74/34.45 eprover: CPU time limit exceeded, terminating
% 38.88/36.46 eprover: CPU time limit exceeded, terminating
% 41.06/38.47 eprover: CPU time limit exceeded, terminating
% 43.22/40.48 eprover: CPU time limit exceeded, terminating
% 45.44/42.49 eprover: CPU time limit exceeded, terminating
% 47.59/44.50 eprover: CPU time limit exceeded, terminating
% 49.74/46.51 eprover: CPU time limit exceeded, terminating
% 51.92/48.52 eprover: CPU time limit exceeded, terminating
% 54.05/50.53 eprover: CPU time limit exceeded, terminating
% 56.27/52.54 eprover: CPU time limit exceeded, terminating
% 58.41/54.55 eprover: CPU time limit exceeded, terminating
% 60.56/56.56 eprover: CPU time limit exceeded, terminating
% 62.75/58.57 eprover: CPU time limit exceeded, terminating
% 64.88/60.58 eprover: CPU time limit exceeded, terminating
% 67.11/62.59 eprover: CPU time limit exceeded, terminating
% 69.29/64.60 eprover: CPU time limit exceeded, terminating
% 71.45/66.61 eprover: CPU time limit exceeded, terminating
% 73.61/68.62 eprover: CPU time limit exceeded, terminating
% 75.76/70.63 eprover: CPU time limit exceeded, terminating
% 77.89/72.64 eprover: CPU time limit exceeded, terminating
% 80.08/74.65 eprover: CPU time limit exceeded, terminating
% 82.28/76.66 eprover: CPU time limit exceeded, terminating
% 84.40/78.67 eprover: CPU time limit exceeded, terminating
% 86.58/80.68 eprover: CPU time limit exceeded, terminating
% 88.82/82.70 eprover: CPU time limit exceeded, terminating
% 90.89/84.71 eprover: CPU time limit exceeded, terminating
% 93.13/86.72 eprover: CPU time limit exceeded, terminating
% 95.31/88.73 eprover: CPU time limit exceeded, terminating
% 97.47/90.74 eprover: CPU time limit exceeded, terminating
% 99.59/92.75 eprover: CPU time limit exceeded, terminating
% 101.72/94.76 eprover: CPU time limit exceeded, terminating
% 103.93/96.77 eprover: CPU time limit exceeded, terminating
% 106.14/98.78 eprover: CPU time limit exceeded, terminating
% 108.26/100.80 eprover: CPU time limit exceeded, terminating
% 110.46/102.81 eprover: CPU time limit exceeded, terminating
% 112.63/104.82 eprover: CPU time limit exceeded, terminating
% 114.83/106.83 eprover: CPU time limit exceeded, terminating
% 116.92/108.84 eprover: CPU time limit exceeded, terminating
% 119.07/110.85 eprover: CPU time limit exceeded, terminating
% 121.30/112.87 eprover: CPU time limit exceeded, terminating
% 123.47/114.88 eprover: CPU time limit exceeded, terminating
% 125.60/116.89 eprover: CPU time limit exceeded, terminating
% 127.78/118.90 eprover: CPU time limit exceeded, terminating
% 130.00/120.91 eprover: CPU time limit exceeded, terminating
% 132.15/122.93 eprover: CPU time limit exceeded, terminating
% 134.31/124.94 eprover: CPU time limit exceeded, terminating
% 136.50/126.95 eprover: CPU time limit exceeded, terminating
% 138.66/128.96 eprover: CPU time limit exceeded, terminating
% 140.80/130.97 eprover: CPU time limit exceeded, terminating
% 142.99/132.98 eprover: CPU time limit exceeded, terminating
% 145.13/135.00 eprover: CPU time limit exceeded, terminating
% 147.31/137.01 eprover: CPU time limit exceeded, terminating
% 149.49/139.02 eprover: CPU time limit exceeded, terminating
% 151.64/141.03 eprover: CPU time limit exceeded, terminating
% 153.81/143.04 eprover: CPU time limit exceeded, terminating
% 155.96/145.05 eprover: CPU time limit exceeded, terminating
% 158.13/147.06 eprover: CPU time limit exceeded, terminating
% 160.32/149.08 eprover: CPU time limit exceeded, terminating
% 162.49/151.09 eprover: CPU time limit exceeded, terminating
% 164.64/153.10 eprover: CPU time limit exceeded, terminating
% 166.82/155.11 eprover: CPU time limit exceeded, terminating
% 168.99/157.12 eprover: CPU time limit exceeded, terminating
% 171.18/159.13 eprover: CPU time limit exceeded, terminating
% 173.33/161.15 eprover: CPU time limit exceeded, terminating
% 175.44/163.16 eprover: CPU time limit exceeded, terminating
% 177.68/165.17 eprover: CPU time limit exceeded, terminating
% 179.82/167.18 eprover: CPU time limit exceeded, terminating
% 182.01/169.19 eprover: CPU time limit exceeded, terminating
% 184.18/171.20 eprover: CPU time limit exceeded, terminating
% 186.34/173.22 eprover: CPU time limit exceeded, terminating
% 188.50/175.23 eprover: CPU time limit exceeded, terminating
% 190.66/177.24 eprover: CPU time limit exceeded, terminating
% 192.82/179.25 eprover: CPU time limit exceeded, terminating
% 194.96/181.26 eprover: CPU time limit exceeded, terminating
% 197.10/183.28 eprover: CPU time limit exceeded, terminating
% 199.34/185.29 eprover: CPU time limit exceeded, terminating
% 201.49/187.30 eprover: CPU time limit exceeded, terminating
% 203.68/189.31 eprover: CPU time limit exceeded, terminating
% 205.86/191.32 eprover: CPU time limit exceeded, terminating
% 208.00/193.34 eprover: CPU time limit exceeded, terminating
% 210.18/195.35 eprover: CPU time limit exceeded, terminating
% 212.31/197.36 eprover: CPU time limit exceeded, terminating
% 214.49/199.37 eprover: CPU time limit exceeded, terminating
% 216.63/201.39 eprover: CPU time limit exceeded, terminating
% 218.83/203.40 eprover: CPU time limit exceeded, terminating
% 221.03/205.41 eprover: CPU time limit exceeded, terminating
% 223.20/207.42 eprover: CPU time limit exceeded, terminating
% 225.37/209.43 eprover: CPU time limit exceeded, terminating
% 227.49/211.44 eprover: CPU time limit exceeded, terminating
% 229.66/213.46 eprover: CPU time limit exceeded, terminating
% 231.79/215.47 eprover: CPU time limit exceeded, terminating
% 233.99/217.48 eprover: CPU time limit exceeded, terminating
% 236.20/219.49 eprover: CPU time limit exceeded, terminating
% 238.39/221.50 eprover: CPU time limit exceeded, terminating
% 240.54/223.51 eprover: CPU time limit exceeded, terminating
% 242.72/225.53 eprover: CPU time limit exceeded, terminating
% 244.88/227.54 eprover: CPU time limit exceeded, terminating
% 247.01/229.55 eprover: CPU time limit exceeded, terminating
% 249.15/231.56 eprover: CPU time limit exceeded, terminating
% 251.33/233.57 eprover: CPU time limit exceeded, terminating
% 253.48/235.59 eprover: CPU time limit exceeded, terminating
% 255.65/237.60 eprover: CPU time limit exceeded, terminating
% 257.90/239.61 eprover: CPU time limit exceeded, terminating
% 260.06/241.62 eprover: CPU time limit exceeded, terminating
% 262.22/243.63 eprover: CPU time limit exceeded, terminating
% 264.34/245.65 eprover: CPU time limit exceeded, terminating
% 266.53/247.66 eprover: CPU time limit exceeded, terminating
% 268.74/249.67 eprover: CPU time limit exceeded, terminating
% 270.84/251.68 eprover: CPU time limit exceeded, terminating
% 273.08/253.69 eprover: CPU time limit exceeded, terminating
% 275.24/255.71 eprover: CPU time limit exceeded, terminating
% 277.40/257.72 eprover: CPU time limit exceeded, terminating
% 279.55/259.73 eprover: CPU time limit exceeded, terminating
% 281.74/261.74 eprover: CPU time limit exceeded, terminating
% 283.87/263.75 eprover: CPU time limit exceeded, terminating
% 286.06/265.77 eprover: CPU time limit exceeded, terminating
% 288.16/267.78 eprover: CPU time limit exceeded, terminating
% 290.37/269.79 eprover: CPU time limit exceeded, terminating
% 292.60/271.80 eprover: CPU time limit exceeded, terminating
% 294.75/273.81 eprover: CPU time limit exceeded, terminating
% 296.90/275.83 eprover: CPU time limit exceeded, terminating
% 299.04/277.84 eprover: CPU time limit exceeded, terminating
% 300.07/278.64 eprover: CPU time limit exceeded, terminating
% 300.07/278.66 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------