TSTP Solution File: CSR073+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR073+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:51 EDT 2022
% Result : Timeout 286.88s 263.68s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR073+3 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n023.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.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Fri Jun 10 02:18:52 EDT 2022
% 0.13/0.33 % CPUTime :
% 4.20/4.25 eprover: CPU time limit exceeded, terminating
% 6.35/6.26 eprover: CPU time limit exceeded, terminating
% 8.54/8.27 eprover: CPU time limit exceeded, terminating
% 10.72/10.28 eprover: CPU time limit exceeded, terminating
% 12.85/12.29 eprover: CPU time limit exceeded, terminating
% 14.99/14.30 eprover: CPU time limit exceeded, terminating
% 17.20/16.31 eprover: CPU time limit exceeded, terminating
% 19.33/18.33 eprover: CPU time limit exceeded, terminating
% 21.43/20.34 eprover: CPU time limit exceeded, terminating
% 23.72/22.35 eprover: CPU time limit exceeded, terminating
% 25.86/24.36 eprover: CPU time limit exceeded, terminating
% 28.05/26.37 eprover: CPU time limit exceeded, terminating
% 30.21/28.38 eprover: CPU time limit exceeded, terminating
% 32.41/30.39 eprover: CPU time limit exceeded, terminating
% 34.55/32.40 eprover: CPU time limit exceeded, terminating
% 36.77/34.41 eprover: CPU time limit exceeded, terminating
% 38.91/36.42 eprover: CPU time limit exceeded, terminating
% 41.13/38.44 eprover: CPU time limit exceeded, terminating
% 43.31/40.45 eprover: CPU time limit exceeded, terminating
% 45.49/42.46 eprover: CPU time limit exceeded, terminating
% 47.60/44.47 eprover: CPU time limit exceeded, terminating
% 49.81/46.48 eprover: CPU time limit exceeded, terminating
% 51.99/48.49 eprover: CPU time limit exceeded, terminating
% 54.18/50.50 eprover: CPU time limit exceeded, terminating
% 56.35/52.51 eprover: CPU time limit exceeded, terminating
% 58.57/54.52 eprover: CPU time limit exceeded, terminating
% 60.69/56.54 eprover: CPU time limit exceeded, terminating
% 62.92/58.55 eprover: CPU time limit exceeded, terminating
% 65.09/60.56 eprover: CPU time limit exceeded, terminating
% 67.25/62.57 eprover: CPU time limit exceeded, terminating
% 69.40/64.58 eprover: CPU time limit exceeded, terminating
% 71.60/66.59 eprover: CPU time limit exceeded, terminating
% 73.82/68.60 eprover: CPU time limit exceeded, terminating
% 75.97/70.61 eprover: CPU time limit exceeded, terminating
% 78.15/72.62 eprover: CPU time limit exceeded, terminating
% 80.32/74.63 eprover: CPU time limit exceeded, terminating
% 82.51/76.64 eprover: CPU time limit exceeded, terminating
% 84.66/78.66 eprover: CPU time limit exceeded, terminating
% 86.87/80.67 eprover: CPU time limit exceeded, terminating
% 89.05/82.68 eprover: CPU time limit exceeded, terminating
% 91.21/84.69 eprover: CPU time limit exceeded, terminating
% 93.45/86.70 eprover: CPU time limit exceeded, terminating
% 95.62/88.71 eprover: CPU time limit exceeded, terminating
% 97.74/90.72 eprover: CPU time limit exceeded, terminating
% 99.91/92.73 eprover: CPU time limit exceeded, terminating
% 102.09/94.74 eprover: CPU time limit exceeded, terminating
% 104.31/96.75 eprover: CPU time limit exceeded, terminating
% 106.42/98.76 eprover: CPU time limit exceeded, terminating
% 108.62/100.77 eprover: CPU time limit exceeded, terminating
% 110.81/102.78 eprover: CPU time limit exceeded, terminating
% 112.96/104.79 eprover: CPU time limit exceeded, terminating
% 115.16/106.81 eprover: CPU time limit exceeded, terminating
% 117.31/108.82 eprover: CPU time limit exceeded, terminating
% 119.49/110.83 eprover: CPU time limit exceeded, terminating
% 121.72/112.84 eprover: CPU time limit exceeded, terminating
% 123.89/114.85 eprover: CPU time limit exceeded, terminating
% 126.07/116.86 eprover: CPU time limit exceeded, terminating
% 128.23/118.87 eprover: CPU time limit exceeded, terminating
% 130.42/120.88 eprover: CPU time limit exceeded, terminating
% 132.57/122.89 eprover: CPU time limit exceeded, terminating
% 134.75/124.91 eprover: CPU time limit exceeded, terminating
% 136.92/126.92 eprover: CPU time limit exceeded, terminating
% 139.14/128.93 eprover: CPU time limit exceeded, terminating
% 141.30/130.94 eprover: CPU time limit exceeded, terminating
% 143.49/132.95 eprover: CPU time limit exceeded, terminating
% 145.67/134.96 eprover: CPU time limit exceeded, terminating
% 147.83/136.97 eprover: CPU time limit exceeded, terminating
% 149.96/138.98 eprover: CPU time limit exceeded, terminating
% 152.17/140.99 eprover: CPU time limit exceeded, terminating
% 154.30/143.00 eprover: CPU time limit exceeded, terminating
% 156.52/145.01 eprover: CPU time limit exceeded, terminating
% 158.69/147.02 eprover: CPU time limit exceeded, terminating
% 160.88/149.03 eprover: CPU time limit exceeded, terminating
% 163.08/151.04 eprover: CPU time limit exceeded, terminating
% 165.29/153.06 eprover: CPU time limit exceeded, terminating
% 167.46/155.07 eprover: CPU time limit exceeded, terminating
% 169.62/157.08 eprover: CPU time limit exceeded, terminating
% 171.81/159.09 eprover: CPU time limit exceeded, terminating
% 173.96/161.10 eprover: CPU time limit exceeded, terminating
% 176.11/163.11 eprover: CPU time limit exceeded, terminating
% 178.29/165.12 eprover: CPU time limit exceeded, terminating
% 180.49/167.13 eprover: CPU time limit exceeded, terminating
% 182.68/169.14 eprover: CPU time limit exceeded, terminating
% 184.83/171.15 eprover: CPU time limit exceeded, terminating
% 187.04/173.16 eprover: CPU time limit exceeded, terminating
% 189.23/175.17 eprover: CPU time limit exceeded, terminating
% 191.36/177.18 eprover: CPU time limit exceeded, terminating
% 193.54/179.19 eprover: CPU time limit exceeded, terminating
% 195.71/181.21 eprover: CPU time limit exceeded, terminating
% 197.84/183.22 eprover: CPU time limit exceeded, terminating
% 200.04/185.23 eprover: CPU time limit exceeded, terminating
% 202.22/187.24 eprover: CPU time limit exceeded, terminating
% 204.41/189.25 eprover: CPU time limit exceeded, terminating
% 206.59/191.26 eprover: CPU time limit exceeded, terminating
% 208.79/193.27 eprover: CPU time limit exceeded, terminating
% 210.93/195.28 eprover: CPU time limit exceeded, terminating
% 213.10/197.29 eprover: CPU time limit exceeded, terminating
% 215.29/199.30 eprover: CPU time limit exceeded, terminating
% 217.43/201.32 eprover: CPU time limit exceeded, terminating
% 219.59/203.33 eprover: CPU time limit exceeded, terminating
% 221.80/205.34 eprover: CPU time limit exceeded, terminating
% 224.01/207.35 eprover: CPU time limit exceeded, terminating
% 226.15/209.36 eprover: CPU time limit exceeded, terminating
% 228.36/211.37 eprover: CPU time limit exceeded, terminating
% 230.52/213.38 eprover: CPU time limit exceeded, terminating
% 232.70/215.39 eprover: CPU time limit exceeded, terminating
% 234.87/217.40 eprover: CPU time limit exceeded, terminating
% 237.06/219.41 eprover: CPU time limit exceeded, terminating
% 239.17/221.43 eprover: CPU time limit exceeded, terminating
% 241.42/223.44 eprover: CPU time limit exceeded, terminating
% 243.59/225.45 eprover: CPU time limit exceeded, terminating
% 245.74/227.46 eprover: CPU time limit exceeded, terminating
% 247.94/229.47 eprover: CPU time limit exceeded, terminating
% 250.11/231.49 eprover: CPU time limit exceeded, terminating
% 252.27/233.50 eprover: CPU time limit exceeded, terminating
% 254.43/235.51 eprover: CPU time limit exceeded, terminating
% 256.60/237.52 eprover: CPU time limit exceeded, terminating
% 260.72/239.53 eprover: CPU time limit exceeded, terminating
% 262.95/241.54 eprover: CPU time limit exceeded, terminating
% 265.12/243.56 eprover: CPU time limit exceeded, terminating
% 267.30/245.57 eprover: CPU time limit exceeded, terminating
% 269.48/247.58 eprover: CPU time limit exceeded, terminating
% 271.64/249.59 eprover: CPU time limit exceeded, terminating
% 273.78/251.60 eprover: CPU time limit exceeded, terminating
% 275.96/253.62 eprover: CPU time limit exceeded, terminating
% 278.16/255.63 eprover: CPU time limit exceeded, terminating
% 280.32/257.64 eprover: CPU time limit exceeded, terminating
% 282.51/259.65 eprover: CPU time limit exceeded, terminating
% 284.72/261.66 eprover: CPU time limit exceeded, terminating
% 286.88/263.68 eprover: CPU time limit exceeded, terminating
% 289.00/265.69 eprover: CPU time limit exceeded, terminating
% 291.17/267.70 eprover: CPU time limit exceeded, terminating
% 293.39/269.71 eprover: CPU time limit exceeded, terminating
% 295.57/271.72 eprover: CPU time limit exceeded, terminating
% 297.76/273.74 eprover: CPU time limit exceeded, terminating
% 299.89/275.75 eprover: CPU time limit exceeded, terminating
% 300.16/275.97 eprover: CPU time limit exceeded, terminating
% 300.16/275.98 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------