TSTP Solution File: NUM730+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM730+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n009.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:40:07 EDT 2022
% Result : Timeout 287.40s 280.80s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NUM730+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n009.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Thu Jul 7 17:25:37 EDT 2022
% 0.12/0.34 % CPUTime :
% 3.37/3.54 eprover: CPU time limit exceeded, terminating
% 5.46/5.55 eprover: CPU time limit exceeded, terminating
% 7.48/7.56 eprover: CPU time limit exceeded, terminating
% 9.55/9.57 eprover: CPU time limit exceeded, terminating
% 11.60/11.58 eprover: CPU time limit exceeded, terminating
% 13.64/13.59 eprover: CPU time limit exceeded, terminating
% 15.74/15.60 eprover: CPU time limit exceeded, terminating
% 17.81/17.61 eprover: CPU time limit exceeded, terminating
% 19.87/19.62 eprover: CPU time limit exceeded, terminating
% 21.92/21.62 eprover: CPU time limit exceeded, terminating
% 23.98/23.63 eprover: CPU time limit exceeded, terminating
% 26.05/25.64 eprover: CPU time limit exceeded, terminating
% 28.09/27.65 eprover: CPU time limit exceeded, terminating
% 30.16/29.66 eprover: CPU time limit exceeded, terminating
% 32.19/31.67 eprover: CPU time limit exceeded, terminating
% 34.28/33.68 eprover: CPU time limit exceeded, terminating
% 36.30/35.69 eprover: CPU time limit exceeded, terminating
% 38.39/37.70 eprover: CPU time limit exceeded, terminating
% 40.40/39.71 eprover: CPU time limit exceeded, terminating
% 42.50/41.71 eprover: CPU time limit exceeded, terminating
% 44.49/43.72 eprover: CPU time limit exceeded, terminating
% 46.61/45.73 eprover: CPU time limit exceeded, terminating
% 48.68/47.74 eprover: CPU time limit exceeded, terminating
% 50.71/49.75 eprover: CPU time limit exceeded, terminating
% 52.78/51.76 eprover: CPU time limit exceeded, terminating
% 54.89/53.77 eprover: CPU time limit exceeded, terminating
% 56.90/55.78 eprover: CPU time limit exceeded, terminating
% 58.95/57.79 eprover: CPU time limit exceeded, terminating
% 61.05/59.79 eprover: CPU time limit exceeded, terminating
% 63.11/61.80 eprover: CPU time limit exceeded, terminating
% 65.16/63.81 eprover: CPU time limit exceeded, terminating
% 67.23/65.82 eprover: CPU time limit exceeded, terminating
% 69.30/67.83 eprover: CPU time limit exceeded, terminating
% 71.34/69.84 eprover: CPU time limit exceeded, terminating
% 73.36/71.85 eprover: CPU time limit exceeded, terminating
% 75.44/73.86 eprover: CPU time limit exceeded, terminating
% 77.45/75.87 eprover: CPU time limit exceeded, terminating
% 79.55/77.88 eprover: CPU time limit exceeded, terminating
% 81.56/79.89 eprover: CPU time limit exceeded, terminating
% 83.67/81.90 eprover: CPU time limit exceeded, terminating
% 85.74/83.91 eprover: CPU time limit exceeded, terminating
% 87.81/85.92 eprover: CPU time limit exceeded, terminating
% 89.84/87.92 eprover: CPU time limit exceeded, terminating
% 91.92/89.93 eprover: CPU time limit exceeded, terminating
% 93.98/91.94 eprover: CPU time limit exceeded, terminating
% 95.99/93.95 eprover: CPU time limit exceeded, terminating
% 98.02/95.96 eprover: CPU time limit exceeded, terminating
% 100.17/97.97 eprover: CPU time limit exceeded, terminating
% 102.17/99.98 eprover: CPU time limit exceeded, terminating
% 104.29/101.99 eprover: CPU time limit exceeded, terminating
% 106.26/104.00 eprover: CPU time limit exceeded, terminating
% 108.33/106.01 eprover: CPU time limit exceeded, terminating
% 110.45/108.01 eprover: CPU time limit exceeded, terminating
% 112.52/110.02 eprover: CPU time limit exceeded, terminating
% 114.57/112.03 eprover: CPU time limit exceeded, terminating
% 116.59/114.04 eprover: CPU time limit exceeded, terminating
% 118.63/116.05 eprover: CPU time limit exceeded, terminating
% 120.71/118.06 eprover: CPU time limit exceeded, terminating
% 122.75/120.07 eprover: CPU time limit exceeded, terminating
% 124.80/122.08 eprover: CPU time limit exceeded, terminating
% 126.90/124.09 eprover: CPU time limit exceeded, terminating
% 128.91/126.10 eprover: CPU time limit exceeded, terminating
% 131.04/128.10 eprover: CPU time limit exceeded, terminating
% 133.01/130.11 eprover: CPU time limit exceeded, terminating
% 135.13/132.12 eprover: CPU time limit exceeded, terminating
% 137.20/134.13 eprover: CPU time limit exceeded, terminating
% 139.20/136.14 eprover: CPU time limit exceeded, terminating
% 141.29/138.15 eprover: CPU time limit exceeded, terminating
% 143.39/140.16 eprover: CPU time limit exceeded, terminating
% 145.40/142.17 eprover: CPU time limit exceeded, terminating
% 147.50/144.18 eprover: CPU time limit exceeded, terminating
% 149.51/146.19 eprover: CPU time limit exceeded, terminating
% 151.61/148.20 eprover: CPU time limit exceeded, terminating
% 153.61/150.20 eprover: CPU time limit exceeded, terminating
% 155.73/152.22 eprover: CPU time limit exceeded, terminating
% 157.78/154.22 eprover: CPU time limit exceeded, terminating
% 159.81/156.23 eprover: CPU time limit exceeded, terminating
% 161.87/158.24 eprover: CPU time limit exceeded, terminating
% 163.94/160.25 eprover: CPU time limit exceeded, terminating
% 165.96/162.26 eprover: CPU time limit exceeded, terminating
% 168.04/164.27 eprover: CPU time limit exceeded, terminating
% 170.06/166.28 eprover: CPU time limit exceeded, terminating
% 172.18/168.29 eprover: CPU time limit exceeded, terminating
% 174.25/170.30 eprover: CPU time limit exceeded, terminating
% 176.27/172.31 eprover: CPU time limit exceeded, terminating
% 178.34/174.32 eprover: CPU time limit exceeded, terminating
% 180.39/176.32 eprover: CPU time limit exceeded, terminating
% 182.47/178.33 eprover: CPU time limit exceeded, terminating
% 184.50/180.34 eprover: CPU time limit exceeded, terminating
% 186.59/182.35 eprover: CPU time limit exceeded, terminating
% 188.56/184.36 eprover: CPU time limit exceeded, terminating
% 190.72/186.37 eprover: CPU time limit exceeded, terminating
% 192.77/188.38 eprover: CPU time limit exceeded, terminating
% 194.79/190.39 eprover: CPU time limit exceeded, terminating
% 196.89/192.40 eprover: CPU time limit exceeded, terminating
% 198.88/194.41 eprover: CPU time limit exceeded, terminating
% 201.01/196.41 eprover: CPU time limit exceeded, terminating
% 203.03/198.42 eprover: CPU time limit exceeded, terminating
% 205.09/200.43 eprover: CPU time limit exceeded, terminating
% 207.13/202.44 eprover: CPU time limit exceeded, terminating
% 209.18/204.45 eprover: CPU time limit exceeded, terminating
% 211.27/206.46 eprover: CPU time limit exceeded, terminating
% 213.33/208.47 eprover: CPU time limit exceeded, terminating
% 215.36/210.48 eprover: CPU time limit exceeded, terminating
% 217.48/212.49 eprover: CPU time limit exceeded, terminating
% 219.54/214.50 eprover: CPU time limit exceeded, terminating
% 221.58/216.51 eprover: CPU time limit exceeded, terminating
% 223.55/218.52 eprover: CPU time limit exceeded, terminating
% 225.72/220.53 eprover: CPU time limit exceeded, terminating
% 227.75/222.54 eprover: CPU time limit exceeded, terminating
% 229.83/224.55 eprover: CPU time limit exceeded, terminating
% 231.82/226.56 eprover: CPU time limit exceeded, terminating
% 233.91/228.56 eprover: CPU time limit exceeded, terminating
% 236.00/230.57 eprover: CPU time limit exceeded, terminating
% 238.00/232.58 eprover: CPU time limit exceeded, terminating
% 240.10/234.59 eprover: CPU time limit exceeded, terminating
% 242.19/236.60 eprover: CPU time limit exceeded, terminating
% 244.23/238.61 eprover: CPU time limit exceeded, terminating
% 246.30/240.62 eprover: CPU time limit exceeded, terminating
% 248.37/242.63 eprover: CPU time limit exceeded, terminating
% 250.42/244.64 eprover: CPU time limit exceeded, terminating
% 252.46/246.65 eprover: CPU time limit exceeded, terminating
% 254.46/248.65 eprover: CPU time limit exceeded, terminating
% 256.55/250.66 eprover: CPU time limit exceeded, terminating
% 258.65/252.67 eprover: CPU time limit exceeded, terminating
% 260.67/254.68 eprover: CPU time limit exceeded, terminating
% 262.74/256.69 eprover: CPU time limit exceeded, terminating
% 264.82/258.70 eprover: CPU time limit exceeded, terminating
% 266.81/260.71 eprover: CPU time limit exceeded, terminating
% 268.92/262.72 eprover: CPU time limit exceeded, terminating
% 270.99/264.73 eprover: CPU time limit exceeded, terminating
% 273.04/266.74 eprover: CPU time limit exceeded, terminating
% 275.10/268.75 eprover: CPU time limit exceeded, terminating
% 277.13/270.75 eprover: CPU time limit exceeded, terminating
% 279.21/272.76 eprover: CPU time limit exceeded, terminating
% 281.27/274.77 eprover: CPU time limit exceeded, terminating
% 283.37/276.78 eprover: CPU time limit exceeded, terminating
% 285.42/278.79 eprover: CPU time limit exceeded, terminating
% 287.40/280.80 eprover: CPU time limit exceeded, terminating
% 289.48/282.81 eprover: CPU time limit exceeded, terminating
% 291.55/284.82 eprover: CPU time limit exceeded, terminating
% 293.64/286.83 eprover: CPU time limit exceeded, terminating
% 295.70/288.84 eprover: CPU time limit exceeded, terminating
% 297.73/290.84 eprover: CPU time limit exceeded, terminating
% 299.82/292.85 eprover: CPU time limit exceeded, terminating
% 300.03/293.04 eprover: CPU time limit exceeded, terminating
% 300.03/293.06 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------