TSTP Solution File: NUM699+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM699+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:47 EDT 2022
% Result : Timeout 287.57s 283.20s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.12 % Problem : NUM699+4 : TPTP v8.1.0. Released v7.3.0.
% 0.04/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n018.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 : Thu Jul 7 15:19:54 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.10/3.32 eprover: CPU time limit exceeded, terminating
% 5.20/5.34 eprover: CPU time limit exceeded, terminating
% 7.23/7.35 eprover: CPU time limit exceeded, terminating
% 9.30/9.37 eprover: CPU time limit exceeded, terminating
% 11.29/11.40 eprover: CPU time limit exceeded, terminating
% 13.33/13.41 eprover: CPU time limit exceeded, terminating
% 15.44/15.42 eprover: CPU time limit exceeded, terminating
% 17.50/17.43 eprover: CPU time limit exceeded, terminating
% 19.47/19.44 eprover: CPU time limit exceeded, terminating
% 21.53/21.46 eprover: CPU time limit exceeded, terminating
% 23.62/23.47 eprover: CPU time limit exceeded, terminating
% 25.67/25.48 eprover: CPU time limit exceeded, terminating
% 27.69/27.49 eprover: CPU time limit exceeded, terminating
% 29.73/29.51 eprover: CPU time limit exceeded, terminating
% 31.80/31.53 eprover: CPU time limit exceeded, terminating
% 33.78/33.54 eprover: CPU time limit exceeded, terminating
% 35.85/35.55 eprover: CPU time limit exceeded, terminating
% 37.93/37.57 eprover: CPU time limit exceeded, terminating
% 39.95/39.58 eprover: CPU time limit exceeded, terminating
% 42.02/41.59 eprover: CPU time limit exceeded, terminating
% 44.05/43.60 eprover: CPU time limit exceeded, terminating
% 46.11/45.63 eprover: CPU time limit exceeded, terminating
% 48.11/47.64 eprover: CPU time limit exceeded, terminating
% 50.21/49.65 eprover: CPU time limit exceeded, terminating
% 52.25/51.66 eprover: CPU time limit exceeded, terminating
% 54.25/53.67 eprover: CPU time limit exceeded, terminating
% 56.36/55.69 eprover: CPU time limit exceeded, terminating
% 58.41/57.70 eprover: CPU time limit exceeded, terminating
% 60.43/59.71 eprover: CPU time limit exceeded, terminating
% 62.45/61.73 eprover: CPU time limit exceeded, terminating
% 64.54/63.74 eprover: CPU time limit exceeded, terminating
% 66.53/65.75 eprover: CPU time limit exceeded, terminating
% 68.60/67.77 eprover: CPU time limit exceeded, terminating
% 70.69/69.80 eprover: CPU time limit exceeded, terminating
% 72.73/71.81 eprover: CPU time limit exceeded, terminating
% 74.77/73.82 eprover: CPU time limit exceeded, terminating
% 76.81/75.84 eprover: CPU time limit exceeded, terminating
% 78.85/77.85 eprover: CPU time limit exceeded, terminating
% 80.85/79.86 eprover: CPU time limit exceeded, terminating
% 82.92/81.87 eprover: CPU time limit exceeded, terminating
% 84.96/83.89 eprover: CPU time limit exceeded, terminating
% 87.07/85.90 eprover: CPU time limit exceeded, terminating
% 89.10/87.91 eprover: CPU time limit exceeded, terminating
% 91.13/89.92 eprover: CPU time limit exceeded, terminating
% 93.15/91.95 eprover: CPU time limit exceeded, terminating
% 95.19/93.96 eprover: CPU time limit exceeded, terminating
% 97.25/95.98 eprover: CPU time limit exceeded, terminating
% 99.26/97.99 eprover: CPU time limit exceeded, terminating
% 101.38/100.00 eprover: CPU time limit exceeded, terminating
% 103.43/102.02 eprover: CPU time limit exceeded, terminating
% 105.43/104.05 eprover: CPU time limit exceeded, terminating
% 107.46/106.06 eprover: CPU time limit exceeded, terminating
% 109.51/108.08 eprover: CPU time limit exceeded, terminating
% 111.60/110.09 eprover: CPU time limit exceeded, terminating
% 113.57/112.10 eprover: CPU time limit exceeded, terminating
% 115.66/114.11 eprover: CPU time limit exceeded, terminating
% 117.74/116.13 eprover: CPU time limit exceeded, terminating
% 119.74/118.14 eprover: CPU time limit exceeded, terminating
% 121.78/120.16 eprover: CPU time limit exceeded, terminating
% 123.81/122.18 eprover: CPU time limit exceeded, terminating
% 125.83/124.20 eprover: CPU time limit exceeded, terminating
% 127.94/126.21 eprover: CPU time limit exceeded, terminating
% 130.01/128.22 eprover: CPU time limit exceeded, terminating
% 132.02/130.24 eprover: CPU time limit exceeded, terminating
% 134.11/132.25 eprover: CPU time limit exceeded, terminating
% 136.10/134.26 eprover: CPU time limit exceeded, terminating
% 138.15/136.28 eprover: CPU time limit exceeded, terminating
% 140.25/138.31 eprover: CPU time limit exceeded, terminating
% 142.27/140.33 eprover: CPU time limit exceeded, terminating
% 144.32/142.34 eprover: CPU time limit exceeded, terminating
% 146.34/144.35 eprover: CPU time limit exceeded, terminating
% 148.41/146.36 eprover: CPU time limit exceeded, terminating
% 150.43/148.38 eprover: CPU time limit exceeded, terminating
% 152.52/150.39 eprover: CPU time limit exceeded, terminating
% 154.50/152.40 eprover: CPU time limit exceeded, terminating
% 156.62/154.41 eprover: CPU time limit exceeded, terminating
% 158.63/156.43 eprover: CPU time limit exceeded, terminating
% 160.67/158.44 eprover: CPU time limit exceeded, terminating
% 162.70/160.47 eprover: CPU time limit exceeded, terminating
% 164.73/162.48 eprover: CPU time limit exceeded, terminating
% 166.84/164.50 eprover: CPU time limit exceeded, terminating
% 168.87/166.52 eprover: CPU time limit exceeded, terminating
% 170.92/168.53 eprover: CPU time limit exceeded, terminating
% 172.95/170.55 eprover: CPU time limit exceeded, terminating
% 174.97/172.56 eprover: CPU time limit exceeded, terminating
% 177.02/174.57 eprover: CPU time limit exceeded, terminating
% 179.06/176.58 eprover: CPU time limit exceeded, terminating
% 181.17/178.60 eprover: CPU time limit exceeded, terminating
% 183.18/180.61 eprover: CPU time limit exceeded, terminating
% 185.24/182.64 eprover: CPU time limit exceeded, terminating
% 187.24/184.65 eprover: CPU time limit exceeded, terminating
% 189.31/186.67 eprover: CPU time limit exceeded, terminating
% 191.39/188.68 eprover: CPU time limit exceeded, terminating
% 193.43/190.69 eprover: CPU time limit exceeded, terminating
% 195.39/192.71 eprover: CPU time limit exceeded, terminating
% 197.50/194.73 eprover: CPU time limit exceeded, terminating
% 199.54/196.74 eprover: CPU time limit exceeded, terminating
% 201.60/198.76 eprover: CPU time limit exceeded, terminating
% 203.60/200.77 eprover: CPU time limit exceeded, terminating
% 205.72/202.78 eprover: CPU time limit exceeded, terminating
% 207.76/204.79 eprover: CPU time limit exceeded, terminating
% 209.80/206.80 eprover: CPU time limit exceeded, terminating
% 211.81/208.81 eprover: CPU time limit exceeded, terminating
% 213.91/210.82 eprover: CPU time limit exceeded, terminating
% 215.95/212.83 eprover: CPU time limit exceeded, terminating
% 217.97/214.84 eprover: CPU time limit exceeded, terminating
% 220.03/216.85 eprover: CPU time limit exceeded, terminating
% 222.05/218.87 eprover: CPU time limit exceeded, terminating
% 224.15/220.88 eprover: CPU time limit exceeded, terminating
% 226.19/222.89 eprover: CPU time limit exceeded, terminating
% 228.16/224.90 eprover: CPU time limit exceeded, terminating
% 230.28/226.91 eprover: CPU time limit exceeded, terminating
% 232.33/228.92 eprover: CPU time limit exceeded, terminating
% 234.36/230.93 eprover: CPU time limit exceeded, terminating
% 236.38/232.94 eprover: CPU time limit exceeded, terminating
% 238.44/234.95 eprover: CPU time limit exceeded, terminating
% 240.45/236.96 eprover: CPU time limit exceeded, terminating
% 242.50/238.97 eprover: CPU time limit exceeded, terminating
% 244.55/240.98 eprover: CPU time limit exceeded, terminating
% 246.56/242.99 eprover: CPU time limit exceeded, terminating
% 248.68/245.00 eprover: CPU time limit exceeded, terminating
% 250.73/247.01 eprover: CPU time limit exceeded, terminating
% 252.78/249.02 eprover: CPU time limit exceeded, terminating
% 254.83/251.03 eprover: CPU time limit exceeded, terminating
% 256.82/253.04 eprover: CPU time limit exceeded, terminating
% 258.85/255.06 eprover: CPU time limit exceeded, terminating
% 260.91/257.07 eprover: CPU time limit exceeded, terminating
% 263.01/259.08 eprover: CPU time limit exceeded, terminating
% 265.06/261.09 eprover: CPU time limit exceeded, terminating
% 267.03/263.10 eprover: CPU time limit exceeded, terminating
% 269.17/265.11 eprover: CPU time limit exceeded, terminating
% 271.18/267.12 eprover: CPU time limit exceeded, terminating
% 273.24/269.13 eprover: CPU time limit exceeded, terminating
% 275.30/271.14 eprover: CPU time limit exceeded, terminating
% 277.32/273.16 eprover: CPU time limit exceeded, terminating
% 279.35/275.17 eprover: CPU time limit exceeded, terminating
% 281.39/277.18 eprover: CPU time limit exceeded, terminating
% 283.42/279.18 eprover: CPU time limit exceeded, terminating
% 285.51/281.19 eprover: CPU time limit exceeded, terminating
% 287.57/283.20 eprover: CPU time limit exceeded, terminating
% 289.61/285.21 eprover: CPU time limit exceeded, terminating
% 291.66/287.23 eprover: CPU time limit exceeded, terminating
% 293.71/289.24 eprover: CPU time limit exceeded, terminating
% 295.76/291.25 eprover: CPU time limit exceeded, terminating
% 297.72/293.26 eprover: CPU time limit exceeded, terminating
% 299.82/295.27 eprover: CPU time limit exceeded, terminating
% 300.31/295.70 eprover: CPU time limit exceeded, terminating
% 300.31/295.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------