TSTP Solution File: PLA044-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA044-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:34 EDT 2022
% Result : Timeout 287.97s 238.86s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : PLA044-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n019.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue May 31 20:03:10 EDT 2022
% 0.13/0.34 % CPUTime :
% 12.42/12.12 eprover: CPU time limit exceeded, terminating
% 15.36/14.65 eprover: CPU time limit exceeded, terminating
% 17.79/16.66 eprover: CPU time limit exceeded, terminating
% 20.32/18.69 eprover: CPU time limit exceeded, terminating
% 22.69/20.71 eprover: CPU time limit exceeded, terminating
% 25.23/22.72 eprover: CPU time limit exceeded, terminating
% 27.69/24.74 eprover: CPU time limit exceeded, terminating
% 30.15/26.76 eprover: CPU time limit exceeded, terminating
% 32.54/28.78 eprover: CPU time limit exceeded, terminating
% 35.03/30.80 eprover: CPU time limit exceeded, terminating
% 37.52/32.83 eprover: CPU time limit exceeded, terminating
% 40.00/34.84 eprover: CPU time limit exceeded, terminating
% 42.44/36.87 eprover: CPU time limit exceeded, terminating
% 44.94/38.89 eprover: CPU time limit exceeded, terminating
% 47.40/40.91 eprover: CPU time limit exceeded, terminating
% 49.82/42.93 eprover: CPU time limit exceeded, terminating
% 52.31/44.95 eprover: CPU time limit exceeded, terminating
% 54.76/46.97 eprover: CPU time limit exceeded, terminating
% 57.22/48.99 eprover: CPU time limit exceeded, terminating
% 59.64/51.01 eprover: CPU time limit exceeded, terminating
% 62.07/53.03 eprover: CPU time limit exceeded, terminating
% 64.51/55.05 eprover: CPU time limit exceeded, terminating
% 66.94/57.07 eprover: CPU time limit exceeded, terminating
% 69.39/59.09 eprover: CPU time limit exceeded, terminating
% 71.90/61.11 eprover: CPU time limit exceeded, terminating
% 74.35/63.13 eprover: CPU time limit exceeded, terminating
% 76.80/65.15 eprover: CPU time limit exceeded, terminating
% 79.23/67.17 eprover: CPU time limit exceeded, terminating
% 81.65/69.19 eprover: CPU time limit exceeded, terminating
% 84.13/71.21 eprover: CPU time limit exceeded, terminating
% 86.68/73.23 eprover: CPU time limit exceeded, terminating
% 89.08/75.25 eprover: CPU time limit exceeded, terminating
% 91.55/77.27 eprover: CPU time limit exceeded, terminating
% 93.97/79.29 eprover: CPU time limit exceeded, terminating
% 96.47/81.31 eprover: CPU time limit exceeded, terminating
% 98.95/83.33 eprover: CPU time limit exceeded, terminating
% 101.41/85.35 eprover: CPU time limit exceeded, terminating
% 103.86/87.37 eprover: CPU time limit exceeded, terminating
% 106.37/89.39 eprover: CPU time limit exceeded, terminating
% 108.82/91.41 eprover: CPU time limit exceeded, terminating
% 111.24/93.43 eprover: CPU time limit exceeded, terminating
% 113.71/95.45 eprover: CPU time limit exceeded, terminating
% 116.16/97.47 eprover: CPU time limit exceeded, terminating
% 118.59/99.49 eprover: CPU time limit exceeded, terminating
% 121.10/101.51 eprover: CPU time limit exceeded, terminating
% 123.56/103.53 eprover: CPU time limit exceeded, terminating
% 126.02/105.55 eprover: CPU time limit exceeded, terminating
% 128.44/107.57 eprover: CPU time limit exceeded, terminating
% 130.94/109.59 eprover: CPU time limit exceeded, terminating
% 133.36/111.61 eprover: CPU time limit exceeded, terminating
% 135.88/113.63 eprover: CPU time limit exceeded, terminating
% 138.30/115.65 eprover: CPU time limit exceeded, terminating
% 140.68/117.66 eprover: CPU time limit exceeded, terminating
% 143.18/119.68 eprover: CPU time limit exceeded, terminating
% 145.62/121.70 eprover: CPU time limit exceeded, terminating
% 148.10/123.72 eprover: CPU time limit exceeded, terminating
% 150.60/125.74 eprover: CPU time limit exceeded, terminating
% 153.00/127.76 eprover: CPU time limit exceeded, terminating
% 155.50/129.78 eprover: CPU time limit exceeded, terminating
% 157.95/131.80 eprover: CPU time limit exceeded, terminating
% 160.37/133.82 eprover: CPU time limit exceeded, terminating
% 162.86/135.84 eprover: CPU time limit exceeded, terminating
% 165.31/137.86 eprover: CPU time limit exceeded, terminating
% 167.78/139.88 eprover: CPU time limit exceeded, terminating
% 170.17/141.90 eprover: CPU time limit exceeded, terminating
% 172.59/143.92 eprover: CPU time limit exceeded, terminating
% 175.01/145.94 eprover: CPU time limit exceeded, terminating
% 177.40/147.96 eprover: CPU time limit exceeded, terminating
% 179.90/149.98 eprover: CPU time limit exceeded, terminating
% 182.38/151.99 eprover: CPU time limit exceeded, terminating
% 184.81/154.01 eprover: CPU time limit exceeded, terminating
% 187.25/156.03 eprover: CPU time limit exceeded, terminating
% 189.70/158.05 eprover: CPU time limit exceeded, terminating
% 192.20/160.07 eprover: CPU time limit exceeded, terminating
% 194.64/162.09 eprover: CPU time limit exceeded, terminating
% 197.12/164.11 eprover: CPU time limit exceeded, terminating
% 199.57/166.13 eprover: CPU time limit exceeded, terminating
% 202.05/168.15 eprover: CPU time limit exceeded, terminating
% 204.46/170.17 eprover: CPU time limit exceeded, terminating
% 206.98/172.19 eprover: CPU time limit exceeded, terminating
% 209.40/174.21 eprover: CPU time limit exceeded, terminating
% 211.87/176.22 eprover: CPU time limit exceeded, terminating
% 214.31/178.24 eprover: CPU time limit exceeded, terminating
% 216.75/180.26 eprover: CPU time limit exceeded, terminating
% 219.17/182.28 eprover: CPU time limit exceeded, terminating
% 221.61/184.30 eprover: CPU time limit exceeded, terminating
% 224.07/186.32 eprover: CPU time limit exceeded, terminating
% 226.51/188.34 eprover: CPU time limit exceeded, terminating
% 228.92/190.36 eprover: CPU time limit exceeded, terminating
% 231.36/192.38 eprover: CPU time limit exceeded, terminating
% 233.90/194.40 eprover: CPU time limit exceeded, terminating
% 236.30/196.42 eprover: CPU time limit exceeded, terminating
% 238.72/198.44 eprover: CPU time limit exceeded, terminating
% 241.23/200.46 eprover: CPU time limit exceeded, terminating
% 243.64/202.48 eprover: CPU time limit exceeded, terminating
% 246.10/204.50 eprover: CPU time limit exceeded, terminating
% 248.61/206.52 eprover: CPU time limit exceeded, terminating
% 251.07/208.54 eprover: CPU time limit exceeded, terminating
% 253.51/210.56 eprover: CPU time limit exceeded, terminating
% 255.93/212.58 eprover: CPU time limit exceeded, terminating
% 258.45/214.61 eprover: CPU time limit exceeded, terminating
% 260.93/216.63 eprover: CPU time limit exceeded, terminating
% 263.36/218.65 eprover: CPU time limit exceeded, terminating
% 265.83/220.67 eprover: CPU time limit exceeded, terminating
% 268.24/222.69 eprover: CPU time limit exceeded, terminating
% 270.69/224.71 eprover: CPU time limit exceeded, terminating
% 273.21/226.73 eprover: CPU time limit exceeded, terminating
% 275.66/228.75 eprover: CPU time limit exceeded, terminating
% 278.10/230.78 eprover: CPU time limit exceeded, terminating
% 280.56/232.80 eprover: CPU time limit exceeded, terminating
% 283.10/234.82 eprover: CPU time limit exceeded, terminating
% 285.51/236.84 eprover: CPU time limit exceeded, terminating
% 287.97/238.86 eprover: CPU time limit exceeded, terminating
% 290.38/240.90 eprover: CPU time limit exceeded, terminating
% 292.89/242.92 eprover: CPU time limit exceeded, terminating
% 295.36/244.94 eprover: CPU time limit exceeded, terminating
% 297.85/246.96 eprover: CPU time limit exceeded, terminating
% 300.06/248.71 eprover: CPU time limit exceeded, terminating
% 300.06/248.72 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------