TSTP Solution File: NUM706+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM706+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:53 EDT 2022
% Result : Timeout 286.68s 281.35s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUM706+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n029.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 : Wed Jul 6 05:27:43 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.06/3.34 eprover: CPU time limit exceeded, terminating
% 5.20/5.35 eprover: CPU time limit exceeded, terminating
% 7.26/7.37 eprover: CPU time limit exceeded, terminating
% 9.30/9.38 eprover: CPU time limit exceeded, terminating
% 11.35/11.39 eprover: CPU time limit exceeded, terminating
% 13.35/13.41 eprover: CPU time limit exceeded, terminating
% 15.43/15.42 eprover: CPU time limit exceeded, terminating
% 17.55/17.43 eprover: CPU time limit exceeded, terminating
% 19.51/19.45 eprover: CPU time limit exceeded, terminating
% 21.64/21.46 eprover: CPU time limit exceeded, terminating
% 23.71/23.47 eprover: CPU time limit exceeded, terminating
% 25.74/25.49 eprover: CPU time limit exceeded, terminating
% 27.80/27.50 eprover: CPU time limit exceeded, terminating
% 29.86/29.51 eprover: CPU time limit exceeded, terminating
% 31.88/31.53 eprover: CPU time limit exceeded, terminating
% 33.88/33.54 eprover: CPU time limit exceeded, terminating
% 36.01/35.55 eprover: CPU time limit exceeded, terminating
% 38.05/37.56 eprover: CPU time limit exceeded, terminating
% 40.07/39.57 eprover: CPU time limit exceeded, terminating
% 42.11/41.58 eprover: CPU time limit exceeded, terminating
% 44.16/43.59 eprover: CPU time limit exceeded, terminating
% 46.24/45.60 eprover: CPU time limit exceeded, terminating
% 48.22/47.61 eprover: CPU time limit exceeded, terminating
% 50.30/49.63 eprover: CPU time limit exceeded, terminating
% 52.43/51.64 eprover: CPU time limit exceeded, terminating
% 54.46/53.66 eprover: CPU time limit exceeded, terminating
% 56.54/55.67 eprover: CPU time limit exceeded, terminating
% 58.56/57.69 eprover: CPU time limit exceeded, terminating
% 60.61/59.70 eprover: CPU time limit exceeded, terminating
% 62.69/61.72 eprover: CPU time limit exceeded, terminating
% 64.68/63.73 eprover: CPU time limit exceeded, terminating
% 66.76/65.75 eprover: CPU time limit exceeded, terminating
% 68.86/67.76 eprover: CPU time limit exceeded, terminating
% 70.89/69.78 eprover: CPU time limit exceeded, terminating
% 72.93/71.79 eprover: CPU time limit exceeded, terminating
% 74.99/73.80 eprover: CPU time limit exceeded, terminating
% 77.07/75.82 eprover: CPU time limit exceeded, terminating
% 79.09/77.84 eprover: CPU time limit exceeded, terminating
% 81.18/79.85 eprover: CPU time limit exceeded, terminating
% 83.26/81.87 eprover: CPU time limit exceeded, terminating
% 85.26/83.88 eprover: CPU time limit exceeded, terminating
% 87.37/85.90 eprover: CPU time limit exceeded, terminating
% 89.39/87.91 eprover: CPU time limit exceeded, terminating
% 91.44/89.93 eprover: CPU time limit exceeded, terminating
% 93.47/91.94 eprover: CPU time limit exceeded, terminating
% 95.55/93.96 eprover: CPU time limit exceeded, terminating
% 97.62/95.97 eprover: CPU time limit exceeded, terminating
% 99.64/97.99 eprover: CPU time limit exceeded, terminating
% 101.68/100.00 eprover: CPU time limit exceeded, terminating
% 103.77/102.02 eprover: CPU time limit exceeded, terminating
% 105.85/104.03 eprover: CPU time limit exceeded, terminating
% 107.87/106.05 eprover: CPU time limit exceeded, terminating
% 109.93/108.06 eprover: CPU time limit exceeded, terminating
% 111.99/110.08 eprover: CPU time limit exceeded, terminating
% 114.01/112.09 eprover: CPU time limit exceeded, terminating
% 116.08/114.11 eprover: CPU time limit exceeded, terminating
% 118.20/116.12 eprover: CPU time limit exceeded, terminating
% 120.24/118.14 eprover: CPU time limit exceeded, terminating
% 122.30/120.15 eprover: CPU time limit exceeded, terminating
% 124.29/122.17 eprover: CPU time limit exceeded, terminating
% 126.43/124.18 eprover: CPU time limit exceeded, terminating
% 128.48/126.20 eprover: CPU time limit exceeded, terminating
% 130.54/128.22 eprover: CPU time limit exceeded, terminating
% 132.58/130.23 eprover: CPU time limit exceeded, terminating
% 134.58/132.25 eprover: CPU time limit exceeded, terminating
% 136.64/134.26 eprover: CPU time limit exceeded, terminating
% 138.72/136.28 eprover: CPU time limit exceeded, terminating
% 140.84/138.29 eprover: CPU time limit exceeded, terminating
% 142.88/140.31 eprover: CPU time limit exceeded, terminating
% 144.94/142.32 eprover: CPU time limit exceeded, terminating
% 146.97/144.34 eprover: CPU time limit exceeded, terminating
% 148.96/146.35 eprover: CPU time limit exceeded, terminating
% 151.03/148.37 eprover: CPU time limit exceeded, terminating
% 153.11/150.38 eprover: CPU time limit exceeded, terminating
% 155.13/152.40 eprover: CPU time limit exceeded, terminating
% 157.22/154.41 eprover: CPU time limit exceeded, terminating
% 159.29/156.43 eprover: CPU time limit exceeded, terminating
% 161.34/158.44 eprover: CPU time limit exceeded, terminating
% 163.36/160.46 eprover: CPU time limit exceeded, terminating
% 165.43/162.47 eprover: CPU time limit exceeded, terminating
% 167.43/164.49 eprover: CPU time limit exceeded, terminating
% 169.59/166.51 eprover: CPU time limit exceeded, terminating
% 171.61/168.52 eprover: CPU time limit exceeded, terminating
% 173.67/170.54 eprover: CPU time limit exceeded, terminating
% 175.75/172.55 eprover: CPU time limit exceeded, terminating
% 177.80/174.56 eprover: CPU time limit exceeded, terminating
% 179.82/176.58 eprover: CPU time limit exceeded, terminating
% 181.92/178.60 eprover: CPU time limit exceeded, terminating
% 183.97/180.61 eprover: CPU time limit exceeded, terminating
% 185.95/182.63 eprover: CPU time limit exceeded, terminating
% 188.05/184.64 eprover: CPU time limit exceeded, terminating
% 190.12/186.66 eprover: CPU time limit exceeded, terminating
% 192.17/188.67 eprover: CPU time limit exceeded, terminating
% 194.26/190.69 eprover: CPU time limit exceeded, terminating
% 196.31/192.70 eprover: CPU time limit exceeded, terminating
% 198.36/194.72 eprover: CPU time limit exceeded, terminating
% 200.39/196.73 eprover: CPU time limit exceeded, terminating
% 202.47/198.74 eprover: CPU time limit exceeded, terminating
% 204.51/200.76 eprover: CPU time limit exceeded, terminating
% 206.54/202.77 eprover: CPU time limit exceeded, terminating
% 208.64/204.78 eprover: CPU time limit exceeded, terminating
% 210.63/206.80 eprover: CPU time limit exceeded, terminating
% 212.75/208.81 eprover: CPU time limit exceeded, terminating
% 214.79/210.83 eprover: CPU time limit exceeded, terminating
% 216.82/212.84 eprover: CPU time limit exceeded, terminating
% 218.87/214.86 eprover: CPU time limit exceeded, terminating
% 220.90/216.87 eprover: CPU time limit exceeded, terminating
% 222.95/218.89 eprover: CPU time limit exceeded, terminating
% 225.07/220.90 eprover: CPU time limit exceeded, terminating
% 227.12/222.92 eprover: CPU time limit exceeded, terminating
% 229.17/224.93 eprover: CPU time limit exceeded, terminating
% 231.23/226.95 eprover: CPU time limit exceeded, terminating
% 233.23/228.96 eprover: CPU time limit exceeded, terminating
% 235.38/230.98 eprover: CPU time limit exceeded, terminating
% 237.40/232.99 eprover: CPU time limit exceeded, terminating
% 239.47/235.01 eprover: CPU time limit exceeded, terminating
% 241.52/237.03 eprover: CPU time limit exceeded, terminating
% 243.55/239.04 eprover: CPU time limit exceeded, terminating
% 245.57/241.06 eprover: CPU time limit exceeded, terminating
% 247.63/243.07 eprover: CPU time limit exceeded, terminating
% 249.69/245.08 eprover: CPU time limit exceeded, terminating
% 251.69/247.10 eprover: CPU time limit exceeded, terminating
% 253.83/249.11 eprover: CPU time limit exceeded, terminating
% 255.85/251.13 eprover: CPU time limit exceeded, terminating
% 257.94/253.14 eprover: CPU time limit exceeded, terminating
% 260.00/255.16 eprover: CPU time limit exceeded, terminating
% 262.00/257.17 eprover: CPU time limit exceeded, terminating
% 264.08/259.19 eprover: CPU time limit exceeded, terminating
% 266.19/261.20 eprover: CPU time limit exceeded, terminating
% 268.23/263.22 eprover: CPU time limit exceeded, terminating
% 270.27/265.23 eprover: CPU time limit exceeded, terminating
% 272.33/267.25 eprover: CPU time limit exceeded, terminating
% 274.33/269.26 eprover: CPU time limit exceeded, terminating
% 276.40/271.28 eprover: CPU time limit exceeded, terminating
% 278.46/273.29 eprover: CPU time limit exceeded, terminating
% 280.57/275.31 eprover: CPU time limit exceeded, terminating
% 282.61/277.32 eprover: CPU time limit exceeded, terminating
% 284.64/279.34 eprover: CPU time limit exceeded, terminating
% 286.68/281.35 eprover: CPU time limit exceeded, terminating
% 288.74/283.36 eprover: CPU time limit exceeded, terminating
% 290.80/285.38 eprover: CPU time limit exceeded, terminating
% 292.90/287.39 eprover: CPU time limit exceeded, terminating
% 294.86/289.41 eprover: CPU time limit exceeded, terminating
% 297.00/291.42 eprover: CPU time limit exceeded, terminating
% 299.04/293.44 eprover: CPU time limit exceeded, terminating
% 300.08/294.41 eprover: CPU time limit exceeded, terminating
% 300.08/294.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------