TSTP Solution File: NUM710+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM710+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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:56 EDT 2022
% Result : Timeout 287.67s 282.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUM710+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n028.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Tue Jul 5 11:30:51 EDT 2022
% 0.14/0.34 % CPUTime :
% 3.19/3.35 eprover: CPU time limit exceeded, terminating
% 5.24/5.36 eprover: CPU time limit exceeded, terminating
% 7.29/7.37 eprover: CPU time limit exceeded, terminating
% 9.34/9.38 eprover: CPU time limit exceeded, terminating
% 11.37/11.39 eprover: CPU time limit exceeded, terminating
% 13.45/13.40 eprover: CPU time limit exceeded, terminating
% 15.45/15.40 eprover: CPU time limit exceeded, terminating
% 17.52/17.41 eprover: CPU time limit exceeded, terminating
% 19.52/19.42 eprover: CPU time limit exceeded, terminating
% 21.59/21.43 eprover: CPU time limit exceeded, terminating
% 23.67/23.44 eprover: CPU time limit exceeded, terminating
% 25.67/25.45 eprover: CPU time limit exceeded, terminating
% 27.75/27.46 eprover: CPU time limit exceeded, terminating
% 29.84/29.47 eprover: CPU time limit exceeded, terminating
% 31.83/31.48 eprover: CPU time limit exceeded, terminating
% 33.93/33.49 eprover: CPU time limit exceeded, terminating
% 35.92/35.50 eprover: CPU time limit exceeded, terminating
% 38.00/37.50 eprover: CPU time limit exceeded, terminating
% 40.06/39.51 eprover: CPU time limit exceeded, terminating
% 42.09/41.52 eprover: CPU time limit exceeded, terminating
% 44.16/43.53 eprover: CPU time limit exceeded, terminating
% 46.14/45.54 eprover: CPU time limit exceeded, terminating
% 48.24/47.55 eprover: CPU time limit exceeded, terminating
% 50.29/49.56 eprover: CPU time limit exceeded, terminating
% 52.33/51.57 eprover: CPU time limit exceeded, terminating
% 54.39/53.58 eprover: CPU time limit exceeded, terminating
% 56.41/55.59 eprover: CPU time limit exceeded, terminating
% 58.47/57.60 eprover: CPU time limit exceeded, terminating
% 60.53/59.61 eprover: CPU time limit exceeded, terminating
% 62.56/61.62 eprover: CPU time limit exceeded, terminating
% 64.55/63.63 eprover: CPU time limit exceeded, terminating
% 66.63/65.63 eprover: CPU time limit exceeded, terminating
% 68.70/67.64 eprover: CPU time limit exceeded, terminating
% 70.68/69.65 eprover: CPU time limit exceeded, terminating
% 72.78/71.66 eprover: CPU time limit exceeded, terminating
% 74.86/73.67 eprover: CPU time limit exceeded, terminating
% 76.86/75.68 eprover: CPU time limit exceeded, terminating
% 78.95/77.69 eprover: CPU time limit exceeded, terminating
% 80.95/79.70 eprover: CPU time limit exceeded, terminating
% 83.03/81.71 eprover: CPU time limit exceeded, terminating
% 85.08/83.72 eprover: CPU time limit exceeded, terminating
% 87.12/85.73 eprover: CPU time limit exceeded, terminating
% 89.19/87.74 eprover: CPU time limit exceeded, terminating
% 91.25/89.75 eprover: CPU time limit exceeded, terminating
% 93.28/91.76 eprover: CPU time limit exceeded, terminating
% 95.33/93.77 eprover: CPU time limit exceeded, terminating
% 97.39/95.78 eprover: CPU time limit exceeded, terminating
% 99.40/97.79 eprover: CPU time limit exceeded, terminating
% 101.47/99.80 eprover: CPU time limit exceeded, terminating
% 103.52/101.81 eprover: CPU time limit exceeded, terminating
% 105.53/103.82 eprover: CPU time limit exceeded, terminating
% 107.61/105.83 eprover: CPU time limit exceeded, terminating
% 109.67/107.84 eprover: CPU time limit exceeded, terminating
% 111.70/109.85 eprover: CPU time limit exceeded, terminating
% 113.74/111.86 eprover: CPU time limit exceeded, terminating
% 115.76/113.87 eprover: CPU time limit exceeded, terminating
% 117.80/115.88 eprover: CPU time limit exceeded, terminating
% 119.88/117.89 eprover: CPU time limit exceeded, terminating
% 121.95/119.90 eprover: CPU time limit exceeded, terminating
% 123.98/121.91 eprover: CPU time limit exceeded, terminating
% 126.02/123.92 eprover: CPU time limit exceeded, terminating
% 128.08/125.93 eprover: CPU time limit exceeded, terminating
% 130.13/127.93 eprover: CPU time limit exceeded, terminating
% 132.18/129.94 eprover: CPU time limit exceeded, terminating
% 134.18/131.95 eprover: CPU time limit exceeded, terminating
% 136.27/133.96 eprover: CPU time limit exceeded, terminating
% 138.26/135.97 eprover: CPU time limit exceeded, terminating
% 140.34/137.98 eprover: CPU time limit exceeded, terminating
% 142.36/139.99 eprover: CPU time limit exceeded, terminating
% 144.49/142.00 eprover: CPU time limit exceeded, terminating
% 146.49/144.01 eprover: CPU time limit exceeded, terminating
% 148.55/146.02 eprover: CPU time limit exceeded, terminating
% 150.56/148.03 eprover: CPU time limit exceeded, terminating
% 152.64/150.04 eprover: CPU time limit exceeded, terminating
% 154.72/152.05 eprover: CPU time limit exceeded, terminating
% 156.72/154.06 eprover: CPU time limit exceeded, terminating
% 158.77/156.07 eprover: CPU time limit exceeded, terminating
% 160.80/158.08 eprover: CPU time limit exceeded, terminating
% 162.84/160.09 eprover: CPU time limit exceeded, terminating
% 164.94/162.10 eprover: CPU time limit exceeded, terminating
% 166.90/164.11 eprover: CPU time limit exceeded, terminating
% 169.04/166.12 eprover: CPU time limit exceeded, terminating
% 171.04/168.12 eprover: CPU time limit exceeded, terminating
% 173.14/170.13 eprover: CPU time limit exceeded, terminating
% 175.11/172.14 eprover: CPU time limit exceeded, terminating
% 177.20/174.15 eprover: CPU time limit exceeded, terminating
% 179.27/176.16 eprover: CPU time limit exceeded, terminating
% 181.32/178.17 eprover: CPU time limit exceeded, terminating
% 183.37/180.18 eprover: CPU time limit exceeded, terminating
% 185.41/182.19 eprover: CPU time limit exceeded, terminating
% 187.40/184.20 eprover: CPU time limit exceeded, terminating
% 189.49/186.21 eprover: CPU time limit exceeded, terminating
% 191.54/188.22 eprover: CPU time limit exceeded, terminating
% 193.60/190.23 eprover: CPU time limit exceeded, terminating
% 195.64/192.24 eprover: CPU time limit exceeded, terminating
% 197.64/194.25 eprover: CPU time limit exceeded, terminating
% 199.71/196.26 eprover: CPU time limit exceeded, terminating
% 201.77/198.27 eprover: CPU time limit exceeded, terminating
% 203.83/200.28 eprover: CPU time limit exceeded, terminating
% 205.89/202.29 eprover: CPU time limit exceeded, terminating
% 207.88/204.29 eprover: CPU time limit exceeded, terminating
% 209.97/206.30 eprover: CPU time limit exceeded, terminating
% 212.02/208.31 eprover: CPU time limit exceeded, terminating
% 214.07/210.32 eprover: CPU time limit exceeded, terminating
% 216.13/212.33 eprover: CPU time limit exceeded, terminating
% 218.13/214.34 eprover: CPU time limit exceeded, terminating
% 220.18/216.35 eprover: CPU time limit exceeded, terminating
% 222.26/218.36 eprover: CPU time limit exceeded, terminating
% 224.24/220.37 eprover: CPU time limit exceeded, terminating
% 226.35/222.38 eprover: CPU time limit exceeded, terminating
% 228.37/224.39 eprover: CPU time limit exceeded, terminating
% 230.46/226.40 eprover: CPU time limit exceeded, terminating
% 232.47/228.41 eprover: CPU time limit exceeded, terminating
% 234.55/230.43 eprover: CPU time limit exceeded, terminating
% 236.60/232.45 eprover: CPU time limit exceeded, terminating
% 238.59/234.46 eprover: CPU time limit exceeded, terminating
% 240.65/236.48 eprover: CPU time limit exceeded, terminating
% 242.72/238.49 eprover: CPU time limit exceeded, terminating
% 244.78/240.50 eprover: CPU time limit exceeded, terminating
% 246.77/242.51 eprover: CPU time limit exceeded, terminating
% 248.88/244.52 eprover: CPU time limit exceeded, terminating
% 250.93/246.53 eprover: CPU time limit exceeded, terminating
% 252.93/248.54 eprover: CPU time limit exceeded, terminating
% 255.00/250.55 eprover: CPU time limit exceeded, terminating
% 257.06/252.57 eprover: CPU time limit exceeded, terminating
% 259.04/254.58 eprover: CPU time limit exceeded, terminating
% 261.10/256.61 eprover: CPU time limit exceeded, terminating
% 263.18/258.62 eprover: CPU time limit exceeded, terminating
% 265.16/260.63 eprover: CPU time limit exceeded, terminating
% 267.25/262.64 eprover: CPU time limit exceeded, terminating
% 269.31/264.66 eprover: CPU time limit exceeded, terminating
% 271.37/266.67 eprover: CPU time limit exceeded, terminating
% 273.35/268.68 eprover: CPU time limit exceeded, terminating
% 275.48/270.69 eprover: CPU time limit exceeded, terminating
% 277.54/272.71 eprover: CPU time limit exceeded, terminating
% 279.58/274.73 eprover: CPU time limit exceeded, terminating
% 281.59/276.74 eprover: CPU time limit exceeded, terminating
% 283.61/278.75 eprover: CPU time limit exceeded, terminating
% 285.66/280.76 eprover: CPU time limit exceeded, terminating
% 287.67/282.77 eprover: CPU time limit exceeded, terminating
% 289.71/284.79 eprover: CPU time limit exceeded, terminating
% 291.84/286.82 eprover: CPU time limit exceeded, terminating
% 293.90/288.83 eprover: CPU time limit exceeded, terminating
% 295.91/290.84 eprover: CPU time limit exceeded, terminating
% 297.95/292.86 eprover: CPU time limit exceeded, terminating
% 300.02/294.84 eprover: CPU time limit exceeded, terminating
% 300.02/294.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------