TSTP Solution File: SWW349+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW349+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n032.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 : Thu Jul 21 00:24:39 EDT 2022
% Result : Timeout 286.50s 247.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SWW349+1 : TPTP v8.1.0. Released v5.2.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.31 % Computer : n032.cluster.edu
% 0.11/0.31 % Model : x86_64 x86_64
% 0.11/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.31 % Memory : 8042.1875MB
% 0.11/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.31 % CPULimit : 300
% 0.11/0.31 % WCLimit : 600
% 0.11/0.31 % DateTime : Sat Jun 4 07:20:32 EDT 2022
% 0.11/0.31 % CPUTime :
% 64.37/64.02 eprover: CPU time limit exceeded, terminating
% 66.78/66.03 eprover: CPU time limit exceeded, terminating
% 69.19/68.04 eprover: CPU time limit exceeded, terminating
% 71.57/70.06 eprover: CPU time limit exceeded, terminating
% 74.02/72.08 eprover: CPU time limit exceeded, terminating
% 76.35/74.09 eprover: CPU time limit exceeded, terminating
% 78.83/76.11 eprover: CPU time limit exceeded, terminating
% 81.23/78.12 eprover: CPU time limit exceeded, terminating
% 83.67/80.14 eprover: CPU time limit exceeded, terminating
% 86.09/82.16 eprover: CPU time limit exceeded, terminating
% 88.49/84.18 eprover: CPU time limit exceeded, terminating
% 90.95/86.19 eprover: CPU time limit exceeded, terminating
% 93.43/88.21 eprover: CPU time limit exceeded, terminating
% 95.84/90.22 eprover: CPU time limit exceeded, terminating
% 98.27/92.24 eprover: CPU time limit exceeded, terminating
% 100.66/94.25 eprover: CPU time limit exceeded, terminating
% 103.12/96.27 eprover: CPU time limit exceeded, terminating
% 105.64/98.29 eprover: CPU time limit exceeded, terminating
% 108.10/100.30 eprover: CPU time limit exceeded, terminating
% 110.52/102.32 eprover: CPU time limit exceeded, terminating
% 112.95/104.34 eprover: CPU time limit exceeded, terminating
% 115.40/106.35 eprover: CPU time limit exceeded, terminating
% 117.85/108.37 eprover: CPU time limit exceeded, terminating
% 120.34/110.39 eprover: CPU time limit exceeded, terminating
% 122.78/112.40 eprover: CPU time limit exceeded, terminating
% 125.22/114.42 eprover: CPU time limit exceeded, terminating
% 127.71/116.43 eprover: CPU time limit exceeded, terminating
% 130.15/118.45 eprover: CPU time limit exceeded, terminating
% 132.58/120.46 eprover: CPU time limit exceeded, terminating
% 134.98/122.48 eprover: CPU time limit exceeded, terminating
% 137.50/124.50 eprover: CPU time limit exceeded, terminating
% 139.97/126.51 eprover: CPU time limit exceeded, terminating
% 142.39/128.53 eprover: CPU time limit exceeded, terminating
% 144.80/130.54 eprover: CPU time limit exceeded, terminating
% 147.25/132.56 eprover: CPU time limit exceeded, terminating
% 149.70/134.58 eprover: CPU time limit exceeded, terminating
% 152.09/136.60 eprover: CPU time limit exceeded, terminating
% 154.61/138.61 eprover: CPU time limit exceeded, terminating
% 157.07/140.63 eprover: CPU time limit exceeded, terminating
% 159.48/142.65 eprover: CPU time limit exceeded, terminating
% 161.91/144.67 eprover: CPU time limit exceeded, terminating
% 164.35/146.68 eprover: CPU time limit exceeded, terminating
% 166.91/148.70 eprover: CPU time limit exceeded, terminating
% 169.34/150.71 eprover: CPU time limit exceeded, terminating
% 171.78/152.73 eprover: CPU time limit exceeded, terminating
% 174.22/154.75 eprover: CPU time limit exceeded, terminating
% 176.63/156.76 eprover: CPU time limit exceeded, terminating
% 179.06/158.78 eprover: CPU time limit exceeded, terminating
% 181.51/160.80 eprover: CPU time limit exceeded, terminating
% 184.01/162.82 eprover: CPU time limit exceeded, terminating
% 186.41/164.83 eprover: CPU time limit exceeded, terminating
% 188.86/166.85 eprover: CPU time limit exceeded, terminating
% 191.27/168.87 eprover: CPU time limit exceeded, terminating
% 193.75/170.89 eprover: CPU time limit exceeded, terminating
% 196.10/172.90 eprover: CPU time limit exceeded, terminating
% 198.63/174.92 eprover: CPU time limit exceeded, terminating
% 201.06/176.94 eprover: CPU time limit exceeded, terminating
% 203.45/178.96 eprover: CPU time limit exceeded, terminating
% 205.88/180.97 eprover: CPU time limit exceeded, terminating
% 208.31/182.99 eprover: CPU time limit exceeded, terminating
% 210.81/185.01 eprover: CPU time limit exceeded, terminating
% 213.23/187.02 eprover: CPU time limit exceeded, terminating
% 215.65/189.04 eprover: CPU time limit exceeded, terminating
% 218.07/191.06 eprover: CPU time limit exceeded, terminating
% 220.52/193.08 eprover: CPU time limit exceeded, terminating
% 222.98/195.09 eprover: CPU time limit exceeded, terminating
% 225.47/197.11 eprover: CPU time limit exceeded, terminating
% 227.92/199.12 eprover: CPU time limit exceeded, terminating
% 230.36/201.14 eprover: CPU time limit exceeded, terminating
% 232.78/203.16 eprover: CPU time limit exceeded, terminating
% 235.28/205.18 eprover: CPU time limit exceeded, terminating
% 237.64/207.19 eprover: CPU time limit exceeded, terminating
% 240.15/209.21 eprover: CPU time limit exceeded, terminating
% 242.57/211.22 eprover: CPU time limit exceeded, terminating
% 244.97/213.24 eprover: CPU time limit exceeded, terminating
% 247.40/215.26 eprover: CPU time limit exceeded, terminating
% 249.87/217.28 eprover: CPU time limit exceeded, terminating
% 252.37/219.29 eprover: CPU time limit exceeded, terminating
% 254.79/221.31 eprover: CPU time limit exceeded, terminating
% 257.26/223.33 eprover: CPU time limit exceeded, terminating
% 259.66/225.35 eprover: CPU time limit exceeded, terminating
% 262.12/227.36 eprover: CPU time limit exceeded, terminating
% 264.55/229.38 eprover: CPU time limit exceeded, terminating
% 267.06/231.40 eprover: CPU time limit exceeded, terminating
% 269.50/233.41 eprover: CPU time limit exceeded, terminating
% 271.96/235.43 eprover: CPU time limit exceeded, terminating
% 274.39/237.44 eprover: CPU time limit exceeded, terminating
% 276.81/239.46 eprover: CPU time limit exceeded, terminating
% 279.26/241.48 eprover: CPU time limit exceeded, terminating
% 281.66/243.49 eprover: CPU time limit exceeded, terminating
% 284.13/245.51 eprover: CPU time limit exceeded, terminating
% 286.50/247.52 eprover: CPU time limit exceeded, terminating
% 288.90/249.53 eprover: CPU time limit exceeded, terminating
% 291.27/251.54 eprover: CPU time limit exceeded, terminating
% 293.63/253.56 eprover: CPU time limit exceeded, terminating
% 296.03/255.57 eprover: CPU time limit exceeded, terminating
% 298.47/257.58 eprover: CPU time limit exceeded, terminating
% 300.10/258.72 eprover: CPU time limit exceeded, terminating
% 300.10/258.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------