TSTP Solution File: SWW394+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SWW394+1 : TPTP v8.1.0. Released v5.2.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n028.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 286.00s 241.28s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.13 % Problem : SWW394+1 : TPTP v8.1.0. Released v5.2.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n028.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Sat Jun 4 13:01:26 EDT 2022
% 0.13/0.35 % CPUTime :
% 50.15/49.79 eprover: CPU time limit exceeded, terminating
% 52.59/51.81 eprover: CPU time limit exceeded, terminating
% 55.07/53.82 eprover: CPU time limit exceeded, terminating
% 57.53/55.84 eprover: CPU time limit exceeded, terminating
% 59.95/57.86 eprover: CPU time limit exceeded, terminating
% 62.38/59.87 eprover: CPU time limit exceeded, terminating
% 64.94/61.89 eprover: CPU time limit exceeded, terminating
% 67.44/63.90 eprover: CPU time limit exceeded, terminating
% 69.90/65.92 eprover: CPU time limit exceeded, terminating
% 72.43/67.93 eprover: CPU time limit exceeded, terminating
% 74.87/69.95 eprover: CPU time limit exceeded, terminating
% 77.42/71.97 eprover: CPU time limit exceeded, terminating
% 79.91/73.98 eprover: CPU time limit exceeded, terminating
% 82.36/76.00 eprover: CPU time limit exceeded, terminating
% 84.91/78.01 eprover: CPU time limit exceeded, terminating
% 87.37/80.03 eprover: CPU time limit exceeded, terminating
% 89.86/82.05 eprover: CPU time limit exceeded, terminating
% 92.28/84.06 eprover: CPU time limit exceeded, terminating
% 94.78/86.07 eprover: CPU time limit exceeded, terminating
% 97.30/88.09 eprover: CPU time limit exceeded, terminating
% 99.78/90.11 eprover: CPU time limit exceeded, terminating
% 102.19/92.12 eprover: CPU time limit exceeded, terminating
% 104.74/94.14 eprover: CPU time limit exceeded, terminating
% 107.20/96.16 eprover: CPU time limit exceeded, terminating
% 109.77/98.17 eprover: CPU time limit exceeded, terminating
% 112.26/100.19 eprover: CPU time limit exceeded, terminating
% 114.68/102.21 eprover: CPU time limit exceeded, terminating
% 117.20/104.22 eprover: CPU time limit exceeded, terminating
% 119.69/106.24 eprover: CPU time limit exceeded, terminating
% 122.15/108.26 eprover: CPU time limit exceeded, terminating
% 124.67/110.28 eprover: CPU time limit exceeded, terminating
% 127.11/112.29 eprover: CPU time limit exceeded, terminating
% 129.66/114.31 eprover: CPU time limit exceeded, terminating
% 132.16/116.32 eprover: CPU time limit exceeded, terminating
% 134.66/118.34 eprover: CPU time limit exceeded, terminating
% 137.15/120.36 eprover: CPU time limit exceeded, terminating
% 139.57/122.37 eprover: CPU time limit exceeded, terminating
% 142.13/124.39 eprover: CPU time limit exceeded, terminating
% 144.66/126.40 eprover: CPU time limit exceeded, terminating
% 147.13/128.42 eprover: CPU time limit exceeded, terminating
% 149.58/130.44 eprover: CPU time limit exceeded, terminating
% 152.08/132.45 eprover: CPU time limit exceeded, terminating
% 154.52/134.47 eprover: CPU time limit exceeded, terminating
% 157.00/136.48 eprover: CPU time limit exceeded, terminating
% 159.55/138.50 eprover: CPU time limit exceeded, terminating
% 161.98/140.52 eprover: CPU time limit exceeded, terminating
% 164.48/142.53 eprover: CPU time limit exceeded, terminating
% 166.88/144.55 eprover: CPU time limit exceeded, terminating
% 169.41/146.56 eprover: CPU time limit exceeded, terminating
% 171.91/148.58 eprover: CPU time limit exceeded, terminating
% 174.37/150.59 eprover: CPU time limit exceeded, terminating
% 176.93/152.61 eprover: CPU time limit exceeded, terminating
% 179.40/154.62 eprover: CPU time limit exceeded, terminating
% 181.85/156.64 eprover: CPU time limit exceeded, terminating
% 184.33/158.66 eprover: CPU time limit exceeded, terminating
% 186.81/160.68 eprover: CPU time limit exceeded, terminating
% 189.27/162.69 eprover: CPU time limit exceeded, terminating
% 191.85/164.71 eprover: CPU time limit exceeded, terminating
% 194.33/166.72 eprover: CPU time limit exceeded, terminating
% 196.75/168.74 eprover: CPU time limit exceeded, terminating
% 199.25/170.75 eprover: CPU time limit exceeded, terminating
% 201.76/172.76 eprover: CPU time limit exceeded, terminating
% 204.29/174.78 eprover: CPU time limit exceeded, terminating
% 206.69/176.79 eprover: CPU time limit exceeded, terminating
% 209.16/178.81 eprover: CPU time limit exceeded, terminating
% 211.70/180.82 eprover: CPU time limit exceeded, terminating
% 214.19/182.83 eprover: CPU time limit exceeded, terminating
% 216.64/184.85 eprover: CPU time limit exceeded, terminating
% 219.07/186.86 eprover: CPU time limit exceeded, terminating
% 221.61/188.88 eprover: CPU time limit exceeded, terminating
% 224.01/190.89 eprover: CPU time limit exceeded, terminating
% 226.53/192.90 eprover: CPU time limit exceeded, terminating
% 229.00/194.91 eprover: CPU time limit exceeded, terminating
% 231.44/196.93 eprover: CPU time limit exceeded, terminating
% 233.93/198.94 eprover: CPU time limit exceeded, terminating
% 236.39/200.96 eprover: CPU time limit exceeded, terminating
% 238.84/202.97 eprover: CPU time limit exceeded, terminating
% 241.36/204.99 eprover: CPU time limit exceeded, terminating
% 243.83/207.00 eprover: CPU time limit exceeded, terminating
% 246.28/209.01 eprover: CPU time limit exceeded, terminating
% 248.75/211.03 eprover: CPU time limit exceeded, terminating
% 251.20/213.04 eprover: CPU time limit exceeded, terminating
% 253.67/215.06 eprover: CPU time limit exceeded, terminating
% 256.11/217.08 eprover: CPU time limit exceeded, terminating
% 258.61/219.09 eprover: CPU time limit exceeded, terminating
% 261.17/221.11 eprover: CPU time limit exceeded, terminating
% 263.62/223.13 eprover: CPU time limit exceeded, terminating
% 266.11/225.15 eprover: CPU time limit exceeded, terminating
% 268.57/227.16 eprover: CPU time limit exceeded, terminating
% 271.07/229.18 eprover: CPU time limit exceeded, terminating
% 273.49/231.19 eprover: CPU time limit exceeded, terminating
% 276.06/233.21 eprover: CPU time limit exceeded, terminating
% 278.53/235.23 eprover: CPU time limit exceeded, terminating
% 281.03/237.25 eprover: CPU time limit exceeded, terminating
% 283.45/239.26 eprover: CPU time limit exceeded, terminating
% 286.00/241.28 eprover: CPU time limit exceeded, terminating
% 288.46/243.30 eprover: CPU time limit exceeded, terminating
% 290.97/245.31 eprover: CPU time limit exceeded, terminating
% 293.43/247.33 eprover: CPU time limit exceeded, terminating
% 295.88/249.35 eprover: CPU time limit exceeded, terminating
% 298.33/251.36 eprover: CPU time limit exceeded, terminating
% 300.07/252.61 eprover: CPU time limit exceeded, terminating
% 300.07/252.63 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------