TSTP Solution File: SWW396+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW396+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n017.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:43 EDT 2022
% Result : Timeout 287.87s 247.45s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SWW396+1 : TPTP v8.1.0. Released v5.2.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n017.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sun Jun 5 15:06:15 EDT 2022
% 0.12/0.34 % CPUTime :
% 60.03/59.62 eprover: CPU time limit exceeded, terminating
% 62.45/61.64 eprover: CPU time limit exceeded, terminating
% 64.95/63.66 eprover: CPU time limit exceeded, terminating
% 67.38/65.68 eprover: CPU time limit exceeded, terminating
% 69.71/67.69 eprover: CPU time limit exceeded, terminating
% 72.22/69.71 eprover: CPU time limit exceeded, terminating
% 74.72/71.73 eprover: CPU time limit exceeded, terminating
% 77.10/73.74 eprover: CPU time limit exceeded, terminating
% 79.57/75.76 eprover: CPU time limit exceeded, terminating
% 82.10/77.78 eprover: CPU time limit exceeded, terminating
% 84.57/79.79 eprover: CPU time limit exceeded, terminating
% 86.98/81.81 eprover: CPU time limit exceeded, terminating
% 89.44/83.84 eprover: CPU time limit exceeded, terminating
% 91.87/85.85 eprover: CPU time limit exceeded, terminating
% 94.33/87.87 eprover: CPU time limit exceeded, terminating
% 96.79/89.89 eprover: CPU time limit exceeded, terminating
% 99.30/91.92 eprover: CPU time limit exceeded, terminating
% 101.74/93.94 eprover: CPU time limit exceeded, terminating
% 104.14/95.95 eprover: CPU time limit exceeded, terminating
% 106.54/97.98 eprover: CPU time limit exceeded, terminating
% 109.03/100.01 eprover: CPU time limit exceeded, terminating
% 111.43/102.03 eprover: CPU time limit exceeded, terminating
% 113.85/104.04 eprover: CPU time limit exceeded, terminating
% 116.34/106.06 eprover: CPU time limit exceeded, terminating
% 118.82/108.08 eprover: CPU time limit exceeded, terminating
% 121.27/110.10 eprover: CPU time limit exceeded, terminating
% 123.75/112.13 eprover: CPU time limit exceeded, terminating
% 126.18/114.15 eprover: CPU time limit exceeded, terminating
% 128.67/116.17 eprover: CPU time limit exceeded, terminating
% 131.01/118.19 eprover: CPU time limit exceeded, terminating
% 133.51/120.24 eprover: CPU time limit exceeded, terminating
% 135.93/122.26 eprover: CPU time limit exceeded, terminating
% 138.37/124.28 eprover: CPU time limit exceeded, terminating
% 140.84/126.30 eprover: CPU time limit exceeded, terminating
% 143.31/128.33 eprover: CPU time limit exceeded, terminating
% 145.74/130.35 eprover: CPU time limit exceeded, terminating
% 148.18/132.36 eprover: CPU time limit exceeded, terminating
% 150.60/134.37 eprover: CPU time limit exceeded, terminating
% 153.13/136.39 eprover: CPU time limit exceeded, terminating
% 155.59/138.41 eprover: CPU time limit exceeded, terminating
% 158.09/140.42 eprover: CPU time limit exceeded, terminating
% 160.48/142.44 eprover: CPU time limit exceeded, terminating
% 162.94/144.46 eprover: CPU time limit exceeded, terminating
% 165.40/146.48 eprover: CPU time limit exceeded, terminating
% 167.88/148.49 eprover: CPU time limit exceeded, terminating
% 170.28/150.51 eprover: CPU time limit exceeded, terminating
% 172.73/152.53 eprover: CPU time limit exceeded, terminating
% 175.16/154.55 eprover: CPU time limit exceeded, terminating
% 177.59/156.56 eprover: CPU time limit exceeded, terminating
% 180.03/158.58 eprover: CPU time limit exceeded, terminating
% 182.46/160.60 eprover: CPU time limit exceeded, terminating
% 185.00/162.61 eprover: CPU time limit exceeded, terminating
% 187.41/164.63 eprover: CPU time limit exceeded, terminating
% 189.86/166.65 eprover: CPU time limit exceeded, terminating
% 192.30/168.67 eprover: CPU time limit exceeded, terminating
% 194.78/170.69 eprover: CPU time limit exceeded, terminating
% 197.25/172.70 eprover: CPU time limit exceeded, terminating
% 199.71/174.72 eprover: CPU time limit exceeded, terminating
% 202.13/176.74 eprover: CPU time limit exceeded, terminating
% 204.51/178.76 eprover: CPU time limit exceeded, terminating
% 206.95/180.78 eprover: CPU time limit exceeded, terminating
% 209.46/182.80 eprover: CPU time limit exceeded, terminating
% 211.89/184.83 eprover: CPU time limit exceeded, terminating
% 214.31/186.85 eprover: CPU time limit exceeded, terminating
% 216.75/188.87 eprover: CPU time limit exceeded, terminating
% 219.19/190.88 eprover: CPU time limit exceeded, terminating
% 221.74/192.91 eprover: CPU time limit exceeded, terminating
% 224.16/194.92 eprover: CPU time limit exceeded, terminating
% 226.62/196.94 eprover: CPU time limit exceeded, terminating
% 229.04/198.97 eprover: CPU time limit exceeded, terminating
% 231.56/200.99 eprover: CPU time limit exceeded, terminating
% 233.98/203.01 eprover: CPU time limit exceeded, terminating
% 236.42/205.03 eprover: CPU time limit exceeded, terminating
% 238.89/207.05 eprover: CPU time limit exceeded, terminating
% 241.30/209.07 eprover: CPU time limit exceeded, terminating
% 243.74/211.09 eprover: CPU time limit exceeded, terminating
% 246.31/213.12 eprover: CPU time limit exceeded, terminating
% 248.72/215.14 eprover: CPU time limit exceeded, terminating
% 251.16/217.16 eprover: CPU time limit exceeded, terminating
% 253.61/219.17 eprover: CPU time limit exceeded, terminating
% 256.11/221.19 eprover: CPU time limit exceeded, terminating
% 258.56/223.21 eprover: CPU time limit exceeded, terminating
% 261.00/225.23 eprover: CPU time limit exceeded, terminating
% 263.44/227.25 eprover: CPU time limit exceeded, terminating
% 265.88/229.27 eprover: CPU time limit exceeded, terminating
% 268.32/231.29 eprover: CPU time limit exceeded, terminating
% 270.81/233.31 eprover: CPU time limit exceeded, terminating
% 273.25/235.33 eprover: CPU time limit exceeded, terminating
% 275.67/237.35 eprover: CPU time limit exceeded, terminating
% 278.13/239.37 eprover: CPU time limit exceeded, terminating
% 280.56/241.40 eprover: CPU time limit exceeded, terminating
% 283.00/243.41 eprover: CPU time limit exceeded, terminating
% 285.45/245.43 eprover: CPU time limit exceeded, terminating
% 287.87/247.45 eprover: CPU time limit exceeded, terminating
% 290.30/249.48 eprover: CPU time limit exceeded, terminating
% 292.81/251.49 eprover: CPU time limit exceeded, terminating
% 295.25/253.52 eprover: CPU time limit exceeded, terminating
% 297.70/255.54 eprover: CPU time limit exceeded, terminating
% 300.04/257.41 eprover: CPU time limit exceeded, terminating
% 300.04/257.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------