TSTP Solution File: PLA015-10 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA015-10 : TPTP v8.1.0. Released v7.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n026.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:30 EDT 2022
% Result : Timeout 286.07s 286.47s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : PLA015-10 : TPTP v8.1.0. Released v7.5.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.33 % Computer : n026.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 600
% 0.13/0.33 % DateTime : Tue May 31 18:26:11 EDT 2022
% 0.13/0.33 % CPUTime :
% 2.19/2.37 eprover: CPU time limit exceeded, terminating
% 4.15/4.38 eprover: CPU time limit exceeded, terminating
% 6.16/6.39 eprover: CPU time limit exceeded, terminating
% 8.20/8.40 eprover: CPU time limit exceeded, terminating
% 10.21/10.41 eprover: CPU time limit exceeded, terminating
% 12.16/12.42 eprover: CPU time limit exceeded, terminating
% 14.26/14.43 eprover: CPU time limit exceeded, terminating
% 16.24/16.44 eprover: CPU time limit exceeded, terminating
% 18.25/18.45 eprover: CPU time limit exceeded, terminating
% 20.31/20.47 eprover: CPU time limit exceeded, terminating
% 22.33/22.48 eprover: CPU time limit exceeded, terminating
% 24.32/24.49 eprover: CPU time limit exceeded, terminating
% 26.31/26.50 eprover: CPU time limit exceeded, terminating
% 28.35/28.51 eprover: CPU time limit exceeded, terminating
% 30.31/30.52 eprover: CPU time limit exceeded, terminating
% 32.39/32.53 eprover: CPU time limit exceeded, terminating
% 34.40/34.54 eprover: CPU time limit exceeded, terminating
% 36.41/36.55 eprover: CPU time limit exceeded, terminating
% 38.37/38.56 eprover: CPU time limit exceeded, terminating
% 40.42/40.57 eprover: CPU time limit exceeded, terminating
% 42.41/42.58 eprover: CPU time limit exceeded, terminating
% 44.44/44.59 eprover: CPU time limit exceeded, terminating
% 46.45/46.60 eprover: CPU time limit exceeded, terminating
% 48.49/48.61 eprover: CPU time limit exceeded, terminating
% 50.47/50.62 eprover: CPU time limit exceeded, terminating
% 52.51/52.63 eprover: CPU time limit exceeded, terminating
% 54.46/54.64 eprover: CPU time limit exceeded, terminating
% 56.50/56.65 eprover: CPU time limit exceeded, terminating
% 58.51/58.66 eprover: CPU time limit exceeded, terminating
% 60.53/60.67 eprover: CPU time limit exceeded, terminating
% 62.54/62.68 eprover: CPU time limit exceeded, terminating
% 64.60/64.69 eprover: CPU time limit exceeded, terminating
% 66.61/66.70 eprover: CPU time limit exceeded, terminating
% 68.57/68.71 eprover: CPU time limit exceeded, terminating
% 70.62/70.72 eprover: CPU time limit exceeded, terminating
% 72.65/72.73 eprover: CPU time limit exceeded, terminating
% 74.67/74.74 eprover: CPU time limit exceeded, terminating
% 76.61/76.75 eprover: CPU time limit exceeded, terminating
% 78.66/78.76 eprover: CPU time limit exceeded, terminating
% 80.65/80.79 eprover: CPU time limit exceeded, terminating
% 82.70/82.80 eprover: CPU time limit exceeded, terminating
% 84.73/84.81 eprover: CPU time limit exceeded, terminating
% 86.72/86.82 eprover: CPU time limit exceeded, terminating
% 88.74/88.83 eprover: CPU time limit exceeded, terminating
% 90.71/90.84 eprover: CPU time limit exceeded, terminating
% 92.76/92.85 eprover: CPU time limit exceeded, terminating
% 94.73/94.86 eprover: CPU time limit exceeded, terminating
% 96.78/96.87 eprover: CPU time limit exceeded, terminating
% 98.75/98.87 eprover: CPU time limit exceeded, terminating
% 100.83/100.94 eprover: CPU time limit exceeded, terminating
% 102.82/103.02 eprover: CPU time limit exceeded, terminating
% 104.84/105.02 eprover: CPU time limit exceeded, terminating
% 106.86/107.03 eprover: CPU time limit exceeded, terminating
% 108.81/109.04 eprover: CPU time limit exceeded, terminating
% 110.85/111.06 eprover: CPU time limit exceeded, terminating
% 112.83/113.07 eprover: CPU time limit exceeded, terminating
% 114.86/115.08 eprover: CPU time limit exceeded, terminating
% 116.84/117.09 eprover: CPU time limit exceeded, terminating
% 118.85/119.10 eprover: CPU time limit exceeded, terminating
% 120.91/121.13 eprover: CPU time limit exceeded, terminating
% 122.92/123.14 eprover: CPU time limit exceeded, terminating
% 124.95/125.15 eprover: CPU time limit exceeded, terminating
% 126.91/127.18 eprover: CPU time limit exceeded, terminating
% 128.99/129.20 eprover: CPU time limit exceeded, terminating
% 130.99/131.21 eprover: CPU time limit exceeded, terminating
% 132.98/133.26 eprover: CPU time limit exceeded, terminating
% 135.04/135.27 eprover: CPU time limit exceeded, terminating
% 137.04/137.29 eprover: CPU time limit exceeded, terminating
% 139.05/139.31 eprover: CPU time limit exceeded, terminating
% 141.07/141.32 eprover: CPU time limit exceeded, terminating
% 143.09/143.34 eprover: CPU time limit exceeded, terminating
% 145.11/145.36 eprover: CPU time limit exceeded, terminating
% 147.13/147.38 eprover: CPU time limit exceeded, terminating
% 149.11/149.42 eprover: CPU time limit exceeded, terminating
% 151.16/151.45 eprover: CPU time limit exceeded, terminating
% 153.13/153.46 eprover: CPU time limit exceeded, terminating
% 155.21/155.48 eprover: CPU time limit exceeded, terminating
% 157.22/157.49 eprover: CPU time limit exceeded, terminating
% 159.17/159.50 eprover: CPU time limit exceeded, terminating
% 161.20/161.52 eprover: CPU time limit exceeded, terminating
% 163.20/163.54 eprover: CPU time limit exceeded, terminating
% 165.24/165.55 eprover: CPU time limit exceeded, terminating
% 167.27/167.57 eprover: CPU time limit exceeded, terminating
% 169.29/169.59 eprover: CPU time limit exceeded, terminating
% 171.29/171.61 eprover: CPU time limit exceeded, terminating
% 173.34/173.63 eprover: CPU time limit exceeded, terminating
% 175.28/175.65 eprover: CPU time limit exceeded, terminating
% 177.34/177.66 eprover: CPU time limit exceeded, terminating
% 179.38/179.68 eprover: CPU time limit exceeded, terminating
% 181.35/181.69 eprover: CPU time limit exceeded, terminating
% 183.37/183.71 eprover: CPU time limit exceeded, terminating
% 185.35/185.73 eprover: CPU time limit exceeded, terminating
% 187.44/187.75 eprover: CPU time limit exceeded, terminating
% 189.41/189.77 eprover: CPU time limit exceeded, terminating
% 191.44/191.78 eprover: CPU time limit exceeded, terminating
% 193.46/193.80 eprover: CPU time limit exceeded, terminating
% 195.46/195.81 eprover: CPU time limit exceeded, terminating
% 197.45/197.83 eprover: CPU time limit exceeded, terminating
% 199.50/199.84 eprover: CPU time limit exceeded, terminating
% 201.50/201.88 eprover: CPU time limit exceeded, terminating
% 203.51/203.89 eprover: CPU time limit exceeded, terminating
% 205.55/205.90 eprover: CPU time limit exceeded, terminating
% 207.51/207.91 eprover: CPU time limit exceeded, terminating
% 209.57/209.93 eprover: CPU time limit exceeded, terminating
% 211.61/211.94 eprover: CPU time limit exceeded, terminating
% 213.56/213.96 eprover: CPU time limit exceeded, terminating
% 215.62/215.97 eprover: CPU time limit exceeded, terminating
% 217.65/217.99 eprover: CPU time limit exceeded, terminating
% 219.62/220.00 eprover: CPU time limit exceeded, terminating
% 221.65/222.02 eprover: CPU time limit exceeded, terminating
% 223.69/224.03 eprover: CPU time limit exceeded, terminating
% 225.63/226.04 eprover: CPU time limit exceeded, terminating
% 227.70/228.05 eprover: CPU time limit exceeded, terminating
% 229.75/230.07 eprover: CPU time limit exceeded, terminating
% 231.70/232.08 eprover: CPU time limit exceeded, terminating
% 233.76/234.09 eprover: CPU time limit exceeded, terminating
% 235.79/236.11 eprover: CPU time limit exceeded, terminating
% 237.70/238.12 eprover: CPU time limit exceeded, terminating
% 239.75/240.16 eprover: CPU time limit exceeded, terminating
% 241.75/242.17 eprover: CPU time limit exceeded, terminating
% 243.76/244.19 eprover: CPU time limit exceeded, terminating
% 245.85/246.20 eprover: CPU time limit exceeded, terminating
% 247.86/248.21 eprover: CPU time limit exceeded, terminating
% 249.81/250.23 eprover: CPU time limit exceeded, terminating
% 251.87/252.24 eprover: CPU time limit exceeded, terminating
% 253.85/254.25 eprover: CPU time limit exceeded, terminating
% 255.87/256.26 eprover: CPU time limit exceeded, terminating
% 257.92/258.28 eprover: CPU time limit exceeded, terminating
% 259.92/260.29 eprover: CPU time limit exceeded, terminating
% 261.95/262.30 eprover: CPU time limit exceeded, terminating
% 263.96/264.32 eprover: CPU time limit exceeded, terminating
% 265.97/266.33 eprover: CPU time limit exceeded, terminating
% 267.93/268.34 eprover: CPU time limit exceeded, terminating
% 269.96/270.36 eprover: CPU time limit exceeded, terminating
% 271.97/272.37 eprover: CPU time limit exceeded, terminating
% 274.03/274.39 eprover: CPU time limit exceeded, terminating
% 276.05/276.40 eprover: CPU time limit exceeded, terminating
% 278.05/278.42 eprover: CPU time limit exceeded, terminating
% 280.04/280.43 eprover: CPU time limit exceeded, terminating
% 282.05/282.45 eprover: CPU time limit exceeded, terminating
% 284.05/284.46 eprover: CPU time limit exceeded, terminating
% 286.07/286.47 eprover: CPU time limit exceeded, terminating
% 288.03/288.48 eprover: CPU time limit exceeded, terminating
% 290.14/290.50 eprover: CPU time limit exceeded, terminating
% 292.13/292.52 eprover: CPU time limit exceeded, terminating
% 294.15/294.54 eprover: CPU time limit exceeded, terminating
% 296.15/296.55 eprover: CPU time limit exceeded, terminating
% 298.16/298.56 eprover: CPU time limit exceeded, terminating
% 300.03/300.40 eprover: CPU time limit exceeded, terminating
% 300.03/300.42 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------