TSTP Solution File: CSR063+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR063+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:43 EDT 2022
% Result : Timeout 287.25s 265.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR063+3 : TPTP v8.1.0. Released v3.4.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n029.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 : Fri Jun 10 09:08:52 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.26/4.31 eprover: CPU time limit exceeded, terminating
% 6.45/6.33 eprover: CPU time limit exceeded, terminating
% 8.63/8.34 eprover: CPU time limit exceeded, terminating
% 10.71/10.35 eprover: CPU time limit exceeded, terminating
% 12.96/12.36 eprover: CPU time limit exceeded, terminating
% 15.13/14.37 eprover: CPU time limit exceeded, terminating
% 17.26/16.38 eprover: CPU time limit exceeded, terminating
% 19.50/18.39 eprover: CPU time limit exceeded, terminating
% 21.69/20.40 eprover: CPU time limit exceeded, terminating
% 23.86/22.41 eprover: CPU time limit exceeded, terminating
% 26.02/24.42 eprover: CPU time limit exceeded, terminating
% 28.15/26.43 eprover: CPU time limit exceeded, terminating
% 30.36/28.44 eprover: CPU time limit exceeded, terminating
% 32.54/30.45 eprover: CPU time limit exceeded, terminating
% 34.73/32.46 eprover: CPU time limit exceeded, terminating
% 36.87/34.47 eprover: CPU time limit exceeded, terminating
% 39.03/36.48 eprover: CPU time limit exceeded, terminating
% 41.24/38.49 eprover: CPU time limit exceeded, terminating
% 43.41/40.50 eprover: CPU time limit exceeded, terminating
% 45.52/42.51 eprover: CPU time limit exceeded, terminating
% 47.77/44.52 eprover: CPU time limit exceeded, terminating
% 49.90/46.53 eprover: CPU time limit exceeded, terminating
% 52.08/48.54 eprover: CPU time limit exceeded, terminating
% 54.28/50.55 eprover: CPU time limit exceeded, terminating
% 56.39/52.56 eprover: CPU time limit exceeded, terminating
% 58.61/54.57 eprover: CPU time limit exceeded, terminating
% 60.75/56.58 eprover: CPU time limit exceeded, terminating
% 62.96/58.59 eprover: CPU time limit exceeded, terminating
% 65.14/60.60 eprover: CPU time limit exceeded, terminating
% 67.33/62.62 eprover: CPU time limit exceeded, terminating
% 69.50/64.63 eprover: CPU time limit exceeded, terminating
% 71.62/66.64 eprover: CPU time limit exceeded, terminating
% 73.80/68.65 eprover: CPU time limit exceeded, terminating
% 76.00/70.66 eprover: CPU time limit exceeded, terminating
% 78.22/72.67 eprover: CPU time limit exceeded, terminating
% 80.38/74.68 eprover: CPU time limit exceeded, terminating
% 82.54/76.69 eprover: CPU time limit exceeded, terminating
% 84.70/78.70 eprover: CPU time limit exceeded, terminating
% 86.91/80.71 eprover: CPU time limit exceeded, terminating
% 89.09/82.73 eprover: CPU time limit exceeded, terminating
% 91.24/84.74 eprover: CPU time limit exceeded, terminating
% 93.44/86.75 eprover: CPU time limit exceeded, terminating
% 95.58/88.76 eprover: CPU time limit exceeded, terminating
% 97.75/90.77 eprover: CPU time limit exceeded, terminating
% 99.94/92.78 eprover: CPU time limit exceeded, terminating
% 102.08/94.79 eprover: CPU time limit exceeded, terminating
% 104.27/96.80 eprover: CPU time limit exceeded, terminating
% 106.46/98.81 eprover: CPU time limit exceeded, terminating
% 108.64/100.82 eprover: CPU time limit exceeded, terminating
% 110.83/102.83 eprover: CPU time limit exceeded, terminating
% 112.97/104.85 eprover: CPU time limit exceeded, terminating
% 115.18/106.86 eprover: CPU time limit exceeded, terminating
% 117.30/108.87 eprover: CPU time limit exceeded, terminating
% 119.50/110.88 eprover: CPU time limit exceeded, terminating
% 121.71/112.89 eprover: CPU time limit exceeded, terminating
% 123.81/114.90 eprover: CPU time limit exceeded, terminating
% 126.03/116.91 eprover: CPU time limit exceeded, terminating
% 128.23/118.92 eprover: CPU time limit exceeded, terminating
% 130.34/120.93 eprover: CPU time limit exceeded, terminating
% 132.57/122.95 eprover: CPU time limit exceeded, terminating
% 134.75/124.96 eprover: CPU time limit exceeded, terminating
% 136.92/126.97 eprover: CPU time limit exceeded, terminating
% 139.08/128.98 eprover: CPU time limit exceeded, terminating
% 141.30/130.99 eprover: CPU time limit exceeded, terminating
% 143.45/133.00 eprover: CPU time limit exceeded, terminating
% 145.60/135.01 eprover: CPU time limit exceeded, terminating
% 147.80/137.02 eprover: CPU time limit exceeded, terminating
% 149.92/139.03 eprover: CPU time limit exceeded, terminating
% 152.16/141.05 eprover: CPU time limit exceeded, terminating
% 154.35/143.06 eprover: CPU time limit exceeded, terminating
% 156.44/145.07 eprover: CPU time limit exceeded, terminating
% 158.70/147.08 eprover: CPU time limit exceeded, terminating
% 160.87/149.09 eprover: CPU time limit exceeded, terminating
% 163.06/151.10 eprover: CPU time limit exceeded, terminating
% 165.22/153.11 eprover: CPU time limit exceeded, terminating
% 167.39/155.12 eprover: CPU time limit exceeded, terminating
% 169.56/157.13 eprover: CPU time limit exceeded, terminating
% 171.73/159.15 eprover: CPU time limit exceeded, terminating
% 173.93/161.16 eprover: CPU time limit exceeded, terminating
% 176.12/163.17 eprover: CPU time limit exceeded, terminating
% 178.25/165.18 eprover: CPU time limit exceeded, terminating
% 180.44/167.19 eprover: CPU time limit exceeded, terminating
% 182.59/169.20 eprover: CPU time limit exceeded, terminating
% 184.82/171.21 eprover: CPU time limit exceeded, terminating
% 186.97/173.22 eprover: CPU time limit exceeded, terminating
% 189.16/175.24 eprover: CPU time limit exceeded, terminating
% 191.31/177.25 eprover: CPU time limit exceeded, terminating
% 193.53/179.26 eprover: CPU time limit exceeded, terminating
% 195.70/181.27 eprover: CPU time limit exceeded, terminating
% 197.86/183.28 eprover: CPU time limit exceeded, terminating
% 200.02/185.29 eprover: CPU time limit exceeded, terminating
% 202.24/187.31 eprover: CPU time limit exceeded, terminating
% 204.37/189.32 eprover: CPU time limit exceeded, terminating
% 206.58/191.33 eprover: CPU time limit exceeded, terminating
% 208.77/193.34 eprover: CPU time limit exceeded, terminating
% 210.96/195.35 eprover: CPU time limit exceeded, terminating
% 213.13/197.37 eprover: CPU time limit exceeded, terminating
% 215.33/199.38 eprover: CPU time limit exceeded, terminating
% 217.49/201.39 eprover: CPU time limit exceeded, terminating
% 219.68/203.40 eprover: CPU time limit exceeded, terminating
% 221.88/205.41 eprover: CPU time limit exceeded, terminating
% 224.03/207.43 eprover: CPU time limit exceeded, terminating
% 226.23/209.44 eprover: CPU time limit exceeded, terminating
% 228.38/211.45 eprover: CPU time limit exceeded, terminating
% 230.58/213.46 eprover: CPU time limit exceeded, terminating
% 232.76/215.47 eprover: CPU time limit exceeded, terminating
% 234.92/217.49 eprover: CPU time limit exceeded, terminating
% 237.13/219.50 eprover: CPU time limit exceeded, terminating
% 239.31/221.51 eprover: CPU time limit exceeded, terminating
% 241.46/223.52 eprover: CPU time limit exceeded, terminating
% 243.67/225.53 eprover: CPU time limit exceeded, terminating
% 245.80/227.55 eprover: CPU time limit exceeded, terminating
% 248.04/229.56 eprover: CPU time limit exceeded, terminating
% 250.20/231.57 eprover: CPU time limit exceeded, terminating
% 252.39/233.58 eprover: CPU time limit exceeded, terminating
% 254.60/235.59 eprover: CPU time limit exceeded, terminating
% 256.76/237.60 eprover: CPU time limit exceeded, terminating
% 258.93/239.61 eprover: CPU time limit exceeded, terminating
% 261.09/241.62 eprover: CPU time limit exceeded, terminating
% 263.28/243.64 eprover: CPU time limit exceeded, terminating
% 265.45/245.65 eprover: CPU time limit exceeded, terminating
% 267.63/247.66 eprover: CPU time limit exceeded, terminating
% 269.81/249.67 eprover: CPU time limit exceeded, terminating
% 271.98/251.68 eprover: CPU time limit exceeded, terminating
% 274.14/253.69 eprover: CPU time limit exceeded, terminating
% 276.36/255.70 eprover: CPU time limit exceeded, terminating
% 278.50/257.71 eprover: CPU time limit exceeded, terminating
% 280.70/259.72 eprover: CPU time limit exceeded, terminating
% 282.85/261.74 eprover: CPU time limit exceeded, terminating
% 284.99/263.75 eprover: CPU time limit exceeded, terminating
% 287.25/265.76 eprover: CPU time limit exceeded, terminating
% 289.41/267.77 eprover: CPU time limit exceeded, terminating
% 291.57/269.78 eprover: CPU time limit exceeded, terminating
% 293.79/271.79 eprover: CPU time limit exceeded, terminating
% 295.91/273.80 eprover: CPU time limit exceeded, terminating
% 298.14/275.82 eprover: CPU time limit exceeded, terminating
% 300.03/277.54 eprover: CPU time limit exceeded, terminating
% 300.03/277.55 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------