TSTP Solution File: PLA039-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : PLA039-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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 286.88s 223.54s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : PLA039-1 : TPTP v8.1.0. Bugfixed v5.5.1.
% 0.07/0.12 % Command : run_infinox %s
% 0.13/0.33 % Computer : n029.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.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Tue May 31 23:40:15 EDT 2022
% 0.13/0.34 % CPUTime :
% 15.16/14.76 eprover: CPU time limit exceeded, terminating
% 18.57/17.56 eprover: CPU time limit exceeded, terminating
% 21.24/19.58 eprover: CPU time limit exceeded, terminating
% 23.90/21.60 eprover: CPU time limit exceeded, terminating
% 26.52/23.62 eprover: CPU time limit exceeded, terminating
% 29.16/25.63 eprover: CPU time limit exceeded, terminating
% 31.87/27.65 eprover: CPU time limit exceeded, terminating
% 34.50/29.67 eprover: CPU time limit exceeded, terminating
% 37.12/31.69 eprover: CPU time limit exceeded, terminating
% 39.79/33.71 eprover: CPU time limit exceeded, terminating
% 42.46/35.73 eprover: CPU time limit exceeded, terminating
% 45.07/37.75 eprover: CPU time limit exceeded, terminating
% 47.71/39.77 eprover: CPU time limit exceeded, terminating
% 50.35/41.79 eprover: CPU time limit exceeded, terminating
% 52.99/43.81 eprover: CPU time limit exceeded, terminating
% 55.61/45.83 eprover: CPU time limit exceeded, terminating
% 58.20/47.85 eprover: CPU time limit exceeded, terminating
% 60.90/49.87 eprover: CPU time limit exceeded, terminating
% 63.53/51.89 eprover: CPU time limit exceeded, terminating
% 66.10/53.90 eprover: CPU time limit exceeded, terminating
% 68.72/55.92 eprover: CPU time limit exceeded, terminating
% 71.38/57.94 eprover: CPU time limit exceeded, terminating
% 74.01/59.96 eprover: CPU time limit exceeded, terminating
% 76.59/61.98 eprover: CPU time limit exceeded, terminating
% 79.24/64.00 eprover: CPU time limit exceeded, terminating
% 81.96/66.02 eprover: CPU time limit exceeded, terminating
% 84.57/68.04 eprover: CPU time limit exceeded, terminating
% 87.17/70.06 eprover: CPU time limit exceeded, terminating
% 89.84/72.08 eprover: CPU time limit exceeded, terminating
% 92.44/74.10 eprover: CPU time limit exceeded, terminating
% 95.08/76.12 eprover: CPU time limit exceeded, terminating
% 97.68/78.14 eprover: CPU time limit exceeded, terminating
% 100.39/80.16 eprover: CPU time limit exceeded, terminating
% 102.97/82.17 eprover: CPU time limit exceeded, terminating
% 105.61/84.19 eprover: CPU time limit exceeded, terminating
% 108.25/86.21 eprover: CPU time limit exceeded, terminating
% 110.87/88.23 eprover: CPU time limit exceeded, terminating
% 113.48/90.25 eprover: CPU time limit exceeded, terminating
% 116.10/92.27 eprover: CPU time limit exceeded, terminating
% 118.74/94.29 eprover: CPU time limit exceeded, terminating
% 121.34/96.31 eprover: CPU time limit exceeded, terminating
% 124.00/98.33 eprover: CPU time limit exceeded, terminating
% 126.58/100.35 eprover: CPU time limit exceeded, terminating
% 129.28/102.36 eprover: CPU time limit exceeded, terminating
% 131.86/104.38 eprover: CPU time limit exceeded, terminating
% 134.51/106.40 eprover: CPU time limit exceeded, terminating
% 137.17/108.42 eprover: CPU time limit exceeded, terminating
% 139.76/110.44 eprover: CPU time limit exceeded, terminating
% 142.35/112.46 eprover: CPU time limit exceeded, terminating
% 144.98/114.48 eprover: CPU time limit exceeded, terminating
% 147.64/116.50 eprover: CPU time limit exceeded, terminating
% 150.20/118.52 eprover: CPU time limit exceeded, terminating
% 152.84/120.54 eprover: CPU time limit exceeded, terminating
% 155.52/122.56 eprover: CPU time limit exceeded, terminating
% 158.13/124.58 eprover: CPU time limit exceeded, terminating
% 160.82/126.60 eprover: CPU time limit exceeded, terminating
% 163.43/128.62 eprover: CPU time limit exceeded, terminating
% 165.99/130.64 eprover: CPU time limit exceeded, terminating
% 168.69/132.66 eprover: CPU time limit exceeded, terminating
% 171.29/134.68 eprover: CPU time limit exceeded, terminating
% 173.96/136.70 eprover: CPU time limit exceeded, terminating
% 176.53/138.72 eprover: CPU time limit exceeded, terminating
% 179.16/140.74 eprover: CPU time limit exceeded, terminating
% 181.84/142.75 eprover: CPU time limit exceeded, terminating
% 184.43/144.77 eprover: CPU time limit exceeded, terminating
% 187.05/146.79 eprover: CPU time limit exceeded, terminating
% 189.67/148.81 eprover: CPU time limit exceeded, terminating
% 192.29/150.83 eprover: CPU time limit exceeded, terminating
% 194.92/152.85 eprover: CPU time limit exceeded, terminating
% 197.53/154.87 eprover: CPU time limit exceeded, terminating
% 200.17/156.89 eprover: CPU time limit exceeded, terminating
% 202.74/158.91 eprover: CPU time limit exceeded, terminating
% 205.44/160.93 eprover: CPU time limit exceeded, terminating
% 208.05/162.94 eprover: CPU time limit exceeded, terminating
% 210.63/164.96 eprover: CPU time limit exceeded, terminating
% 213.30/166.98 eprover: CPU time limit exceeded, terminating
% 215.97/169.00 eprover: CPU time limit exceeded, terminating
% 218.55/171.02 eprover: CPU time limit exceeded, terminating
% 221.19/173.04 eprover: CPU time limit exceeded, terminating
% 223.83/175.06 eprover: CPU time limit exceeded, terminating
% 226.49/177.08 eprover: CPU time limit exceeded, terminating
% 229.08/179.10 eprover: CPU time limit exceeded, terminating
% 231.71/181.12 eprover: CPU time limit exceeded, terminating
% 234.32/183.14 eprover: CPU time limit exceeded, terminating
% 236.96/185.16 eprover: CPU time limit exceeded, terminating
% 239.59/187.17 eprover: CPU time limit exceeded, terminating
% 242.20/189.19 eprover: CPU time limit exceeded, terminating
% 244.79/191.21 eprover: CPU time limit exceeded, terminating
% 247.45/193.23 eprover: CPU time limit exceeded, terminating
% 250.01/195.25 eprover: CPU time limit exceeded, terminating
% 252.69/197.27 eprover: CPU time limit exceeded, terminating
% 255.29/199.31 eprover: CPU time limit exceeded, terminating
% 257.96/201.32 eprover: CPU time limit exceeded, terminating
% 260.53/203.34 eprover: CPU time limit exceeded, terminating
% 263.22/205.36 eprover: CPU time limit exceeded, terminating
% 265.81/207.38 eprover: CPU time limit exceeded, terminating
% 268.45/209.40 eprover: CPU time limit exceeded, terminating
% 271.10/211.42 eprover: CPU time limit exceeded, terminating
% 273.74/213.44 eprover: CPU time limit exceeded, terminating
% 276.40/215.46 eprover: CPU time limit exceeded, terminating
% 278.96/217.48 eprover: CPU time limit exceeded, terminating
% 281.64/219.50 eprover: CPU time limit exceeded, terminating
% 284.28/221.52 eprover: CPU time limit exceeded, terminating
% 286.88/223.54 eprover: CPU time limit exceeded, terminating
% 289.49/225.56 eprover: CPU time limit exceeded, terminating
% 292.15/227.58 eprover: CPU time limit exceeded, terminating
% 294.75/229.60 eprover: CPU time limit exceeded, terminating
% 297.37/231.62 eprover: CPU time limit exceeded, terminating
% 299.98/233.64 eprover: CPU time limit exceeded, terminating
% 300.08/233.69 eprover: CPU time limit exceeded, terminating
% 300.08/233.70 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------