TSTP Solution File: PLA031-10.006 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA031-10.006 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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 16:57:31 EDT 2022
% Result : Timeout 286.38s 285.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : PLA031-10.006 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Tue May 31 20:55:21 EDT 2022
% 0.12/0.33 % CPUTime :
% 5.65/5.84 eprover: CPU time limit exceeded, terminating
% 7.63/7.85 eprover: CPU time limit exceeded, terminating
% 9.71/9.86 eprover: CPU time limit exceeded, terminating
% 11.71/11.87 eprover: CPU time limit exceeded, terminating
% 13.74/13.88 eprover: CPU time limit exceeded, terminating
% 15.73/15.89 eprover: CPU time limit exceeded, terminating
% 17.76/17.90 eprover: CPU time limit exceeded, terminating
% 19.75/19.91 eprover: CPU time limit exceeded, terminating
% 21.76/21.92 eprover: CPU time limit exceeded, terminating
% 23.83/23.93 eprover: CPU time limit exceeded, terminating
% 25.76/25.94 eprover: CPU time limit exceeded, terminating
% 27.85/27.95 eprover: CPU time limit exceeded, terminating
% 29.89/29.96 eprover: CPU time limit exceeded, terminating
% 31.86/31.97 eprover: CPU time limit exceeded, terminating
% 33.94/33.98 eprover: CPU time limit exceeded, terminating
% 35.90/35.99 eprover: CPU time limit exceeded, terminating
% 37.95/38.00 eprover: CPU time limit exceeded, terminating
% 39.93/40.01 eprover: CPU time limit exceeded, terminating
% 41.96/42.02 eprover: CPU time limit exceeded, terminating
% 44.02/44.03 eprover: CPU time limit exceeded, terminating
% 45.96/46.04 eprover: CPU time limit exceeded, terminating
% 48.03/48.05 eprover: CPU time limit exceeded, terminating
% 50.07/50.07 eprover: CPU time limit exceeded, terminating
% 52.06/52.08 eprover: CPU time limit exceeded, terminating
% 54.11/54.09 eprover: CPU time limit exceeded, terminating
% 56.08/56.10 eprover: CPU time limit exceeded, terminating
% 58.14/58.11 eprover: CPU time limit exceeded, terminating
% 60.15/60.12 eprover: CPU time limit exceeded, terminating
% 62.16/62.13 eprover: CPU time limit exceeded, terminating
% 64.18/64.14 eprover: CPU time limit exceeded, terminating
% 66.19/66.14 eprover: CPU time limit exceeded, terminating
% 68.21/68.15 eprover: CPU time limit exceeded, terminating
% 70.24/70.16 eprover: CPU time limit exceeded, terminating
% 72.26/72.17 eprover: CPU time limit exceeded, terminating
% 74.28/74.18 eprover: CPU time limit exceeded, terminating
% 76.27/76.19 eprover: CPU time limit exceeded, terminating
% 78.28/78.20 eprover: CPU time limit exceeded, terminating
% 80.35/80.21 eprover: CPU time limit exceeded, terminating
% 82.37/82.22 eprover: CPU time limit exceeded, terminating
% 84.35/84.24 eprover: CPU time limit exceeded, terminating
% 86.36/86.25 eprover: CPU time limit exceeded, terminating
% 88.38/88.26 eprover: CPU time limit exceeded, terminating
% 90.46/90.28 eprover: CPU time limit exceeded, terminating
% 92.47/92.29 eprover: CPU time limit exceeded, terminating
% 94.44/94.30 eprover: CPU time limit exceeded, terminating
% 96.46/96.31 eprover: CPU time limit exceeded, terminating
% 98.54/98.33 eprover: CPU time limit exceeded, terminating
% 100.49/100.34 eprover: CPU time limit exceeded, terminating
% 102.58/102.35 eprover: CPU time limit exceeded, terminating
% 104.61/104.36 eprover: CPU time limit exceeded, terminating
% 106.63/106.37 eprover: CPU time limit exceeded, terminating
% 108.64/108.39 eprover: CPU time limit exceeded, terminating
% 110.65/110.40 eprover: CPU time limit exceeded, terminating
% 112.62/112.41 eprover: CPU time limit exceeded, terminating
% 114.67/114.42 eprover: CPU time limit exceeded, terminating
% 116.67/116.44 eprover: CPU time limit exceeded, terminating
% 118.73/118.45 eprover: CPU time limit exceeded, terminating
% 120.76/120.46 eprover: CPU time limit exceeded, terminating
% 122.77/122.47 eprover: CPU time limit exceeded, terminating
% 124.81/124.48 eprover: CPU time limit exceeded, terminating
% 126.82/126.49 eprover: CPU time limit exceeded, terminating
% 128.80/128.51 eprover: CPU time limit exceeded, terminating
% 130.88/130.52 eprover: CPU time limit exceeded, terminating
% 132.86/132.53 eprover: CPU time limit exceeded, terminating
% 134.91/134.54 eprover: CPU time limit exceeded, terminating
% 136.93/136.55 eprover: CPU time limit exceeded, terminating
% 138.95/138.56 eprover: CPU time limit exceeded, terminating
% 140.94/140.58 eprover: CPU time limit exceeded, terminating
% 142.93/142.59 eprover: CPU time limit exceeded, terminating
% 145.00/144.60 eprover: CPU time limit exceeded, terminating
% 147.02/146.61 eprover: CPU time limit exceeded, terminating
% 149.05/148.63 eprover: CPU time limit exceeded, terminating
% 151.06/150.64 eprover: CPU time limit exceeded, terminating
% 153.09/152.65 eprover: CPU time limit exceeded, terminating
% 155.11/154.66 eprover: CPU time limit exceeded, terminating
% 157.13/156.67 eprover: CPU time limit exceeded, terminating
% 159.16/158.69 eprover: CPU time limit exceeded, terminating
% 161.15/160.70 eprover: CPU time limit exceeded, terminating
% 163.17/162.71 eprover: CPU time limit exceeded, terminating
% 165.17/164.72 eprover: CPU time limit exceeded, terminating
% 167.18/166.73 eprover: CPU time limit exceeded, terminating
% 169.25/168.74 eprover: CPU time limit exceeded, terminating
% 171.17/170.75 eprover: CPU time limit exceeded, terminating
% 173.25/172.77 eprover: CPU time limit exceeded, terminating
% 175.30/174.78 eprover: CPU time limit exceeded, terminating
% 177.29/176.79 eprover: CPU time limit exceeded, terminating
% 179.34/178.80 eprover: CPU time limit exceeded, terminating
% 181.38/180.81 eprover: CPU time limit exceeded, terminating
% 183.39/182.82 eprover: CPU time limit exceeded, terminating
% 185.35/184.84 eprover: CPU time limit exceeded, terminating
% 187.36/186.85 eprover: CPU time limit exceeded, terminating
% 189.44/188.86 eprover: CPU time limit exceeded, terminating
% 191.47/190.87 eprover: CPU time limit exceeded, terminating
% 193.49/192.88 eprover: CPU time limit exceeded, terminating
% 195.48/194.89 eprover: CPU time limit exceeded, terminating
% 197.53/196.91 eprover: CPU time limit exceeded, terminating
% 199.52/198.92 eprover: CPU time limit exceeded, terminating
% 201.56/200.93 eprover: CPU time limit exceeded, terminating
% 203.58/202.94 eprover: CPU time limit exceeded, terminating
% 205.62/204.95 eprover: CPU time limit exceeded, terminating
% 207.63/206.96 eprover: CPU time limit exceeded, terminating
% 209.66/208.97 eprover: CPU time limit exceeded, terminating
% 211.67/210.98 eprover: CPU time limit exceeded, terminating
% 213.67/213.00 eprover: CPU time limit exceeded, terminating
% 215.68/215.01 eprover: CPU time limit exceeded, terminating
% 217.71/217.02 eprover: CPU time limit exceeded, terminating
% 219.76/219.03 eprover: CPU time limit exceeded, terminating
% 221.73/221.04 eprover: CPU time limit exceeded, terminating
% 223.80/223.06 eprover: CPU time limit exceeded, terminating
% 225.81/225.07 eprover: CPU time limit exceeded, terminating
% 227.86/227.08 eprover: CPU time limit exceeded, terminating
% 229.82/229.09 eprover: CPU time limit exceeded, terminating
% 231.84/231.10 eprover: CPU time limit exceeded, terminating
% 233.85/233.11 eprover: CPU time limit exceeded, terminating
% 235.85/235.12 eprover: CPU time limit exceeded, terminating
% 237.93/237.13 eprover: CPU time limit exceeded, terminating
% 239.96/239.14 eprover: CPU time limit exceeded, terminating
% 241.95/241.15 eprover: CPU time limit exceeded, terminating
% 243.99/243.16 eprover: CPU time limit exceeded, terminating
% 245.97/245.17 eprover: CPU time limit exceeded, terminating
% 248.04/247.19 eprover: CPU time limit exceeded, terminating
% 250.00/249.20 eprover: CPU time limit exceeded, terminating
% 252.06/251.21 eprover: CPU time limit exceeded, terminating
% 254.01/253.22 eprover: CPU time limit exceeded, terminating
% 256.05/255.23 eprover: CPU time limit exceeded, terminating
% 258.09/257.24 eprover: CPU time limit exceeded, terminating
% 260.05/259.25 eprover: CPU time limit exceeded, terminating
% 262.10/261.26 eprover: CPU time limit exceeded, terminating
% 264.17/263.27 eprover: CPU time limit exceeded, terminating
% 266.14/265.29 eprover: CPU time limit exceeded, terminating
% 268.21/267.30 eprover: CPU time limit exceeded, terminating
% 270.23/269.31 eprover: CPU time limit exceeded, terminating
% 272.25/271.32 eprover: CPU time limit exceeded, terminating
% 274.29/273.33 eprover: CPU time limit exceeded, terminating
% 276.28/275.34 eprover: CPU time limit exceeded, terminating
% 278.26/277.36 eprover: CPU time limit exceeded, terminating
% 280.31/279.37 eprover: CPU time limit exceeded, terminating
% 282.31/281.39 eprover: CPU time limit exceeded, terminating
% 284.37/283.40 eprover: CPU time limit exceeded, terminating
% 286.38/285.42 eprover: CPU time limit exceeded, terminating
% 288.40/287.43 eprover: CPU time limit exceeded, terminating
% 290.42/289.45 eprover: CPU time limit exceeded, terminating
% 292.45/291.46 eprover: CPU time limit exceeded, terminating
% 294.47/293.48 eprover: CPU time limit exceeded, terminating
% 296.48/295.49 eprover: CPU time limit exceeded, terminating
% 298.48/297.50 eprover: CPU time limit exceeded, terminating
% 300.07/299.05 eprover: CPU time limit exceeded, terminating
% 300.07/299.06 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------