TSTP Solution File: NUM923+8 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM923+8 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:46 EDT 2022
% Result : Timeout 287.79s 236.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM923+8 : TPTP v8.1.0. Released v5.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n019.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 : Wed Jul 6 14:18:08 EDT 2022
% 0.13/0.34 % CPUTime :
% 57.78/57.21 eprover: CPU time limit exceeded, terminating
% 60.39/59.22 eprover: CPU time limit exceeded, terminating
% 62.93/61.24 eprover: CPU time limit exceeded, terminating
% 65.51/63.25 eprover: CPU time limit exceeded, terminating
% 68.00/65.26 eprover: CPU time limit exceeded, terminating
% 70.64/67.28 eprover: CPU time limit exceeded, terminating
% 73.20/69.29 eprover: CPU time limit exceeded, terminating
% 75.77/71.31 eprover: CPU time limit exceeded, terminating
% 78.38/73.32 eprover: CPU time limit exceeded, terminating
% 80.99/75.34 eprover: CPU time limit exceeded, terminating
% 83.59/77.35 eprover: CPU time limit exceeded, terminating
% 86.13/79.36 eprover: CPU time limit exceeded, terminating
% 88.76/81.38 eprover: CPU time limit exceeded, terminating
% 91.34/83.39 eprover: CPU time limit exceeded, terminating
% 93.93/85.41 eprover: CPU time limit exceeded, terminating
% 96.46/87.42 eprover: CPU time limit exceeded, terminating
% 99.06/89.43 eprover: CPU time limit exceeded, terminating
% 101.65/91.45 eprover: CPU time limit exceeded, terminating
% 104.22/93.46 eprover: CPU time limit exceeded, terminating
% 106.84/95.48 eprover: CPU time limit exceeded, terminating
% 109.46/97.49 eprover: CPU time limit exceeded, terminating
% 111.98/99.50 eprover: CPU time limit exceeded, terminating
% 114.60/101.52 eprover: CPU time limit exceeded, terminating
% 117.21/103.53 eprover: CPU time limit exceeded, terminating
% 119.77/105.55 eprover: CPU time limit exceeded, terminating
% 122.30/107.56 eprover: CPU time limit exceeded, terminating
% 124.92/109.58 eprover: CPU time limit exceeded, terminating
% 127.47/111.59 eprover: CPU time limit exceeded, terminating
% 130.10/113.60 eprover: CPU time limit exceeded, terminating
% 132.69/115.62 eprover: CPU time limit exceeded, terminating
% 135.30/117.63 eprover: CPU time limit exceeded, terminating
% 137.84/119.64 eprover: CPU time limit exceeded, terminating
% 140.40/121.66 eprover: CPU time limit exceeded, terminating
% 143.06/123.67 eprover: CPU time limit exceeded, terminating
% 145.62/125.69 eprover: CPU time limit exceeded, terminating
% 148.26/127.70 eprover: CPU time limit exceeded, terminating
% 150.83/129.72 eprover: CPU time limit exceeded, terminating
% 153.46/131.73 eprover: CPU time limit exceeded, terminating
% 156.03/133.75 eprover: CPU time limit exceeded, terminating
% 158.64/135.76 eprover: CPU time limit exceeded, terminating
% 161.15/137.77 eprover: CPU time limit exceeded, terminating
% 163.79/139.79 eprover: CPU time limit exceeded, terminating
% 166.40/141.80 eprover: CPU time limit exceeded, terminating
% 168.95/143.82 eprover: CPU time limit exceeded, terminating
% 171.55/145.83 eprover: CPU time limit exceeded, terminating
% 174.06/147.85 eprover: CPU time limit exceeded, terminating
% 176.63/149.86 eprover: CPU time limit exceeded, terminating
% 179.29/151.87 eprover: CPU time limit exceeded, terminating
% 181.87/153.89 eprover: CPU time limit exceeded, terminating
% 184.45/155.90 eprover: CPU time limit exceeded, terminating
% 187.05/157.92 eprover: CPU time limit exceeded, terminating
% 189.63/159.93 eprover: CPU time limit exceeded, terminating
% 192.16/161.94 eprover: CPU time limit exceeded, terminating
% 194.73/163.96 eprover: CPU time limit exceeded, terminating
% 197.31/165.97 eprover: CPU time limit exceeded, terminating
% 199.93/167.98 eprover: CPU time limit exceeded, terminating
% 202.52/170.00 eprover: CPU time limit exceeded, terminating
% 205.03/172.01 eprover: CPU time limit exceeded, terminating
% 207.67/174.03 eprover: CPU time limit exceeded, terminating
% 210.27/176.04 eprover: CPU time limit exceeded, terminating
% 212.78/178.06 eprover: CPU time limit exceeded, terminating
% 215.39/180.07 eprover: CPU time limit exceeded, terminating
% 217.95/182.08 eprover: CPU time limit exceeded, terminating
% 220.56/184.10 eprover: CPU time limit exceeded, terminating
% 223.14/186.11 eprover: CPU time limit exceeded, terminating
% 225.70/188.13 eprover: CPU time limit exceeded, terminating
% 228.30/190.14 eprover: CPU time limit exceeded, terminating
% 230.82/192.15 eprover: CPU time limit exceeded, terminating
% 233.39/194.17 eprover: CPU time limit exceeded, terminating
% 236.00/196.18 eprover: CPU time limit exceeded, terminating
% 238.57/198.19 eprover: CPU time limit exceeded, terminating
% 241.17/200.21 eprover: CPU time limit exceeded, terminating
% 243.71/202.22 eprover: CPU time limit exceeded, terminating
% 246.33/204.24 eprover: CPU time limit exceeded, terminating
% 248.95/206.25 eprover: CPU time limit exceeded, terminating
% 251.57/208.27 eprover: CPU time limit exceeded, terminating
% 254.16/210.28 eprover: CPU time limit exceeded, terminating
% 256.72/212.30 eprover: CPU time limit exceeded, terminating
% 259.31/214.31 eprover: CPU time limit exceeded, terminating
% 261.87/216.32 eprover: CPU time limit exceeded, terminating
% 264.50/218.34 eprover: CPU time limit exceeded, terminating
% 267.05/220.35 eprover: CPU time limit exceeded, terminating
% 269.66/222.37 eprover: CPU time limit exceeded, terminating
% 272.19/224.38 eprover: CPU time limit exceeded, terminating
% 274.80/226.40 eprover: CPU time limit exceeded, terminating
% 277.39/228.41 eprover: CPU time limit exceeded, terminating
% 280.02/230.43 eprover: CPU time limit exceeded, terminating
% 282.62/232.44 eprover: CPU time limit exceeded, terminating
% 285.20/234.46 eprover: CPU time limit exceeded, terminating
% 287.79/236.47 eprover: CPU time limit exceeded, terminating
% 290.37/238.48 eprover: CPU time limit exceeded, terminating
% 292.99/240.51 eprover: CPU time limit exceeded, terminating
% 295.57/242.52 eprover: CPU time limit exceeded, terminating
% 298.13/244.53 eprover: CPU time limit exceeded, terminating
% 300.03/245.78 eprover: CPU time limit exceeded, terminating
% 300.03/245.80 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------