TSTP Solution File: CSR202+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR202+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:03 EDT 2022
% Result : Timeout 286.33s 262.43s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.12 % Problem : CSR202+1 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 07:08:19 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.81/5.86 eprover: CPU time limit exceeded, terminating
% 8.07/7.87 eprover: CPU time limit exceeded, terminating
% 10.23/9.88 eprover: CPU time limit exceeded, terminating
% 12.40/11.89 eprover: CPU time limit exceeded, terminating
% 14.65/13.91 eprover: CPU time limit exceeded, terminating
% 16.89/15.92 eprover: CPU time limit exceeded, terminating
% 19.02/17.93 eprover: CPU time limit exceeded, terminating
% 21.25/19.94 eprover: CPU time limit exceeded, terminating
% 23.49/21.96 eprover: CPU time limit exceeded, terminating
% 25.73/23.97 eprover: CPU time limit exceeded, terminating
% 27.98/25.98 eprover: CPU time limit exceeded, terminating
% 30.19/28.00 eprover: CPU time limit exceeded, terminating
% 32.31/30.01 eprover: CPU time limit exceeded, terminating
% 34.58/32.02 eprover: CPU time limit exceeded, terminating
% 36.82/34.03 eprover: CPU time limit exceeded, terminating
% 38.96/36.05 eprover: CPU time limit exceeded, terminating
% 41.22/38.06 eprover: CPU time limit exceeded, terminating
% 43.45/40.07 eprover: CPU time limit exceeded, terminating
% 45.63/42.08 eprover: CPU time limit exceeded, terminating
% 47.84/44.10 eprover: CPU time limit exceeded, terminating
% 50.06/46.11 eprover: CPU time limit exceeded, terminating
% 52.23/48.12 eprover: CPU time limit exceeded, terminating
% 54.48/50.13 eprover: CPU time limit exceeded, terminating
% 56.74/52.15 eprover: CPU time limit exceeded, terminating
% 58.86/54.16 eprover: CPU time limit exceeded, terminating
% 61.14/56.17 eprover: CPU time limit exceeded, terminating
% 63.36/58.18 eprover: CPU time limit exceeded, terminating
% 65.53/60.20 eprover: CPU time limit exceeded, terminating
% 67.75/62.21 eprover: CPU time limit exceeded, terminating
% 69.99/64.22 eprover: CPU time limit exceeded, terminating
% 72.16/66.24 eprover: CPU time limit exceeded, terminating
% 74.39/68.25 eprover: CPU time limit exceeded, terminating
% 76.63/70.26 eprover: CPU time limit exceeded, terminating
% 78.83/72.27 eprover: CPU time limit exceeded, terminating
% 81.04/74.29 eprover: CPU time limit exceeded, terminating
% 83.24/76.30 eprover: CPU time limit exceeded, terminating
% 85.42/78.31 eprover: CPU time limit exceeded, terminating
% 87.63/80.32 eprover: CPU time limit exceeded, terminating
% 89.87/82.33 eprover: CPU time limit exceeded, terminating
% 92.10/84.34 eprover: CPU time limit exceeded, terminating
% 94.30/86.35 eprover: CPU time limit exceeded, terminating
% 96.53/88.37 eprover: CPU time limit exceeded, terminating
% 98.69/90.38 eprover: CPU time limit exceeded, terminating
% 100.88/92.39 eprover: CPU time limit exceeded, terminating
% 103.10/94.40 eprover: CPU time limit exceeded, terminating
% 105.31/96.41 eprover: CPU time limit exceeded, terminating
% 107.46/98.43 eprover: CPU time limit exceeded, terminating
% 109.70/100.44 eprover: CPU time limit exceeded, terminating
% 111.92/102.45 eprover: CPU time limit exceeded, terminating
% 114.07/104.46 eprover: CPU time limit exceeded, terminating
% 116.34/106.47 eprover: CPU time limit exceeded, terminating
% 118.53/108.48 eprover: CPU time limit exceeded, terminating
% 120.69/110.50 eprover: CPU time limit exceeded, terminating
% 122.91/112.60 eprover: CPU time limit exceeded, terminating
% 125.14/114.61 eprover: CPU time limit exceeded, terminating
% 127.34/116.69 eprover: CPU time limit exceeded, terminating
% 129.54/118.78 eprover: CPU time limit exceeded, terminating
% 131.77/120.88 eprover: CPU time limit exceeded, terminating
% 134.02/122.96 eprover: CPU time limit exceeded, terminating
% 136.22/125.06 eprover: CPU time limit exceeded, terminating
% 138.42/127.08 eprover: CPU time limit exceeded, terminating
% 140.65/129.15 eprover: CPU time limit exceeded, terminating
% 142.83/131.16 eprover: CPU time limit exceeded, terminating
% 145.08/133.25 eprover: CPU time limit exceeded, terminating
% 147.28/135.32 eprover: CPU time limit exceeded, terminating
% 149.49/137.41 eprover: CPU time limit exceeded, terminating
% 151.64/139.43 eprover: CPU time limit exceeded, terminating
% 153.88/141.50 eprover: CPU time limit exceeded, terminating
% 156.11/143.60 eprover: CPU time limit exceeded, terminating
% 158.32/145.61 eprover: CPU time limit exceeded, terminating
% 160.55/147.62 eprover: CPU time limit exceeded, terminating
% 162.75/149.64 eprover: CPU time limit exceeded, terminating
% 164.89/151.65 eprover: CPU time limit exceeded, terminating
% 167.17/153.67 eprover: CPU time limit exceeded, terminating
% 169.38/155.68 eprover: CPU time limit exceeded, terminating
% 171.56/157.69 eprover: CPU time limit exceeded, terminating
% 173.77/159.71 eprover: CPU time limit exceeded, terminating
% 176.01/161.72 eprover: CPU time limit exceeded, terminating
% 178.14/163.74 eprover: CPU time limit exceeded, terminating
% 180.33/165.76 eprover: CPU time limit exceeded, terminating
% 182.59/167.77 eprover: CPU time limit exceeded, terminating
% 184.79/169.78 eprover: CPU time limit exceeded, terminating
% 186.98/171.80 eprover: CPU time limit exceeded, terminating
% 189.17/173.81 eprover: CPU time limit exceeded, terminating
% 191.34/175.83 eprover: CPU time limit exceeded, terminating
% 193.64/177.84 eprover: CPU time limit exceeded, terminating
% 195.80/179.86 eprover: CPU time limit exceeded, terminating
% 198.02/181.87 eprover: CPU time limit exceeded, terminating
% 200.22/183.88 eprover: CPU time limit exceeded, terminating
% 202.41/185.91 eprover: CPU time limit exceeded, terminating
% 204.63/187.92 eprover: CPU time limit exceeded, terminating
% 206.76/189.93 eprover: CPU time limit exceeded, terminating
% 208.91/191.95 eprover: CPU time limit exceeded, terminating
% 211.21/193.96 eprover: CPU time limit exceeded, terminating
% 213.40/195.97 eprover: CPU time limit exceeded, terminating
% 215.64/197.98 eprover: CPU time limit exceeded, terminating
% 217.80/200.00 eprover: CPU time limit exceeded, terminating
% 220.06/202.01 eprover: CPU time limit exceeded, terminating
% 222.22/204.02 eprover: CPU time limit exceeded, terminating
% 224.50/206.04 eprover: CPU time limit exceeded, terminating
% 226.71/208.05 eprover: CPU time limit exceeded, terminating
% 228.90/210.06 eprover: CPU time limit exceeded, terminating
% 231.08/212.08 eprover: CPU time limit exceeded, terminating
% 233.28/214.09 eprover: CPU time limit exceeded, terminating
% 235.48/216.10 eprover: CPU time limit exceeded, terminating
% 237.73/218.12 eprover: CPU time limit exceeded, terminating
% 239.94/220.13 eprover: CPU time limit exceeded, terminating
% 242.06/222.14 eprover: CPU time limit exceeded, terminating
% 244.35/224.16 eprover: CPU time limit exceeded, terminating
% 246.55/226.17 eprover: CPU time limit exceeded, terminating
% 248.79/228.18 eprover: CPU time limit exceeded, terminating
% 250.98/230.20 eprover: CPU time limit exceeded, terminating
% 253.17/232.21 eprover: CPU time limit exceeded, terminating
% 255.36/234.22 eprover: CPU time limit exceeded, terminating
% 257.53/236.24 eprover: CPU time limit exceeded, terminating
% 259.82/238.25 eprover: CPU time limit exceeded, terminating
% 262.02/240.26 eprover: CPU time limit exceeded, terminating
% 264.24/242.27 eprover: CPU time limit exceeded, terminating
% 266.47/244.28 eprover: CPU time limit exceeded, terminating
% 268.66/246.30 eprover: CPU time limit exceeded, terminating
% 270.86/248.31 eprover: CPU time limit exceeded, terminating
% 273.09/250.32 eprover: CPU time limit exceeded, terminating
% 275.23/252.36 eprover: CPU time limit exceeded, terminating
% 277.48/254.37 eprover: CPU time limit exceeded, terminating
% 279.73/256.39 eprover: CPU time limit exceeded, terminating
% 281.90/258.40 eprover: CPU time limit exceeded, terminating
% 284.15/260.41 eprover: CPU time limit exceeded, terminating
% 286.33/262.43 eprover: CPU time limit exceeded, terminating
% 288.56/264.44 eprover: CPU time limit exceeded, terminating
% 290.77/266.45 eprover: CPU time limit exceeded, terminating
% 292.97/268.46 eprover: CPU time limit exceeded, terminating
% 295.17/270.48 eprover: CPU time limit exceeded, terminating
% 297.42/272.49 eprover: CPU time limit exceeded, terminating
% 299.56/274.50 eprover: CPU time limit exceeded, terminating
% 300.47/275.23 eprover: CPU time limit exceeded, terminating
% 300.47/275.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------