TSTP Solution File: PLA042-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA042-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 289.24s 202.38s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.13 % Problem : PLA042-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.03/0.14 % Command : run_infinox %s
% 0.13/0.35 % Computer : n018.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Tue May 31 21:27:43 EDT 2022
% 0.13/0.35 % CPUTime :
% 29.03/28.64 eprover: CPU time limit exceeded, terminating
% 76.45/74.34 eprover: CPU time limit exceeded, terminating
% 80.91/77.17 eprover: CPU time limit exceeded, terminating
% 84.99/79.58 eprover: CPU time limit exceeded, terminating
% 89.22/82.05 eprover: CPU time limit exceeded, terminating
% 93.96/85.00 eprover: CPU time limit exceeded, terminating
% 98.64/87.99 eprover: CPU time limit exceeded, terminating
% 103.26/90.91 eprover: CPU time limit exceeded, terminating
% 107.64/93.60 eprover: CPU time limit exceeded, terminating
% 112.01/96.31 eprover: CPU time limit exceeded, terminating
% 116.23/98.98 eprover: CPU time limit exceeded, terminating
% 120.62/101.52 eprover: CPU time limit exceeded, terminating
% 125.01/104.25 eprover: CPU time limit exceeded, terminating
% 129.14/106.78 eprover: CPU time limit exceeded, terminating
% 133.52/109.32 eprover: CPU time limit exceeded, terminating
% 137.86/112.03 eprover: CPU time limit exceeded, terminating
% 142.02/114.45 eprover: CPU time limit exceeded, terminating
% 146.19/116.91 eprover: CPU time limit exceeded, terminating
% 150.46/119.53 eprover: CPU time limit exceeded, terminating
% 154.62/122.02 eprover: CPU time limit exceeded, terminating
% 158.82/124.46 eprover: CPU time limit exceeded, terminating
% 163.11/127.15 eprover: CPU time limit exceeded, terminating
% 167.64/129.91 eprover: CPU time limit exceeded, terminating
% 171.92/132.59 eprover: CPU time limit exceeded, terminating
% 176.16/135.03 eprover: CPU time limit exceeded, terminating
% 180.41/137.64 eprover: CPU time limit exceeded, terminating
% 184.60/140.20 eprover: CPU time limit exceeded, terminating
% 188.78/142.61 eprover: CPU time limit exceeded, terminating
% 192.94/145.06 eprover: CPU time limit exceeded, terminating
% 197.25/147.63 eprover: CPU time limit exceeded, terminating
% 201.42/150.14 eprover: CPU time limit exceeded, terminating
% 205.66/152.65 eprover: CPU time limit exceeded, terminating
% 209.79/155.11 eprover: CPU time limit exceeded, terminating
% 214.00/157.64 eprover: CPU time limit exceeded, terminating
% 218.12/160.14 eprover: CPU time limit exceeded, terminating
% 222.32/162.65 eprover: CPU time limit exceeded, terminating
% 226.45/165.07 eprover: CPU time limit exceeded, terminating
% 230.63/167.48 eprover: CPU time limit exceeded, terminating
% 234.73/169.93 eprover: CPU time limit exceeded, terminating
% 238.87/172.32 eprover: CPU time limit exceeded, terminating
% 243.27/175.00 eprover: CPU time limit exceeded, terminating
% 247.59/177.61 eprover: CPU time limit exceeded, terminating
% 251.81/180.15 eprover: CPU time limit exceeded, terminating
% 255.95/182.62 eprover: CPU time limit exceeded, terminating
% 260.10/185.07 eprover: CPU time limit exceeded, terminating
% 264.39/187.69 eprover: CPU time limit exceeded, terminating
% 268.58/190.13 eprover: CPU time limit exceeded, terminating
% 272.69/192.56 eprover: CPU time limit exceeded, terminating
% 276.78/194.99 eprover: CPU time limit exceeded, terminating
% 280.97/197.43 eprover: CPU time limit exceeded, terminating
% 285.18/199.93 eprover: CPU time limit exceeded, terminating
% 289.24/202.38 eprover: CPU time limit exceeded, terminating
% 293.44/204.80 eprover: CPU time limit exceeded, terminating
% 297.54/207.23 eprover: CPU time limit exceeded, terminating
% 300.11/208.85 eprover: CPU time limit exceeded, terminating
% 300.11/208.87 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------