TSTP Solution File: ALG231+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG231+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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 14 17:00:47 EDT 2022
% Result : Timeout 286.14s 259.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : ALG231+2 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n019.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.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Wed Jun 8 01:16:10 EDT 2022
% 0.13/0.35 % CPUTime :
% 14.17/14.12 eprover: CPU time limit exceeded, terminating
% 16.39/16.14 eprover: CPU time limit exceeded, terminating
% 18.64/18.15 eprover: CPU time limit exceeded, terminating
% 20.86/20.16 eprover: CPU time limit exceeded, terminating
% 23.11/22.17 eprover: CPU time limit exceeded, terminating
% 25.33/24.19 eprover: CPU time limit exceeded, terminating
% 27.61/26.20 eprover: CPU time limit exceeded, terminating
% 29.86/28.21 eprover: CPU time limit exceeded, terminating
% 32.12/30.23 eprover: CPU time limit exceeded, terminating
% 34.29/32.24 eprover: CPU time limit exceeded, terminating
% 36.58/34.25 eprover: CPU time limit exceeded, terminating
% 38.78/36.26 eprover: CPU time limit exceeded, terminating
% 41.01/38.28 eprover: CPU time limit exceeded, terminating
% 43.22/40.29 eprover: CPU time limit exceeded, terminating
% 45.54/42.30 eprover: CPU time limit exceeded, terminating
% 47.79/44.31 eprover: CPU time limit exceeded, terminating
% 50.02/46.33 eprover: CPU time limit exceeded, terminating
% 52.27/48.34 eprover: CPU time limit exceeded, terminating
% 54.46/50.35 eprover: CPU time limit exceeded, terminating
% 56.68/52.37 eprover: CPU time limit exceeded, terminating
% 58.93/54.38 eprover: CPU time limit exceeded, terminating
% 61.23/56.39 eprover: CPU time limit exceeded, terminating
% 63.47/58.41 eprover: CPU time limit exceeded, terminating
% 65.72/60.42 eprover: CPU time limit exceeded, terminating
% 67.97/62.43 eprover: CPU time limit exceeded, terminating
% 70.17/64.44 eprover: CPU time limit exceeded, terminating
% 72.40/66.46 eprover: CPU time limit exceeded, terminating
% 74.61/68.47 eprover: CPU time limit exceeded, terminating
% 76.92/70.48 eprover: CPU time limit exceeded, terminating
% 79.14/72.50 eprover: CPU time limit exceeded, terminating
% 81.37/74.51 eprover: CPU time limit exceeded, terminating
% 83.60/76.52 eprover: CPU time limit exceeded, terminating
% 85.84/78.53 eprover: CPU time limit exceeded, terminating
% 88.06/80.54 eprover: CPU time limit exceeded, terminating
% 90.28/82.56 eprover: CPU time limit exceeded, terminating
% 92.51/84.57 eprover: CPU time limit exceeded, terminating
% 94.76/86.58 eprover: CPU time limit exceeded, terminating
% 97.05/88.59 eprover: CPU time limit exceeded, terminating
% 99.21/90.60 eprover: CPU time limit exceeded, terminating
% 101.48/92.62 eprover: CPU time limit exceeded, terminating
% 103.64/94.63 eprover: CPU time limit exceeded, terminating
% 105.88/96.64 eprover: CPU time limit exceeded, terminating
% 108.10/98.67 eprover: CPU time limit exceeded, terminating
% 110.27/100.68 eprover: CPU time limit exceeded, terminating
% 112.45/102.69 eprover: CPU time limit exceeded, terminating
% 114.68/104.73 eprover: CPU time limit exceeded, terminating
% 116.83/106.74 eprover: CPU time limit exceeded, terminating
% 119.03/108.76 eprover: CPU time limit exceeded, terminating
% 121.20/110.77 eprover: CPU time limit exceeded, terminating
% 123.40/112.79 eprover: CPU time limit exceeded, terminating
% 125.66/114.80 eprover: CPU time limit exceeded, terminating
% 127.84/116.82 eprover: CPU time limit exceeded, terminating
% 130.01/118.83 eprover: CPU time limit exceeded, terminating
% 132.21/120.84 eprover: CPU time limit exceeded, terminating
% 134.36/122.86 eprover: CPU time limit exceeded, terminating
% 136.58/124.87 eprover: CPU time limit exceeded, terminating
% 138.82/126.89 eprover: CPU time limit exceeded, terminating
% 141.00/128.91 eprover: CPU time limit exceeded, terminating
% 143.22/130.92 eprover: CPU time limit exceeded, terminating
% 145.45/132.93 eprover: CPU time limit exceeded, terminating
% 147.71/134.94 eprover: CPU time limit exceeded, terminating
% 149.92/136.95 eprover: CPU time limit exceeded, terminating
% 152.16/138.97 eprover: CPU time limit exceeded, terminating
% 154.42/140.98 eprover: CPU time limit exceeded, terminating
% 156.57/142.99 eprover: CPU time limit exceeded, terminating
% 158.88/145.00 eprover: CPU time limit exceeded, terminating
% 161.12/147.02 eprover: CPU time limit exceeded, terminating
% 163.32/149.03 eprover: CPU time limit exceeded, terminating
% 165.57/151.05 eprover: CPU time limit exceeded, terminating
% 167.80/153.06 eprover: CPU time limit exceeded, terminating
% 170.09/155.07 eprover: CPU time limit exceeded, terminating
% 172.27/157.08 eprover: CPU time limit exceeded, terminating
% 174.51/159.10 eprover: CPU time limit exceeded, terminating
% 176.78/161.11 eprover: CPU time limit exceeded, terminating
% 179.03/163.12 eprover: CPU time limit exceeded, terminating
% 181.24/165.13 eprover: CPU time limit exceeded, terminating
% 183.43/167.14 eprover: CPU time limit exceeded, terminating
% 185.63/169.17 eprover: CPU time limit exceeded, terminating
% 187.86/171.18 eprover: CPU time limit exceeded, terminating
% 190.20/173.19 eprover: CPU time limit exceeded, terminating
% 192.38/175.20 eprover: CPU time limit exceeded, terminating
% 194.59/177.23 eprover: CPU time limit exceeded, terminating
% 196.74/179.24 eprover: CPU time limit exceeded, terminating
% 198.98/181.26 eprover: CPU time limit exceeded, terminating
% 201.21/183.27 eprover: CPU time limit exceeded, terminating
% 203.42/185.28 eprover: CPU time limit exceeded, terminating
% 205.72/187.30 eprover: CPU time limit exceeded, terminating
% 207.96/189.31 eprover: CPU time limit exceeded, terminating
% 210.19/191.32 eprover: CPU time limit exceeded, terminating
% 212.40/193.33 eprover: CPU time limit exceeded, terminating
% 214.65/195.34 eprover: CPU time limit exceeded, terminating
% 216.89/197.35 eprover: CPU time limit exceeded, terminating
% 219.08/199.37 eprover: CPU time limit exceeded, terminating
% 221.33/201.38 eprover: CPU time limit exceeded, terminating
% 223.53/203.39 eprover: CPU time limit exceeded, terminating
% 225.84/205.40 eprover: CPU time limit exceeded, terminating
% 228.07/207.42 eprover: CPU time limit exceeded, terminating
% 230.30/209.43 eprover: CPU time limit exceeded, terminating
% 232.51/211.44 eprover: CPU time limit exceeded, terminating
% 234.74/213.46 eprover: CPU time limit exceeded, terminating
% 237.01/215.47 eprover: CPU time limit exceeded, terminating
% 239.16/217.48 eprover: CPU time limit exceeded, terminating
% 241.46/219.50 eprover: CPU time limit exceeded, terminating
% 243.69/221.51 eprover: CPU time limit exceeded, terminating
% 245.93/223.53 eprover: CPU time limit exceeded, terminating
% 248.14/225.54 eprover: CPU time limit exceeded, terminating
% 250.34/227.55 eprover: CPU time limit exceeded, terminating
% 252.58/229.57 eprover: CPU time limit exceeded, terminating
% 254.82/231.58 eprover: CPU time limit exceeded, terminating
% 256.99/233.59 eprover: CPU time limit exceeded, terminating
% 259.28/235.61 eprover: CPU time limit exceeded, terminating
% 261.54/237.62 eprover: CPU time limit exceeded, terminating
% 263.79/239.63 eprover: CPU time limit exceeded, terminating
% 266.00/241.64 eprover: CPU time limit exceeded, terminating
% 268.27/243.66 eprover: CPU time limit exceeded, terminating
% 270.48/245.67 eprover: CPU time limit exceeded, terminating
% 272.71/247.68 eprover: CPU time limit exceeded, terminating
% 274.94/249.70 eprover: CPU time limit exceeded, terminating
% 277.24/251.71 eprover: CPU time limit exceeded, terminating
% 279.47/253.73 eprover: CPU time limit exceeded, terminating
% 281.68/255.74 eprover: CPU time limit exceeded, terminating
% 283.94/257.75 eprover: CPU time limit exceeded, terminating
% 286.14/259.76 eprover: CPU time limit exceeded, terminating
% 288.44/261.78 eprover: CPU time limit exceeded, terminating
% 290.63/263.79 eprover: CPU time limit exceeded, terminating
% 292.90/265.82 eprover: CPU time limit exceeded, terminating
% 295.13/267.84 eprover: CPU time limit exceeded, terminating
% 297.33/269.85 eprover: CPU time limit exceeded, terminating
% 299.58/271.86 eprover: CPU time limit exceeded, terminating
% 300.13/272.29 eprover: CPU time limit exceeded, terminating
% 300.13/272.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------