TSTP Solution File: NUM357+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM357+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:36:16 EDT 2022
% Result : Timeout 286.09s 284.83s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.14 % Problem : NUM357+1 : TPTP v8.1.0. Released v3.1.0.
% 0.12/0.14 % Command : run_infinox %s
% 0.14/0.36 % Computer : n020.cluster.edu
% 0.14/0.36 % Model : x86_64 x86_64
% 0.14/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.36 % Memory : 8042.1875MB
% 0.14/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.36 % CPULimit : 300
% 0.14/0.36 % WCLimit : 600
% 0.14/0.36 % DateTime : Thu Jul 7 11:41:14 EDT 2022
% 0.14/0.36 % CPUTime :
% 2.36/2.55 eprover: CPU time limit exceeded, terminating
% 4.40/4.57 eprover: CPU time limit exceeded, terminating
% 6.43/6.58 eprover: CPU time limit exceeded, terminating
% 8.44/8.60 eprover: CPU time limit exceeded, terminating
% 10.47/10.61 eprover: CPU time limit exceeded, terminating
% 12.42/12.62 eprover: CPU time limit exceeded, terminating
% 14.52/14.64 eprover: CPU time limit exceeded, terminating
% 16.57/16.68 eprover: CPU time limit exceeded, terminating
% 18.58/18.69 eprover: CPU time limit exceeded, terminating
% 20.57/20.70 eprover: CPU time limit exceeded, terminating
% 22.63/22.71 eprover: CPU time limit exceeded, terminating
% 24.66/24.73 eprover: CPU time limit exceeded, terminating
% 26.68/26.74 eprover: CPU time limit exceeded, terminating
% 28.69/28.75 eprover: CPU time limit exceeded, terminating
% 30.65/30.76 eprover: CPU time limit exceeded, terminating
% 32.73/32.77 eprover: CPU time limit exceeded, terminating
% 34.78/34.79 eprover: CPU time limit exceeded, terminating
% 36.79/36.80 eprover: CPU time limit exceeded, terminating
% 38.78/38.82 eprover: CPU time limit exceeded, terminating
% 40.78/40.83 eprover: CPU time limit exceeded, terminating
% 42.84/42.85 eprover: CPU time limit exceeded, terminating
% 44.91/44.86 eprover: CPU time limit exceeded, terminating
% 46.93/46.88 eprover: CPU time limit exceeded, terminating
% 48.93/48.89 eprover: CPU time limit exceeded, terminating
% 50.91/50.91 eprover: CPU time limit exceeded, terminating
% 53.01/52.92 eprover: CPU time limit exceeded, terminating
% 54.93/54.94 eprover: CPU time limit exceeded, terminating
% 57.03/56.96 eprover: CPU time limit exceeded, terminating
% 59.07/58.97 eprover: CPU time limit exceeded, terminating
% 61.05/60.99 eprover: CPU time limit exceeded, terminating
% 63.09/63.01 eprover: CPU time limit exceeded, terminating
% 65.09/65.02 eprover: CPU time limit exceeded, terminating
% 67.18/67.04 eprover: CPU time limit exceeded, terminating
% 69.16/69.06 eprover: CPU time limit exceeded, terminating
% 71.23/71.07 eprover: CPU time limit exceeded, terminating
% 73.23/73.09 eprover: CPU time limit exceeded, terminating
% 75.27/75.10 eprover: CPU time limit exceeded, terminating
% 77.26/77.12 eprover: CPU time limit exceeded, terminating
% 79.27/79.14 eprover: CPU time limit exceeded, terminating
% 81.34/81.15 eprover: CPU time limit exceeded, terminating
% 83.38/83.17 eprover: CPU time limit exceeded, terminating
% 85.40/85.19 eprover: CPU time limit exceeded, terminating
% 87.40/87.20 eprover: CPU time limit exceeded, terminating
% 89.45/89.22 eprover: CPU time limit exceeded, terminating
% 91.49/91.24 eprover: CPU time limit exceeded, terminating
% 93.47/93.25 eprover: CPU time limit exceeded, terminating
% 95.56/95.27 eprover: CPU time limit exceeded, terminating
% 97.55/97.28 eprover: CPU time limit exceeded, terminating
% 99.58/99.30 eprover: CPU time limit exceeded, terminating
% 101.63/101.32 eprover: CPU time limit exceeded, terminating
% 103.61/103.33 eprover: CPU time limit exceeded, terminating
% 105.65/105.35 eprover: CPU time limit exceeded, terminating
% 107.64/107.36 eprover: CPU time limit exceeded, terminating
% 109.73/109.38 eprover: CPU time limit exceeded, terminating
% 111.77/111.40 eprover: CPU time limit exceeded, terminating
% 113.73/113.41 eprover: CPU time limit exceeded, terminating
% 115.73/115.43 eprover: CPU time limit exceeded, terminating
% 117.77/117.44 eprover: CPU time limit exceeded, terminating
% 119.87/119.46 eprover: CPU time limit exceeded, terminating
% 121.90/121.48 eprover: CPU time limit exceeded, terminating
% 123.91/123.49 eprover: CPU time limit exceeded, terminating
% 125.95/125.51 eprover: CPU time limit exceeded, terminating
% 127.98/127.53 eprover: CPU time limit exceeded, terminating
% 129.99/129.54 eprover: CPU time limit exceeded, terminating
% 131.99/131.56 eprover: CPU time limit exceeded, terminating
% 134.03/133.58 eprover: CPU time limit exceeded, terminating
% 136.08/135.59 eprover: CPU time limit exceeded, terminating
% 138.05/137.61 eprover: CPU time limit exceeded, terminating
% 140.09/139.63 eprover: CPU time limit exceeded, terminating
% 142.17/141.65 eprover: CPU time limit exceeded, terminating
% 144.18/143.66 eprover: CPU time limit exceeded, terminating
% 146.18/145.68 eprover: CPU time limit exceeded, terminating
% 148.22/147.70 eprover: CPU time limit exceeded, terminating
% 150.23/149.71 eprover: CPU time limit exceeded, terminating
% 152.28/151.73 eprover: CPU time limit exceeded, terminating
% 154.33/153.75 eprover: CPU time limit exceeded, terminating
% 156.35/155.77 eprover: CPU time limit exceeded, terminating
% 158.38/157.78 eprover: CPU time limit exceeded, terminating
% 160.40/159.80 eprover: CPU time limit exceeded, terminating
% 162.39/161.82 eprover: CPU time limit exceeded, terminating
% 164.40/163.83 eprover: CPU time limit exceeded, terminating
% 166.48/165.85 eprover: CPU time limit exceeded, terminating
% 168.51/167.87 eprover: CPU time limit exceeded, terminating
% 170.55/169.88 eprover: CPU time limit exceeded, terminating
% 172.56/171.90 eprover: CPU time limit exceeded, terminating
% 174.61/173.91 eprover: CPU time limit exceeded, terminating
% 176.61/175.93 eprover: CPU time limit exceeded, terminating
% 178.64/177.95 eprover: CPU time limit exceeded, terminating
% 180.59/179.96 eprover: CPU time limit exceeded, terminating
% 182.70/181.98 eprover: CPU time limit exceeded, terminating
% 184.72/184.00 eprover: CPU time limit exceeded, terminating
% 186.70/186.01 eprover: CPU time limit exceeded, terminating
% 188.80/188.03 eprover: CPU time limit exceeded, terminating
% 190.76/190.05 eprover: CPU time limit exceeded, terminating
% 192.85/192.06 eprover: CPU time limit exceeded, terminating
% 194.87/194.08 eprover: CPU time limit exceeded, terminating
% 196.86/196.09 eprover: CPU time limit exceeded, terminating
% 198.91/198.11 eprover: CPU time limit exceeded, terminating
% 200.94/200.13 eprover: CPU time limit exceeded, terminating
% 203.00/202.14 eprover: CPU time limit exceeded, terminating
% 204.94/204.16 eprover: CPU time limit exceeded, terminating
% 207.02/206.18 eprover: CPU time limit exceeded, terminating
% 209.07/208.19 eprover: CPU time limit exceeded, terminating
% 211.08/210.21 eprover: CPU time limit exceeded, terminating
% 213.08/212.22 eprover: CPU time limit exceeded, terminating
% 215.11/214.24 eprover: CPU time limit exceeded, terminating
% 217.13/216.26 eprover: CPU time limit exceeded, terminating
% 219.19/218.28 eprover: CPU time limit exceeded, terminating
% 221.18/220.29 eprover: CPU time limit exceeded, terminating
% 223.26/222.31 eprover: CPU time limit exceeded, terminating
% 225.29/224.33 eprover: CPU time limit exceeded, terminating
% 227.27/226.35 eprover: CPU time limit exceeded, terminating
% 229.34/228.36 eprover: CPU time limit exceeded, terminating
% 231.29/230.38 eprover: CPU time limit exceeded, terminating
% 233.39/232.40 eprover: CPU time limit exceeded, terminating
% 235.34/234.41 eprover: CPU time limit exceeded, terminating
% 237.46/236.43 eprover: CPU time limit exceeded, terminating
% 239.44/238.44 eprover: CPU time limit exceeded, terminating
% 241.48/240.46 eprover: CPU time limit exceeded, terminating
% 243.52/242.48 eprover: CPU time limit exceeded, terminating
% 245.51/244.49 eprover: CPU time limit exceeded, terminating
% 247.58/246.51 eprover: CPU time limit exceeded, terminating
% 249.57/248.53 eprover: CPU time limit exceeded, terminating
% 251.62/250.54 eprover: CPU time limit exceeded, terminating
% 253.63/252.56 eprover: CPU time limit exceeded, terminating
% 255.68/254.57 eprover: CPU time limit exceeded, terminating
% 257.69/256.59 eprover: CPU time limit exceeded, terminating
% 259.68/258.61 eprover: CPU time limit exceeded, terminating
% 261.72/260.62 eprover: CPU time limit exceeded, terminating
% 263.80/262.64 eprover: CPU time limit exceeded, terminating
% 265.83/264.66 eprover: CPU time limit exceeded, terminating
% 267.85/266.67 eprover: CPU time limit exceeded, terminating
% 269.88/268.69 eprover: CPU time limit exceeded, terminating
% 271.87/270.71 eprover: CPU time limit exceeded, terminating
% 273.93/272.72 eprover: CPU time limit exceeded, terminating
% 275.97/274.74 eprover: CPU time limit exceeded, terminating
% 278.01/276.76 eprover: CPU time limit exceeded, terminating
% 280.02/278.78 eprover: CPU time limit exceeded, terminating
% 282.02/280.79 eprover: CPU time limit exceeded, terminating
% 284.06/282.81 eprover: CPU time limit exceeded, terminating
% 286.09/284.83 eprover: CPU time limit exceeded, terminating
% 288.14/286.84 eprover: CPU time limit exceeded, terminating
% 290.17/288.86 eprover: CPU time limit exceeded, terminating
% 292.20/290.88 eprover: CPU time limit exceeded, terminating
% 294.19/292.89 eprover: CPU time limit exceeded, terminating
% 296.21/294.91 eprover: CPU time limit exceeded, terminating
% 298.26/296.92 eprover: CPU time limit exceeded, terminating
% 300.04/298.70 eprover: CPU time limit exceeded, terminating
% 300.04/298.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------