TSTP Solution File: CSR224+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR224+1 : TPTP v8.1.0. Released v7.3.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:36:06 EDT 2022
% Result : Timeout 285.96s 262.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : CSR224+1 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.09/0.30 % Computer : n020.cluster.edu
% 0.09/0.30 % Model : x86_64 x86_64
% 0.09/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.09/0.30 % Memory : 8042.1875MB
% 0.09/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.09/0.30 % CPULimit : 300
% 0.09/0.30 % WCLimit : 600
% 0.09/0.30 % DateTime : Sat Jun 11 17:15:05 EDT 2022
% 0.09/0.30 % CPUTime :
% 5.73/5.76 eprover: CPU time limit exceeded, terminating
% 7.93/7.77 eprover: CPU time limit exceeded, terminating
% 10.15/9.78 eprover: CPU time limit exceeded, terminating
% 12.29/11.79 eprover: CPU time limit exceeded, terminating
% 14.55/13.80 eprover: CPU time limit exceeded, terminating
% 16.68/15.81 eprover: CPU time limit exceeded, terminating
% 18.92/17.82 eprover: CPU time limit exceeded, terminating
% 21.11/19.83 eprover: CPU time limit exceeded, terminating
% 23.31/21.85 eprover: CPU time limit exceeded, terminating
% 25.56/23.87 eprover: CPU time limit exceeded, terminating
% 27.73/25.88 eprover: CPU time limit exceeded, terminating
% 29.99/27.89 eprover: CPU time limit exceeded, terminating
% 32.18/29.91 eprover: CPU time limit exceeded, terminating
% 34.34/31.92 eprover: CPU time limit exceeded, terminating
% 36.53/33.95 eprover: CPU time limit exceeded, terminating
% 38.70/35.96 eprover: CPU time limit exceeded, terminating
% 40.91/37.97 eprover: CPU time limit exceeded, terminating
% 43.08/39.99 eprover: CPU time limit exceeded, terminating
% 45.24/42.00 eprover: CPU time limit exceeded, terminating
% 47.48/44.02 eprover: CPU time limit exceeded, terminating
% 49.69/46.03 eprover: CPU time limit exceeded, terminating
% 51.82/48.05 eprover: CPU time limit exceeded, terminating
% 54.08/50.19 eprover: CPU time limit exceeded, terminating
% 56.29/52.37 eprover: CPU time limit exceeded, terminating
% 58.50/54.58 eprover: CPU time limit exceeded, terminating
% 60.65/56.75 eprover: CPU time limit exceeded, terminating
% 62.78/58.91 eprover: CPU time limit exceeded, terminating
% 65.05/61.03 eprover: CPU time limit exceeded, terminating
% 67.20/63.20 eprover: CPU time limit exceeded, terminating
% 69.44/65.22 eprover: CPU time limit exceeded, terminating
% 71.57/67.23 eprover: CPU time limit exceeded, terminating
% 73.86/69.24 eprover: CPU time limit exceeded, terminating
% 76.04/71.25 eprover: CPU time limit exceeded, terminating
% 78.24/73.26 eprover: CPU time limit exceeded, terminating
% 80.43/75.27 eprover: CPU time limit exceeded, terminating
% 82.69/77.28 eprover: CPU time limit exceeded, terminating
% 84.91/79.29 eprover: CPU time limit exceeded, terminating
% 87.11/81.31 eprover: CPU time limit exceeded, terminating
% 89.30/83.32 eprover: CPU time limit exceeded, terminating
% 91.52/85.33 eprover: CPU time limit exceeded, terminating
% 93.74/87.34 eprover: CPU time limit exceeded, terminating
% 95.91/89.35 eprover: CPU time limit exceeded, terminating
% 98.13/91.37 eprover: CPU time limit exceeded, terminating
% 100.30/93.38 eprover: CPU time limit exceeded, terminating
% 102.54/95.39 eprover: CPU time limit exceeded, terminating
% 104.80/97.40 eprover: CPU time limit exceeded, terminating
% 106.99/99.41 eprover: CPU time limit exceeded, terminating
% 109.21/101.43 eprover: CPU time limit exceeded, terminating
% 111.38/103.44 eprover: CPU time limit exceeded, terminating
% 113.65/105.45 eprover: CPU time limit exceeded, terminating
% 115.79/107.46 eprover: CPU time limit exceeded, terminating
% 118.03/109.47 eprover: CPU time limit exceeded, terminating
% 120.25/111.49 eprover: CPU time limit exceeded, terminating
% 122.42/113.50 eprover: CPU time limit exceeded, terminating
% 124.70/115.51 eprover: CPU time limit exceeded, terminating
% 126.88/117.53 eprover: CPU time limit exceeded, terminating
% 129.10/119.54 eprover: CPU time limit exceeded, terminating
% 131.28/121.55 eprover: CPU time limit exceeded, terminating
% 133.54/123.56 eprover: CPU time limit exceeded, terminating
% 135.73/125.58 eprover: CPU time limit exceeded, terminating
% 137.93/127.59 eprover: CPU time limit exceeded, terminating
% 140.16/129.60 eprover: CPU time limit exceeded, terminating
% 142.32/131.61 eprover: CPU time limit exceeded, terminating
% 144.52/133.62 eprover: CPU time limit exceeded, terminating
% 146.77/135.64 eprover: CPU time limit exceeded, terminating
% 149.02/137.65 eprover: CPU time limit exceeded, terminating
% 151.21/139.66 eprover: CPU time limit exceeded, terminating
% 153.41/141.67 eprover: CPU time limit exceeded, terminating
% 155.62/143.69 eprover: CPU time limit exceeded, terminating
% 157.82/145.70 eprover: CPU time limit exceeded, terminating
% 160.03/147.71 eprover: CPU time limit exceeded, terminating
% 162.24/149.72 eprover: CPU time limit exceeded, terminating
% 164.48/151.74 eprover: CPU time limit exceeded, terminating
% 166.64/153.75 eprover: CPU time limit exceeded, terminating
% 168.88/155.76 eprover: CPU time limit exceeded, terminating
% 171.08/157.77 eprover: CPU time limit exceeded, terminating
% 173.27/159.79 eprover: CPU time limit exceeded, terminating
% 175.50/161.80 eprover: CPU time limit exceeded, terminating
% 177.74/163.81 eprover: CPU time limit exceeded, terminating
% 179.91/165.83 eprover: CPU time limit exceeded, terminating
% 182.13/167.84 eprover: CPU time limit exceeded, terminating
% 184.33/169.85 eprover: CPU time limit exceeded, terminating
% 186.56/171.86 eprover: CPU time limit exceeded, terminating
% 188.74/173.88 eprover: CPU time limit exceeded, terminating
% 190.96/175.89 eprover: CPU time limit exceeded, terminating
% 193.20/177.90 eprover: CPU time limit exceeded, terminating
% 195.44/179.91 eprover: CPU time limit exceeded, terminating
% 197.60/181.93 eprover: CPU time limit exceeded, terminating
% 199.86/183.94 eprover: CPU time limit exceeded, terminating
% 202.02/185.95 eprover: CPU time limit exceeded, terminating
% 204.26/187.96 eprover: CPU time limit exceeded, terminating
% 206.43/189.98 eprover: CPU time limit exceeded, terminating
% 208.66/191.99 eprover: CPU time limit exceeded, terminating
% 210.85/194.00 eprover: CPU time limit exceeded, terminating
% 213.15/196.01 eprover: CPU time limit exceeded, terminating
% 215.32/198.03 eprover: CPU time limit exceeded, terminating
% 217.52/200.04 eprover: CPU time limit exceeded, terminating
% 219.73/202.05 eprover: CPU time limit exceeded, terminating
% 221.93/204.07 eprover: CPU time limit exceeded, terminating
% 224.21/206.08 eprover: CPU time limit exceeded, terminating
% 226.33/208.09 eprover: CPU time limit exceeded, terminating
% 228.61/210.10 eprover: CPU time limit exceeded, terminating
% 230.83/212.12 eprover: CPU time limit exceeded, terminating
% 233.04/214.13 eprover: CPU time limit exceeded, terminating
% 235.23/216.14 eprover: CPU time limit exceeded, terminating
% 237.40/218.15 eprover: CPU time limit exceeded, terminating
% 239.61/220.16 eprover: CPU time limit exceeded, terminating
% 241.81/222.18 eprover: CPU time limit exceeded, terminating
% 244.08/224.19 eprover: CPU time limit exceeded, terminating
% 246.31/226.20 eprover: CPU time limit exceeded, terminating
% 248.50/228.21 eprover: CPU time limit exceeded, terminating
% 250.69/230.22 eprover: CPU time limit exceeded, terminating
% 252.89/232.25 eprover: CPU time limit exceeded, terminating
% 255.05/234.26 eprover: CPU time limit exceeded, terminating
% 257.28/236.27 eprover: CPU time limit exceeded, terminating
% 259.44/238.28 eprover: CPU time limit exceeded, terminating
% 261.64/240.29 eprover: CPU time limit exceeded, terminating
% 263.91/242.30 eprover: CPU time limit exceeded, terminating
% 266.12/244.31 eprover: CPU time limit exceeded, terminating
% 268.31/246.32 eprover: CPU time limit exceeded, terminating
% 270.51/248.33 eprover: CPU time limit exceeded, terminating
% 272.72/250.34 eprover: CPU time limit exceeded, terminating
% 274.87/252.36 eprover: CPU time limit exceeded, terminating
% 277.07/254.37 eprover: CPU time limit exceeded, terminating
% 279.27/256.38 eprover: CPU time limit exceeded, terminating
% 281.55/258.39 eprover: CPU time limit exceeded, terminating
% 283.77/260.40 eprover: CPU time limit exceeded, terminating
% 285.96/262.41 eprover: CPU time limit exceeded, terminating
% 288.18/264.42 eprover: CPU time limit exceeded, terminating
% 290.34/266.44 eprover: CPU time limit exceeded, terminating
% 292.56/268.45 eprover: CPU time limit exceeded, terminating
% 294.75/270.46 eprover: CPU time limit exceeded, terminating
% 296.96/272.47 eprover: CPU time limit exceeded, terminating
% 299.13/274.48 eprover: CPU time limit exceeded, terminating
% 300.07/275.22 eprover: CPU time limit exceeded, terminating
% 300.07/275.23 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------