TSTP Solution File: NUM696+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM696+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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 : Mon Jul 18 10:39:44 EDT 2022
% Result : Timeout 287.23s 280.59s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.11 % Problem : NUM696+4 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.11 % Command : run_infinox %s
% 0.10/0.32 % Computer : n025.cluster.edu
% 0.10/0.32 % Model : x86_64 x86_64
% 0.10/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.32 % Memory : 8042.1875MB
% 0.10/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.32 % CPULimit : 300
% 0.10/0.32 % WCLimit : 600
% 0.10/0.32 % DateTime : Thu Jul 7 12:59:14 EDT 2022
% 0.10/0.32 % CPUTime :
% 2.96/3.19 eprover: CPU time limit exceeded, terminating
% 5.08/5.20 eprover: CPU time limit exceeded, terminating
% 7.13/7.21 eprover: CPU time limit exceeded, terminating
% 9.15/9.22 eprover: CPU time limit exceeded, terminating
% 11.17/11.23 eprover: CPU time limit exceeded, terminating
% 13.23/13.24 eprover: CPU time limit exceeded, terminating
% 15.28/15.25 eprover: CPU time limit exceeded, terminating
% 17.28/17.26 eprover: CPU time limit exceeded, terminating
% 19.35/19.27 eprover: CPU time limit exceeded, terminating
% 21.37/21.28 eprover: CPU time limit exceeded, terminating
% 23.49/23.29 eprover: CPU time limit exceeded, terminating
% 25.44/25.30 eprover: CPU time limit exceeded, terminating
% 29.45/27.31 eprover: CPU time limit exceeded, terminating
% 31.50/29.32 eprover: CPU time limit exceeded, terminating
% 33.55/31.33 eprover: CPU time limit exceeded, terminating
% 35.58/33.34 eprover: CPU time limit exceeded, terminating
% 37.60/35.35 eprover: CPU time limit exceeded, terminating
% 39.63/37.36 eprover: CPU time limit exceeded, terminating
% 41.70/39.37 eprover: CPU time limit exceeded, terminating
% 43.74/41.38 eprover: CPU time limit exceeded, terminating
% 45.76/43.39 eprover: CPU time limit exceeded, terminating
% 47.82/45.40 eprover: CPU time limit exceeded, terminating
% 49.93/47.41 eprover: CPU time limit exceeded, terminating
% 51.98/49.42 eprover: CPU time limit exceeded, terminating
% 54.02/51.43 eprover: CPU time limit exceeded, terminating
% 56.03/53.44 eprover: CPU time limit exceeded, terminating
% 58.04/55.45 eprover: CPU time limit exceeded, terminating
% 60.11/57.46 eprover: CPU time limit exceeded, terminating
% 62.17/59.47 eprover: CPU time limit exceeded, terminating
% 64.18/61.48 eprover: CPU time limit exceeded, terminating
% 66.25/63.49 eprover: CPU time limit exceeded, terminating
% 68.26/65.50 eprover: CPU time limit exceeded, terminating
% 70.39/67.51 eprover: CPU time limit exceeded, terminating
% 72.42/69.52 eprover: CPU time limit exceeded, terminating
% 74.44/71.53 eprover: CPU time limit exceeded, terminating
% 76.48/73.54 eprover: CPU time limit exceeded, terminating
% 78.54/75.55 eprover: CPU time limit exceeded, terminating
% 80.58/77.56 eprover: CPU time limit exceeded, terminating
% 82.63/79.57 eprover: CPU time limit exceeded, terminating
% 84.72/81.58 eprover: CPU time limit exceeded, terminating
% 86.66/83.59 eprover: CPU time limit exceeded, terminating
% 88.80/85.60 eprover: CPU time limit exceeded, terminating
% 90.84/87.61 eprover: CPU time limit exceeded, terminating
% 92.88/89.62 eprover: CPU time limit exceeded, terminating
% 94.90/91.63 eprover: CPU time limit exceeded, terminating
% 96.95/93.64 eprover: CPU time limit exceeded, terminating
% 99.01/95.65 eprover: CPU time limit exceeded, terminating
% 101.01/97.66 eprover: CPU time limit exceeded, terminating
% 103.13/99.67 eprover: CPU time limit exceeded, terminating
% 105.13/101.68 eprover: CPU time limit exceeded, terminating
% 107.22/103.69 eprover: CPU time limit exceeded, terminating
% 109.26/105.70 eprover: CPU time limit exceeded, terminating
% 111.30/107.71 eprover: CPU time limit exceeded, terminating
% 113.34/109.72 eprover: CPU time limit exceeded, terminating
% 115.39/111.73 eprover: CPU time limit exceeded, terminating
% 117.42/113.74 eprover: CPU time limit exceeded, terminating
% 119.46/115.75 eprover: CPU time limit exceeded, terminating
% 121.53/117.76 eprover: CPU time limit exceeded, terminating
% 123.53/119.77 eprover: CPU time limit exceeded, terminating
% 125.62/121.78 eprover: CPU time limit exceeded, terminating
% 127.61/123.78 eprover: CPU time limit exceeded, terminating
% 129.66/125.79 eprover: CPU time limit exceeded, terminating
% 131.68/127.80 eprover: CPU time limit exceeded, terminating
% 133.81/129.81 eprover: CPU time limit exceeded, terminating
% 135.82/131.82 eprover: CPU time limit exceeded, terminating
% 137.87/133.83 eprover: CPU time limit exceeded, terminating
% 139.94/135.84 eprover: CPU time limit exceeded, terminating
% 141.95/137.85 eprover: CPU time limit exceeded, terminating
% 144.01/139.86 eprover: CPU time limit exceeded, terminating
% 146.03/141.87 eprover: CPU time limit exceeded, terminating
% 148.13/143.88 eprover: CPU time limit exceeded, terminating
% 150.19/145.90 eprover: CPU time limit exceeded, terminating
% 152.21/147.91 eprover: CPU time limit exceeded, terminating
% 154.25/149.91 eprover: CPU time limit exceeded, terminating
% 156.30/151.92 eprover: CPU time limit exceeded, terminating
% 158.35/153.93 eprover: CPU time limit exceeded, terminating
% 160.40/155.94 eprover: CPU time limit exceeded, terminating
% 162.43/157.95 eprover: CPU time limit exceeded, terminating
% 164.44/159.97 eprover: CPU time limit exceeded, terminating
% 166.50/161.98 eprover: CPU time limit exceeded, terminating
% 168.51/163.98 eprover: CPU time limit exceeded, terminating
% 170.64/165.99 eprover: CPU time limit exceeded, terminating
% 172.59/168.01 eprover: CPU time limit exceeded, terminating
% 174.74/170.02 eprover: CPU time limit exceeded, terminating
% 176.75/172.03 eprover: CPU time limit exceeded, terminating
% 178.79/174.04 eprover: CPU time limit exceeded, terminating
% 180.86/176.05 eprover: CPU time limit exceeded, terminating
% 182.85/178.06 eprover: CPU time limit exceeded, terminating
% 184.88/180.07 eprover: CPU time limit exceeded, terminating
% 186.93/182.08 eprover: CPU time limit exceeded, terminating
% 189.00/184.09 eprover: CPU time limit exceeded, terminating
% 191.02/186.11 eprover: CPU time limit exceeded, terminating
% 193.13/188.12 eprover: CPU time limit exceeded, terminating
% 195.19/190.13 eprover: CPU time limit exceeded, terminating
% 197.23/192.14 eprover: CPU time limit exceeded, terminating
% 199.25/194.15 eprover: CPU time limit exceeded, terminating
% 201.29/196.16 eprover: CPU time limit exceeded, terminating
% 203.33/198.17 eprover: CPU time limit exceeded, terminating
% 205.38/200.18 eprover: CPU time limit exceeded, terminating
% 207.42/202.19 eprover: CPU time limit exceeded, terminating
% 209.54/204.20 eprover: CPU time limit exceeded, terminating
% 211.56/206.21 eprover: CPU time limit exceeded, terminating
% 213.62/208.22 eprover: CPU time limit exceeded, terminating
% 215.63/210.23 eprover: CPU time limit exceeded, terminating
% 217.66/212.24 eprover: CPU time limit exceeded, terminating
% 219.72/214.25 eprover: CPU time limit exceeded, terminating
% 221.77/216.26 eprover: CPU time limit exceeded, terminating
% 223.80/218.27 eprover: CPU time limit exceeded, terminating
% 225.85/220.28 eprover: CPU time limit exceeded, terminating
% 227.87/222.29 eprover: CPU time limit exceeded, terminating
% 229.98/224.30 eprover: CPU time limit exceeded, terminating
% 232.03/226.31 eprover: CPU time limit exceeded, terminating
% 234.09/228.32 eprover: CPU time limit exceeded, terminating
% 236.12/230.33 eprover: CPU time limit exceeded, terminating
% 238.17/232.34 eprover: CPU time limit exceeded, terminating
% 240.20/234.35 eprover: CPU time limit exceeded, terminating
% 242.24/236.36 eprover: CPU time limit exceeded, terminating
% 244.29/238.37 eprover: CPU time limit exceeded, terminating
% 246.32/240.37 eprover: CPU time limit exceeded, terminating
% 248.34/242.39 eprover: CPU time limit exceeded, terminating
% 250.44/244.39 eprover: CPU time limit exceeded, terminating
% 252.41/246.41 eprover: CPU time limit exceeded, terminating
% 254.55/248.42 eprover: CPU time limit exceeded, terminating
% 256.59/250.43 eprover: CPU time limit exceeded, terminating
% 258.65/252.44 eprover: CPU time limit exceeded, terminating
% 260.67/254.45 eprover: CPU time limit exceeded, terminating
% 262.70/256.46 eprover: CPU time limit exceeded, terminating
% 264.76/258.47 eprover: CPU time limit exceeded, terminating
% 266.77/260.48 eprover: CPU time limit exceeded, terminating
% 268.88/262.49 eprover: CPU time limit exceeded, terminating
% 270.93/264.50 eprover: CPU time limit exceeded, terminating
% 272.95/266.52 eprover: CPU time limit exceeded, terminating
% 275.00/268.53 eprover: CPU time limit exceeded, terminating
% 277.02/270.54 eprover: CPU time limit exceeded, terminating
% 279.10/272.55 eprover: CPU time limit exceeded, terminating
% 281.12/274.56 eprover: CPU time limit exceeded, terminating
% 283.17/276.57 eprover: CPU time limit exceeded, terminating
% 285.26/278.58 eprover: CPU time limit exceeded, terminating
% 287.23/280.59 eprover: CPU time limit exceeded, terminating
% 289.35/282.60 eprover: CPU time limit exceeded, terminating
% 291.40/284.61 eprover: CPU time limit exceeded, terminating
% 293.43/286.61 eprover: CPU time limit exceeded, terminating
% 295.47/288.63 eprover: CPU time limit exceeded, terminating
% 297.52/290.64 eprover: CPU time limit exceeded, terminating
% 299.55/292.65 eprover: CPU time limit exceeded, terminating
% 300.05/293.08 eprover: CPU time limit exceeded, terminating
% 300.05/293.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------