TSTP Solution File: CSR045+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR045+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:30 EDT 2022
% Result : Timeout 287.63s 265.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR045+3 : TPTP v8.1.0. Released v3.4.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n020.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Fri Jun 10 05:24:06 EDT 2022
% 0.14/0.34 % CPUTime :
% 4.23/4.29 eprover: CPU time limit exceeded, terminating
% 6.43/6.30 eprover: CPU time limit exceeded, terminating
% 8.52/8.31 eprover: CPU time limit exceeded, terminating
% 10.77/10.32 eprover: CPU time limit exceeded, terminating
% 12.94/12.34 eprover: CPU time limit exceeded, terminating
% 15.11/14.35 eprover: CPU time limit exceeded, terminating
% 17.26/16.36 eprover: CPU time limit exceeded, terminating
% 19.44/18.37 eprover: CPU time limit exceeded, terminating
% 21.61/20.38 eprover: CPU time limit exceeded, terminating
% 23.85/22.39 eprover: CPU time limit exceeded, terminating
% 26.04/24.40 eprover: CPU time limit exceeded, terminating
% 28.14/26.41 eprover: CPU time limit exceeded, terminating
% 30.42/28.42 eprover: CPU time limit exceeded, terminating
% 32.57/30.44 eprover: CPU time limit exceeded, terminating
% 34.78/32.45 eprover: CPU time limit exceeded, terminating
% 36.92/34.46 eprover: CPU time limit exceeded, terminating
% 39.11/36.47 eprover: CPU time limit exceeded, terminating
% 41.29/38.48 eprover: CPU time limit exceeded, terminating
% 43.53/40.50 eprover: CPU time limit exceeded, terminating
% 45.63/42.51 eprover: CPU time limit exceeded, terminating
% 47.87/44.52 eprover: CPU time limit exceeded, terminating
% 50.06/46.53 eprover: CPU time limit exceeded, terminating
% 52.28/48.54 eprover: CPU time limit exceeded, terminating
% 54.44/50.56 eprover: CPU time limit exceeded, terminating
% 56.58/52.57 eprover: CPU time limit exceeded, terminating
% 58.78/54.58 eprover: CPU time limit exceeded, terminating
% 60.97/56.59 eprover: CPU time limit exceeded, terminating
% 63.22/58.60 eprover: CPU time limit exceeded, terminating
% 65.41/60.62 eprover: CPU time limit exceeded, terminating
% 67.56/62.63 eprover: CPU time limit exceeded, terminating
% 69.76/64.64 eprover: CPU time limit exceeded, terminating
% 71.90/66.65 eprover: CPU time limit exceeded, terminating
% 74.13/68.66 eprover: CPU time limit exceeded, terminating
% 76.22/70.67 eprover: CPU time limit exceeded, terminating
% 78.44/72.69 eprover: CPU time limit exceeded, terminating
% 80.67/74.70 eprover: CPU time limit exceeded, terminating
% 82.86/76.71 eprover: CPU time limit exceeded, terminating
% 84.96/78.72 eprover: CPU time limit exceeded, terminating
% 87.21/80.73 eprover: CPU time limit exceeded, terminating
% 89.44/82.75 eprover: CPU time limit exceeded, terminating
% 91.58/84.76 eprover: CPU time limit exceeded, terminating
% 93.80/86.77 eprover: CPU time limit exceeded, terminating
% 95.94/88.78 eprover: CPU time limit exceeded, terminating
% 98.18/90.79 eprover: CPU time limit exceeded, terminating
% 100.30/92.80 eprover: CPU time limit exceeded, terminating
% 102.53/94.81 eprover: CPU time limit exceeded, terminating
% 104.70/96.83 eprover: CPU time limit exceeded, terminating
% 106.85/98.84 eprover: CPU time limit exceeded, terminating
% 109.03/100.85 eprover: CPU time limit exceeded, terminating
% 111.16/102.86 eprover: CPU time limit exceeded, terminating
% 113.35/104.87 eprover: CPU time limit exceeded, terminating
% 115.59/106.88 eprover: CPU time limit exceeded, terminating
% 117.71/108.89 eprover: CPU time limit exceeded, terminating
% 119.95/110.90 eprover: CPU time limit exceeded, terminating
% 122.13/112.92 eprover: CPU time limit exceeded, terminating
% 124.29/114.93 eprover: CPU time limit exceeded, terminating
% 126.48/116.94 eprover: CPU time limit exceeded, terminating
% 128.61/118.95 eprover: CPU time limit exceeded, terminating
% 130.81/120.96 eprover: CPU time limit exceeded, terminating
% 133.03/122.97 eprover: CPU time limit exceeded, terminating
% 135.15/124.98 eprover: CPU time limit exceeded, terminating
% 137.36/126.99 eprover: CPU time limit exceeded, terminating
% 139.48/129.01 eprover: CPU time limit exceeded, terminating
% 141.74/131.02 eprover: CPU time limit exceeded, terminating
% 143.91/133.03 eprover: CPU time limit exceeded, terminating
% 146.09/135.04 eprover: CPU time limit exceeded, terminating
% 148.27/137.05 eprover: CPU time limit exceeded, terminating
% 150.40/139.06 eprover: CPU time limit exceeded, terminating
% 152.64/141.08 eprover: CPU time limit exceeded, terminating
% 154.79/143.09 eprover: CPU time limit exceeded, terminating
% 156.98/145.10 eprover: CPU time limit exceeded, terminating
% 159.14/147.11 eprover: CPU time limit exceeded, terminating
% 161.40/149.12 eprover: CPU time limit exceeded, terminating
% 163.57/151.13 eprover: CPU time limit exceeded, terminating
% 165.74/153.14 eprover: CPU time limit exceeded, terminating
% 167.89/155.16 eprover: CPU time limit exceeded, terminating
% 170.07/157.17 eprover: CPU time limit exceeded, terminating
% 172.25/159.18 eprover: CPU time limit exceeded, terminating
% 174.48/161.19 eprover: CPU time limit exceeded, terminating
% 176.67/163.20 eprover: CPU time limit exceeded, terminating
% 178.77/165.21 eprover: CPU time limit exceeded, terminating
% 181.03/167.22 eprover: CPU time limit exceeded, terminating
% 183.17/169.24 eprover: CPU time limit exceeded, terminating
% 185.37/171.25 eprover: CPU time limit exceeded, terminating
% 187.53/173.26 eprover: CPU time limit exceeded, terminating
% 189.68/175.27 eprover: CPU time limit exceeded, terminating
% 191.91/177.28 eprover: CPU time limit exceeded, terminating
% 194.10/179.29 eprover: CPU time limit exceeded, terminating
% 196.30/181.31 eprover: CPU time limit exceeded, terminating
% 198.47/183.32 eprover: CPU time limit exceeded, terminating
% 200.65/185.33 eprover: CPU time limit exceeded, terminating
% 202.80/187.34 eprover: CPU time limit exceeded, terminating
% 205.01/189.35 eprover: CPU time limit exceeded, terminating
% 207.19/191.36 eprover: CPU time limit exceeded, terminating
% 209.35/193.38 eprover: CPU time limit exceeded, terminating
% 211.57/195.39 eprover: CPU time limit exceeded, terminating
% 213.72/197.40 eprover: CPU time limit exceeded, terminating
% 215.91/199.41 eprover: CPU time limit exceeded, terminating
% 218.10/201.42 eprover: CPU time limit exceeded, terminating
% 220.25/203.43 eprover: CPU time limit exceeded, terminating
% 222.45/205.44 eprover: CPU time limit exceeded, terminating
% 224.56/207.45 eprover: CPU time limit exceeded, terminating
% 226.79/209.46 eprover: CPU time limit exceeded, terminating
% 228.98/211.47 eprover: CPU time limit exceeded, terminating
% 231.16/213.48 eprover: CPU time limit exceeded, terminating
% 233.29/215.49 eprover: CPU time limit exceeded, terminating
% 235.49/217.50 eprover: CPU time limit exceeded, terminating
% 237.67/219.52 eprover: CPU time limit exceeded, terminating
% 239.80/221.53 eprover: CPU time limit exceeded, terminating
% 242.00/223.54 eprover: CPU time limit exceeded, terminating
% 244.21/225.55 eprover: CPU time limit exceeded, terminating
% 246.33/227.56 eprover: CPU time limit exceeded, terminating
% 248.56/229.57 eprover: CPU time limit exceeded, terminating
% 250.68/231.58 eprover: CPU time limit exceeded, terminating
% 252.86/233.59 eprover: CPU time limit exceeded, terminating
% 255.05/235.60 eprover: CPU time limit exceeded, terminating
% 257.26/237.62 eprover: CPU time limit exceeded, terminating
% 259.42/239.63 eprover: CPU time limit exceeded, terminating
% 261.56/241.64 eprover: CPU time limit exceeded, terminating
% 263.78/243.65 eprover: CPU time limit exceeded, terminating
% 265.90/245.66 eprover: CPU time limit exceeded, terminating
% 268.09/247.67 eprover: CPU time limit exceeded, terminating
% 270.25/249.68 eprover: CPU time limit exceeded, terminating
% 272.41/251.69 eprover: CPU time limit exceeded, terminating
% 274.63/253.70 eprover: CPU time limit exceeded, terminating
% 276.82/255.72 eprover: CPU time limit exceeded, terminating
% 278.94/257.73 eprover: CPU time limit exceeded, terminating
% 281.14/259.74 eprover: CPU time limit exceeded, terminating
% 283.28/261.75 eprover: CPU time limit exceeded, terminating
% 285.51/263.76 eprover: CPU time limit exceeded, terminating
% 287.63/265.77 eprover: CPU time limit exceeded, terminating
% 289.81/267.78 eprover: CPU time limit exceeded, terminating
% 292.03/269.79 eprover: CPU time limit exceeded, terminating
% 294.12/271.80 eprover: CPU time limit exceeded, terminating
% 296.37/273.81 eprover: CPU time limit exceeded, terminating
% 298.55/275.82 eprover: CPU time limit exceeded, terminating
% 300.06/277.14 eprover: CPU time limit exceeded, terminating
% 300.06/277.16 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------