TSTP Solution File: CSR177+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR177+1 : TPTP v8.1.0. Released v7.3.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:36:00 EDT 2022
% Result : Timeout 287.87s 261.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : CSR177+1 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n026.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 22:54:19 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.77/5.85 eprover: CPU time limit exceeded, terminating
% 8.04/7.86 eprover: CPU time limit exceeded, terminating
% 10.21/9.87 eprover: CPU time limit exceeded, terminating
% 12.41/11.88 eprover: CPU time limit exceeded, terminating
% 14.59/13.89 eprover: CPU time limit exceeded, terminating
% 16.86/15.91 eprover: CPU time limit exceeded, terminating
% 19.00/17.92 eprover: CPU time limit exceeded, terminating
% 21.28/19.93 eprover: CPU time limit exceeded, terminating
% 23.49/21.94 eprover: CPU time limit exceeded, terminating
% 25.70/23.96 eprover: CPU time limit exceeded, terminating
% 27.91/25.97 eprover: CPU time limit exceeded, terminating
% 30.11/27.99 eprover: CPU time limit exceeded, terminating
% 32.33/30.00 eprover: CPU time limit exceeded, terminating
% 36.53/32.01 eprover: CPU time limit exceeded, terminating
% 38.77/34.03 eprover: CPU time limit exceeded, terminating
% 40.95/36.04 eprover: CPU time limit exceeded, terminating
% 43.15/38.05 eprover: CPU time limit exceeded, terminating
% 45.41/40.07 eprover: CPU time limit exceeded, terminating
% 47.61/42.08 eprover: CPU time limit exceeded, terminating
% 49.80/44.10 eprover: CPU time limit exceeded, terminating
% 52.03/46.12 eprover: CPU time limit exceeded, terminating
% 54.18/48.14 eprover: CPU time limit exceeded, terminating
% 56.40/50.15 eprover: CPU time limit exceeded, terminating
% 58.60/52.17 eprover: CPU time limit exceeded, terminating
% 60.76/54.19 eprover: CPU time limit exceeded, terminating
% 62.95/56.20 eprover: CPU time limit exceeded, terminating
% 65.14/58.21 eprover: CPU time limit exceeded, terminating
% 67.34/60.23 eprover: CPU time limit exceeded, terminating
% 69.55/62.24 eprover: CPU time limit exceeded, terminating
% 71.78/64.26 eprover: CPU time limit exceeded, terminating
% 73.96/66.27 eprover: CPU time limit exceeded, terminating
% 76.18/68.29 eprover: CPU time limit exceeded, terminating
% 78.38/70.30 eprover: CPU time limit exceeded, terminating
% 80.60/72.31 eprover: CPU time limit exceeded, terminating
% 82.78/74.33 eprover: CPU time limit exceeded, terminating
% 84.97/76.34 eprover: CPU time limit exceeded, terminating
% 87.15/78.35 eprover: CPU time limit exceeded, terminating
% 89.33/80.36 eprover: CPU time limit exceeded, terminating
% 91.55/82.38 eprover: CPU time limit exceeded, terminating
% 93.82/84.40 eprover: CPU time limit exceeded, terminating
% 96.03/86.41 eprover: CPU time limit exceeded, terminating
% 98.24/88.42 eprover: CPU time limit exceeded, terminating
% 100.44/90.43 eprover: CPU time limit exceeded, terminating
% 102.63/92.44 eprover: CPU time limit exceeded, terminating
% 104.84/94.45 eprover: CPU time limit exceeded, terminating
% 107.05/96.47 eprover: CPU time limit exceeded, terminating
% 109.28/98.48 eprover: CPU time limit exceeded, terminating
% 111.43/100.49 eprover: CPU time limit exceeded, terminating
% 113.67/102.51 eprover: CPU time limit exceeded, terminating
% 115.91/104.52 eprover: CPU time limit exceeded, terminating
% 118.10/106.53 eprover: CPU time limit exceeded, terminating
% 120.33/108.55 eprover: CPU time limit exceeded, terminating
% 122.55/110.56 eprover: CPU time limit exceeded, terminating
% 124.75/112.58 eprover: CPU time limit exceeded, terminating
% 126.98/114.59 eprover: CPU time limit exceeded, terminating
% 129.16/116.60 eprover: CPU time limit exceeded, terminating
% 131.37/118.61 eprover: CPU time limit exceeded, terminating
% 133.53/120.62 eprover: CPU time limit exceeded, terminating
% 135.72/122.64 eprover: CPU time limit exceeded, terminating
% 138.01/124.65 eprover: CPU time limit exceeded, terminating
% 140.20/126.66 eprover: CPU time limit exceeded, terminating
% 142.41/128.68 eprover: CPU time limit exceeded, terminating
% 144.61/130.69 eprover: CPU time limit exceeded, terminating
% 146.83/132.70 eprover: CPU time limit exceeded, terminating
% 149.00/134.72 eprover: CPU time limit exceeded, terminating
% 151.22/136.73 eprover: CPU time limit exceeded, terminating
% 153.44/138.74 eprover: CPU time limit exceeded, terminating
% 155.57/140.75 eprover: CPU time limit exceeded, terminating
% 157.79/142.77 eprover: CPU time limit exceeded, terminating
% 160.10/144.78 eprover: CPU time limit exceeded, terminating
% 162.25/146.79 eprover: CPU time limit exceeded, terminating
% 164.51/148.80 eprover: CPU time limit exceeded, terminating
% 166.71/150.82 eprover: CPU time limit exceeded, terminating
% 168.95/152.83 eprover: CPU time limit exceeded, terminating
% 171.07/154.84 eprover: CPU time limit exceeded, terminating
% 173.33/156.86 eprover: CPU time limit exceeded, terminating
% 175.52/158.88 eprover: CPU time limit exceeded, terminating
% 177.74/160.89 eprover: CPU time limit exceeded, terminating
% 179.97/162.90 eprover: CPU time limit exceeded, terminating
% 182.14/164.91 eprover: CPU time limit exceeded, terminating
% 184.34/166.93 eprover: CPU time limit exceeded, terminating
% 186.57/168.94 eprover: CPU time limit exceeded, terminating
% 188.71/170.95 eprover: CPU time limit exceeded, terminating
% 190.98/172.96 eprover: CPU time limit exceeded, terminating
% 193.16/174.97 eprover: CPU time limit exceeded, terminating
% 195.36/176.98 eprover: CPU time limit exceeded, terminating
% 197.60/179.00 eprover: CPU time limit exceeded, terminating
% 199.81/181.01 eprover: CPU time limit exceeded, terminating
% 201.99/183.02 eprover: CPU time limit exceeded, terminating
% 204.17/185.04 eprover: CPU time limit exceeded, terminating
% 206.40/187.05 eprover: CPU time limit exceeded, terminating
% 208.60/189.06 eprover: CPU time limit exceeded, terminating
% 210.81/191.08 eprover: CPU time limit exceeded, terminating
% 212.97/193.09 eprover: CPU time limit exceeded, terminating
% 215.19/195.10 eprover: CPU time limit exceeded, terminating
% 217.40/197.11 eprover: CPU time limit exceeded, terminating
% 219.56/199.13 eprover: CPU time limit exceeded, terminating
% 221.79/201.14 eprover: CPU time limit exceeded, terminating
% 223.98/203.15 eprover: CPU time limit exceeded, terminating
% 226.22/205.17 eprover: CPU time limit exceeded, terminating
% 228.42/207.18 eprover: CPU time limit exceeded, terminating
% 230.59/209.19 eprover: CPU time limit exceeded, terminating
% 232.80/211.20 eprover: CPU time limit exceeded, terminating
% 235.04/213.22 eprover: CPU time limit exceeded, terminating
% 237.19/215.23 eprover: CPU time limit exceeded, terminating
% 239.47/217.24 eprover: CPU time limit exceeded, terminating
% 241.67/219.25 eprover: CPU time limit exceeded, terminating
% 243.82/221.27 eprover: CPU time limit exceeded, terminating
% 246.08/223.28 eprover: CPU time limit exceeded, terminating
% 248.27/225.29 eprover: CPU time limit exceeded, terminating
% 250.43/227.31 eprover: CPU time limit exceeded, terminating
% 252.64/229.32 eprover: CPU time limit exceeded, terminating
% 254.88/231.34 eprover: CPU time limit exceeded, terminating
% 257.08/233.35 eprover: CPU time limit exceeded, terminating
% 259.27/235.36 eprover: CPU time limit exceeded, terminating
% 261.45/237.37 eprover: CPU time limit exceeded, terminating
% 263.65/239.39 eprover: CPU time limit exceeded, terminating
% 265.85/241.40 eprover: CPU time limit exceeded, terminating
% 268.05/243.41 eprover: CPU time limit exceeded, terminating
% 270.18/245.42 eprover: CPU time limit exceeded, terminating
% 272.47/247.44 eprover: CPU time limit exceeded, terminating
% 274.67/249.45 eprover: CPU time limit exceeded, terminating
% 276.80/251.46 eprover: CPU time limit exceeded, terminating
% 279.06/253.47 eprover: CPU time limit exceeded, terminating
% 281.28/255.48 eprover: CPU time limit exceeded, terminating
% 283.46/257.49 eprover: CPU time limit exceeded, terminating
% 285.64/259.50 eprover: CPU time limit exceeded, terminating
% 287.87/261.52 eprover: CPU time limit exceeded, terminating
% 290.06/263.53 eprover: CPU time limit exceeded, terminating
% 292.29/265.54 eprover: CPU time limit exceeded, terminating
% 294.48/267.55 eprover: CPU time limit exceeded, terminating
% 296.69/269.57 eprover: CPU time limit exceeded, terminating
% 298.86/271.58 eprover: CPU time limit exceeded, terminating
% 300.05/272.52 eprover: CPU time limit exceeded, terminating
% 300.05/272.53 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------