TSTP Solution File: SWV567-1.015 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWV567-1.015 : TPTP v8.1.0. Released v4.0.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 : Wed Jul 20 18:50:52 EDT 2022
% Result : Timeout 286.46s 270.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : SWV567-1.015 : TPTP v8.1.0. Released v4.0.0.
% 0.03/0.10 % Command : run_infinox %s
% 0.10/0.29 % Computer : n032.cluster.edu
% 0.10/0.29 % Model : x86_64 x86_64
% 0.10/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.29 % Memory : 8042.1875MB
% 0.10/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.29 % CPULimit : 300
% 0.10/0.29 % WCLimit : 600
% 0.10/0.29 % DateTime : Wed Jun 15 13:09:29 EDT 2022
% 0.10/0.29 % CPUTime :
% 124.19/123.99 eprover: CPU time limit exceeded, terminating
% 126.41/126.03 eprover: CPU time limit exceeded, terminating
% 128.72/128.06 eprover: CPU time limit exceeded, terminating
% 130.95/130.10 eprover: CPU time limit exceeded, terminating
% 133.19/132.13 eprover: CPU time limit exceeded, terminating
% 135.48/134.17 eprover: CPU time limit exceeded, terminating
% 137.70/136.20 eprover: CPU time limit exceeded, terminating
% 139.99/138.24 eprover: CPU time limit exceeded, terminating
% 142.24/140.27 eprover: CPU time limit exceeded, terminating
% 144.48/142.31 eprover: CPU time limit exceeded, terminating
% 146.74/144.34 eprover: CPU time limit exceeded, terminating
% 148.96/146.37 eprover: CPU time limit exceeded, terminating
% 151.24/148.41 eprover: CPU time limit exceeded, terminating
% 153.49/150.44 eprover: CPU time limit exceeded, terminating
% 155.76/152.48 eprover: CPU time limit exceeded, terminating
% 158.00/154.51 eprover: CPU time limit exceeded, terminating
% 160.29/156.55 eprover: CPU time limit exceeded, terminating
% 162.54/158.58 eprover: CPU time limit exceeded, terminating
% 164.75/160.61 eprover: CPU time limit exceeded, terminating
% 167.05/162.65 eprover: CPU time limit exceeded, terminating
% 169.28/164.68 eprover: CPU time limit exceeded, terminating
% 171.52/166.72 eprover: CPU time limit exceeded, terminating
% 173.76/168.75 eprover: CPU time limit exceeded, terminating
% 176.06/170.79 eprover: CPU time limit exceeded, terminating
% 178.28/172.82 eprover: CPU time limit exceeded, terminating
% 180.56/174.85 eprover: CPU time limit exceeded, terminating
% 182.83/176.89 eprover: CPU time limit exceeded, terminating
% 185.05/178.92 eprover: CPU time limit exceeded, terminating
% 187.36/180.96 eprover: CPU time limit exceeded, terminating
% 189.59/182.99 eprover: CPU time limit exceeded, terminating
% 191.86/185.03 eprover: CPU time limit exceeded, terminating
% 194.07/187.06 eprover: CPU time limit exceeded, terminating
% 196.34/189.09 eprover: CPU time limit exceeded, terminating
% 198.60/191.13 eprover: CPU time limit exceeded, terminating
% 200.84/193.16 eprover: CPU time limit exceeded, terminating
% 203.10/195.19 eprover: CPU time limit exceeded, terminating
% 205.40/197.23 eprover: CPU time limit exceeded, terminating
% 207.60/199.26 eprover: CPU time limit exceeded, terminating
% 209.85/201.30 eprover: CPU time limit exceeded, terminating
% 212.10/203.33 eprover: CPU time limit exceeded, terminating
% 214.37/205.36 eprover: CPU time limit exceeded, terminating
% 216.66/207.40 eprover: CPU time limit exceeded, terminating
% 218.88/209.43 eprover: CPU time limit exceeded, terminating
% 221.15/211.46 eprover: CPU time limit exceeded, terminating
% 223.41/213.50 eprover: CPU time limit exceeded, terminating
% 225.68/215.53 eprover: CPU time limit exceeded, terminating
% 227.93/217.56 eprover: CPU time limit exceeded, terminating
% 230.17/219.60 eprover: CPU time limit exceeded, terminating
% 232.38/221.63 eprover: CPU time limit exceeded, terminating
% 234.66/223.66 eprover: CPU time limit exceeded, terminating
% 236.91/225.70 eprover: CPU time limit exceeded, terminating
% 239.20/227.73 eprover: CPU time limit exceeded, terminating
% 241.44/229.76 eprover: CPU time limit exceeded, terminating
% 243.66/231.79 eprover: CPU time limit exceeded, terminating
% 245.91/233.83 eprover: CPU time limit exceeded, terminating
% 248.20/235.86 eprover: CPU time limit exceeded, terminating
% 250.42/237.89 eprover: CPU time limit exceeded, terminating
% 252.67/239.92 eprover: CPU time limit exceeded, terminating
% 254.95/241.96 eprover: CPU time limit exceeded, terminating
% 257.21/243.99 eprover: CPU time limit exceeded, terminating
% 259.42/246.02 eprover: CPU time limit exceeded, terminating
% 261.72/248.06 eprover: CPU time limit exceeded, terminating
% 263.97/250.09 eprover: CPU time limit exceeded, terminating
% 266.17/252.12 eprover: CPU time limit exceeded, terminating
% 268.43/254.15 eprover: CPU time limit exceeded, terminating
% 270.69/256.18 eprover: CPU time limit exceeded, terminating
% 272.95/258.22 eprover: CPU time limit exceeded, terminating
% 275.23/260.26 eprover: CPU time limit exceeded, terminating
% 277.46/262.29 eprover: CPU time limit exceeded, terminating
% 279.74/264.33 eprover: CPU time limit exceeded, terminating
% 282.00/266.36 eprover: CPU time limit exceeded, terminating
% 284.25/268.40 eprover: CPU time limit exceeded, terminating
% 286.46/270.44 eprover: CPU time limit exceeded, terminating
% 288.77/272.48 eprover: CPU time limit exceeded, terminating
% 291.00/274.51 eprover: CPU time limit exceeded, terminating
% 293.33/276.55 eprover: CPU time limit exceeded, terminating
% 295.55/278.59 eprover: CPU time limit exceeded, terminating
% 297.82/280.62 eprover: CPU time limit exceeded, terminating
% 300.02/282.60 eprover: CPU time limit exceeded, terminating
% 300.02/282.61 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------