TSTP Solution File: NUM926+8 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM926+8 : TPTP v8.1.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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:42:00 EDT 2022
% Result : Timeout 286.52s 236.98s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.14 % Problem : NUM926+8 : TPTP v8.1.0. Released v5.3.0.
% 0.04/0.15 % Command : run_infinox %s
% 0.15/0.36 % Computer : n011.cluster.edu
% 0.15/0.36 % Model : x86_64 x86_64
% 0.15/0.36 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.36 % Memory : 8042.1875MB
% 0.15/0.36 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.36 % CPULimit : 300
% 0.15/0.36 % WCLimit : 600
% 0.15/0.36 % DateTime : Tue Jul 5 21:15:52 EDT 2022
% 0.15/0.36 % CPUTime :
% 70.04/69.56 eprover: CPU time limit exceeded, terminating
% 72.62/71.58 eprover: CPU time limit exceeded, terminating
% 75.20/73.60 eprover: CPU time limit exceeded, terminating
% 77.76/75.62 eprover: CPU time limit exceeded, terminating
% 80.33/77.64 eprover: CPU time limit exceeded, terminating
% 82.98/79.65 eprover: CPU time limit exceeded, terminating
% 85.59/81.67 eprover: CPU time limit exceeded, terminating
% 88.18/83.69 eprover: CPU time limit exceeded, terminating
% 90.80/85.71 eprover: CPU time limit exceeded, terminating
% 93.38/87.73 eprover: CPU time limit exceeded, terminating
% 96.04/89.75 eprover: CPU time limit exceeded, terminating
% 98.66/91.77 eprover: CPU time limit exceeded, terminating
% 101.24/93.79 eprover: CPU time limit exceeded, terminating
% 105.84/95.81 eprover: CPU time limit exceeded, terminating
% 108.42/97.82 eprover: CPU time limit exceeded, terminating
% 111.02/99.84 eprover: CPU time limit exceeded, terminating
% 113.59/101.86 eprover: CPU time limit exceeded, terminating
% 116.23/103.88 eprover: CPU time limit exceeded, terminating
% 118.83/105.90 eprover: CPU time limit exceeded, terminating
% 121.37/107.92 eprover: CPU time limit exceeded, terminating
% 123.98/109.94 eprover: CPU time limit exceeded, terminating
% 126.63/111.95 eprover: CPU time limit exceeded, terminating
% 129.23/113.97 eprover: CPU time limit exceeded, terminating
% 131.81/115.99 eprover: CPU time limit exceeded, terminating
% 134.44/118.01 eprover: CPU time limit exceeded, terminating
% 137.07/120.03 eprover: CPU time limit exceeded, terminating
% 139.58/122.04 eprover: CPU time limit exceeded, terminating
% 142.27/124.06 eprover: CPU time limit exceeded, terminating
% 144.86/126.08 eprover: CPU time limit exceeded, terminating
% 147.41/128.10 eprover: CPU time limit exceeded, terminating
% 150.06/130.13 eprover: CPU time limit exceeded, terminating
% 152.68/132.15 eprover: CPU time limit exceeded, terminating
% 155.27/134.17 eprover: CPU time limit exceeded, terminating
% 157.86/136.19 eprover: CPU time limit exceeded, terminating
% 160.42/138.20 eprover: CPU time limit exceeded, terminating
% 163.02/140.22 eprover: CPU time limit exceeded, terminating
% 165.64/142.24 eprover: CPU time limit exceeded, terminating
% 168.20/144.25 eprover: CPU time limit exceeded, terminating
% 170.84/146.27 eprover: CPU time limit exceeded, terminating
% 173.44/148.29 eprover: CPU time limit exceeded, terminating
% 176.02/150.31 eprover: CPU time limit exceeded, terminating
% 178.62/152.33 eprover: CPU time limit exceeded, terminating
% 181.24/154.34 eprover: CPU time limit exceeded, terminating
% 183.83/156.36 eprover: CPU time limit exceeded, terminating
% 186.39/158.38 eprover: CPU time limit exceeded, terminating
% 188.90/160.40 eprover: CPU time limit exceeded, terminating
% 191.51/162.41 eprover: CPU time limit exceeded, terminating
% 194.10/164.43 eprover: CPU time limit exceeded, terminating
% 196.61/166.44 eprover: CPU time limit exceeded, terminating
% 199.22/168.46 eprover: CPU time limit exceeded, terminating
% 201.77/170.47 eprover: CPU time limit exceeded, terminating
% 204.36/172.49 eprover: CPU time limit exceeded, terminating
% 206.91/174.50 eprover: CPU time limit exceeded, terminating
% 209.48/176.52 eprover: CPU time limit exceeded, terminating
% 212.07/178.53 eprover: CPU time limit exceeded, terminating
% 214.66/180.55 eprover: CPU time limit exceeded, terminating
% 217.21/182.57 eprover: CPU time limit exceeded, terminating
% 219.82/184.58 eprover: CPU time limit exceeded, terminating
% 222.37/186.59 eprover: CPU time limit exceeded, terminating
% 224.81/188.61 eprover: CPU time limit exceeded, terminating
% 227.39/190.62 eprover: CPU time limit exceeded, terminating
% 229.99/192.64 eprover: CPU time limit exceeded, terminating
% 232.55/194.66 eprover: CPU time limit exceeded, terminating
% 235.11/196.67 eprover: CPU time limit exceeded, terminating
% 237.67/198.69 eprover: CPU time limit exceeded, terminating
% 240.24/200.70 eprover: CPU time limit exceeded, terminating
% 242.84/202.72 eprover: CPU time limit exceeded, terminating
% 245.42/204.74 eprover: CPU time limit exceeded, terminating
% 247.96/206.75 eprover: CPU time limit exceeded, terminating
% 250.50/208.77 eprover: CPU time limit exceeded, terminating
% 253.14/210.78 eprover: CPU time limit exceeded, terminating
% 255.66/212.80 eprover: CPU time limit exceeded, terminating
% 258.26/214.81 eprover: CPU time limit exceeded, terminating
% 260.87/216.83 eprover: CPU time limit exceeded, terminating
% 263.44/218.84 eprover: CPU time limit exceeded, terminating
% 266.03/220.86 eprover: CPU time limit exceeded, terminating
% 268.51/222.87 eprover: CPU time limit exceeded, terminating
% 271.16/224.89 eprover: CPU time limit exceeded, terminating
% 273.72/226.91 eprover: CPU time limit exceeded, terminating
% 276.26/228.92 eprover: CPU time limit exceeded, terminating
% 278.84/230.93 eprover: CPU time limit exceeded, terminating
% 281.40/232.95 eprover: CPU time limit exceeded, terminating
% 283.97/234.97 eprover: CPU time limit exceeded, terminating
% 286.52/236.98 eprover: CPU time limit exceeded, terminating
% 289.10/239.00 eprover: CPU time limit exceeded, terminating
% 291.59/241.01 eprover: CPU time limit exceeded, terminating
% 294.20/243.02 eprover: CPU time limit exceeded, terminating
% 296.68/245.04 eprover: CPU time limit exceeded, terminating
% 299.27/247.06 eprover: CPU time limit exceeded, terminating
% 300.06/247.60 eprover: CPU time limit exceeded, terminating
% 300.06/247.62 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------