TSTP Solution File: PUZ051-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PUZ051-10 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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 18:12:37 EDT 2022
% Result : Timeout 286.12s 285.24s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : PUZ051-10 : TPTP v8.1.0. Released v7.3.0.
% 0.00/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n022.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Sat May 28 23:57:08 EDT 2022
% 0.11/0.32 % CPUTime :
% 15.76/15.94 eprover: CPU time limit exceeded, terminating
% 17.73/17.95 eprover: CPU time limit exceeded, terminating
% 19.77/19.96 eprover: CPU time limit exceeded, terminating
% 21.79/21.97 eprover: CPU time limit exceeded, terminating
% 23.79/23.97 eprover: CPU time limit exceeded, terminating
% 25.81/25.98 eprover: CPU time limit exceeded, terminating
% 27.87/27.99 eprover: CPU time limit exceeded, terminating
% 29.81/30.00 eprover: CPU time limit exceeded, terminating
% 31.93/32.01 eprover: CPU time limit exceeded, terminating
% 33.93/34.01 eprover: CPU time limit exceeded, terminating
% 35.95/36.02 eprover: CPU time limit exceeded, terminating
% 37.97/38.03 eprover: CPU time limit exceeded, terminating
% 39.95/40.03 eprover: CPU time limit exceeded, terminating
% 41.94/42.04 eprover: CPU time limit exceeded, terminating
% 43.98/44.05 eprover: CPU time limit exceeded, terminating
% 45.98/46.05 eprover: CPU time limit exceeded, terminating
% 47.99/48.06 eprover: CPU time limit exceeded, terminating
% 50.07/50.07 eprover: CPU time limit exceeded, terminating
% 52.00/52.08 eprover: CPU time limit exceeded, terminating
% 54.06/54.09 eprover: CPU time limit exceeded, terminating
% 56.03/56.09 eprover: CPU time limit exceeded, terminating
% 58.13/58.10 eprover: CPU time limit exceeded, terminating
% 60.16/60.11 eprover: CPU time limit exceeded, terminating
% 62.15/62.11 eprover: CPU time limit exceeded, terminating
% 64.15/64.12 eprover: CPU time limit exceeded, terminating
% 66.19/66.13 eprover: CPU time limit exceeded, terminating
% 68.20/68.14 eprover: CPU time limit exceeded, terminating
% 70.18/70.14 eprover: CPU time limit exceeded, terminating
% 72.22/72.15 eprover: CPU time limit exceeded, terminating
% 74.22/74.16 eprover: CPU time limit exceeded, terminating
% 76.22/76.17 eprover: CPU time limit exceeded, terminating
% 78.24/78.18 eprover: CPU time limit exceeded, terminating
% 80.27/80.18 eprover: CPU time limit exceeded, terminating
% 82.22/82.19 eprover: CPU time limit exceeded, terminating
% 84.36/84.20 eprover: CPU time limit exceeded, terminating
% 86.29/86.21 eprover: CPU time limit exceeded, terminating
% 88.38/88.21 eprover: CPU time limit exceeded, terminating
% 90.38/90.22 eprover: CPU time limit exceeded, terminating
% 92.40/92.23 eprover: CPU time limit exceeded, terminating
% 94.44/94.24 eprover: CPU time limit exceeded, terminating
% 96.41/96.25 eprover: CPU time limit exceeded, terminating
% 98.46/98.25 eprover: CPU time limit exceeded, terminating
% 100.44/100.26 eprover: CPU time limit exceeded, terminating
% 102.44/102.27 eprover: CPU time limit exceeded, terminating
% 104.45/104.28 eprover: CPU time limit exceeded, terminating
% 106.49/106.28 eprover: CPU time limit exceeded, terminating
% 108.46/108.29 eprover: CPU time limit exceeded, terminating
% 110.57/110.30 eprover: CPU time limit exceeded, terminating
% 112.60/112.31 eprover: CPU time limit exceeded, terminating
% 114.61/114.32 eprover: CPU time limit exceeded, terminating
% 116.60/116.32 eprover: CPU time limit exceeded, terminating
% 118.62/118.33 eprover: CPU time limit exceeded, terminating
% 120.66/120.34 eprover: CPU time limit exceeded, terminating
% 122.65/122.35 eprover: CPU time limit exceeded, terminating
% 124.69/124.35 eprover: CPU time limit exceeded, terminating
% 126.69/126.36 eprover: CPU time limit exceeded, terminating
% 128.67/128.37 eprover: CPU time limit exceeded, terminating
% 130.67/130.38 eprover: CPU time limit exceeded, terminating
% 132.69/132.39 eprover: CPU time limit exceeded, terminating
% 134.78/134.39 eprover: CPU time limit exceeded, terminating
% 136.81/136.40 eprover: CPU time limit exceeded, terminating
% 138.82/138.41 eprover: CPU time limit exceeded, terminating
% 140.84/140.42 eprover: CPU time limit exceeded, terminating
% 142.87/142.43 eprover: CPU time limit exceeded, terminating
% 144.89/144.44 eprover: CPU time limit exceeded, terminating
% 146.86/146.44 eprover: CPU time limit exceeded, terminating
% 148.87/148.45 eprover: CPU time limit exceeded, terminating
% 150.86/150.46 eprover: CPU time limit exceeded, terminating
% 152.90/152.47 eprover: CPU time limit exceeded, terminating
% 154.90/154.48 eprover: CPU time limit exceeded, terminating
% 156.93/156.48 eprover: CPU time limit exceeded, terminating
% 158.95/158.49 eprover: CPU time limit exceeded, terminating
% 161.03/160.50 eprover: CPU time limit exceeded, terminating
% 163.03/162.51 eprover: CPU time limit exceeded, terminating
% 165.05/164.52 eprover: CPU time limit exceeded, terminating
% 167.06/166.53 eprover: CPU time limit exceeded, terminating
% 169.06/168.53 eprover: CPU time limit exceeded, terminating
% 171.05/170.54 eprover: CPU time limit exceeded, terminating
% 173.10/172.55 eprover: CPU time limit exceeded, terminating
% 175.12/174.56 eprover: CPU time limit exceeded, terminating
% 177.09/176.57 eprover: CPU time limit exceeded, terminating
% 179.13/178.58 eprover: CPU time limit exceeded, terminating
% 181.20/180.59 eprover: CPU time limit exceeded, terminating
% 183.12/182.60 eprover: CPU time limit exceeded, terminating
% 185.17/184.61 eprover: CPU time limit exceeded, terminating
% 187.24/186.62 eprover: CPU time limit exceeded, terminating
% 189.24/188.64 eprover: CPU time limit exceeded, terminating
% 191.26/190.65 eprover: CPU time limit exceeded, terminating
% 193.30/192.66 eprover: CPU time limit exceeded, terminating
% 195.30/194.67 eprover: CPU time limit exceeded, terminating
% 197.36/196.68 eprover: CPU time limit exceeded, terminating
% 199.33/198.69 eprover: CPU time limit exceeded, terminating
% 201.41/200.70 eprover: CPU time limit exceeded, terminating
% 203.40/202.71 eprover: CPU time limit exceeded, terminating
% 205.43/204.72 eprover: CPU time limit exceeded, terminating
% 207.47/206.73 eprover: CPU time limit exceeded, terminating
% 209.44/208.75 eprover: CPU time limit exceeded, terminating
% 211.47/210.76 eprover: CPU time limit exceeded, terminating
% 213.46/212.77 eprover: CPU time limit exceeded, terminating
% 215.47/214.78 eprover: CPU time limit exceeded, terminating
% 217.55/216.79 eprover: CPU time limit exceeded, terminating
% 219.51/218.80 eprover: CPU time limit exceeded, terminating
% 221.58/220.81 eprover: CPU time limit exceeded, terminating
% 223.63/222.82 eprover: CPU time limit exceeded, terminating
% 225.60/224.83 eprover: CPU time limit exceeded, terminating
% 227.64/226.84 eprover: CPU time limit exceeded, terminating
% 229.61/228.85 eprover: CPU time limit exceeded, terminating
% 231.64/230.86 eprover: CPU time limit exceeded, terminating
% 233.70/232.87 eprover: CPU time limit exceeded, terminating
% 235.65/234.88 eprover: CPU time limit exceeded, terminating
% 237.69/236.89 eprover: CPU time limit exceeded, terminating
% 239.67/238.90 eprover: CPU time limit exceeded, terminating
% 241.79/240.91 eprover: CPU time limit exceeded, terminating
% 243.78/242.92 eprover: CPU time limit exceeded, terminating
% 245.82/244.93 eprover: CPU time limit exceeded, terminating
% 247.78/246.94 eprover: CPU time limit exceeded, terminating
% 249.80/248.95 eprover: CPU time limit exceeded, terminating
% 251.83/250.96 eprover: CPU time limit exceeded, terminating
% 253.84/252.97 eprover: CPU time limit exceeded, terminating
% 255.87/254.98 eprover: CPU time limit exceeded, terminating
% 257.86/256.99 eprover: CPU time limit exceeded, terminating
% 259.91/259.01 eprover: CPU time limit exceeded, terminating
% 261.95/261.01 eprover: CPU time limit exceeded, terminating
% 263.97/263.06 eprover: CPU time limit exceeded, terminating
% 265.94/265.07 eprover: CPU time limit exceeded, terminating
% 267.92/267.08 eprover: CPU time limit exceeded, terminating
% 269.96/269.09 eprover: CPU time limit exceeded, terminating
% 272.05/271.10 eprover: CPU time limit exceeded, terminating
% 274.03/273.12 eprover: CPU time limit exceeded, terminating
% 276.01/275.15 eprover: CPU time limit exceeded, terminating
% 278.01/277.19 eprover: CPU time limit exceeded, terminating
% 280.11/279.21 eprover: CPU time limit exceeded, terminating
% 282.11/281.22 eprover: CPU time limit exceeded, terminating
% 284.12/283.23 eprover: CPU time limit exceeded, terminating
% 286.12/285.24 eprover: CPU time limit exceeded, terminating
% 288.13/287.25 eprover: CPU time limit exceeded, terminating
% 290.15/289.26 eprover: CPU time limit exceeded, terminating
% 292.13/291.27 eprover: CPU time limit exceeded, terminating
% 294.21/293.28 eprover: CPU time limit exceeded, terminating
% 296.24/295.29 eprover: CPU time limit exceeded, terminating
% 298.24/297.30 eprover: CPU time limit exceeded, terminating
% 300.06/299.10 eprover: CPU time limit exceeded, terminating
% 300.06/299.11 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------