TSTP Solution File: NUM694+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM694+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:42 EDT 2022
% Result : Timeout 287.29s 282.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.11 % Problem : NUM694+4 : TPTP v8.1.0. Released v7.3.0.
% 0.09/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n019.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Tue Jul 5 20:08:38 EDT 2022
% 0.11/0.33 % CPUTime :
% 2.95/3.17 eprover: CPU time limit exceeded, terminating
% 5.00/5.18 eprover: CPU time limit exceeded, terminating
% 7.01/7.19 eprover: CPU time limit exceeded, terminating
% 9.13/9.20 eprover: CPU time limit exceeded, terminating
% 11.09/11.21 eprover: CPU time limit exceeded, terminating
% 13.20/13.22 eprover: CPU time limit exceeded, terminating
% 15.26/15.23 eprover: CPU time limit exceeded, terminating
% 17.29/17.24 eprover: CPU time limit exceeded, terminating
% 19.36/19.25 eprover: CPU time limit exceeded, terminating
% 21.36/21.26 eprover: CPU time limit exceeded, terminating
% 23.41/23.27 eprover: CPU time limit exceeded, terminating
% 25.43/25.28 eprover: CPU time limit exceeded, terminating
% 27.49/27.29 eprover: CPU time limit exceeded, terminating
% 29.58/29.30 eprover: CPU time limit exceeded, terminating
% 31.56/31.31 eprover: CPU time limit exceeded, terminating
% 33.63/33.32 eprover: CPU time limit exceeded, terminating
% 35.73/35.33 eprover: CPU time limit exceeded, terminating
% 37.73/37.34 eprover: CPU time limit exceeded, terminating
% 39.82/39.35 eprover: CPU time limit exceeded, terminating
% 41.84/41.36 eprover: CPU time limit exceeded, terminating
% 43.87/43.36 eprover: CPU time limit exceeded, terminating
% 45.90/45.37 eprover: CPU time limit exceeded, terminating
% 47.96/47.38 eprover: CPU time limit exceeded, terminating
% 50.03/49.39 eprover: CPU time limit exceeded, terminating
% 52.08/51.40 eprover: CPU time limit exceeded, terminating
% 54.14/53.41 eprover: CPU time limit exceeded, terminating
% 56.17/55.42 eprover: CPU time limit exceeded, terminating
% 58.20/57.43 eprover: CPU time limit exceeded, terminating
% 60.22/59.44 eprover: CPU time limit exceeded, terminating
% 62.30/61.45 eprover: CPU time limit exceeded, terminating
% 64.30/63.46 eprover: CPU time limit exceeded, terminating
% 66.37/65.47 eprover: CPU time limit exceeded, terminating
% 68.45/67.48 eprover: CPU time limit exceeded, terminating
% 70.43/69.49 eprover: CPU time limit exceeded, terminating
% 72.50/71.50 eprover: CPU time limit exceeded, terminating
% 74.60/73.51 eprover: CPU time limit exceeded, terminating
% 76.61/75.52 eprover: CPU time limit exceeded, terminating
% 78.67/77.53 eprover: CPU time limit exceeded, terminating
% 80.71/79.54 eprover: CPU time limit exceeded, terminating
% 82.71/81.55 eprover: CPU time limit exceeded, terminating
% 84.78/83.56 eprover: CPU time limit exceeded, terminating
% 86.85/85.57 eprover: CPU time limit exceeded, terminating
% 88.84/87.58 eprover: CPU time limit exceeded, terminating
% 90.93/89.59 eprover: CPU time limit exceeded, terminating
% 92.93/91.60 eprover: CPU time limit exceeded, terminating
% 95.03/93.61 eprover: CPU time limit exceeded, terminating
% 97.04/95.62 eprover: CPU time limit exceeded, terminating
% 99.11/97.63 eprover: CPU time limit exceeded, terminating
% 101.18/99.64 eprover: CPU time limit exceeded, terminating
% 103.16/101.65 eprover: CPU time limit exceeded, terminating
% 105.23/103.67 eprover: CPU time limit exceeded, terminating
% 107.30/105.68 eprover: CPU time limit exceeded, terminating
% 109.34/107.69 eprover: CPU time limit exceeded, terminating
% 111.34/109.70 eprover: CPU time limit exceeded, terminating
% 113.45/111.71 eprover: CPU time limit exceeded, terminating
% 115.46/113.72 eprover: CPU time limit exceeded, terminating
% 117.52/115.72 eprover: CPU time limit exceeded, terminating
% 119.55/117.73 eprover: CPU time limit exceeded, terminating
% 121.62/119.75 eprover: CPU time limit exceeded, terminating
% 123.61/121.76 eprover: CPU time limit exceeded, terminating
% 125.71/123.77 eprover: CPU time limit exceeded, terminating
% 127.71/125.78 eprover: CPU time limit exceeded, terminating
% 129.81/127.79 eprover: CPU time limit exceeded, terminating
% 131.78/129.79 eprover: CPU time limit exceeded, terminating
% 133.89/131.80 eprover: CPU time limit exceeded, terminating
% 135.86/133.81 eprover: CPU time limit exceeded, terminating
% 137.99/135.82 eprover: CPU time limit exceeded, terminating
% 140.02/137.83 eprover: CPU time limit exceeded, terminating
% 142.02/139.84 eprover: CPU time limit exceeded, terminating
% 144.08/141.85 eprover: CPU time limit exceeded, terminating
% 146.09/143.86 eprover: CPU time limit exceeded, terminating
% 148.14/145.87 eprover: CPU time limit exceeded, terminating
% 150.26/147.88 eprover: CPU time limit exceeded, terminating
% 152.24/149.89 eprover: CPU time limit exceeded, terminating
% 154.35/151.90 eprover: CPU time limit exceeded, terminating
% 156.39/153.91 eprover: CPU time limit exceeded, terminating
% 158.44/155.92 eprover: CPU time limit exceeded, terminating
% 160.48/157.93 eprover: CPU time limit exceeded, terminating
% 162.49/159.94 eprover: CPU time limit exceeded, terminating
% 164.54/161.95 eprover: CPU time limit exceeded, terminating
% 166.53/163.96 eprover: CPU time limit exceeded, terminating
% 168.63/165.97 eprover: CPU time limit exceeded, terminating
% 170.72/167.98 eprover: CPU time limit exceeded, terminating
% 172.77/169.99 eprover: CPU time limit exceeded, terminating
% 174.74/172.01 eprover: CPU time limit exceeded, terminating
% 176.87/174.02 eprover: CPU time limit exceeded, terminating
% 178.88/176.02 eprover: CPU time limit exceeded, terminating
% 180.93/178.03 eprover: CPU time limit exceeded, terminating
% 182.93/180.05 eprover: CPU time limit exceeded, terminating
% 184.99/182.06 eprover: CPU time limit exceeded, terminating
% 187.02/184.08 eprover: CPU time limit exceeded, terminating
% 189.12/186.09 eprover: CPU time limit exceeded, terminating
% 191.17/188.10 eprover: CPU time limit exceeded, terminating
% 193.20/190.12 eprover: CPU time limit exceeded, terminating
% 195.24/192.12 eprover: CPU time limit exceeded, terminating
% 197.31/194.14 eprover: CPU time limit exceeded, terminating
% 199.33/196.15 eprover: CPU time limit exceeded, terminating
% 201.36/198.16 eprover: CPU time limit exceeded, terminating
% 203.43/200.17 eprover: CPU time limit exceeded, terminating
% 205.48/202.18 eprover: CPU time limit exceeded, terminating
% 207.51/204.19 eprover: CPU time limit exceeded, terminating
% 209.58/206.22 eprover: CPU time limit exceeded, terminating
% 211.57/208.24 eprover: CPU time limit exceeded, terminating
% 213.66/210.25 eprover: CPU time limit exceeded, terminating
% 215.68/212.26 eprover: CPU time limit exceeded, terminating
% 217.73/214.27 eprover: CPU time limit exceeded, terminating
% 219.75/216.28 eprover: CPU time limit exceeded, terminating
% 221.80/218.30 eprover: CPU time limit exceeded, terminating
% 223.85/220.31 eprover: CPU time limit exceeded, terminating
% 225.90/222.33 eprover: CPU time limit exceeded, terminating
% 227.97/224.34 eprover: CPU time limit exceeded, terminating
% 229.99/226.35 eprover: CPU time limit exceeded, terminating
% 232.07/228.37 eprover: CPU time limit exceeded, terminating
% 234.10/230.38 eprover: CPU time limit exceeded, terminating
% 236.14/232.39 eprover: CPU time limit exceeded, terminating
% 238.17/234.40 eprover: CPU time limit exceeded, terminating
% 240.23/236.41 eprover: CPU time limit exceeded, terminating
% 242.26/238.43 eprover: CPU time limit exceeded, terminating
% 244.30/240.44 eprover: CPU time limit exceeded, terminating
% 246.35/242.45 eprover: CPU time limit exceeded, terminating
% 248.33/244.46 eprover: CPU time limit exceeded, terminating
% 250.44/246.48 eprover: CPU time limit exceeded, terminating
% 252.53/248.49 eprover: CPU time limit exceeded, terminating
% 254.54/250.50 eprover: CPU time limit exceeded, terminating
% 256.54/252.52 eprover: CPU time limit exceeded, terminating
% 258.67/254.53 eprover: CPU time limit exceeded, terminating
% 260.71/256.54 eprover: CPU time limit exceeded, terminating
% 262.73/258.55 eprover: CPU time limit exceeded, terminating
% 264.77/260.56 eprover: CPU time limit exceeded, terminating
% 266.75/262.57 eprover: CPU time limit exceeded, terminating
% 268.89/264.58 eprover: CPU time limit exceeded, terminating
% 270.88/266.59 eprover: CPU time limit exceeded, terminating
% 272.99/268.61 eprover: CPU time limit exceeded, terminating
% 274.98/270.64 eprover: CPU time limit exceeded, terminating
% 277.04/272.65 eprover: CPU time limit exceeded, terminating
% 279.09/274.66 eprover: CPU time limit exceeded, terminating
% 281.09/276.67 eprover: CPU time limit exceeded, terminating
% 283.15/278.68 eprover: CPU time limit exceeded, terminating
% 285.18/280.69 eprover: CPU time limit exceeded, terminating
% 287.29/282.70 eprover: CPU time limit exceeded, terminating
% 289.33/284.72 eprover: CPU time limit exceeded, terminating
% 291.35/286.73 eprover: CPU time limit exceeded, terminating
% 293.40/288.76 eprover: CPU time limit exceeded, terminating
% 295.46/290.77 eprover: CPU time limit exceeded, terminating
% 297.50/292.82 eprover: CPU time limit exceeded, terminating
% 299.54/294.84 eprover: CPU time limit exceeded, terminating
% 300.09/295.32 eprover: CPU time limit exceeded, terminating
% 300.09/295.34 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------