TSTP Solution File: NUM924+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM924+4 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n016.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:41:49 EDT 2022
% Result : Timeout 286.04s 243.07s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.09 % Problem : NUM924+4 : TPTP v8.1.0. Released v5.3.0.
% 0.00/0.10 % Command : run_infinox %s
% 0.11/0.29 % Computer : n016.cluster.edu
% 0.11/0.29 % Model : x86_64 x86_64
% 0.11/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.29 % Memory : 8042.1875MB
% 0.11/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.29 % CPULimit : 300
% 0.11/0.29 % WCLimit : 600
% 0.11/0.29 % DateTime : Tue Jul 5 15:04:03 EDT 2022
% 0.11/0.29 % CPUTime :
% 17.81/17.67 eprover: CPU time limit exceeded, terminating
% 20.27/19.68 eprover: CPU time limit exceeded, terminating
% 22.55/21.69 eprover: CPU time limit exceeded, terminating
% 25.02/23.71 eprover: CPU time limit exceeded, terminating
% 27.43/25.72 eprover: CPU time limit exceeded, terminating
% 29.82/27.73 eprover: CPU time limit exceeded, terminating
% 32.18/29.74 eprover: CPU time limit exceeded, terminating
% 34.59/31.76 eprover: CPU time limit exceeded, terminating
% 36.96/33.77 eprover: CPU time limit exceeded, terminating
% 39.34/35.78 eprover: CPU time limit exceeded, terminating
% 41.80/37.79 eprover: CPU time limit exceeded, terminating
% 44.12/39.80 eprover: CPU time limit exceeded, terminating
% 46.59/41.81 eprover: CPU time limit exceeded, terminating
% 49.02/43.83 eprover: CPU time limit exceeded, terminating
% 51.38/45.84 eprover: CPU time limit exceeded, terminating
% 53.77/47.85 eprover: CPU time limit exceeded, terminating
% 56.16/49.86 eprover: CPU time limit exceeded, terminating
% 58.54/51.88 eprover: CPU time limit exceeded, terminating
% 60.97/53.89 eprover: CPU time limit exceeded, terminating
% 63.35/55.90 eprover: CPU time limit exceeded, terminating
% 65.74/57.91 eprover: CPU time limit exceeded, terminating
% 68.15/59.92 eprover: CPU time limit exceeded, terminating
% 70.52/61.94 eprover: CPU time limit exceeded, terminating
% 72.88/63.95 eprover: CPU time limit exceeded, terminating
% 75.26/65.96 eprover: CPU time limit exceeded, terminating
% 77.67/67.97 eprover: CPU time limit exceeded, terminating
% 80.08/69.99 eprover: CPU time limit exceeded, terminating
% 82.51/72.00 eprover: CPU time limit exceeded, terminating
% 84.90/74.01 eprover: CPU time limit exceeded, terminating
% 87.28/76.02 eprover: CPU time limit exceeded, terminating
% 89.67/78.03 eprover: CPU time limit exceeded, terminating
% 92.02/80.05 eprover: CPU time limit exceeded, terminating
% 94.41/82.06 eprover: CPU time limit exceeded, terminating
% 96.80/84.07 eprover: CPU time limit exceeded, terminating
% 99.26/86.08 eprover: CPU time limit exceeded, terminating
% 101.66/88.10 eprover: CPU time limit exceeded, terminating
% 104.03/90.11 eprover: CPU time limit exceeded, terminating
% 106.43/92.12 eprover: CPU time limit exceeded, terminating
% 108.81/94.13 eprover: CPU time limit exceeded, terminating
% 111.21/96.14 eprover: CPU time limit exceeded, terminating
% 113.57/98.16 eprover: CPU time limit exceeded, terminating
% 115.91/100.17 eprover: CPU time limit exceeded, terminating
% 118.26/102.18 eprover: CPU time limit exceeded, terminating
% 120.66/104.19 eprover: CPU time limit exceeded, terminating
% 123.12/106.20 eprover: CPU time limit exceeded, terminating
% 125.50/108.22 eprover: CPU time limit exceeded, terminating
% 127.87/110.23 eprover: CPU time limit exceeded, terminating
% 130.25/112.24 eprover: CPU time limit exceeded, terminating
% 132.66/114.25 eprover: CPU time limit exceeded, terminating
% 135.04/116.26 eprover: CPU time limit exceeded, terminating
% 137.39/118.28 eprover: CPU time limit exceeded, terminating
% 139.90/120.29 eprover: CPU time limit exceeded, terminating
% 142.29/122.30 eprover: CPU time limit exceeded, terminating
% 144.65/124.31 eprover: CPU time limit exceeded, terminating
% 147.03/126.33 eprover: CPU time limit exceeded, terminating
% 149.43/128.34 eprover: CPU time limit exceeded, terminating
% 151.85/130.35 eprover: CPU time limit exceeded, terminating
% 154.23/132.37 eprover: CPU time limit exceeded, terminating
% 156.64/134.38 eprover: CPU time limit exceeded, terminating
% 158.98/136.39 eprover: CPU time limit exceeded, terminating
% 161.43/138.40 eprover: CPU time limit exceeded, terminating
% 163.82/140.42 eprover: CPU time limit exceeded, terminating
% 166.23/142.43 eprover: CPU time limit exceeded, terminating
% 168.59/144.44 eprover: CPU time limit exceeded, terminating
% 170.95/146.45 eprover: CPU time limit exceeded, terminating
% 173.39/148.47 eprover: CPU time limit exceeded, terminating
% 175.70/150.48 eprover: CPU time limit exceeded, terminating
% 178.11/152.49 eprover: CPU time limit exceeded, terminating
% 180.58/154.50 eprover: CPU time limit exceeded, terminating
% 182.94/156.52 eprover: CPU time limit exceeded, terminating
% 185.33/158.54 eprover: CPU time limit exceeded, terminating
% 187.66/160.55 eprover: CPU time limit exceeded, terminating
% 190.02/162.56 eprover: CPU time limit exceeded, terminating
% 192.45/164.57 eprover: CPU time limit exceeded, terminating
% 194.92/166.59 eprover: CPU time limit exceeded, terminating
% 197.28/168.60 eprover: CPU time limit exceeded, terminating
% 199.69/170.61 eprover: CPU time limit exceeded, terminating
% 202.09/172.62 eprover: CPU time limit exceeded, terminating
% 204.48/174.64 eprover: CPU time limit exceeded, terminating
% 206.88/176.65 eprover: CPU time limit exceeded, terminating
% 209.22/178.66 eprover: CPU time limit exceeded, terminating
% 211.69/180.67 eprover: CPU time limit exceeded, terminating
% 214.00/182.69 eprover: CPU time limit exceeded, terminating
% 216.41/184.70 eprover: CPU time limit exceeded, terminating
% 218.88/186.71 eprover: CPU time limit exceeded, terminating
% 221.27/188.72 eprover: CPU time limit exceeded, terminating
% 223.62/190.74 eprover: CPU time limit exceeded, terminating
% 226.05/192.75 eprover: CPU time limit exceeded, terminating
% 228.44/194.76 eprover: CPU time limit exceeded, terminating
% 230.81/196.78 eprover: CPU time limit exceeded, terminating
% 233.29/198.79 eprover: CPU time limit exceeded, terminating
% 235.70/200.80 eprover: CPU time limit exceeded, terminating
% 238.08/202.81 eprover: CPU time limit exceeded, terminating
% 240.47/204.83 eprover: CPU time limit exceeded, terminating
% 242.85/206.84 eprover: CPU time limit exceeded, terminating
% 245.24/208.85 eprover: CPU time limit exceeded, terminating
% 247.68/210.86 eprover: CPU time limit exceeded, terminating
% 250.01/212.88 eprover: CPU time limit exceeded, terminating
% 252.48/214.89 eprover: CPU time limit exceeded, terminating
% 254.87/216.90 eprover: CPU time limit exceeded, terminating
% 257.27/218.92 eprover: CPU time limit exceeded, terminating
% 259.64/220.93 eprover: CPU time limit exceeded, terminating
% 262.03/222.94 eprover: CPU time limit exceeded, terminating
% 264.44/224.95 eprover: CPU time limit exceeded, terminating
% 266.81/226.97 eprover: CPU time limit exceeded, terminating
% 269.21/228.98 eprover: CPU time limit exceeded, terminating
% 271.69/230.99 eprover: CPU time limit exceeded, terminating
% 274.08/233.00 eprover: CPU time limit exceeded, terminating
% 276.44/235.02 eprover: CPU time limit exceeded, terminating
% 278.86/237.03 eprover: CPU time limit exceeded, terminating
% 281.26/239.04 eprover: CPU time limit exceeded, terminating
% 283.62/241.05 eprover: CPU time limit exceeded, terminating
% 286.04/243.07 eprover: CPU time limit exceeded, terminating
% 288.41/245.08 eprover: CPU time limit exceeded, terminating
% 290.86/247.09 eprover: CPU time limit exceeded, terminating
% 293.17/249.11 eprover: CPU time limit exceeded, terminating
% 295.64/251.12 eprover: CPU time limit exceeded, terminating
% 298.05/253.13 eprover: CPU time limit exceeded, terminating
% 300.02/254.70 eprover: CPU time limit exceeded, terminating
% 300.02/254.71 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------