TSTP Solution File: NUM768+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM768+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:36 EDT 2022
% Result : Timeout 287.67s 279.10s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.11 % Problem : NUM768+4 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n014.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 : Wed Jul 6 16:04:07 EDT 2022
% 0.11/0.32 % CPUTime :
% 3.72/3.88 eprover: CPU time limit exceeded, terminating
% 5.85/5.89 eprover: CPU time limit exceeded, terminating
% 7.90/7.90 eprover: CPU time limit exceeded, terminating
% 9.98/9.91 eprover: CPU time limit exceeded, terminating
% 12.06/11.91 eprover: CPU time limit exceeded, terminating
% 14.12/13.92 eprover: CPU time limit exceeded, terminating
% 16.17/15.93 eprover: CPU time limit exceeded, terminating
% 18.24/17.94 eprover: CPU time limit exceeded, terminating
% 20.33/19.95 eprover: CPU time limit exceeded, terminating
% 22.38/21.96 eprover: CPU time limit exceeded, terminating
% 24.46/23.97 eprover: CPU time limit exceeded, terminating
% 26.53/25.97 eprover: CPU time limit exceeded, terminating
% 28.56/27.98 eprover: CPU time limit exceeded, terminating
% 30.72/29.99 eprover: CPU time limit exceeded, terminating
% 32.78/32.00 eprover: CPU time limit exceeded, terminating
% 34.79/34.01 eprover: CPU time limit exceeded, terminating
% 36.93/36.02 eprover: CPU time limit exceeded, terminating
% 39.01/38.02 eprover: CPU time limit exceeded, terminating
% 41.07/40.03 eprover: CPU time limit exceeded, terminating
% 43.11/42.04 eprover: CPU time limit exceeded, terminating
% 45.20/44.05 eprover: CPU time limit exceeded, terminating
% 47.25/46.06 eprover: CPU time limit exceeded, terminating
% 49.31/48.07 eprover: CPU time limit exceeded, terminating
% 51.38/50.08 eprover: CPU time limit exceeded, terminating
% 53.44/52.08 eprover: CPU time limit exceeded, terminating
% 55.52/54.09 eprover: CPU time limit exceeded, terminating
% 57.65/56.10 eprover: CPU time limit exceeded, terminating
% 59.72/58.11 eprover: CPU time limit exceeded, terminating
% 61.78/60.12 eprover: CPU time limit exceeded, terminating
% 63.87/62.13 eprover: CPU time limit exceeded, terminating
% 65.92/64.14 eprover: CPU time limit exceeded, terminating
% 68.00/66.15 eprover: CPU time limit exceeded, terminating
% 70.04/68.16 eprover: CPU time limit exceeded, terminating
% 72.08/70.17 eprover: CPU time limit exceeded, terminating
% 74.15/72.17 eprover: CPU time limit exceeded, terminating
% 76.26/74.18 eprover: CPU time limit exceeded, terminating
% 78.31/76.19 eprover: CPU time limit exceeded, terminating
% 80.46/78.20 eprover: CPU time limit exceeded, terminating
% 82.50/80.21 eprover: CPU time limit exceeded, terminating
% 84.57/82.22 eprover: CPU time limit exceeded, terminating
% 86.66/84.23 eprover: CPU time limit exceeded, terminating
% 88.72/86.24 eprover: CPU time limit exceeded, terminating
% 90.74/88.25 eprover: CPU time limit exceeded, terminating
% 92.82/90.26 eprover: CPU time limit exceeded, terminating
% 94.92/92.26 eprover: CPU time limit exceeded, terminating
% 96.99/94.27 eprover: CPU time limit exceeded, terminating
% 99.09/96.28 eprover: CPU time limit exceeded, terminating
% 101.16/98.29 eprover: CPU time limit exceeded, terminating
% 103.25/100.30 eprover: CPU time limit exceeded, terminating
% 105.23/102.31 eprover: CPU time limit exceeded, terminating
% 107.36/104.32 eprover: CPU time limit exceeded, terminating
% 109.44/106.33 eprover: CPU time limit exceeded, terminating
% 111.50/108.34 eprover: CPU time limit exceeded, terminating
% 113.58/110.34 eprover: CPU time limit exceeded, terminating
% 115.64/112.35 eprover: CPU time limit exceeded, terminating
% 117.67/114.36 eprover: CPU time limit exceeded, terminating
% 119.73/116.37 eprover: CPU time limit exceeded, terminating
% 121.85/118.38 eprover: CPU time limit exceeded, terminating
% 123.90/120.39 eprover: CPU time limit exceeded, terminating
% 126.02/122.40 eprover: CPU time limit exceeded, terminating
% 128.12/124.41 eprover: CPU time limit exceeded, terminating
% 130.17/126.42 eprover: CPU time limit exceeded, terminating
% 132.24/128.42 eprover: CPU time limit exceeded, terminating
% 134.29/130.44 eprover: CPU time limit exceeded, terminating
% 136.33/132.45 eprover: CPU time limit exceeded, terminating
% 138.40/134.46 eprover: CPU time limit exceeded, terminating
% 140.49/136.46 eprover: CPU time limit exceeded, terminating
% 142.52/138.47 eprover: CPU time limit exceeded, terminating
% 144.62/140.48 eprover: CPU time limit exceeded, terminating
% 146.74/142.49 eprover: CPU time limit exceeded, terminating
% 148.82/144.50 eprover: CPU time limit exceeded, terminating
% 150.81/146.51 eprover: CPU time limit exceeded, terminating
% 152.95/148.52 eprover: CPU time limit exceeded, terminating
% 154.99/150.53 eprover: CPU time limit exceeded, terminating
% 157.06/152.54 eprover: CPU time limit exceeded, terminating
% 159.17/154.55 eprover: CPU time limit exceeded, terminating
% 161.22/156.55 eprover: CPU time limit exceeded, terminating
% 163.25/158.56 eprover: CPU time limit exceeded, terminating
% 165.32/160.57 eprover: CPU time limit exceeded, terminating
% 167.41/162.58 eprover: CPU time limit exceeded, terminating
% 169.51/164.59 eprover: CPU time limit exceeded, terminating
% 171.62/166.60 eprover: CPU time limit exceeded, terminating
% 173.70/168.61 eprover: CPU time limit exceeded, terminating
% 175.76/170.62 eprover: CPU time limit exceeded, terminating
% 177.84/172.62 eprover: CPU time limit exceeded, terminating
% 179.90/174.63 eprover: CPU time limit exceeded, terminating
% 181.92/176.64 eprover: CPU time limit exceeded, terminating
% 184.01/178.65 eprover: CPU time limit exceeded, terminating
% 186.10/180.66 eprover: CPU time limit exceeded, terminating
% 188.12/182.67 eprover: CPU time limit exceeded, terminating
% 190.21/184.68 eprover: CPU time limit exceeded, terminating
% 192.34/186.69 eprover: CPU time limit exceeded, terminating
% 194.33/188.69 eprover: CPU time limit exceeded, terminating
% 196.41/190.70 eprover: CPU time limit exceeded, terminating
% 198.55/192.71 eprover: CPU time limit exceeded, terminating
% 200.63/194.72 eprover: CPU time limit exceeded, terminating
% 202.68/196.73 eprover: CPU time limit exceeded, terminating
% 204.71/198.74 eprover: CPU time limit exceeded, terminating
% 206.80/200.75 eprover: CPU time limit exceeded, terminating
% 208.88/202.76 eprover: CPU time limit exceeded, terminating
% 210.93/204.76 eprover: CPU time limit exceeded, terminating
% 213.00/206.77 eprover: CPU time limit exceeded, terminating
% 215.07/208.78 eprover: CPU time limit exceeded, terminating
% 217.11/210.80 eprover: CPU time limit exceeded, terminating
% 219.27/212.80 eprover: CPU time limit exceeded, terminating
% 221.36/214.81 eprover: CPU time limit exceeded, terminating
% 223.40/216.82 eprover: CPU time limit exceeded, terminating
% 225.46/218.83 eprover: CPU time limit exceeded, terminating
% 227.53/220.84 eprover: CPU time limit exceeded, terminating
% 229.61/222.85 eprover: CPU time limit exceeded, terminating
% 231.66/224.86 eprover: CPU time limit exceeded, terminating
% 233.75/226.87 eprover: CPU time limit exceeded, terminating
% 235.81/228.88 eprover: CPU time limit exceeded, terminating
% 237.92/230.88 eprover: CPU time limit exceeded, terminating
% 240.00/232.89 eprover: CPU time limit exceeded, terminating
% 242.06/234.90 eprover: CPU time limit exceeded, terminating
% 244.12/236.91 eprover: CPU time limit exceeded, terminating
% 246.20/238.92 eprover: CPU time limit exceeded, terminating
% 248.24/240.93 eprover: CPU time limit exceeded, terminating
% 250.33/242.94 eprover: CPU time limit exceeded, terminating
% 252.40/244.95 eprover: CPU time limit exceeded, terminating
% 254.46/246.96 eprover: CPU time limit exceeded, terminating
% 256.53/248.97 eprover: CPU time limit exceeded, terminating
% 258.61/250.98 eprover: CPU time limit exceeded, terminating
% 260.65/252.99 eprover: CPU time limit exceeded, terminating
% 262.79/254.99 eprover: CPU time limit exceeded, terminating
% 264.87/257.00 eprover: CPU time limit exceeded, terminating
% 266.92/259.01 eprover: CPU time limit exceeded, terminating
% 268.99/261.02 eprover: CPU time limit exceeded, terminating
% 271.06/263.03 eprover: CPU time limit exceeded, terminating
% 273.15/265.04 eprover: CPU time limit exceeded, terminating
% 275.21/267.05 eprover: CPU time limit exceeded, terminating
% 277.23/269.06 eprover: CPU time limit exceeded, terminating
% 279.32/271.07 eprover: CPU time limit exceeded, terminating
% 281.41/273.08 eprover: CPU time limit exceeded, terminating
% 283.46/275.08 eprover: CPU time limit exceeded, terminating
% 285.60/277.09 eprover: CPU time limit exceeded, terminating
% 287.67/279.10 eprover: CPU time limit exceeded, terminating
% 289.73/281.12 eprover: CPU time limit exceeded, terminating
% 291.79/283.13 eprover: CPU time limit exceeded, terminating
% 293.86/285.14 eprover: CPU time limit exceeded, terminating
% 295.94/287.15 eprover: CPU time limit exceeded, terminating
% 297.98/289.15 eprover: CPU time limit exceeded, terminating
% 300.03/291.08 eprover: CPU time limit exceeded, terminating
% 300.03/291.10 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------