TSTP Solution File: SEU422+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU422+2 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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 : Tue Jul 19 10:13:54 EDT 2022
% Result : Timeout 287.29s 259.70s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : SEU422+2 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n024.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sun Jun 19 00:41:03 EDT 2022
% 0.12/0.33 % CPUTime :
% 16.28/16.25 eprover: CPU time limit exceeded, terminating
% 18.49/18.26 eprover: CPU time limit exceeded, terminating
% 20.72/20.27 eprover: CPU time limit exceeded, terminating
% 22.94/22.28 eprover: CPU time limit exceeded, terminating
% 25.19/24.30 eprover: CPU time limit exceeded, terminating
% 27.38/26.31 eprover: CPU time limit exceeded, terminating
% 29.60/28.32 eprover: CPU time limit exceeded, terminating
% 31.80/30.33 eprover: CPU time limit exceeded, terminating
% 34.02/32.34 eprover: CPU time limit exceeded, terminating
% 36.24/34.36 eprover: CPU time limit exceeded, terminating
% 38.50/36.37 eprover: CPU time limit exceeded, terminating
% 40.74/38.38 eprover: CPU time limit exceeded, terminating
% 42.92/40.39 eprover: CPU time limit exceeded, terminating
% 45.15/42.40 eprover: CPU time limit exceeded, terminating
% 47.40/44.42 eprover: CPU time limit exceeded, terminating
% 49.58/46.43 eprover: CPU time limit exceeded, terminating
% 51.88/48.44 eprover: CPU time limit exceeded, terminating
% 54.07/50.45 eprover: CPU time limit exceeded, terminating
% 56.33/52.46 eprover: CPU time limit exceeded, terminating
% 58.50/54.47 eprover: CPU time limit exceeded, terminating
% 60.78/56.48 eprover: CPU time limit exceeded, terminating
% 63.00/58.50 eprover: CPU time limit exceeded, terminating
% 65.17/60.51 eprover: CPU time limit exceeded, terminating
% 67.40/62.52 eprover: CPU time limit exceeded, terminating
% 69.62/64.53 eprover: CPU time limit exceeded, terminating
% 71.94/66.54 eprover: CPU time limit exceeded, terminating
% 74.13/68.56 eprover: CPU time limit exceeded, terminating
% 76.38/70.57 eprover: CPU time limit exceeded, terminating
% 78.61/72.58 eprover: CPU time limit exceeded, terminating
% 80.83/74.59 eprover: CPU time limit exceeded, terminating
% 83.02/76.60 eprover: CPU time limit exceeded, terminating
% 85.30/78.62 eprover: CPU time limit exceeded, terminating
% 87.49/80.63 eprover: CPU time limit exceeded, terminating
% 89.73/82.64 eprover: CPU time limit exceeded, terminating
% 91.96/84.65 eprover: CPU time limit exceeded, terminating
% 94.18/86.66 eprover: CPU time limit exceeded, terminating
% 96.35/88.67 eprover: CPU time limit exceeded, terminating
% 98.60/90.69 eprover: CPU time limit exceeded, terminating
% 100.87/92.70 eprover: CPU time limit exceeded, terminating
% 103.09/94.71 eprover: CPU time limit exceeded, terminating
% 105.33/96.72 eprover: CPU time limit exceeded, terminating
% 107.57/98.73 eprover: CPU time limit exceeded, terminating
% 109.69/100.75 eprover: CPU time limit exceeded, terminating
% 111.99/102.76 eprover: CPU time limit exceeded, terminating
% 114.20/104.77 eprover: CPU time limit exceeded, terminating
% 116.46/106.78 eprover: CPU time limit exceeded, terminating
% 118.61/108.80 eprover: CPU time limit exceeded, terminating
% 120.91/110.81 eprover: CPU time limit exceeded, terminating
% 123.11/112.82 eprover: CPU time limit exceeded, terminating
% 125.34/114.83 eprover: CPU time limit exceeded, terminating
% 127.56/116.84 eprover: CPU time limit exceeded, terminating
% 129.76/118.86 eprover: CPU time limit exceeded, terminating
% 132.02/120.87 eprover: CPU time limit exceeded, terminating
% 134.23/122.88 eprover: CPU time limit exceeded, terminating
% 136.47/124.89 eprover: CPU time limit exceeded, terminating
% 138.67/126.90 eprover: CPU time limit exceeded, terminating
% 140.91/128.92 eprover: CPU time limit exceeded, terminating
% 143.15/130.93 eprover: CPU time limit exceeded, terminating
% 145.34/132.94 eprover: CPU time limit exceeded, terminating
% 147.57/134.95 eprover: CPU time limit exceeded, terminating
% 149.78/136.96 eprover: CPU time limit exceeded, terminating
% 152.07/138.97 eprover: CPU time limit exceeded, terminating
% 154.23/140.98 eprover: CPU time limit exceeded, terminating
% 156.50/142.99 eprover: CPU time limit exceeded, terminating
% 158.70/145.01 eprover: CPU time limit exceeded, terminating
% 160.94/147.02 eprover: CPU time limit exceeded, terminating
% 163.16/149.03 eprover: CPU time limit exceeded, terminating
% 165.39/151.04 eprover: CPU time limit exceeded, terminating
% 167.59/153.05 eprover: CPU time limit exceeded, terminating
% 169.78/155.07 eprover: CPU time limit exceeded, terminating
% 172.03/157.08 eprover: CPU time limit exceeded, terminating
% 174.22/159.09 eprover: CPU time limit exceeded, terminating
% 176.47/161.10 eprover: CPU time limit exceeded, terminating
% 178.73/163.11 eprover: CPU time limit exceeded, terminating
% 180.87/165.12 eprover: CPU time limit exceeded, terminating
% 183.12/167.13 eprover: CPU time limit exceeded, terminating
% 185.35/169.14 eprover: CPU time limit exceeded, terminating
% 187.53/171.16 eprover: CPU time limit exceeded, terminating
% 189.79/173.17 eprover: CPU time limit exceeded, terminating
% 192.04/175.18 eprover: CPU time limit exceeded, terminating
% 194.27/177.19 eprover: CPU time limit exceeded, terminating
% 196.49/179.20 eprover: CPU time limit exceeded, terminating
% 198.72/181.22 eprover: CPU time limit exceeded, terminating
% 200.93/183.23 eprover: CPU time limit exceeded, terminating
% 203.14/185.24 eprover: CPU time limit exceeded, terminating
% 205.32/187.25 eprover: CPU time limit exceeded, terminating
% 207.58/189.26 eprover: CPU time limit exceeded, terminating
% 209.76/191.27 eprover: CPU time limit exceeded, terminating
% 212.00/193.29 eprover: CPU time limit exceeded, terminating
% 214.22/195.30 eprover: CPU time limit exceeded, terminating
% 216.41/197.31 eprover: CPU time limit exceeded, terminating
% 218.62/199.32 eprover: CPU time limit exceeded, terminating
% 220.85/201.33 eprover: CPU time limit exceeded, terminating
% 223.02/203.34 eprover: CPU time limit exceeded, terminating
% 227.24/205.35 eprover: CPU time limit exceeded, terminating
% 229.46/207.37 eprover: CPU time limit exceeded, terminating
% 231.67/209.38 eprover: CPU time limit exceeded, terminating
% 233.89/211.39 eprover: CPU time limit exceeded, terminating
% 236.11/213.40 eprover: CPU time limit exceeded, terminating
% 238.28/215.42 eprover: CPU time limit exceeded, terminating
% 240.61/217.43 eprover: CPU time limit exceeded, terminating
% 242.81/219.45 eprover: CPU time limit exceeded, terminating
% 245.04/221.46 eprover: CPU time limit exceeded, terminating
% 247.27/223.47 eprover: CPU time limit exceeded, terminating
% 249.51/225.48 eprover: CPU time limit exceeded, terminating
% 251.72/227.50 eprover: CPU time limit exceeded, terminating
% 253.97/229.51 eprover: CPU time limit exceeded, terminating
% 256.18/231.52 eprover: CPU time limit exceeded, terminating
% 258.32/233.53 eprover: CPU time limit exceeded, terminating
% 260.62/235.55 eprover: CPU time limit exceeded, terminating
% 262.84/237.56 eprover: CPU time limit exceeded, terminating
% 265.06/239.57 eprover: CPU time limit exceeded, terminating
% 267.31/241.59 eprover: CPU time limit exceeded, terminating
% 269.49/243.60 eprover: CPU time limit exceeded, terminating
% 271.73/245.61 eprover: CPU time limit exceeded, terminating
% 273.91/247.63 eprover: CPU time limit exceeded, terminating
% 276.16/249.64 eprover: CPU time limit exceeded, terminating
% 278.44/251.65 eprover: CPU time limit exceeded, terminating
% 280.64/253.67 eprover: CPU time limit exceeded, terminating
% 282.88/255.68 eprover: CPU time limit exceeded, terminating
% 285.08/257.69 eprover: CPU time limit exceeded, terminating
% 287.29/259.70 eprover: CPU time limit exceeded, terminating
% 289.52/261.72 eprover: CPU time limit exceeded, terminating
% 291.75/263.73 eprover: CPU time limit exceeded, terminating
% 293.99/265.74 eprover: CPU time limit exceeded, terminating
% 296.24/267.76 eprover: CPU time limit exceeded, terminating
% 298.44/269.77 eprover: CPU time limit exceeded, terminating
% 300.07/271.17 eprover: CPU time limit exceeded, terminating
% 300.07/271.18 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------