TSTP Solution File: SET033-4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET033-4 : TPTP v8.1.0. Released v1.0.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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 : Tue Jul 19 01:52:10 EDT 2022
% Result : Timeout 287.08s 286.97s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.12 % Problem : SET033-4 : TPTP v8.1.0. Released v1.0.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n017.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 : Sat Jul 9 20:17:47 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.25/2.46 eprover: CPU time limit exceeded, terminating
% 4.29/4.48 eprover: CPU time limit exceeded, terminating
% 6.31/6.49 eprover: CPU time limit exceeded, terminating
% 8.29/8.50 eprover: CPU time limit exceeded, terminating
% 10.26/10.51 eprover: CPU time limit exceeded, terminating
% 12.32/12.52 eprover: CPU time limit exceeded, terminating
% 14.39/14.54 eprover: CPU time limit exceeded, terminating
% 16.32/16.55 eprover: CPU time limit exceeded, terminating
% 18.41/18.56 eprover: CPU time limit exceeded, terminating
% 20.40/20.57 eprover: CPU time limit exceeded, terminating
% 22.47/22.58 eprover: CPU time limit exceeded, terminating
% 24.48/24.60 eprover: CPU time limit exceeded, terminating
% 26.46/26.61 eprover: CPU time limit exceeded, terminating
% 28.51/28.62 eprover: CPU time limit exceeded, terminating
% 30.54/30.64 eprover: CPU time limit exceeded, terminating
% 32.54/32.65 eprover: CPU time limit exceeded, terminating
% 34.54/34.67 eprover: CPU time limit exceeded, terminating
% 36.58/36.69 eprover: CPU time limit exceeded, terminating
% 38.61/38.71 eprover: CPU time limit exceeded, terminating
% 40.58/40.73 eprover: CPU time limit exceeded, terminating
% 42.65/42.75 eprover: CPU time limit exceeded, terminating
% 44.61/44.77 eprover: CPU time limit exceeded, terminating
% 46.66/46.79 eprover: CPU time limit exceeded, terminating
% 48.72/48.82 eprover: CPU time limit exceeded, terminating
% 50.74/50.84 eprover: CPU time limit exceeded, terminating
% 52.72/52.86 eprover: CPU time limit exceeded, terminating
% 54.76/54.87 eprover: CPU time limit exceeded, terminating
% 56.74/56.89 eprover: CPU time limit exceeded, terminating
% 58.83/58.91 eprover: CPU time limit exceeded, terminating
% 60.82/60.93 eprover: CPU time limit exceeded, terminating
% 62.83/62.94 eprover: CPU time limit exceeded, terminating
% 64.83/65.00 eprover: CPU time limit exceeded, terminating
% 66.92/67.01 eprover: CPU time limit exceeded, terminating
% 68.93/69.04 eprover: CPU time limit exceeded, terminating
% 70.91/71.05 eprover: CPU time limit exceeded, terminating
% 72.91/73.08 eprover: CPU time limit exceeded, terminating
% 74.93/75.10 eprover: CPU time limit exceeded, terminating
% 77.01/77.11 eprover: CPU time limit exceeded, terminating
% 79.03/79.13 eprover: CPU time limit exceeded, terminating
% 81.04/81.15 eprover: CPU time limit exceeded, terminating
% 83.10/83.17 eprover: CPU time limit exceeded, terminating
% 85.04/85.18 eprover: CPU time limit exceeded, terminating
% 87.08/87.20 eprover: CPU time limit exceeded, terminating
% 89.13/89.21 eprover: CPU time limit exceeded, terminating
% 91.18/91.23 eprover: CPU time limit exceeded, terminating
% 93.16/93.25 eprover: CPU time limit exceeded, terminating
% 95.17/95.27 eprover: CPU time limit exceeded, terminating
% 97.18/97.29 eprover: CPU time limit exceeded, terminating
% 99.16/99.31 eprover: CPU time limit exceeded, terminating
% 101.26/101.33 eprover: CPU time limit exceeded, terminating
% 103.26/103.35 eprover: CPU time limit exceeded, terminating
% 105.28/105.36 eprover: CPU time limit exceeded, terminating
% 107.27/107.38 eprover: CPU time limit exceeded, terminating
% 109.36/109.40 eprover: CPU time limit exceeded, terminating
% 111.35/111.42 eprover: CPU time limit exceeded, terminating
% 113.38/113.44 eprover: CPU time limit exceeded, terminating
% 115.38/115.46 eprover: CPU time limit exceeded, terminating
% 117.38/117.48 eprover: CPU time limit exceeded, terminating
% 119.39/119.49 eprover: CPU time limit exceeded, terminating
% 121.47/121.50 eprover: CPU time limit exceeded, terminating
% 123.46/123.53 eprover: CPU time limit exceeded, terminating
% 125.49/125.55 eprover: CPU time limit exceeded, terminating
% 127.52/127.57 eprover: CPU time limit exceeded, terminating
% 129.48/129.59 eprover: CPU time limit exceeded, terminating
% 131.57/131.61 eprover: CPU time limit exceeded, terminating
% 133.60/133.62 eprover: CPU time limit exceeded, terminating
% 135.63/135.65 eprover: CPU time limit exceeded, terminating
% 137.62/137.67 eprover: CPU time limit exceeded, terminating
% 139.69/139.69 eprover: CPU time limit exceeded, terminating
% 141.69/141.71 eprover: CPU time limit exceeded, terminating
% 143.70/143.73 eprover: CPU time limit exceeded, terminating
% 145.72/145.75 eprover: CPU time limit exceeded, terminating
% 147.70/147.77 eprover: CPU time limit exceeded, terminating
% 149.77/149.78 eprover: CPU time limit exceeded, terminating
% 151.72/151.81 eprover: CPU time limit exceeded, terminating
% 153.77/153.83 eprover: CPU time limit exceeded, terminating
% 155.79/155.85 eprover: CPU time limit exceeded, terminating
% 157.83/157.87 eprover: CPU time limit exceeded, terminating
% 159.88/159.89 eprover: CPU time limit exceeded, terminating
% 161.90/161.91 eprover: CPU time limit exceeded, terminating
% 163.89/163.94 eprover: CPU time limit exceeded, terminating
% 165.89/165.95 eprover: CPU time limit exceeded, terminating
% 167.93/167.97 eprover: CPU time limit exceeded, terminating
% 169.98/169.99 eprover: CPU time limit exceeded, terminating
% 171.95/172.01 eprover: CPU time limit exceeded, terminating
% 174.04/174.03 eprover: CPU time limit exceeded, terminating
% 176.03/176.06 eprover: CPU time limit exceeded, terminating
% 178.08/178.08 eprover: CPU time limit exceeded, terminating
% 180.10/180.10 eprover: CPU time limit exceeded, terminating
% 182.10/182.13 eprover: CPU time limit exceeded, terminating
% 184.08/184.14 eprover: CPU time limit exceeded, terminating
% 186.11/186.16 eprover: CPU time limit exceeded, terminating
% 188.15/188.17 eprover: CPU time limit exceeded, terminating
% 190.13/190.18 eprover: CPU time limit exceeded, terminating
% 192.15/192.21 eprover: CPU time limit exceeded, terminating
% 194.24/194.22 eprover: CPU time limit exceeded, terminating
% 196.25/196.23 eprover: CPU time limit exceeded, terminating
% 198.27/198.24 eprover: CPU time limit exceeded, terminating
% 200.27/200.26 eprover: CPU time limit exceeded, terminating
% 202.31/202.29 eprover: CPU time limit exceeded, terminating
% 204.26/204.30 eprover: CPU time limit exceeded, terminating
% 206.33/206.31 eprover: CPU time limit exceeded, terminating
% 208.35/208.33 eprover: CPU time limit exceeded, terminating
% 210.38/210.34 eprover: CPU time limit exceeded, terminating
% 212.36/212.36 eprover: CPU time limit exceeded, terminating
% 214.37/214.38 eprover: CPU time limit exceeded, terminating
% 216.40/216.39 eprover: CPU time limit exceeded, terminating
% 218.39/218.40 eprover: CPU time limit exceeded, terminating
% 220.47/220.41 eprover: CPU time limit exceeded, terminating
% 222.51/222.44 eprover: CPU time limit exceeded, terminating
% 224.48/224.45 eprover: CPU time limit exceeded, terminating
% 226.46/226.46 eprover: CPU time limit exceeded, terminating
% 228.49/228.48 eprover: CPU time limit exceeded, terminating
% 230.58/230.49 eprover: CPU time limit exceeded, terminating
% 232.60/232.52 eprover: CPU time limit exceeded, terminating
% 234.56/234.53 eprover: CPU time limit exceeded, terminating
% 236.58/236.54 eprover: CPU time limit exceeded, terminating
% 238.63/238.56 eprover: CPU time limit exceeded, terminating
% 240.65/240.57 eprover: CPU time limit exceeded, terminating
% 242.69/242.58 eprover: CPU time limit exceeded, terminating
% 244.72/244.60 eprover: CPU time limit exceeded, terminating
% 246.73/246.62 eprover: CPU time limit exceeded, terminating
% 248.75/248.65 eprover: CPU time limit exceeded, terminating
% 250.73/250.66 eprover: CPU time limit exceeded, terminating
% 252.73/252.68 eprover: CPU time limit exceeded, terminating
% 254.80/254.70 eprover: CPU time limit exceeded, terminating
% 256.83/256.71 eprover: CPU time limit exceeded, terminating
% 258.82/258.73 eprover: CPU time limit exceeded, terminating
% 260.83/260.75 eprover: CPU time limit exceeded, terminating
% 262.86/262.76 eprover: CPU time limit exceeded, terminating
% 264.87/264.77 eprover: CPU time limit exceeded, terminating
% 266.93/266.79 eprover: CPU time limit exceeded, terminating
% 268.96/268.81 eprover: CPU time limit exceeded, terminating
% 270.98/270.82 eprover: CPU time limit exceeded, terminating
% 272.95/272.84 eprover: CPU time limit exceeded, terminating
% 274.97/274.86 eprover: CPU time limit exceeded, terminating
% 277.01/276.88 eprover: CPU time limit exceeded, terminating
% 279.08/278.89 eprover: CPU time limit exceeded, terminating
% 281.04/280.91 eprover: CPU time limit exceeded, terminating
% 283.13/282.93 eprover: CPU time limit exceeded, terminating
% 285.10/284.95 eprover: CPU time limit exceeded, terminating
% 287.08/286.97 eprover: CPU time limit exceeded, terminating
% 289.12/288.99 eprover: CPU time limit exceeded, terminating
% 291.20/291.00 eprover: CPU time limit exceeded, terminating
% 293.20/293.02 eprover: CPU time limit exceeded, terminating
% 295.22/295.03 eprover: CPU time limit exceeded, terminating
% 297.27/297.05 eprover: CPU time limit exceeded, terminating
% 299.23/299.06 eprover: CPU time limit exceeded, terminating
% 300.09/299.84 eprover: CPU time limit exceeded, terminating
% 300.09/299.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------