TSTP Solution File: NUM315+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM315+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:36:03 EDT 2022
% Result : Timeout 287.72s 285.13s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.09/0.14 % Problem : NUM315+1 : TPTP v8.1.0. Released v3.1.0.
% 0.09/0.14 % Command : run_infinox %s
% 0.15/0.36 % Computer : n020.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 : Wed Jul 6 10:19:14 EDT 2022
% 0.15/0.36 % CPUTime :
% 2.33/2.56 eprover: CPU time limit exceeded, terminating
% 4.36/4.57 eprover: CPU time limit exceeded, terminating
% 6.37/6.58 eprover: CPU time limit exceeded, terminating
% 8.39/8.60 eprover: CPU time limit exceeded, terminating
% 10.47/10.61 eprover: CPU time limit exceeded, terminating
% 12.51/12.63 eprover: CPU time limit exceeded, terminating
% 14.53/14.64 eprover: CPU time limit exceeded, terminating
% 16.52/16.68 eprover: CPU time limit exceeded, terminating
% 18.61/18.69 eprover: CPU time limit exceeded, terminating
% 20.63/20.71 eprover: CPU time limit exceeded, terminating
% 22.66/22.72 eprover: CPU time limit exceeded, terminating
% 24.64/24.74 eprover: CPU time limit exceeded, terminating
% 26.67/26.75 eprover: CPU time limit exceeded, terminating
% 28.67/28.76 eprover: CPU time limit exceeded, terminating
% 30.69/30.78 eprover: CPU time limit exceeded, terminating
% 32.77/32.79 eprover: CPU time limit exceeded, terminating
% 34.81/34.81 eprover: CPU time limit exceeded, terminating
% 36.83/36.83 eprover: CPU time limit exceeded, terminating
% 38.80/38.84 eprover: CPU time limit exceeded, terminating
% 40.83/40.86 eprover: CPU time limit exceeded, terminating
% 42.87/42.87 eprover: CPU time limit exceeded, terminating
% 44.95/44.89 eprover: CPU time limit exceeded, terminating
% 46.89/46.90 eprover: CPU time limit exceeded, terminating
% 48.93/48.91 eprover: CPU time limit exceeded, terminating
% 50.99/50.93 eprover: CPU time limit exceeded, terminating
% 53.00/52.94 eprover: CPU time limit exceeded, terminating
% 55.04/54.96 eprover: CPU time limit exceeded, terminating
% 57.09/56.97 eprover: CPU time limit exceeded, terminating
% 59.11/58.99 eprover: CPU time limit exceeded, terminating
% 61.13/61.00 eprover: CPU time limit exceeded, terminating
% 63.16/63.01 eprover: CPU time limit exceeded, terminating
% 65.17/65.02 eprover: CPU time limit exceeded, terminating
% 67.19/67.03 eprover: CPU time limit exceeded, terminating
% 69.19/69.05 eprover: CPU time limit exceeded, terminating
% 71.22/71.06 eprover: CPU time limit exceeded, terminating
% 73.26/73.07 eprover: CPU time limit exceeded, terminating
% 75.22/75.08 eprover: CPU time limit exceeded, terminating
% 77.31/77.09 eprover: CPU time limit exceeded, terminating
% 79.34/79.12 eprover: CPU time limit exceeded, terminating
% 81.35/81.19 eprover: CPU time limit exceeded, terminating
% 83.35/83.24 eprover: CPU time limit exceeded, terminating
% 85.35/85.26 eprover: CPU time limit exceeded, terminating
% 87.34/87.30 eprover: CPU time limit exceeded, terminating
% 89.39/89.37 eprover: CPU time limit exceeded, terminating
% 91.49/91.39 eprover: CPU time limit exceeded, terminating
% 93.51/93.41 eprover: CPU time limit exceeded, terminating
% 95.48/95.47 eprover: CPU time limit exceeded, terminating
% 97.50/97.49 eprover: CPU time limit exceeded, terminating
% 99.57/99.55 eprover: CPU time limit exceeded, terminating
% 101.58/101.59 eprover: CPU time limit exceeded, terminating
% 103.65/103.62 eprover: CPU time limit exceeded, terminating
% 105.64/105.64 eprover: CPU time limit exceeded, terminating
% 107.63/107.66 eprover: CPU time limit exceeded, terminating
% 109.67/109.68 eprover: CPU time limit exceeded, terminating
% 111.73/111.70 eprover: CPU time limit exceeded, terminating
% 113.73/113.72 eprover: CPU time limit exceeded, terminating
% 115.74/115.76 eprover: CPU time limit exceeded, terminating
% 117.79/117.81 eprover: CPU time limit exceeded, terminating
% 119.83/119.84 eprover: CPU time limit exceeded, terminating
% 121.78/121.87 eprover: CPU time limit exceeded, terminating
% 123.83/123.89 eprover: CPU time limit exceeded, terminating
% 125.89/125.90 eprover: CPU time limit exceeded, terminating
% 127.91/127.92 eprover: CPU time limit exceeded, terminating
% 129.94/129.98 eprover: CPU time limit exceeded, terminating
% 131.97/131.99 eprover: CPU time limit exceeded, terminating
% 133.97/134.01 eprover: CPU time limit exceeded, terminating
% 136.02/136.03 eprover: CPU time limit exceeded, terminating
% 137.98/138.04 eprover: CPU time limit exceeded, terminating
% 140.02/140.08 eprover: CPU time limit exceeded, terminating
% 142.09/142.10 eprover: CPU time limit exceeded, terminating
% 144.04/144.11 eprover: CPU time limit exceeded, terminating
% 146.13/146.12 eprover: CPU time limit exceeded, terminating
% 148.13/148.14 eprover: CPU time limit exceeded, terminating
% 150.11/150.15 eprover: CPU time limit exceeded, terminating
% 152.13/152.17 eprover: CPU time limit exceeded, terminating
% 154.21/154.18 eprover: CPU time limit exceeded, terminating
% 156.23/156.19 eprover: CPU time limit exceeded, terminating
% 158.23/158.20 eprover: CPU time limit exceeded, terminating
% 160.27/160.21 eprover: CPU time limit exceeded, terminating
% 162.30/162.22 eprover: CPU time limit exceeded, terminating
% 166.28/164.24 eprover: CPU time limit exceeded, terminating
% 168.30/166.25 eprover: CPU time limit exceeded, terminating
% 170.34/168.26 eprover: CPU time limit exceeded, terminating
% 172.30/170.27 eprover: CPU time limit exceeded, terminating
% 174.41/172.29 eprover: CPU time limit exceeded, terminating
% 176.36/174.30 eprover: CPU time limit exceeded, terminating
% 178.46/176.32 eprover: CPU time limit exceeded, terminating
% 180.45/178.33 eprover: CPU time limit exceeded, terminating
% 182.47/180.35 eprover: CPU time limit exceeded, terminating
% 184.48/182.36 eprover: CPU time limit exceeded, terminating
% 186.47/184.37 eprover: CPU time limit exceeded, terminating
% 188.58/186.38 eprover: CPU time limit exceeded, terminating
% 190.59/188.39 eprover: CPU time limit exceeded, terminating
% 192.62/190.41 eprover: CPU time limit exceeded, terminating
% 194.58/192.42 eprover: CPU time limit exceeded, terminating
% 196.65/194.44 eprover: CPU time limit exceeded, terminating
% 198.67/196.46 eprover: CPU time limit exceeded, terminating
% 200.63/198.48 eprover: CPU time limit exceeded, terminating
% 202.72/200.50 eprover: CPU time limit exceeded, terminating
% 204.74/202.51 eprover: CPU time limit exceeded, terminating
% 206.76/204.52 eprover: CPU time limit exceeded, terminating
% 208.79/206.53 eprover: CPU time limit exceeded, terminating
% 210.78/208.55 eprover: CPU time limit exceeded, terminating
% 212.83/210.56 eprover: CPU time limit exceeded, terminating
% 214.81/212.57 eprover: CPU time limit exceeded, terminating
% 216.84/214.58 eprover: CPU time limit exceeded, terminating
% 218.90/216.60 eprover: CPU time limit exceeded, terminating
% 220.87/218.61 eprover: CPU time limit exceeded, terminating
% 222.91/220.62 eprover: CPU time limit exceeded, terminating
% 225.00/222.64 eprover: CPU time limit exceeded, terminating
% 226.99/224.66 eprover: CPU time limit exceeded, terminating
% 229.02/226.67 eprover: CPU time limit exceeded, terminating
% 231.01/228.69 eprover: CPU time limit exceeded, terminating
% 233.06/230.70 eprover: CPU time limit exceeded, terminating
% 235.10/232.72 eprover: CPU time limit exceeded, terminating
% 237.08/234.73 eprover: CPU time limit exceeded, terminating
% 239.12/236.74 eprover: CPU time limit exceeded, terminating
% 241.12/238.75 eprover: CPU time limit exceeded, terminating
% 243.18/240.78 eprover: CPU time limit exceeded, terminating
% 245.21/242.80 eprover: CPU time limit exceeded, terminating
% 247.19/244.81 eprover: CPU time limit exceeded, terminating
% 249.19/246.83 eprover: CPU time limit exceeded, terminating
% 251.28/248.84 eprover: CPU time limit exceeded, terminating
% 253.32/250.87 eprover: CPU time limit exceeded, terminating
% 255.30/252.89 eprover: CPU time limit exceeded, terminating
% 257.35/254.90 eprover: CPU time limit exceeded, terminating
% 259.39/256.92 eprover: CPU time limit exceeded, terminating
% 261.42/258.95 eprover: CPU time limit exceeded, terminating
% 263.37/260.96 eprover: CPU time limit exceeded, terminating
% 265.45/262.98 eprover: CPU time limit exceeded, terminating
% 267.50/264.99 eprover: CPU time limit exceeded, terminating
% 269.52/267.01 eprover: CPU time limit exceeded, terminating
% 271.55/269.02 eprover: CPU time limit exceeded, terminating
% 273.50/271.04 eprover: CPU time limit exceeded, terminating
% 275.59/273.05 eprover: CPU time limit exceeded, terminating
% 277.61/275.06 eprover: CPU time limit exceeded, terminating
% 279.60/277.08 eprover: CPU time limit exceeded, terminating
% 281.66/279.09 eprover: CPU time limit exceeded, terminating
% 283.69/281.10 eprover: CPU time limit exceeded, terminating
% 285.69/283.12 eprover: CPU time limit exceeded, terminating
% 287.72/285.13 eprover: CPU time limit exceeded, terminating
% 289.73/287.15 eprover: CPU time limit exceeded, terminating
% 293.69/289.16 eprover: CPU time limit exceeded, terminating
% 295.71/291.18 eprover: CPU time limit exceeded, terminating
% 297.75/293.19 eprover: CPU time limit exceeded, terminating
% 299.81/295.20 eprover: CPU time limit exceeded, terminating
% 300.42/295.81 eprover: CPU time limit exceeded, terminating
% 300.42/295.83 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------