TSTP Solution File: SEU369+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU369+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:28 EDT 2022
% Result : Timeout 286.83s 281.50s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SEU369+2 : TPTP v8.1.0. Released v3.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n021.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 15:50:17 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.29/3.47 eprover: CPU time limit exceeded, terminating
% 5.38/5.48 eprover: CPU time limit exceeded, terminating
% 7.39/7.49 eprover: CPU time limit exceeded, terminating
% 9.49/9.51 eprover: CPU time limit exceeded, terminating
% 11.54/11.52 eprover: CPU time limit exceeded, terminating
% 13.58/13.53 eprover: CPU time limit exceeded, terminating
% 15.66/15.54 eprover: CPU time limit exceeded, terminating
% 17.70/17.55 eprover: CPU time limit exceeded, terminating
% 19.73/19.56 eprover: CPU time limit exceeded, terminating
% 21.77/21.57 eprover: CPU time limit exceeded, terminating
% 23.88/23.59 eprover: CPU time limit exceeded, terminating
% 25.92/25.60 eprover: CPU time limit exceeded, terminating
% 27.98/27.61 eprover: CPU time limit exceeded, terminating
% 30.03/29.62 eprover: CPU time limit exceeded, terminating
% 32.09/31.63 eprover: CPU time limit exceeded, terminating
% 34.10/33.64 eprover: CPU time limit exceeded, terminating
% 36.17/35.65 eprover: CPU time limit exceeded, terminating
% 38.22/37.67 eprover: CPU time limit exceeded, terminating
% 40.25/39.68 eprover: CPU time limit exceeded, terminating
% 42.36/41.69 eprover: CPU time limit exceeded, terminating
% 44.43/43.70 eprover: CPU time limit exceeded, terminating
% 46.39/45.71 eprover: CPU time limit exceeded, terminating
% 48.51/47.72 eprover: CPU time limit exceeded, terminating
% 50.58/49.75 eprover: CPU time limit exceeded, terminating
% 52.59/51.76 eprover: CPU time limit exceeded, terminating
% 54.63/53.77 eprover: CPU time limit exceeded, terminating
% 56.70/55.79 eprover: CPU time limit exceeded, terminating
% 58.79/57.81 eprover: CPU time limit exceeded, terminating
% 60.87/59.82 eprover: CPU time limit exceeded, terminating
% 62.87/61.83 eprover: CPU time limit exceeded, terminating
% 64.99/63.85 eprover: CPU time limit exceeded, terminating
% 66.96/65.87 eprover: CPU time limit exceeded, terminating
% 69.04/67.89 eprover: CPU time limit exceeded, terminating
% 71.10/69.90 eprover: CPU time limit exceeded, terminating
% 73.19/71.92 eprover: CPU time limit exceeded, terminating
% 75.27/73.93 eprover: CPU time limit exceeded, terminating
% 77.27/75.94 eprover: CPU time limit exceeded, terminating
% 79.33/77.96 eprover: CPU time limit exceeded, terminating
% 81.38/79.98 eprover: CPU time limit exceeded, terminating
% 83.42/81.99 eprover: CPU time limit exceeded, terminating
% 85.51/84.00 eprover: CPU time limit exceeded, terminating
% 87.55/86.02 eprover: CPU time limit exceeded, terminating
% 89.63/88.03 eprover: CPU time limit exceeded, terminating
% 91.64/90.05 eprover: CPU time limit exceeded, terminating
% 93.72/92.07 eprover: CPU time limit exceeded, terminating
% 95.79/94.08 eprover: CPU time limit exceeded, terminating
% 97.79/96.09 eprover: CPU time limit exceeded, terminating
% 99.90/98.10 eprover: CPU time limit exceeded, terminating
% 101.97/100.12 eprover: CPU time limit exceeded, terminating
% 103.98/102.14 eprover: CPU time limit exceeded, terminating
% 106.05/104.15 eprover: CPU time limit exceeded, terminating
% 108.06/106.17 eprover: CPU time limit exceeded, terminating
% 110.13/108.19 eprover: CPU time limit exceeded, terminating
% 112.21/110.21 eprover: CPU time limit exceeded, terminating
% 114.26/112.22 eprover: CPU time limit exceeded, terminating
% 116.29/114.24 eprover: CPU time limit exceeded, terminating
% 118.36/116.25 eprover: CPU time limit exceeded, terminating
% 120.44/118.27 eprover: CPU time limit exceeded, terminating
% 122.44/120.28 eprover: CPU time limit exceeded, terminating
% 124.52/122.30 eprover: CPU time limit exceeded, terminating
% 126.59/124.32 eprover: CPU time limit exceeded, terminating
% 128.64/126.33 eprover: CPU time limit exceeded, terminating
% 130.64/128.35 eprover: CPU time limit exceeded, terminating
% 132.72/130.36 eprover: CPU time limit exceeded, terminating
% 134.78/132.38 eprover: CPU time limit exceeded, terminating
% 136.81/134.39 eprover: CPU time limit exceeded, terminating
% 138.92/136.40 eprover: CPU time limit exceeded, terminating
% 140.96/138.42 eprover: CPU time limit exceeded, terminating
% 143.00/140.43 eprover: CPU time limit exceeded, terminating
% 145.05/142.45 eprover: CPU time limit exceeded, terminating
% 147.09/144.47 eprover: CPU time limit exceeded, terminating
% 149.19/146.48 eprover: CPU time limit exceeded, terminating
% 151.17/148.50 eprover: CPU time limit exceeded, terminating
% 153.23/150.51 eprover: CPU time limit exceeded, terminating
% 155.32/152.52 eprover: CPU time limit exceeded, terminating
% 157.39/154.54 eprover: CPU time limit exceeded, terminating
% 159.44/156.55 eprover: CPU time limit exceeded, terminating
% 161.44/158.57 eprover: CPU time limit exceeded, terminating
% 163.58/160.58 eprover: CPU time limit exceeded, terminating
% 165.54/162.60 eprover: CPU time limit exceeded, terminating
% 167.58/164.61 eprover: CPU time limit exceeded, terminating
% 169.72/166.62 eprover: CPU time limit exceeded, terminating
% 171.73/168.64 eprover: CPU time limit exceeded, terminating
% 173.80/170.65 eprover: CPU time limit exceeded, terminating
% 175.85/172.67 eprover: CPU time limit exceeded, terminating
% 177.88/174.68 eprover: CPU time limit exceeded, terminating
% 179.99/176.70 eprover: CPU time limit exceeded, terminating
% 182.04/178.71 eprover: CPU time limit exceeded, terminating
% 184.10/180.73 eprover: CPU time limit exceeded, terminating
% 186.10/182.77 eprover: CPU time limit exceeded, terminating
% 188.22/184.79 eprover: CPU time limit exceeded, terminating
% 190.27/186.81 eprover: CPU time limit exceeded, terminating
% 192.33/188.82 eprover: CPU time limit exceeded, terminating
% 194.38/190.84 eprover: CPU time limit exceeded, terminating
% 196.40/192.85 eprover: CPU time limit exceeded, terminating
% 198.47/194.87 eprover: CPU time limit exceeded, terminating
% 200.48/196.89 eprover: CPU time limit exceeded, terminating
% 202.61/198.90 eprover: CPU time limit exceeded, terminating
% 204.66/200.91 eprover: CPU time limit exceeded, terminating
% 206.68/202.93 eprover: CPU time limit exceeded, terminating
% 208.76/204.94 eprover: CPU time limit exceeded, terminating
% 210.78/206.96 eprover: CPU time limit exceeded, terminating
% 212.84/208.97 eprover: CPU time limit exceeded, terminating
% 214.86/210.99 eprover: CPU time limit exceeded, terminating
% 216.98/213.00 eprover: CPU time limit exceeded, terminating
% 219.04/215.02 eprover: CPU time limit exceeded, terminating
% 221.09/217.03 eprover: CPU time limit exceeded, terminating
% 223.11/219.04 eprover: CPU time limit exceeded, terminating
% 225.16/221.06 eprover: CPU time limit exceeded, terminating
% 227.20/223.07 eprover: CPU time limit exceeded, terminating
% 229.25/225.08 eprover: CPU time limit exceeded, terminating
% 231.35/227.10 eprover: CPU time limit exceeded, terminating
% 233.41/229.11 eprover: CPU time limit exceeded, terminating
% 235.47/231.13 eprover: CPU time limit exceeded, terminating
% 237.50/233.14 eprover: CPU time limit exceeded, terminating
% 239.54/235.15 eprover: CPU time limit exceeded, terminating
% 241.57/237.17 eprover: CPU time limit exceeded, terminating
% 243.61/239.18 eprover: CPU time limit exceeded, terminating
% 245.68/241.20 eprover: CPU time limit exceeded, terminating
% 247.80/243.21 eprover: CPU time limit exceeded, terminating
% 249.84/245.23 eprover: CPU time limit exceeded, terminating
% 251.87/247.25 eprover: CPU time limit exceeded, terminating
% 253.90/249.26 eprover: CPU time limit exceeded, terminating
% 255.95/251.28 eprover: CPU time limit exceeded, terminating
% 257.99/253.29 eprover: CPU time limit exceeded, terminating
% 260.10/255.30 eprover: CPU time limit exceeded, terminating
% 262.17/257.32 eprover: CPU time limit exceeded, terminating
% 264.20/259.34 eprover: CPU time limit exceeded, terminating
% 266.23/261.35 eprover: CPU time limit exceeded, terminating
% 268.30/263.36 eprover: CPU time limit exceeded, terminating
% 270.31/265.38 eprover: CPU time limit exceeded, terminating
% 272.36/267.39 eprover: CPU time limit exceeded, terminating
% 274.41/269.41 eprover: CPU time limit exceeded, terminating
% 276.53/271.42 eprover: CPU time limit exceeded, terminating
% 278.59/273.44 eprover: CPU time limit exceeded, terminating
% 280.63/275.46 eprover: CPU time limit exceeded, terminating
% 282.67/277.47 eprover: CPU time limit exceeded, terminating
% 284.73/279.48 eprover: CPU time limit exceeded, terminating
% 286.83/281.50 eprover: CPU time limit exceeded, terminating
% 288.90/283.51 eprover: CPU time limit exceeded, terminating
% 290.91/285.52 eprover: CPU time limit exceeded, terminating
% 292.97/287.54 eprover: CPU time limit exceeded, terminating
% 295.03/289.55 eprover: CPU time limit exceeded, terminating
% 297.05/291.56 eprover: CPU time limit exceeded, terminating
% 299.08/293.58 eprover: CPU time limit exceeded, terminating
% 300.02/294.42 eprover: CPU time limit exceeded, terminating
% 300.02/294.44 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------