TSTP Solution File: NUM698+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM698+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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:46 EDT 2022
% Result : Timeout 287.47s 282.67s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : NUM698+4 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n003.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Tue Jul 5 20:46:26 EDT 2022
% 0.13/0.33 % CPUTime :
% 3.14/3.29 eprover: CPU time limit exceeded, terminating
% 5.22/5.30 eprover: CPU time limit exceeded, terminating
% 7.23/7.31 eprover: CPU time limit exceeded, terminating
% 9.27/9.32 eprover: CPU time limit exceeded, terminating
% 11.31/11.33 eprover: CPU time limit exceeded, terminating
% 13.37/13.34 eprover: CPU time limit exceeded, terminating
% 15.41/15.35 eprover: CPU time limit exceeded, terminating
% 17.43/17.36 eprover: CPU time limit exceeded, terminating
% 19.47/19.37 eprover: CPU time limit exceeded, terminating
% 21.56/21.38 eprover: CPU time limit exceeded, terminating
% 23.61/23.39 eprover: CPU time limit exceeded, terminating
% 25.63/25.40 eprover: CPU time limit exceeded, terminating
% 27.70/27.41 eprover: CPU time limit exceeded, terminating
% 29.70/29.42 eprover: CPU time limit exceeded, terminating
% 31.77/31.42 eprover: CPU time limit exceeded, terminating
% 33.85/33.43 eprover: CPU time limit exceeded, terminating
% 35.85/35.44 eprover: CPU time limit exceeded, terminating
% 37.90/37.45 eprover: CPU time limit exceeded, terminating
% 39.99/39.46 eprover: CPU time limit exceeded, terminating
% 41.97/41.47 eprover: CPU time limit exceeded, terminating
% 44.07/43.48 eprover: CPU time limit exceeded, terminating
% 46.07/45.49 eprover: CPU time limit exceeded, terminating
% 48.16/47.50 eprover: CPU time limit exceeded, terminating
% 50.14/49.51 eprover: CPU time limit exceeded, terminating
% 52.24/51.52 eprover: CPU time limit exceeded, terminating
% 54.25/53.53 eprover: CPU time limit exceeded, terminating
% 56.33/55.54 eprover: CPU time limit exceeded, terminating
% 58.38/57.55 eprover: CPU time limit exceeded, terminating
% 60.43/59.56 eprover: CPU time limit exceeded, terminating
% 62.41/61.57 eprover: CPU time limit exceeded, terminating
% 64.49/63.59 eprover: CPU time limit exceeded, terminating
% 66.54/65.60 eprover: CPU time limit exceeded, terminating
% 68.58/67.61 eprover: CPU time limit exceeded, terminating
% 70.60/69.62 eprover: CPU time limit exceeded, terminating
% 72.71/71.63 eprover: CPU time limit exceeded, terminating
% 74.69/73.64 eprover: CPU time limit exceeded, terminating
% 76.79/75.65 eprover: CPU time limit exceeded, terminating
% 78.80/77.66 eprover: CPU time limit exceeded, terminating
% 80.88/79.67 eprover: CPU time limit exceeded, terminating
% 82.89/81.67 eprover: CPU time limit exceeded, terminating
% 84.94/83.68 eprover: CPU time limit exceeded, terminating
% 87.01/85.69 eprover: CPU time limit exceeded, terminating
% 89.01/87.70 eprover: CPU time limit exceeded, terminating
% 91.11/89.71 eprover: CPU time limit exceeded, terminating
% 93.12/91.72 eprover: CPU time limit exceeded, terminating
% 95.20/93.73 eprover: CPU time limit exceeded, terminating
% 97.25/95.74 eprover: CPU time limit exceeded, terminating
% 99.26/97.75 eprover: CPU time limit exceeded, terminating
% 101.34/99.77 eprover: CPU time limit exceeded, terminating
% 103.38/101.78 eprover: CPU time limit exceeded, terminating
% 105.42/103.79 eprover: CPU time limit exceeded, terminating
% 107.41/105.80 eprover: CPU time limit exceeded, terminating
% 109.50/107.81 eprover: CPU time limit exceeded, terminating
% 111.54/109.81 eprover: CPU time limit exceeded, terminating
% 113.61/111.82 eprover: CPU time limit exceeded, terminating
% 115.66/113.83 eprover: CPU time limit exceeded, terminating
% 117.65/115.84 eprover: CPU time limit exceeded, terminating
% 119.71/117.85 eprover: CPU time limit exceeded, terminating
% 121.79/119.86 eprover: CPU time limit exceeded, terminating
% 123.83/121.87 eprover: CPU time limit exceeded, terminating
% 125.88/123.88 eprover: CPU time limit exceeded, terminating
% 127.89/125.89 eprover: CPU time limit exceeded, terminating
% 129.96/127.90 eprover: CPU time limit exceeded, terminating
% 131.99/129.91 eprover: CPU time limit exceeded, terminating
% 133.98/131.92 eprover: CPU time limit exceeded, terminating
% 136.07/133.93 eprover: CPU time limit exceeded, terminating
% 138.11/135.94 eprover: CPU time limit exceeded, terminating
% 140.16/137.95 eprover: CPU time limit exceeded, terminating
% 142.26/139.96 eprover: CPU time limit exceeded, terminating
% 144.29/141.97 eprover: CPU time limit exceeded, terminating
% 146.31/143.99 eprover: CPU time limit exceeded, terminating
% 148.35/145.99 eprover: CPU time limit exceeded, terminating
% 150.41/148.00 eprover: CPU time limit exceeded, terminating
% 152.43/150.01 eprover: CPU time limit exceeded, terminating
% 154.45/152.02 eprover: CPU time limit exceeded, terminating
% 156.52/154.03 eprover: CPU time limit exceeded, terminating
% 158.60/156.04 eprover: CPU time limit exceeded, terminating
% 160.64/158.05 eprover: CPU time limit exceeded, terminating
% 162.69/160.07 eprover: CPU time limit exceeded, terminating
% 164.73/162.08 eprover: CPU time limit exceeded, terminating
% 166.80/164.09 eprover: CPU time limit exceeded, terminating
% 168.80/166.10 eprover: CPU time limit exceeded, terminating
% 170.90/168.11 eprover: CPU time limit exceeded, terminating
% 172.90/170.12 eprover: CPU time limit exceeded, terminating
% 174.90/172.13 eprover: CPU time limit exceeded, terminating
% 177.03/174.14 eprover: CPU time limit exceeded, terminating
% 179.08/176.15 eprover: CPU time limit exceeded, terminating
% 181.10/178.16 eprover: CPU time limit exceeded, terminating
% 183.16/180.16 eprover: CPU time limit exceeded, terminating
% 185.19/182.17 eprover: CPU time limit exceeded, terminating
% 187.22/184.18 eprover: CPU time limit exceeded, terminating
% 189.27/186.19 eprover: CPU time limit exceeded, terminating
% 191.35/188.20 eprover: CPU time limit exceeded, terminating
% 193.37/190.21 eprover: CPU time limit exceeded, terminating
% 195.41/192.22 eprover: CPU time limit exceeded, terminating
% 197.44/194.23 eprover: CPU time limit exceeded, terminating
% 199.49/196.24 eprover: CPU time limit exceeded, terminating
% 201.53/198.25 eprover: CPU time limit exceeded, terminating
% 203.59/200.26 eprover: CPU time limit exceeded, terminating
% 205.65/202.27 eprover: CPU time limit exceeded, terminating
% 207.68/204.28 eprover: CPU time limit exceeded, terminating
% 209.72/206.29 eprover: CPU time limit exceeded, terminating
% 211.81/208.30 eprover: CPU time limit exceeded, terminating
% 213.80/210.31 eprover: CPU time limit exceeded, terminating
% 215.82/212.32 eprover: CPU time limit exceeded, terminating
% 217.86/214.33 eprover: CPU time limit exceeded, terminating
% 219.92/216.34 eprover: CPU time limit exceeded, terminating
% 222.00/218.35 eprover: CPU time limit exceeded, terminating
% 224.07/220.36 eprover: CPU time limit exceeded, terminating
% 226.12/222.37 eprover: CPU time limit exceeded, terminating
% 228.14/224.38 eprover: CPU time limit exceeded, terminating
% 230.17/226.39 eprover: CPU time limit exceeded, terminating
% 232.26/228.40 eprover: CPU time limit exceeded, terminating
% 234.28/230.41 eprover: CPU time limit exceeded, terminating
% 236.33/232.42 eprover: CPU time limit exceeded, terminating
% 238.35/234.43 eprover: CPU time limit exceeded, terminating
% 240.37/236.44 eprover: CPU time limit exceeded, terminating
% 242.49/238.45 eprover: CPU time limit exceeded, terminating
% 244.52/240.46 eprover: CPU time limit exceeded, terminating
% 246.56/242.47 eprover: CPU time limit exceeded, terminating
% 248.61/244.48 eprover: CPU time limit exceeded, terminating
% 250.65/246.49 eprover: CPU time limit exceeded, terminating
% 252.69/248.50 eprover: CPU time limit exceeded, terminating
% 254.72/250.51 eprover: CPU time limit exceeded, terminating
% 256.74/252.52 eprover: CPU time limit exceeded, terminating
% 258.78/254.53 eprover: CPU time limit exceeded, terminating
% 260.90/256.54 eprover: CPU time limit exceeded, terminating
% 262.93/258.55 eprover: CPU time limit exceeded, terminating
% 264.96/260.56 eprover: CPU time limit exceeded, terminating
% 267.01/262.57 eprover: CPU time limit exceeded, terminating
% 269.07/264.58 eprover: CPU time limit exceeded, terminating
% 271.11/266.59 eprover: CPU time limit exceeded, terminating
% 273.13/268.60 eprover: CPU time limit exceeded, terminating
% 275.19/270.61 eprover: CPU time limit exceeded, terminating
% 277.21/272.62 eprover: CPU time limit exceeded, terminating
% 279.31/274.63 eprover: CPU time limit exceeded, terminating
% 281.35/276.64 eprover: CPU time limit exceeded, terminating
% 283.41/278.65 eprover: CPU time limit exceeded, terminating
% 285.43/280.66 eprover: CPU time limit exceeded, terminating
% 287.47/282.67 eprover: CPU time limit exceeded, terminating
% 289.50/284.68 eprover: CPU time limit exceeded, terminating
% 291.57/286.69 eprover: CPU time limit exceeded, terminating
% 293.58/288.70 eprover: CPU time limit exceeded, terminating
% 295.64/290.71 eprover: CPU time limit exceeded, terminating
% 297.66/292.72 eprover: CPU time limit exceeded, terminating
% 299.75/294.73 eprover: CPU time limit exceeded, terminating
% 300.39/295.33 eprover: CPU time limit exceeded, terminating
% 300.39/295.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------