TSTP Solution File: SWW369+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW369+1 : TPTP v8.1.0. Released v5.2.0.
% 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 : Thu Jul 21 00:24:41 EDT 2022
% Result : Timeout 288.15s 251.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.10 % Problem : SWW369+1 : TPTP v8.1.0. Released v5.2.0.
% 0.02/0.11 % Command : run_infinox %s
% 0.10/0.31 % Computer : n025.cluster.edu
% 0.10/0.31 % Model : x86_64 x86_64
% 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.31 % Memory : 8042.1875MB
% 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.31 % CPULimit : 300
% 0.10/0.31 % WCLimit : 600
% 0.10/0.31 % DateTime : Sun Jun 5 12:53:32 EDT 2022
% 0.16/0.31 % CPUTime :
% 84.15/83.94 eprover: CPU time limit exceeded, terminating
% 86.58/85.96 eprover: CPU time limit exceeded, terminating
% 89.01/87.98 eprover: CPU time limit exceeded, terminating
% 91.45/90.00 eprover: CPU time limit exceeded, terminating
% 93.94/92.02 eprover: CPU time limit exceeded, terminating
% 96.44/94.04 eprover: CPU time limit exceeded, terminating
% 98.81/96.06 eprover: CPU time limit exceeded, terminating
% 101.30/98.08 eprover: CPU time limit exceeded, terminating
% 103.77/100.09 eprover: CPU time limit exceeded, terminating
% 106.18/102.11 eprover: CPU time limit exceeded, terminating
% 108.63/104.13 eprover: CPU time limit exceeded, terminating
% 111.07/106.15 eprover: CPU time limit exceeded, terminating
% 113.56/108.17 eprover: CPU time limit exceeded, terminating
% 116.03/110.19 eprover: CPU time limit exceeded, terminating
% 118.50/112.21 eprover: CPU time limit exceeded, terminating
% 120.90/114.23 eprover: CPU time limit exceeded, terminating
% 123.44/116.25 eprover: CPU time limit exceeded, terminating
% 125.93/118.27 eprover: CPU time limit exceeded, terminating
% 128.38/120.28 eprover: CPU time limit exceeded, terminating
% 130.91/122.30 eprover: CPU time limit exceeded, terminating
% 133.32/124.32 eprover: CPU time limit exceeded, terminating
% 135.81/126.34 eprover: CPU time limit exceeded, terminating
% 138.25/128.36 eprover: CPU time limit exceeded, terminating
% 140.71/130.38 eprover: CPU time limit exceeded, terminating
% 143.21/132.40 eprover: CPU time limit exceeded, terminating
% 145.67/134.42 eprover: CPU time limit exceeded, terminating
% 148.13/136.44 eprover: CPU time limit exceeded, terminating
% 150.58/138.46 eprover: CPU time limit exceeded, terminating
% 153.03/140.47 eprover: CPU time limit exceeded, terminating
% 155.50/142.49 eprover: CPU time limit exceeded, terminating
% 157.94/144.51 eprover: CPU time limit exceeded, terminating
% 160.44/146.53 eprover: CPU time limit exceeded, terminating
% 162.88/148.55 eprover: CPU time limit exceeded, terminating
% 165.31/150.57 eprover: CPU time limit exceeded, terminating
% 167.78/152.59 eprover: CPU time limit exceeded, terminating
% 170.26/154.61 eprover: CPU time limit exceeded, terminating
% 172.71/156.63 eprover: CPU time limit exceeded, terminating
% 175.16/158.65 eprover: CPU time limit exceeded, terminating
% 177.59/160.67 eprover: CPU time limit exceeded, terminating
% 180.07/162.69 eprover: CPU time limit exceeded, terminating
% 182.51/164.70 eprover: CPU time limit exceeded, terminating
% 184.95/166.72 eprover: CPU time limit exceeded, terminating
% 187.42/168.74 eprover: CPU time limit exceeded, terminating
% 189.86/170.76 eprover: CPU time limit exceeded, terminating
% 192.31/172.78 eprover: CPU time limit exceeded, terminating
% 194.83/174.80 eprover: CPU time limit exceeded, terminating
% 197.27/176.82 eprover: CPU time limit exceeded, terminating
% 199.68/178.84 eprover: CPU time limit exceeded, terminating
% 202.18/180.86 eprover: CPU time limit exceeded, terminating
% 204.65/182.88 eprover: CPU time limit exceeded, terminating
% 207.12/184.89 eprover: CPU time limit exceeded, terminating
% 209.58/186.91 eprover: CPU time limit exceeded, terminating
% 212.02/188.93 eprover: CPU time limit exceeded, terminating
% 214.51/190.95 eprover: CPU time limit exceeded, terminating
% 216.95/192.97 eprover: CPU time limit exceeded, terminating
% 219.35/194.99 eprover: CPU time limit exceeded, terminating
% 221.87/197.01 eprover: CPU time limit exceeded, terminating
% 224.34/199.03 eprover: CPU time limit exceeded, terminating
% 226.79/201.05 eprover: CPU time limit exceeded, terminating
% 229.23/203.07 eprover: CPU time limit exceeded, terminating
% 231.70/205.09 eprover: CPU time limit exceeded, terminating
% 234.09/207.11 eprover: CPU time limit exceeded, terminating
% 236.60/209.12 eprover: CPU time limit exceeded, terminating
% 239.05/211.14 eprover: CPU time limit exceeded, terminating
% 241.48/213.16 eprover: CPU time limit exceeded, terminating
% 243.93/215.18 eprover: CPU time limit exceeded, terminating
% 246.40/217.20 eprover: CPU time limit exceeded, terminating
% 248.85/219.22 eprover: CPU time limit exceeded, terminating
% 251.26/221.24 eprover: CPU time limit exceeded, terminating
% 253.74/223.26 eprover: CPU time limit exceeded, terminating
% 256.21/225.28 eprover: CPU time limit exceeded, terminating
% 258.61/227.29 eprover: CPU time limit exceeded, terminating
% 261.08/229.31 eprover: CPU time limit exceeded, terminating
% 263.55/231.33 eprover: CPU time limit exceeded, terminating
% 266.01/233.35 eprover: CPU time limit exceeded, terminating
% 268.47/235.37 eprover: CPU time limit exceeded, terminating
% 270.86/237.39 eprover: CPU time limit exceeded, terminating
% 273.34/239.41 eprover: CPU time limit exceeded, terminating
% 275.85/241.43 eprover: CPU time limit exceeded, terminating
% 278.29/243.45 eprover: CPU time limit exceeded, terminating
% 280.76/245.47 eprover: CPU time limit exceeded, terminating
% 283.19/247.49 eprover: CPU time limit exceeded, terminating
% 285.68/249.50 eprover: CPU time limit exceeded, terminating
% 288.15/251.52 eprover: CPU time limit exceeded, terminating
% 290.59/253.54 eprover: CPU time limit exceeded, terminating
% 293.04/255.56 eprover: CPU time limit exceeded, terminating
% 295.50/257.58 eprover: CPU time limit exceeded, terminating
% 297.95/259.60 eprover: CPU time limit exceeded, terminating
% 300.02/261.18 eprover: CPU time limit exceeded, terminating
% 300.02/261.20 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------