TSTP Solution File: ALG222+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG222+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 : Thu Jul 14 17:00:43 EDT 2022
% Result : Timeout 286.08s 262.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : ALG222+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n019.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Wed Jun 8 21:37:40 EDT 2022
% 0.13/0.35 % CPUTime :
% 8.73/8.76 eprover: CPU time limit exceeded, terminating
% 10.94/10.78 eprover: CPU time limit exceeded, terminating
% 13.08/12.79 eprover: CPU time limit exceeded, terminating
% 15.35/14.80 eprover: CPU time limit exceeded, terminating
% 17.53/16.81 eprover: CPU time limit exceeded, terminating
% 19.74/18.82 eprover: CPU time limit exceeded, terminating
% 21.89/20.84 eprover: CPU time limit exceeded, terminating
% 24.08/22.85 eprover: CPU time limit exceeded, terminating
% 26.26/24.86 eprover: CPU time limit exceeded, terminating
% 28.44/26.88 eprover: CPU time limit exceeded, terminating
% 30.60/28.89 eprover: CPU time limit exceeded, terminating
% 32.89/30.90 eprover: CPU time limit exceeded, terminating
% 35.12/32.91 eprover: CPU time limit exceeded, terminating
% 37.29/34.92 eprover: CPU time limit exceeded, terminating
% 39.50/36.94 eprover: CPU time limit exceeded, terminating
% 41.66/38.95 eprover: CPU time limit exceeded, terminating
% 43.87/40.96 eprover: CPU time limit exceeded, terminating
% 46.05/42.98 eprover: CPU time limit exceeded, terminating
% 48.28/44.99 eprover: CPU time limit exceeded, terminating
% 50.55/47.00 eprover: CPU time limit exceeded, terminating
% 52.73/49.01 eprover: CPU time limit exceeded, terminating
% 54.92/51.03 eprover: CPU time limit exceeded, terminating
% 57.09/53.04 eprover: CPU time limit exceeded, terminating
% 59.27/55.05 eprover: CPU time limit exceeded, terminating
% 61.48/57.06 eprover: CPU time limit exceeded, terminating
% 63.66/59.08 eprover: CPU time limit exceeded, terminating
% 65.88/61.09 eprover: CPU time limit exceeded, terminating
% 68.15/63.10 eprover: CPU time limit exceeded, terminating
% 70.36/65.12 eprover: CPU time limit exceeded, terminating
% 72.55/67.13 eprover: CPU time limit exceeded, terminating
% 74.76/69.14 eprover: CPU time limit exceeded, terminating
% 76.93/71.15 eprover: CPU time limit exceeded, terminating
% 79.13/73.17 eprover: CPU time limit exceeded, terminating
% 81.31/75.18 eprover: CPU time limit exceeded, terminating
% 83.57/77.19 eprover: CPU time limit exceeded, terminating
% 85.76/79.20 eprover: CPU time limit exceeded, terminating
% 87.94/81.22 eprover: CPU time limit exceeded, terminating
% 90.15/83.23 eprover: CPU time limit exceeded, terminating
% 92.36/85.24 eprover: CPU time limit exceeded, terminating
% 94.52/87.26 eprover: CPU time limit exceeded, terminating
% 96.78/89.27 eprover: CPU time limit exceeded, terminating
% 98.90/91.28 eprover: CPU time limit exceeded, terminating
% 101.13/93.29 eprover: CPU time limit exceeded, terminating
% 103.40/95.31 eprover: CPU time limit exceeded, terminating
% 105.61/97.32 eprover: CPU time limit exceeded, terminating
% 107.77/99.33 eprover: CPU time limit exceeded, terminating
% 109.98/101.35 eprover: CPU time limit exceeded, terminating
% 112.15/103.36 eprover: CPU time limit exceeded, terminating
% 114.34/105.37 eprover: CPU time limit exceeded, terminating
% 116.53/107.38 eprover: CPU time limit exceeded, terminating
% 118.73/109.40 eprover: CPU time limit exceeded, terminating
% 120.99/111.41 eprover: CPU time limit exceeded, terminating
% 123.18/113.42 eprover: CPU time limit exceeded, terminating
% 125.40/115.43 eprover: CPU time limit exceeded, terminating
% 127.56/117.45 eprover: CPU time limit exceeded, terminating
% 129.76/119.46 eprover: CPU time limit exceeded, terminating
% 131.93/121.47 eprover: CPU time limit exceeded, terminating
% 134.20/123.49 eprover: CPU time limit exceeded, terminating
% 136.39/125.50 eprover: CPU time limit exceeded, terminating
% 138.60/127.51 eprover: CPU time limit exceeded, terminating
% 140.80/129.53 eprover: CPU time limit exceeded, terminating
% 142.97/131.54 eprover: CPU time limit exceeded, terminating
% 145.17/133.55 eprover: CPU time limit exceeded, terminating
% 147.35/135.57 eprover: CPU time limit exceeded, terminating
% 149.54/137.58 eprover: CPU time limit exceeded, terminating
% 151.82/139.59 eprover: CPU time limit exceeded, terminating
% 153.95/141.60 eprover: CPU time limit exceeded, terminating
% 156.20/143.62 eprover: CPU time limit exceeded, terminating
% 158.38/145.63 eprover: CPU time limit exceeded, terminating
% 160.61/147.64 eprover: CPU time limit exceeded, terminating
% 162.79/149.65 eprover: CPU time limit exceeded, terminating
% 164.95/151.67 eprover: CPU time limit exceeded, terminating
% 167.16/153.68 eprover: CPU time limit exceeded, terminating
% 169.37/155.69 eprover: CPU time limit exceeded, terminating
% 171.64/157.70 eprover: CPU time limit exceeded, terminating
% 173.85/159.72 eprover: CPU time limit exceeded, terminating
% 176.02/161.73 eprover: CPU time limit exceeded, terminating
% 178.22/163.74 eprover: CPU time limit exceeded, terminating
% 180.37/165.76 eprover: CPU time limit exceeded, terminating
% 182.58/167.77 eprover: CPU time limit exceeded, terminating
% 184.77/169.78 eprover: CPU time limit exceeded, terminating
% 187.03/171.79 eprover: CPU time limit exceeded, terminating
% 189.22/173.81 eprover: CPU time limit exceeded, terminating
% 191.44/175.82 eprover: CPU time limit exceeded, terminating
% 193.63/177.83 eprover: CPU time limit exceeded, terminating
% 195.78/179.85 eprover: CPU time limit exceeded, terminating
% 197.99/181.86 eprover: CPU time limit exceeded, terminating
% 200.19/183.87 eprover: CPU time limit exceeded, terminating
% 202.44/185.89 eprover: CPU time limit exceeded, terminating
% 204.57/187.90 eprover: CPU time limit exceeded, terminating
% 206.77/189.91 eprover: CPU time limit exceeded, terminating
% 209.03/191.92 eprover: CPU time limit exceeded, terminating
% 211.25/193.94 eprover: CPU time limit exceeded, terminating
% 213.42/195.95 eprover: CPU time limit exceeded, terminating
% 215.60/197.96 eprover: CPU time limit exceeded, terminating
% 217.79/199.98 eprover: CPU time limit exceeded, terminating
% 219.98/201.99 eprover: CPU time limit exceeded, terminating
% 222.23/204.00 eprover: CPU time limit exceeded, terminating
% 224.45/206.01 eprover: CPU time limit exceeded, terminating
% 226.65/208.03 eprover: CPU time limit exceeded, terminating
% 228.81/210.04 eprover: CPU time limit exceeded, terminating
% 231.02/212.05 eprover: CPU time limit exceeded, terminating
% 233.21/214.07 eprover: CPU time limit exceeded, terminating
% 235.40/216.08 eprover: CPU time limit exceeded, terminating
% 237.65/218.09 eprover: CPU time limit exceeded, terminating
% 239.86/220.10 eprover: CPU time limit exceeded, terminating
% 242.06/222.12 eprover: CPU time limit exceeded, terminating
% 244.23/224.13 eprover: CPU time limit exceeded, terminating
% 246.42/226.14 eprover: CPU time limit exceeded, terminating
% 248.63/228.16 eprover: CPU time limit exceeded, terminating
% 250.78/230.17 eprover: CPU time limit exceeded, terminating
% 252.99/232.18 eprover: CPU time limit exceeded, terminating
% 255.21/234.20 eprover: CPU time limit exceeded, terminating
% 257.47/236.21 eprover: CPU time limit exceeded, terminating
% 259.68/238.22 eprover: CPU time limit exceeded, terminating
% 261.88/240.23 eprover: CPU time limit exceeded, terminating
% 264.05/242.25 eprover: CPU time limit exceeded, terminating
% 266.25/244.26 eprover: CPU time limit exceeded, terminating
% 268.46/246.27 eprover: CPU time limit exceeded, terminating
% 270.72/248.29 eprover: CPU time limit exceeded, terminating
% 272.89/250.30 eprover: CPU time limit exceeded, terminating
% 275.12/252.31 eprover: CPU time limit exceeded, terminating
% 277.32/254.33 eprover: CPU time limit exceeded, terminating
% 279.49/256.34 eprover: CPU time limit exceeded, terminating
% 281.66/258.35 eprover: CPU time limit exceeded, terminating
% 283.86/260.37 eprover: CPU time limit exceeded, terminating
% 286.08/262.38 eprover: CPU time limit exceeded, terminating
% 288.24/264.39 eprover: CPU time limit exceeded, terminating
% 290.51/266.40 eprover: CPU time limit exceeded, terminating
% 292.71/268.42 eprover: CPU time limit exceeded, terminating
% 294.93/270.43 eprover: CPU time limit exceeded, terminating
% 297.09/272.44 eprover: CPU time limit exceeded, terminating
% 299.27/274.46 eprover: CPU time limit exceeded, terminating
% 300.09/275.11 eprover: CPU time limit exceeded, terminating
% 300.09/275.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------