TSTP Solution File: NUM924+8 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM924+8 : TPTP v8.1.0. Released v5.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:41:51 EDT 2022
% Result : Timeout 286.70s 236.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : NUM924+8 : TPTP v8.1.0. Released v5.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n013.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Thu Jul 7 08:25:29 EDT 2022
% 0.13/0.35 % CPUTime :
% 65.45/65.03 eprover: CPU time limit exceeded, terminating
% 67.98/67.05 eprover: CPU time limit exceeded, terminating
% 70.60/69.07 eprover: CPU time limit exceeded, terminating
% 73.16/71.09 eprover: CPU time limit exceeded, terminating
% 75.77/73.11 eprover: CPU time limit exceeded, terminating
% 78.35/75.13 eprover: CPU time limit exceeded, terminating
% 80.95/77.15 eprover: CPU time limit exceeded, terminating
% 83.48/79.16 eprover: CPU time limit exceeded, terminating
% 86.09/81.18 eprover: CPU time limit exceeded, terminating
% 88.66/83.20 eprover: CPU time limit exceeded, terminating
% 91.32/85.22 eprover: CPU time limit exceeded, terminating
% 93.92/87.23 eprover: CPU time limit exceeded, terminating
% 96.50/89.25 eprover: CPU time limit exceeded, terminating
% 99.11/91.26 eprover: CPU time limit exceeded, terminating
% 101.65/93.28 eprover: CPU time limit exceeded, terminating
% 104.20/95.30 eprover: CPU time limit exceeded, terminating
% 106.79/97.32 eprover: CPU time limit exceeded, terminating
% 109.35/99.34 eprover: CPU time limit exceeded, terminating
% 111.99/101.36 eprover: CPU time limit exceeded, terminating
% 114.57/103.38 eprover: CPU time limit exceeded, terminating
% 117.13/105.39 eprover: CPU time limit exceeded, terminating
% 119.70/107.41 eprover: CPU time limit exceeded, terminating
% 122.33/109.43 eprover: CPU time limit exceeded, terminating
% 124.94/111.45 eprover: CPU time limit exceeded, terminating
% 127.49/113.46 eprover: CPU time limit exceeded, terminating
% 130.07/115.48 eprover: CPU time limit exceeded, terminating
% 132.66/117.50 eprover: CPU time limit exceeded, terminating
% 135.19/119.52 eprover: CPU time limit exceeded, terminating
% 137.76/121.54 eprover: CPU time limit exceeded, terminating
% 140.32/123.56 eprover: CPU time limit exceeded, terminating
% 142.92/125.58 eprover: CPU time limit exceeded, terminating
% 145.55/127.60 eprover: CPU time limit exceeded, terminating
% 148.09/129.62 eprover: CPU time limit exceeded, terminating
% 150.74/131.64 eprover: CPU time limit exceeded, terminating
% 153.23/133.66 eprover: CPU time limit exceeded, terminating
% 155.80/135.67 eprover: CPU time limit exceeded, terminating
% 158.37/137.69 eprover: CPU time limit exceeded, terminating
% 161.01/139.71 eprover: CPU time limit exceeded, terminating
% 163.57/141.73 eprover: CPU time limit exceeded, terminating
% 166.14/143.75 eprover: CPU time limit exceeded, terminating
% 168.77/145.77 eprover: CPU time limit exceeded, terminating
% 171.34/147.79 eprover: CPU time limit exceeded, terminating
% 173.87/149.81 eprover: CPU time limit exceeded, terminating
% 176.49/151.83 eprover: CPU time limit exceeded, terminating
% 179.10/153.85 eprover: CPU time limit exceeded, terminating
% 181.61/155.86 eprover: CPU time limit exceeded, terminating
% 184.35/157.88 eprover: CPU time limit exceeded, terminating
% 186.86/159.89 eprover: CPU time limit exceeded, terminating
% 189.50/161.91 eprover: CPU time limit exceeded, terminating
% 192.12/163.93 eprover: CPU time limit exceeded, terminating
% 194.72/165.95 eprover: CPU time limit exceeded, terminating
% 197.28/167.96 eprover: CPU time limit exceeded, terminating
% 199.89/169.98 eprover: CPU time limit exceeded, terminating
% 202.53/172.00 eprover: CPU time limit exceeded, terminating
% 205.08/174.02 eprover: CPU time limit exceeded, terminating
% 207.66/176.04 eprover: CPU time limit exceeded, terminating
% 210.26/178.06 eprover: CPU time limit exceeded, terminating
% 212.89/180.07 eprover: CPU time limit exceeded, terminating
% 215.57/182.09 eprover: CPU time limit exceeded, terminating
% 218.44/184.11 eprover: CPU time limit exceeded, terminating
% 221.22/186.12 eprover: CPU time limit exceeded, terminating
% 224.15/188.14 eprover: CPU time limit exceeded, terminating
% 226.92/190.16 eprover: CPU time limit exceeded, terminating
% 229.72/192.18 eprover: CPU time limit exceeded, terminating
% 232.42/194.19 eprover: CPU time limit exceeded, terminating
% 234.95/196.21 eprover: CPU time limit exceeded, terminating
% 237.49/198.22 eprover: CPU time limit exceeded, terminating
% 240.11/200.24 eprover: CPU time limit exceeded, terminating
% 242.71/202.26 eprover: CPU time limit exceeded, terminating
% 245.31/204.27 eprover: CPU time limit exceeded, terminating
% 247.93/206.29 eprover: CPU time limit exceeded, terminating
% 250.47/208.30 eprover: CPU time limit exceeded, terminating
% 253.07/210.32 eprover: CPU time limit exceeded, terminating
% 255.61/212.33 eprover: CPU time limit exceeded, terminating
% 258.26/214.35 eprover: CPU time limit exceeded, terminating
% 260.80/216.36 eprover: CPU time limit exceeded, terminating
% 263.41/218.38 eprover: CPU time limit exceeded, terminating
% 265.98/220.39 eprover: CPU time limit exceeded, terminating
% 268.63/222.41 eprover: CPU time limit exceeded, terminating
% 271.18/224.42 eprover: CPU time limit exceeded, terminating
% 273.78/226.44 eprover: CPU time limit exceeded, terminating
% 276.36/228.46 eprover: CPU time limit exceeded, terminating
% 279.00/230.47 eprover: CPU time limit exceeded, terminating
% 281.58/232.49 eprover: CPU time limit exceeded, terminating
% 284.13/234.50 eprover: CPU time limit exceeded, terminating
% 286.70/236.52 eprover: CPU time limit exceeded, terminating
% 289.33/238.53 eprover: CPU time limit exceeded, terminating
% 291.95/240.55 eprover: CPU time limit exceeded, terminating
% 294.53/242.57 eprover: CPU time limit exceeded, terminating
% 297.15/244.58 eprover: CPU time limit exceeded, terminating
% 299.73/246.61 eprover: CPU time limit exceeded, terminating
% 300.61/247.18 eprover: CPU time limit exceeded, terminating
% 300.61/247.20 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------