TSTP Solution File: PLA040-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA040-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n025.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:33 EDT 2022
% Result : Timeout 285.72s 212.33s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : PLA040-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n025.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:45:13 EDT 2022
% 0.13/0.33 % CPUTime :
% 8.70/8.66 eprover: CPU time limit exceeded, terminating
% 15.74/15.01 eprover: CPU time limit exceeded, terminating
% 18.48/17.02 eprover: CPU time limit exceeded, terminating
% 21.26/19.03 eprover: CPU time limit exceeded, terminating
% 24.02/21.05 eprover: CPU time limit exceeded, terminating
% 26.81/23.06 eprover: CPU time limit exceeded, terminating
% 29.58/25.07 eprover: CPU time limit exceeded, terminating
% 32.30/27.09 eprover: CPU time limit exceeded, terminating
% 35.05/29.10 eprover: CPU time limit exceeded, terminating
% 37.85/31.12 eprover: CPU time limit exceeded, terminating
% 40.60/33.13 eprover: CPU time limit exceeded, terminating
% 43.27/35.14 eprover: CPU time limit exceeded, terminating
% 46.02/37.16 eprover: CPU time limit exceeded, terminating
% 48.81/39.17 eprover: CPU time limit exceeded, terminating
% 51.55/41.18 eprover: CPU time limit exceeded, terminating
% 54.32/43.20 eprover: CPU time limit exceeded, terminating
% 57.01/45.21 eprover: CPU time limit exceeded, terminating
% 59.77/47.22 eprover: CPU time limit exceeded, terminating
% 62.57/49.24 eprover: CPU time limit exceeded, terminating
% 65.29/51.25 eprover: CPU time limit exceeded, terminating
% 68.02/53.26 eprover: CPU time limit exceeded, terminating
% 70.81/55.28 eprover: CPU time limit exceeded, terminating
% 73.50/57.29 eprover: CPU time limit exceeded, terminating
% 76.24/59.30 eprover: CPU time limit exceeded, terminating
% 78.94/61.32 eprover: CPU time limit exceeded, terminating
% 81.76/63.33 eprover: CPU time limit exceeded, terminating
% 84.43/65.34 eprover: CPU time limit exceeded, terminating
% 87.20/67.36 eprover: CPU time limit exceeded, terminating
% 89.91/69.37 eprover: CPU time limit exceeded, terminating
% 92.69/71.38 eprover: CPU time limit exceeded, terminating
% 95.44/73.40 eprover: CPU time limit exceeded, terminating
% 98.16/75.41 eprover: CPU time limit exceeded, terminating
% 100.87/77.42 eprover: CPU time limit exceeded, terminating
% 103.59/79.44 eprover: CPU time limit exceeded, terminating
% 106.40/81.45 eprover: CPU time limit exceeded, terminating
% 109.17/83.46 eprover: CPU time limit exceeded, terminating
% 111.99/85.48 eprover: CPU time limit exceeded, terminating
% 114.73/87.49 eprover: CPU time limit exceeded, terminating
% 117.44/89.50 eprover: CPU time limit exceeded, terminating
% 120.20/91.52 eprover: CPU time limit exceeded, terminating
% 122.99/93.53 eprover: CPU time limit exceeded, terminating
% 125.77/95.55 eprover: CPU time limit exceeded, terminating
% 128.58/97.56 eprover: CPU time limit exceeded, terminating
% 131.29/99.57 eprover: CPU time limit exceeded, terminating
% 134.07/101.58 eprover: CPU time limit exceeded, terminating
% 136.76/103.60 eprover: CPU time limit exceeded, terminating
% 139.55/105.61 eprover: CPU time limit exceeded, terminating
% 142.31/107.63 eprover: CPU time limit exceeded, terminating
% 145.15/109.64 eprover: CPU time limit exceeded, terminating
% 147.92/111.65 eprover: CPU time limit exceeded, terminating
% 150.65/113.67 eprover: CPU time limit exceeded, terminating
% 153.39/115.68 eprover: CPU time limit exceeded, terminating
% 156.14/117.69 eprover: CPU time limit exceeded, terminating
% 158.82/119.70 eprover: CPU time limit exceeded, terminating
% 161.60/121.72 eprover: CPU time limit exceeded, terminating
% 164.36/123.73 eprover: CPU time limit exceeded, terminating
% 167.16/125.74 eprover: CPU time limit exceeded, terminating
% 169.88/127.76 eprover: CPU time limit exceeded, terminating
% 172.61/129.77 eprover: CPU time limit exceeded, terminating
% 175.41/131.78 eprover: CPU time limit exceeded, terminating
% 178.22/133.80 eprover: CPU time limit exceeded, terminating
% 180.96/135.81 eprover: CPU time limit exceeded, terminating
% 183.74/137.82 eprover: CPU time limit exceeded, terminating
% 186.42/139.84 eprover: CPU time limit exceeded, terminating
% 189.23/141.85 eprover: CPU time limit exceeded, terminating
% 192.05/143.86 eprover: CPU time limit exceeded, terminating
% 194.76/145.88 eprover: CPU time limit exceeded, terminating
% 197.51/147.89 eprover: CPU time limit exceeded, terminating
% 200.22/149.90 eprover: CPU time limit exceeded, terminating
% 202.97/151.92 eprover: CPU time limit exceeded, terminating
% 205.79/153.93 eprover: CPU time limit exceeded, terminating
% 208.60/155.95 eprover: CPU time limit exceeded, terminating
% 211.36/157.96 eprover: CPU time limit exceeded, terminating
% 214.12/159.97 eprover: CPU time limit exceeded, terminating
% 216.85/161.99 eprover: CPU time limit exceeded, terminating
% 219.63/164.00 eprover: CPU time limit exceeded, terminating
% 222.39/166.01 eprover: CPU time limit exceeded, terminating
% 225.10/168.03 eprover: CPU time limit exceeded, terminating
% 227.91/170.04 eprover: CPU time limit exceeded, terminating
% 230.66/172.05 eprover: CPU time limit exceeded, terminating
% 233.45/174.07 eprover: CPU time limit exceeded, terminating
% 236.16/176.08 eprover: CPU time limit exceeded, terminating
% 238.94/178.09 eprover: CPU time limit exceeded, terminating
% 241.67/180.11 eprover: CPU time limit exceeded, terminating
% 244.44/182.12 eprover: CPU time limit exceeded, terminating
% 247.17/184.13 eprover: CPU time limit exceeded, terminating
% 249.88/186.15 eprover: CPU time limit exceeded, terminating
% 252.69/188.16 eprover: CPU time limit exceeded, terminating
% 255.43/190.17 eprover: CPU time limit exceeded, terminating
% 258.16/192.19 eprover: CPU time limit exceeded, terminating
% 260.92/194.20 eprover: CPU time limit exceeded, terminating
% 263.71/196.21 eprover: CPU time limit exceeded, terminating
% 266.48/198.23 eprover: CPU time limit exceeded, terminating
% 269.25/200.24 eprover: CPU time limit exceeded, terminating
% 271.96/202.26 eprover: CPU time limit exceeded, terminating
% 274.71/204.27 eprover: CPU time limit exceeded, terminating
% 277.47/206.28 eprover: CPU time limit exceeded, terminating
% 280.23/208.30 eprover: CPU time limit exceeded, terminating
% 282.95/210.31 eprover: CPU time limit exceeded, terminating
% 285.72/212.33 eprover: CPU time limit exceeded, terminating
% 288.46/214.34 eprover: CPU time limit exceeded, terminating
% 291.24/216.35 eprover: CPU time limit exceeded, terminating
% 294.01/218.37 eprover: CPU time limit exceeded, terminating
% 296.72/220.38 eprover: CPU time limit exceeded, terminating
% 299.48/222.39 eprover: CPU time limit exceeded, terminating
% 300.16/222.88 eprover: CPU time limit exceeded, terminating
% 300.16/222.89 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------