TSTP Solution File: SEU377+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU377+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n011.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.96s 281.06s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.11 % Problem : SEU377+2 : TPTP v8.1.0. Released v3.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n011.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 21:51:24 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.37/3.52 eprover: CPU time limit exceeded, terminating
% 5.44/5.53 eprover: CPU time limit exceeded, terminating
% 7.45/7.54 eprover: CPU time limit exceeded, terminating
% 9.53/9.55 eprover: CPU time limit exceeded, terminating
% 11.60/11.56 eprover: CPU time limit exceeded, terminating
% 13.57/13.57 eprover: CPU time limit exceeded, terminating
% 15.70/15.58 eprover: CPU time limit exceeded, terminating
% 17.73/17.59 eprover: CPU time limit exceeded, terminating
% 19.82/19.60 eprover: CPU time limit exceeded, terminating
% 21.83/21.61 eprover: CPU time limit exceeded, terminating
% 23.95/23.62 eprover: CPU time limit exceeded, terminating
% 25.95/25.63 eprover: CPU time limit exceeded, terminating
% 28.06/27.64 eprover: CPU time limit exceeded, terminating
% 30.09/29.65 eprover: CPU time limit exceeded, terminating
% 32.15/31.66 eprover: CPU time limit exceeded, terminating
% 34.14/33.67 eprover: CPU time limit exceeded, terminating
% 36.26/35.68 eprover: CPU time limit exceeded, terminating
% 38.26/37.69 eprover: CPU time limit exceeded, terminating
% 40.36/39.71 eprover: CPU time limit exceeded, terminating
% 42.44/41.72 eprover: CPU time limit exceeded, terminating
% 44.50/43.73 eprover: CPU time limit exceeded, terminating
% 46.55/45.74 eprover: CPU time limit exceeded, terminating
% 48.60/47.75 eprover: CPU time limit exceeded, terminating
% 50.68/49.77 eprover: CPU time limit exceeded, terminating
% 52.72/51.78 eprover: CPU time limit exceeded, terminating
% 54.77/53.79 eprover: CPU time limit exceeded, terminating
% 56.81/55.80 eprover: CPU time limit exceeded, terminating
% 58.87/57.81 eprover: CPU time limit exceeded, terminating
% 60.95/59.83 eprover: CPU time limit exceeded, terminating
% 62.98/61.84 eprover: CPU time limit exceeded, terminating
% 65.04/63.85 eprover: CPU time limit exceeded, terminating
% 67.11/65.86 eprover: CPU time limit exceeded, terminating
% 69.14/67.87 eprover: CPU time limit exceeded, terminating
% 71.22/69.89 eprover: CPU time limit exceeded, terminating
% 73.22/71.90 eprover: CPU time limit exceeded, terminating
% 75.29/73.91 eprover: CPU time limit exceeded, terminating
% 77.37/75.92 eprover: CPU time limit exceeded, terminating
% 79.38/77.93 eprover: CPU time limit exceeded, terminating
% 81.50/79.95 eprover: CPU time limit exceeded, terminating
% 83.47/81.96 eprover: CPU time limit exceeded, terminating
% 85.59/83.97 eprover: CPU time limit exceeded, terminating
% 87.66/85.98 eprover: CPU time limit exceeded, terminating
% 89.66/87.99 eprover: CPU time limit exceeded, terminating
% 91.72/90.01 eprover: CPU time limit exceeded, terminating
% 93.81/92.02 eprover: CPU time limit exceeded, terminating
% 95.84/94.03 eprover: CPU time limit exceeded, terminating
% 97.92/96.04 eprover: CPU time limit exceeded, terminating
% 99.93/98.05 eprover: CPU time limit exceeded, terminating
% 102.00/100.07 eprover: CPU time limit exceeded, terminating
% 104.10/102.08 eprover: CPU time limit exceeded, terminating
% 106.10/104.09 eprover: CPU time limit exceeded, terminating
% 108.19/106.10 eprover: CPU time limit exceeded, terminating
% 110.19/108.11 eprover: CPU time limit exceeded, terminating
% 112.25/110.13 eprover: CPU time limit exceeded, terminating
% 114.34/112.14 eprover: CPU time limit exceeded, terminating
% 116.43/114.16 eprover: CPU time limit exceeded, terminating
% 118.43/116.16 eprover: CPU time limit exceeded, terminating
% 120.53/118.17 eprover: CPU time limit exceeded, terminating
% 122.53/120.20 eprover: CPU time limit exceeded, terminating
% 124.64/122.21 eprover: CPU time limit exceeded, terminating
% 126.64/124.22 eprover: CPU time limit exceeded, terminating
% 128.77/126.23 eprover: CPU time limit exceeded, terminating
% 130.80/128.24 eprover: CPU time limit exceeded, terminating
% 132.80/130.26 eprover: CPU time limit exceeded, terminating
% 134.88/132.27 eprover: CPU time limit exceeded, terminating
% 136.98/134.28 eprover: CPU time limit exceeded, terminating
% 138.95/136.29 eprover: CPU time limit exceeded, terminating
% 141.06/138.30 eprover: CPU time limit exceeded, terminating
% 143.13/140.32 eprover: CPU time limit exceeded, terminating
% 145.20/142.33 eprover: CPU time limit exceeded, terminating
% 147.22/144.34 eprover: CPU time limit exceeded, terminating
% 149.27/146.35 eprover: CPU time limit exceeded, terminating
% 151.33/148.36 eprover: CPU time limit exceeded, terminating
% 153.41/150.38 eprover: CPU time limit exceeded, terminating
% 155.41/152.39 eprover: CPU time limit exceeded, terminating
% 157.53/154.40 eprover: CPU time limit exceeded, terminating
% 159.57/156.41 eprover: CPU time limit exceeded, terminating
% 161.64/158.42 eprover: CPU time limit exceeded, terminating
% 163.67/160.43 eprover: CPU time limit exceeded, terminating
% 165.74/162.44 eprover: CPU time limit exceeded, terminating
% 167.75/164.45 eprover: CPU time limit exceeded, terminating
% 169.83/166.46 eprover: CPU time limit exceeded, terminating
% 171.88/168.47 eprover: CPU time limit exceeded, terminating
% 173.92/170.48 eprover: CPU time limit exceeded, terminating
% 176.03/172.49 eprover: CPU time limit exceeded, terminating
% 178.07/174.50 eprover: CPU time limit exceeded, terminating
% 180.14/176.51 eprover: CPU time limit exceeded, terminating
% 182.16/178.52 eprover: CPU time limit exceeded, terminating
% 184.23/180.53 eprover: CPU time limit exceeded, terminating
% 186.30/182.54 eprover: CPU time limit exceeded, terminating
% 188.31/184.55 eprover: CPU time limit exceeded, terminating
% 190.38/186.56 eprover: CPU time limit exceeded, terminating
% 192.43/188.57 eprover: CPU time limit exceeded, terminating
% 194.51/190.58 eprover: CPU time limit exceeded, terminating
% 196.53/192.59 eprover: CPU time limit exceeded, terminating
% 198.64/194.60 eprover: CPU time limit exceeded, terminating
% 200.62/196.61 eprover: CPU time limit exceeded, terminating
% 202.73/198.62 eprover: CPU time limit exceeded, terminating
% 204.77/200.63 eprover: CPU time limit exceeded, terminating
% 206.79/202.64 eprover: CPU time limit exceeded, terminating
% 208.85/204.65 eprover: CPU time limit exceeded, terminating
% 210.90/206.66 eprover: CPU time limit exceeded, terminating
% 212.97/208.67 eprover: CPU time limit exceeded, terminating
% 215.06/210.68 eprover: CPU time limit exceeded, terminating
% 217.13/212.71 eprover: CPU time limit exceeded, terminating
% 219.15/214.72 eprover: CPU time limit exceeded, terminating
% 221.22/216.73 eprover: CPU time limit exceeded, terminating
% 223.28/218.74 eprover: CPU time limit exceeded, terminating
% 225.35/220.75 eprover: CPU time limit exceeded, terminating
% 227.34/222.76 eprover: CPU time limit exceeded, terminating
% 229.42/224.77 eprover: CPU time limit exceeded, terminating
% 231.50/226.78 eprover: CPU time limit exceeded, terminating
% 233.57/228.79 eprover: CPU time limit exceeded, terminating
% 235.59/230.80 eprover: CPU time limit exceeded, terminating
% 237.67/232.81 eprover: CPU time limit exceeded, terminating
% 239.68/234.82 eprover: CPU time limit exceeded, terminating
% 241.76/236.83 eprover: CPU time limit exceeded, terminating
% 243.85/238.84 eprover: CPU time limit exceeded, terminating
% 245.85/240.85 eprover: CPU time limit exceeded, terminating
% 247.93/242.86 eprover: CPU time limit exceeded, terminating
% 250.02/244.87 eprover: CPU time limit exceeded, terminating
% 252.01/246.88 eprover: CPU time limit exceeded, terminating
% 254.12/248.89 eprover: CPU time limit exceeded, terminating
% 256.16/250.90 eprover: CPU time limit exceeded, terminating
% 258.19/252.91 eprover: CPU time limit exceeded, terminating
% 260.22/254.93 eprover: CPU time limit exceeded, terminating
% 262.35/256.94 eprover: CPU time limit exceeded, terminating
% 264.37/258.95 eprover: CPU time limit exceeded, terminating
% 266.38/260.96 eprover: CPU time limit exceeded, terminating
% 268.46/262.97 eprover: CPU time limit exceeded, terminating
% 270.57/264.98 eprover: CPU time limit exceeded, terminating
% 272.63/266.99 eprover: CPU time limit exceeded, terminating
% 274.63/269.00 eprover: CPU time limit exceeded, terminating
% 276.74/271.01 eprover: CPU time limit exceeded, terminating
% 278.72/273.02 eprover: CPU time limit exceeded, terminating
% 280.79/275.03 eprover: CPU time limit exceeded, terminating
% 282.88/277.04 eprover: CPU time limit exceeded, terminating
% 284.86/279.05 eprover: CPU time limit exceeded, terminating
% 286.96/281.06 eprover: CPU time limit exceeded, terminating
% 289.06/283.07 eprover: CPU time limit exceeded, terminating
% 291.11/285.08 eprover: CPU time limit exceeded, terminating
% 293.13/287.09 eprover: CPU time limit exceeded, terminating
% 295.21/289.10 eprover: CPU time limit exceeded, terminating
% 297.24/291.11 eprover: CPU time limit exceeded, terminating
% 299.28/293.12 eprover: CPU time limit exceeded, terminating
% 300.03/293.77 eprover: CPU time limit exceeded, terminating
% 300.03/293.79 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------