TSTP Solution File: SEU376+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU376+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n003.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:31 EDT 2022
% Result : Timeout 286.74s 281.11s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.11/0.12 % Problem : SEU376+2 : TPTP v8.1.0. Released v3.3.0.
% 0.11/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n003.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 : Sun Jun 19 06:55:43 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.36/3.55 eprover: CPU time limit exceeded, terminating
% 5.41/5.56 eprover: CPU time limit exceeded, terminating
% 7.47/7.57 eprover: CPU time limit exceeded, terminating
% 9.58/9.58 eprover: CPU time limit exceeded, terminating
% 11.55/11.59 eprover: CPU time limit exceeded, terminating
% 13.61/13.60 eprover: CPU time limit exceeded, terminating
% 15.74/15.61 eprover: CPU time limit exceeded, terminating
% 17.79/17.62 eprover: CPU time limit exceeded, terminating
% 19.82/19.63 eprover: CPU time limit exceeded, terminating
% 21.85/21.64 eprover: CPU time limit exceeded, terminating
% 23.90/23.65 eprover: CPU time limit exceeded, terminating
% 25.94/25.66 eprover: CPU time limit exceeded, terminating
% 27.99/27.67 eprover: CPU time limit exceeded, terminating
% 30.08/29.69 eprover: CPU time limit exceeded, terminating
% 32.08/31.70 eprover: CPU time limit exceeded, terminating
% 34.22/33.71 eprover: CPU time limit exceeded, terminating
% 36.25/35.72 eprover: CPU time limit exceeded, terminating
% 38.28/37.73 eprover: CPU time limit exceeded, terminating
% 40.34/39.74 eprover: CPU time limit exceeded, terminating
% 42.39/41.75 eprover: CPU time limit exceeded, terminating
% 44.44/43.77 eprover: CPU time limit exceeded, terminating
% 46.45/45.78 eprover: CPU time limit exceeded, terminating
% 48.59/47.79 eprover: CPU time limit exceeded, terminating
% 50.55/49.80 eprover: CPU time limit exceeded, terminating
% 52.68/51.82 eprover: CPU time limit exceeded, terminating
% 54.72/53.83 eprover: CPU time limit exceeded, terminating
% 56.76/55.84 eprover: CPU time limit exceeded, terminating
% 58.82/57.85 eprover: CPU time limit exceeded, terminating
% 60.88/59.86 eprover: CPU time limit exceeded, terminating
% 62.87/61.88 eprover: CPU time limit exceeded, terminating
% 65.01/63.89 eprover: CPU time limit exceeded, terminating
% 66.97/65.90 eprover: CPU time limit exceeded, terminating
% 69.12/67.91 eprover: CPU time limit exceeded, terminating
% 71.13/69.92 eprover: CPU time limit exceeded, terminating
% 73.19/71.95 eprover: CPU time limit exceeded, terminating
% 75.23/73.95 eprover: CPU time limit exceeded, terminating
% 77.24/75.97 eprover: CPU time limit exceeded, terminating
% 79.29/77.98 eprover: CPU time limit exceeded, terminating
% 81.36/79.99 eprover: CPU time limit exceeded, terminating
% 83.48/82.01 eprover: CPU time limit exceeded, terminating
% 85.51/84.02 eprover: CPU time limit exceeded, terminating
% 87.55/86.03 eprover: CPU time limit exceeded, terminating
% 89.62/88.04 eprover: CPU time limit exceeded, terminating
% 91.63/90.05 eprover: CPU time limit exceeded, terminating
% 93.64/92.08 eprover: CPU time limit exceeded, terminating
% 95.70/94.09 eprover: CPU time limit exceeded, terminating
% 97.81/96.10 eprover: CPU time limit exceeded, terminating
% 99.84/98.11 eprover: CPU time limit exceeded, terminating
% 101.93/100.12 eprover: CPU time limit exceeded, terminating
% 103.97/102.13 eprover: CPU time limit exceeded, terminating
% 106.00/104.15 eprover: CPU time limit exceeded, terminating
% 108.05/106.16 eprover: CPU time limit exceeded, terminating
% 110.12/108.17 eprover: CPU time limit exceeded, terminating
% 112.12/110.18 eprover: CPU time limit exceeded, terminating
% 114.18/112.19 eprover: CPU time limit exceeded, terminating
% 116.24/114.20 eprover: CPU time limit exceeded, terminating
% 118.34/116.21 eprover: CPU time limit exceeded, terminating
% 120.38/118.22 eprover: CPU time limit exceeded, terminating
% 122.45/120.23 eprover: CPU time limit exceeded, terminating
% 124.51/122.24 eprover: CPU time limit exceeded, terminating
% 126.53/124.25 eprover: CPU time limit exceeded, terminating
% 128.56/126.26 eprover: CPU time limit exceeded, terminating
% 130.62/128.27 eprover: CPU time limit exceeded, terminating
% 132.68/130.29 eprover: CPU time limit exceeded, terminating
% 134.79/132.30 eprover: CPU time limit exceeded, terminating
% 136.85/134.31 eprover: CPU time limit exceeded, terminating
% 138.87/136.32 eprover: CPU time limit exceeded, terminating
% 140.93/138.33 eprover: CPU time limit exceeded, terminating
% 142.96/140.34 eprover: CPU time limit exceeded, terminating
% 145.03/142.35 eprover: CPU time limit exceeded, terminating
% 147.08/144.36 eprover: CPU time limit exceeded, terminating
% 149.11/146.37 eprover: CPU time limit exceeded, terminating
% 151.14/148.38 eprover: CPU time limit exceeded, terminating
% 153.27/150.39 eprover: CPU time limit exceeded, terminating
% 155.32/152.40 eprover: CPU time limit exceeded, terminating
% 157.38/154.42 eprover: CPU time limit exceeded, terminating
% 159.41/156.43 eprover: CPU time limit exceeded, terminating
% 161.43/158.44 eprover: CPU time limit exceeded, terminating
% 163.51/160.45 eprover: CPU time limit exceeded, terminating
% 165.51/162.46 eprover: CPU time limit exceeded, terminating
% 167.58/164.47 eprover: CPU time limit exceeded, terminating
% 169.65/166.48 eprover: CPU time limit exceeded, terminating
% 171.69/168.49 eprover: CPU time limit exceeded, terminating
% 173.76/170.50 eprover: CPU time limit exceeded, terminating
% 175.87/172.51 eprover: CPU time limit exceeded, terminating
% 177.86/174.52 eprover: CPU time limit exceeded, terminating
% 179.93/176.53 eprover: CPU time limit exceeded, terminating
% 182.00/178.55 eprover: CPU time limit exceeded, terminating
% 184.07/180.56 eprover: CPU time limit exceeded, terminating
% 186.07/182.58 eprover: CPU time limit exceeded, terminating
% 188.15/184.59 eprover: CPU time limit exceeded, terminating
% 190.19/186.60 eprover: CPU time limit exceeded, terminating
% 192.26/188.61 eprover: CPU time limit exceeded, terminating
% 194.30/190.62 eprover: CPU time limit exceeded, terminating
% 196.39/192.63 eprover: CPU time limit exceeded, terminating
% 198.44/194.64 eprover: CPU time limit exceeded, terminating
% 200.46/196.65 eprover: CPU time limit exceeded, terminating
% 202.51/198.66 eprover: CPU time limit exceeded, terminating
% 204.59/200.67 eprover: CPU time limit exceeded, terminating
% 206.61/202.68 eprover: CPU time limit exceeded, terminating
% 208.69/204.70 eprover: CPU time limit exceeded, terminating
% 210.77/206.71 eprover: CPU time limit exceeded, terminating
% 212.83/208.72 eprover: CPU time limit exceeded, terminating
% 214.80/210.73 eprover: CPU time limit exceeded, terminating
% 216.92/212.74 eprover: CPU time limit exceeded, terminating
% 218.96/214.75 eprover: CPU time limit exceeded, terminating
% 220.97/216.76 eprover: CPU time limit exceeded, terminating
% 223.04/218.77 eprover: CPU time limit exceeded, terminating
% 225.12/220.78 eprover: CPU time limit exceeded, terminating
% 227.20/222.79 eprover: CPU time limit exceeded, terminating
% 229.21/224.80 eprover: CPU time limit exceeded, terminating
% 231.30/226.82 eprover: CPU time limit exceeded, terminating
% 233.34/228.83 eprover: CPU time limit exceeded, terminating
% 235.37/230.84 eprover: CPU time limit exceeded, terminating
% 237.43/232.85 eprover: CPU time limit exceeded, terminating
% 239.49/234.86 eprover: CPU time limit exceeded, terminating
% 241.57/236.87 eprover: CPU time limit exceeded, terminating
% 243.58/238.88 eprover: CPU time limit exceeded, terminating
% 245.67/240.89 eprover: CPU time limit exceeded, terminating
% 247.72/242.90 eprover: CPU time limit exceeded, terminating
% 249.78/244.91 eprover: CPU time limit exceeded, terminating
% 251.83/246.92 eprover: CPU time limit exceeded, terminating
% 253.87/248.93 eprover: CPU time limit exceeded, terminating
% 255.90/250.95 eprover: CPU time limit exceeded, terminating
% 257.96/252.96 eprover: CPU time limit exceeded, terminating
% 260.03/254.97 eprover: CPU time limit exceeded, terminating
% 262.05/256.98 eprover: CPU time limit exceeded, terminating
% 264.15/258.99 eprover: CPU time limit exceeded, terminating
% 266.20/261.00 eprover: CPU time limit exceeded, terminating
% 268.24/263.01 eprover: CPU time limit exceeded, terminating
% 270.29/265.02 eprover: CPU time limit exceeded, terminating
% 272.37/267.03 eprover: CPU time limit exceeded, terminating
% 274.34/269.05 eprover: CPU time limit exceeded, terminating
% 276.48/271.06 eprover: CPU time limit exceeded, terminating
% 278.51/273.07 eprover: CPU time limit exceeded, terminating
% 280.55/275.08 eprover: CPU time limit exceeded, terminating
% 282.57/277.09 eprover: CPU time limit exceeded, terminating
% 284.70/279.10 eprover: CPU time limit exceeded, terminating
% 286.74/281.11 eprover: CPU time limit exceeded, terminating
% 288.80/283.12 eprover: CPU time limit exceeded, terminating
% 290.83/285.14 eprover: CPU time limit exceeded, terminating
% 292.91/287.15 eprover: CPU time limit exceeded, terminating
% 294.96/289.16 eprover: CPU time limit exceeded, terminating
% 296.98/291.17 eprover: CPU time limit exceeded, terminating
% 299.07/293.18 eprover: CPU time limit exceeded, terminating
% 300.03/294.10 eprover: CPU time limit exceeded, terminating
% 300.03/294.12 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------