TSTP Solution File: ALG230+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : ALG230+2 : TPTP v8.1.0. Released v3.4.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 : Thu Jul 14 17:00:46 EDT 2022
% Result : Timeout 286.73s 263.19s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.09 % Problem : ALG230+2 : TPTP v8.1.0. Released v3.4.0.
% 0.05/0.10 % Command : run_infinox %s
% 0.10/0.28 % Computer : n032.cluster.edu
% 0.10/0.28 % Model : x86_64 x86_64
% 0.10/0.28 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.28 % Memory : 8042.1875MB
% 0.10/0.28 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.28 % CPULimit : 300
% 0.10/0.28 % WCLimit : 600
% 0.10/0.28 % DateTime : Wed Jun 8 14:16:37 EDT 2022
% 0.10/0.29 % CPUTime :
% 13.66/13.70 eprover: CPU time limit exceeded, terminating
% 15.92/15.71 eprover: CPU time limit exceeded, terminating
% 18.13/17.73 eprover: CPU time limit exceeded, terminating
% 20.27/19.74 eprover: CPU time limit exceeded, terminating
% 22.50/21.75 eprover: CPU time limit exceeded, terminating
% 24.62/23.76 eprover: CPU time limit exceeded, terminating
% 26.88/25.78 eprover: CPU time limit exceeded, terminating
% 29.11/27.79 eprover: CPU time limit exceeded, terminating
% 31.27/29.80 eprover: CPU time limit exceeded, terminating
% 33.53/31.81 eprover: CPU time limit exceeded, terminating
% 35.69/33.82 eprover: CPU time limit exceeded, terminating
% 37.93/35.84 eprover: CPU time limit exceeded, terminating
% 40.10/37.85 eprover: CPU time limit exceeded, terminating
% 42.34/39.86 eprover: CPU time limit exceeded, terminating
% 44.48/41.87 eprover: CPU time limit exceeded, terminating
% 46.72/43.89 eprover: CPU time limit exceeded, terminating
% 48.97/45.90 eprover: CPU time limit exceeded, terminating
% 51.16/47.91 eprover: CPU time limit exceeded, terminating
% 53.38/49.92 eprover: CPU time limit exceeded, terminating
% 55.56/51.93 eprover: CPU time limit exceeded, terminating
% 57.80/53.95 eprover: CPU time limit exceeded, terminating
% 59.95/55.96 eprover: CPU time limit exceeded, terminating
% 62.19/57.97 eprover: CPU time limit exceeded, terminating
% 64.34/59.98 eprover: CPU time limit exceeded, terminating
% 66.57/61.99 eprover: CPU time limit exceeded, terminating
% 68.82/64.00 eprover: CPU time limit exceeded, terminating
% 71.03/66.02 eprover: CPU time limit exceeded, terminating
% 73.23/68.03 eprover: CPU time limit exceeded, terminating
% 75.41/70.04 eprover: CPU time limit exceeded, terminating
% 77.63/72.05 eprover: CPU time limit exceeded, terminating
% 79.83/74.06 eprover: CPU time limit exceeded, terminating
% 82.07/76.08 eprover: CPU time limit exceeded, terminating
% 84.18/78.09 eprover: CPU time limit exceeded, terminating
% 86.48/80.10 eprover: CPU time limit exceeded, terminating
% 88.68/82.11 eprover: CPU time limit exceeded, terminating
% 90.86/84.12 eprover: CPU time limit exceeded, terminating
% 93.05/86.14 eprover: CPU time limit exceeded, terminating
% 95.30/88.15 eprover: CPU time limit exceeded, terminating
% 97.48/90.16 eprover: CPU time limit exceeded, terminating
% 99.71/92.17 eprover: CPU time limit exceeded, terminating
% 101.89/94.18 eprover: CPU time limit exceeded, terminating
% 104.14/96.20 eprover: CPU time limit exceeded, terminating
% 106.35/98.21 eprover: CPU time limit exceeded, terminating
% 108.56/100.22 eprover: CPU time limit exceeded, terminating
% 110.72/102.23 eprover: CPU time limit exceeded, terminating
% 112.94/104.24 eprover: CPU time limit exceeded, terminating
% 115.18/106.26 eprover: CPU time limit exceeded, terminating
% 117.34/108.27 eprover: CPU time limit exceeded, terminating
% 119.56/110.28 eprover: CPU time limit exceeded, terminating
% 121.82/112.29 eprover: CPU time limit exceeded, terminating
% 123.93/114.30 eprover: CPU time limit exceeded, terminating
% 126.21/116.31 eprover: CPU time limit exceeded, terminating
% 128.36/118.33 eprover: CPU time limit exceeded, terminating
% 130.60/120.34 eprover: CPU time limit exceeded, terminating
% 132.79/122.35 eprover: CPU time limit exceeded, terminating
% 135.01/124.36 eprover: CPU time limit exceeded, terminating
% 137.18/126.37 eprover: CPU time limit exceeded, terminating
% 139.44/128.38 eprover: CPU time limit exceeded, terminating
% 141.64/130.40 eprover: CPU time limit exceeded, terminating
% 143.84/132.41 eprover: CPU time limit exceeded, terminating
% 146.03/134.42 eprover: CPU time limit exceeded, terminating
% 148.21/136.43 eprover: CPU time limit exceeded, terminating
% 150.42/138.44 eprover: CPU time limit exceeded, terminating
% 152.59/140.46 eprover: CPU time limit exceeded, terminating
% 154.82/142.47 eprover: CPU time limit exceeded, terminating
% 157.00/144.48 eprover: CPU time limit exceeded, terminating
% 159.22/146.49 eprover: CPU time limit exceeded, terminating
% 161.34/148.50 eprover: CPU time limit exceeded, terminating
% 163.59/150.52 eprover: CPU time limit exceeded, terminating
% 165.82/152.53 eprover: CPU time limit exceeded, terminating
% 167.98/154.54 eprover: CPU time limit exceeded, terminating
% 170.21/156.55 eprover: CPU time limit exceeded, terminating
% 172.44/158.56 eprover: CPU time limit exceeded, terminating
% 174.61/160.58 eprover: CPU time limit exceeded, terminating
% 176.84/162.59 eprover: CPU time limit exceeded, terminating
% 179.05/164.60 eprover: CPU time limit exceeded, terminating
% 181.23/166.61 eprover: CPU time limit exceeded, terminating
% 183.39/168.63 eprover: CPU time limit exceeded, terminating
% 185.62/170.64 eprover: CPU time limit exceeded, terminating
% 187.80/172.65 eprover: CPU time limit exceeded, terminating
% 190.03/174.66 eprover: CPU time limit exceeded, terminating
% 192.19/176.67 eprover: CPU time limit exceeded, terminating
% 194.42/178.69 eprover: CPU time limit exceeded, terminating
% 196.57/180.70 eprover: CPU time limit exceeded, terminating
% 198.85/182.71 eprover: CPU time limit exceeded, terminating
% 201.03/184.72 eprover: CPU time limit exceeded, terminating
% 203.24/186.74 eprover: CPU time limit exceeded, terminating
% 205.43/188.75 eprover: CPU time limit exceeded, terminating
% 207.61/190.76 eprover: CPU time limit exceeded, terminating
% 209.86/192.77 eprover: CPU time limit exceeded, terminating
% 212.00/194.78 eprover: CPU time limit exceeded, terminating
% 214.25/196.79 eprover: CPU time limit exceeded, terminating
% 216.39/198.81 eprover: CPU time limit exceeded, terminating
% 218.64/200.82 eprover: CPU time limit exceeded, terminating
% 220.85/202.83 eprover: CPU time limit exceeded, terminating
% 223.05/204.85 eprover: CPU time limit exceeded, terminating
% 225.24/206.86 eprover: CPU time limit exceeded, terminating
% 227.44/208.87 eprover: CPU time limit exceeded, terminating
% 229.64/210.88 eprover: CPU time limit exceeded, terminating
% 231.82/212.89 eprover: CPU time limit exceeded, terminating
% 234.07/214.90 eprover: CPU time limit exceeded, terminating
% 236.28/216.92 eprover: CPU time limit exceeded, terminating
% 238.44/218.93 eprover: CPU time limit exceeded, terminating
% 240.63/220.94 eprover: CPU time limit exceeded, terminating
% 242.84/222.95 eprover: CPU time limit exceeded, terminating
% 245.05/224.96 eprover: CPU time limit exceeded, terminating
% 247.20/226.98 eprover: CPU time limit exceeded, terminating
% 249.43/228.99 eprover: CPU time limit exceeded, terminating
% 251.59/231.00 eprover: CPU time limit exceeded, terminating
% 253.79/233.01 eprover: CPU time limit exceeded, terminating
% 256.02/235.02 eprover: CPU time limit exceeded, terminating
% 258.20/237.04 eprover: CPU time limit exceeded, terminating
% 260.43/239.05 eprover: CPU time limit exceeded, terminating
% 262.60/241.06 eprover: CPU time limit exceeded, terminating
% 264.82/243.07 eprover: CPU time limit exceeded, terminating
% 266.96/245.08 eprover: CPU time limit exceeded, terminating
% 269.15/247.10 eprover: CPU time limit exceeded, terminating
% 271.39/249.11 eprover: CPU time limit exceeded, terminating
% 273.62/251.12 eprover: CPU time limit exceeded, terminating
% 275.78/253.13 eprover: CPU time limit exceeded, terminating
% 277.99/255.14 eprover: CPU time limit exceeded, terminating
% 280.18/257.16 eprover: CPU time limit exceeded, terminating
% 282.33/259.16 eprover: CPU time limit exceeded, terminating
% 284.53/261.18 eprover: CPU time limit exceeded, terminating
% 286.73/263.19 eprover: CPU time limit exceeded, terminating
% 288.99/265.20 eprover: CPU time limit exceeded, terminating
% 291.20/267.21 eprover: CPU time limit exceeded, terminating
% 293.39/269.22 eprover: CPU time limit exceeded, terminating
% 295.59/271.24 eprover: CPU time limit exceeded, terminating
% 297.78/273.25 eprover: CPU time limit exceeded, terminating
% 299.94/275.27 eprover: CPU time limit exceeded, terminating
% 300.06/275.30 eprover: CPU time limit exceeded, terminating
% 300.06/275.31 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------