TSTP Solution File: NUM684+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM684+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:33 EDT 2022
% Result : Timeout 287.41s 283.08s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NUM684+4 : TPTP v8.1.0. Released v7.3.0.
% 0.06/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n013.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % 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 : Thu Jul 7 12:21:59 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.08/3.23 eprover: CPU time limit exceeded, terminating
% 5.10/5.24 eprover: CPU time limit exceeded, terminating
% 7.10/7.25 eprover: CPU time limit exceeded, terminating
% 9.18/9.27 eprover: CPU time limit exceeded, terminating
% 11.27/11.28 eprover: CPU time limit exceeded, terminating
% 13.29/13.30 eprover: CPU time limit exceeded, terminating
% 15.30/15.31 eprover: CPU time limit exceeded, terminating
% 17.36/17.32 eprover: CPU time limit exceeded, terminating
% 19.44/19.34 eprover: CPU time limit exceeded, terminating
% 21.39/21.35 eprover: CPU time limit exceeded, terminating
% 23.50/23.36 eprover: CPU time limit exceeded, terminating
% 25.55/25.38 eprover: CPU time limit exceeded, terminating
% 27.57/27.39 eprover: CPU time limit exceeded, terminating
% 29.63/29.40 eprover: CPU time limit exceeded, terminating
% 31.69/31.42 eprover: CPU time limit exceeded, terminating
% 33.74/33.44 eprover: CPU time limit exceeded, terminating
% 35.79/35.45 eprover: CPU time limit exceeded, terminating
% 37.84/37.47 eprover: CPU time limit exceeded, terminating
% 39.89/39.48 eprover: CPU time limit exceeded, terminating
% 41.92/41.50 eprover: CPU time limit exceeded, terminating
% 43.95/43.51 eprover: CPU time limit exceeded, terminating
% 46.01/45.53 eprover: CPU time limit exceeded, terminating
% 48.03/47.54 eprover: CPU time limit exceeded, terminating
% 50.09/49.56 eprover: CPU time limit exceeded, terminating
% 52.13/51.57 eprover: CPU time limit exceeded, terminating
% 54.18/53.58 eprover: CPU time limit exceeded, terminating
% 56.20/55.60 eprover: CPU time limit exceeded, terminating
% 58.29/57.61 eprover: CPU time limit exceeded, terminating
% 60.33/59.63 eprover: CPU time limit exceeded, terminating
% 62.37/61.64 eprover: CPU time limit exceeded, terminating
% 64.43/63.65 eprover: CPU time limit exceeded, terminating
% 66.39/65.66 eprover: CPU time limit exceeded, terminating
% 68.48/67.67 eprover: CPU time limit exceeded, terminating
% 70.53/69.68 eprover: CPU time limit exceeded, terminating
% 72.59/71.70 eprover: CPU time limit exceeded, terminating
% 74.61/73.71 eprover: CPU time limit exceeded, terminating
% 76.69/75.72 eprover: CPU time limit exceeded, terminating
% 78.69/77.74 eprover: CPU time limit exceeded, terminating
% 80.78/79.75 eprover: CPU time limit exceeded, terminating
% 82.84/81.77 eprover: CPU time limit exceeded, terminating
% 84.86/83.78 eprover: CPU time limit exceeded, terminating
% 86.91/85.80 eprover: CPU time limit exceeded, terminating
% 88.93/87.81 eprover: CPU time limit exceeded, terminating
% 90.98/89.82 eprover: CPU time limit exceeded, terminating
% 92.98/91.84 eprover: CPU time limit exceeded, terminating
% 95.08/93.85 eprover: CPU time limit exceeded, terminating
% 97.10/95.87 eprover: CPU time limit exceeded, terminating
% 99.16/97.88 eprover: CPU time limit exceeded, terminating
% 101.21/99.90 eprover: CPU time limit exceeded, terminating
% 103.26/101.91 eprover: CPU time limit exceeded, terminating
% 105.27/103.92 eprover: CPU time limit exceeded, terminating
% 107.32/105.93 eprover: CPU time limit exceeded, terminating
% 109.40/107.95 eprover: CPU time limit exceeded, terminating
% 111.39/109.96 eprover: CPU time limit exceeded, terminating
% 113.46/111.98 eprover: CPU time limit exceeded, terminating
% 115.54/113.99 eprover: CPU time limit exceeded, terminating
% 117.60/116.00 eprover: CPU time limit exceeded, terminating
% 119.61/118.02 eprover: CPU time limit exceeded, terminating
% 121.70/120.03 eprover: CPU time limit exceeded, terminating
% 123.68/122.04 eprover: CPU time limit exceeded, terminating
% 125.79/124.06 eprover: CPU time limit exceeded, terminating
% 127.84/126.07 eprover: CPU time limit exceeded, terminating
% 129.90/128.08 eprover: CPU time limit exceeded, terminating
% 131.90/130.10 eprover: CPU time limit exceeded, terminating
% 133.96/132.12 eprover: CPU time limit exceeded, terminating
% 136.04/134.13 eprover: CPU time limit exceeded, terminating
% 138.02/136.14 eprover: CPU time limit exceeded, terminating
% 140.12/138.16 eprover: CPU time limit exceeded, terminating
% 142.13/140.17 eprover: CPU time limit exceeded, terminating
% 144.21/142.19 eprover: CPU time limit exceeded, terminating
% 146.19/144.20 eprover: CPU time limit exceeded, terminating
% 148.30/146.21 eprover: CPU time limit exceeded, terminating
% 150.35/148.23 eprover: CPU time limit exceeded, terminating
% 152.38/150.24 eprover: CPU time limit exceeded, terminating
% 154.45/152.26 eprover: CPU time limit exceeded, terminating
% 156.46/154.27 eprover: CPU time limit exceeded, terminating
% 158.51/156.28 eprover: CPU time limit exceeded, terminating
% 160.56/158.30 eprover: CPU time limit exceeded, terminating
% 162.62/160.31 eprover: CPU time limit exceeded, terminating
% 164.62/162.33 eprover: CPU time limit exceeded, terminating
% 166.68/164.34 eprover: CPU time limit exceeded, terminating
% 168.71/166.35 eprover: CPU time limit exceeded, terminating
% 170.80/168.36 eprover: CPU time limit exceeded, terminating
% 172.84/170.38 eprover: CPU time limit exceeded, terminating
% 174.88/172.39 eprover: CPU time limit exceeded, terminating
% 176.91/174.40 eprover: CPU time limit exceeded, terminating
% 178.91/176.43 eprover: CPU time limit exceeded, terminating
% 181.05/178.44 eprover: CPU time limit exceeded, terminating
% 183.05/180.46 eprover: CPU time limit exceeded, terminating
% 185.10/182.48 eprover: CPU time limit exceeded, terminating
% 187.16/184.49 eprover: CPU time limit exceeded, terminating
% 189.18/186.52 eprover: CPU time limit exceeded, terminating
% 191.26/188.55 eprover: CPU time limit exceeded, terminating
% 193.33/190.56 eprover: CPU time limit exceeded, terminating
% 195.36/192.57 eprover: CPU time limit exceeded, terminating
% 197.40/194.58 eprover: CPU time limit exceeded, terminating
% 199.46/196.60 eprover: CPU time limit exceeded, terminating
% 201.46/198.61 eprover: CPU time limit exceeded, terminating
% 203.52/200.62 eprover: CPU time limit exceeded, terminating
% 205.58/202.63 eprover: CPU time limit exceeded, terminating
% 207.65/204.64 eprover: CPU time limit exceeded, terminating
% 209.65/206.65 eprover: CPU time limit exceeded, terminating
% 211.73/208.66 eprover: CPU time limit exceeded, terminating
% 213.74/210.67 eprover: CPU time limit exceeded, terminating
% 215.79/212.68 eprover: CPU time limit exceeded, terminating
% 217.84/214.69 eprover: CPU time limit exceeded, terminating
% 219.85/216.70 eprover: CPU time limit exceeded, terminating
% 221.89/218.71 eprover: CPU time limit exceeded, terminating
% 223.93/220.72 eprover: CPU time limit exceeded, terminating
% 226.01/222.73 eprover: CPU time limit exceeded, terminating
% 228.08/224.74 eprover: CPU time limit exceeded, terminating
% 230.13/226.75 eprover: CPU time limit exceeded, terminating
% 232.17/228.76 eprover: CPU time limit exceeded, terminating
% 234.21/230.77 eprover: CPU time limit exceeded, terminating
% 236.23/232.78 eprover: CPU time limit exceeded, terminating
% 238.30/234.79 eprover: CPU time limit exceeded, terminating
% 240.32/236.80 eprover: CPU time limit exceeded, terminating
% 242.40/238.81 eprover: CPU time limit exceeded, terminating
% 244.39/240.83 eprover: CPU time limit exceeded, terminating
% 246.44/242.84 eprover: CPU time limit exceeded, terminating
% 248.52/244.85 eprover: CPU time limit exceeded, terminating
% 250.58/246.86 eprover: CPU time limit exceeded, terminating
% 252.63/248.87 eprover: CPU time limit exceeded, terminating
% 254.70/250.88 eprover: CPU time limit exceeded, terminating
% 256.67/252.89 eprover: CPU time limit exceeded, terminating
% 258.77/254.90 eprover: CPU time limit exceeded, terminating
% 260.80/256.92 eprover: CPU time limit exceeded, terminating
% 262.85/258.93 eprover: CPU time limit exceeded, terminating
% 264.92/260.94 eprover: CPU time limit exceeded, terminating
% 266.91/262.95 eprover: CPU time limit exceeded, terminating
% 269.01/264.96 eprover: CPU time limit exceeded, terminating
% 271.04/266.98 eprover: CPU time limit exceeded, terminating
% 273.12/268.99 eprover: CPU time limit exceeded, terminating
% 275.12/271.00 eprover: CPU time limit exceeded, terminating
% 277.14/273.01 eprover: CPU time limit exceeded, terminating
% 279.23/275.03 eprover: CPU time limit exceeded, terminating
% 281.29/277.04 eprover: CPU time limit exceeded, terminating
% 283.32/279.05 eprover: CPU time limit exceeded, terminating
% 285.40/281.07 eprover: CPU time limit exceeded, terminating
% 287.41/283.08 eprover: CPU time limit exceeded, terminating
% 289.48/285.09 eprover: CPU time limit exceeded, terminating
% 291.49/287.10 eprover: CPU time limit exceeded, terminating
% 293.58/289.12 eprover: CPU time limit exceeded, terminating
% 295.58/291.13 eprover: CPU time limit exceeded, terminating
% 297.70/293.14 eprover: CPU time limit exceeded, terminating
% 299.71/295.16 eprover: CPU time limit exceeded, terminating
% 300.06/295.46 eprover: CPU time limit exceeded, terminating
% 300.06/295.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------