TSTP Solution File: SEU370+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU370+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:28 EDT 2022
% Result : Timeout 286.16s 279.57s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SEU370+2 : TPTP v8.1.0. Released v3.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n003.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:44:43 EDT 2022
% 0.12/0.33 % CPUTime :
% 3.35/3.54 eprover: CPU time limit exceeded, terminating
% 5.48/5.56 eprover: CPU time limit exceeded, terminating
% 7.50/7.57 eprover: CPU time limit exceeded, terminating
% 9.54/9.58 eprover: CPU time limit exceeded, terminating
% 11.60/11.59 eprover: CPU time limit exceeded, terminating
% 13.68/13.61 eprover: CPU time limit exceeded, terminating
% 15.71/15.62 eprover: CPU time limit exceeded, terminating
% 17.78/17.63 eprover: CPU time limit exceeded, terminating
% 19.80/19.64 eprover: CPU time limit exceeded, terminating
% 21.85/21.65 eprover: CPU time limit exceeded, terminating
% 23.92/23.66 eprover: CPU time limit exceeded, terminating
% 25.97/25.68 eprover: CPU time limit exceeded, terminating
% 28.01/27.69 eprover: CPU time limit exceeded, terminating
% 30.05/29.70 eprover: CPU time limit exceeded, terminating
% 32.11/31.72 eprover: CPU time limit exceeded, terminating
% 34.11/33.73 eprover: CPU time limit exceeded, terminating
% 36.27/35.74 eprover: CPU time limit exceeded, terminating
% 38.27/37.76 eprover: CPU time limit exceeded, terminating
% 40.35/39.77 eprover: CPU time limit exceeded, terminating
% 42.41/41.78 eprover: CPU time limit exceeded, terminating
% 44.42/43.80 eprover: CPU time limit exceeded, terminating
% 46.44/45.83 eprover: CPU time limit exceeded, terminating
% 48.57/47.84 eprover: CPU time limit exceeded, terminating
% 50.63/49.86 eprover: CPU time limit exceeded, terminating
% 52.68/51.87 eprover: CPU time limit exceeded, terminating
% 54.74/53.89 eprover: CPU time limit exceeded, terminating
% 56.76/55.90 eprover: CPU time limit exceeded, terminating
% 58.83/57.91 eprover: CPU time limit exceeded, terminating
% 60.88/59.92 eprover: CPU time limit exceeded, terminating
% 62.95/61.94 eprover: CPU time limit exceeded, terminating
% 65.00/63.96 eprover: CPU time limit exceeded, terminating
% 67.04/65.97 eprover: CPU time limit exceeded, terminating
% 69.11/67.99 eprover: CPU time limit exceeded, terminating
% 71.11/70.01 eprover: CPU time limit exceeded, terminating
% 73.18/72.03 eprover: CPU time limit exceeded, terminating
% 75.24/74.04 eprover: CPU time limit exceeded, terminating
% 77.30/76.06 eprover: CPU time limit exceeded, terminating
% 79.34/78.07 eprover: CPU time limit exceeded, terminating
% 81.35/80.09 eprover: CPU time limit exceeded, terminating
% 83.40/82.10 eprover: CPU time limit exceeded, terminating
% 85.45/84.12 eprover: CPU time limit exceeded, terminating
% 87.53/86.13 eprover: CPU time limit exceeded, terminating
% 89.58/88.15 eprover: CPU time limit exceeded, terminating
% 91.63/90.16 eprover: CPU time limit exceeded, terminating
% 93.69/92.18 eprover: CPU time limit exceeded, terminating
% 95.71/94.20 eprover: CPU time limit exceeded, terminating
% 97.75/96.21 eprover: CPU time limit exceeded, terminating
% 99.78/98.22 eprover: CPU time limit exceeded, terminating
% 101.88/100.24 eprover: CPU time limit exceeded, terminating
% 103.85/102.25 eprover: CPU time limit exceeded, terminating
% 105.96/104.26 eprover: CPU time limit exceeded, terminating
% 108.02/106.28 eprover: CPU time limit exceeded, terminating
% 110.02/108.29 eprover: CPU time limit exceeded, terminating
% 112.09/110.31 eprover: CPU time limit exceeded, terminating
% 114.16/112.32 eprover: CPU time limit exceeded, terminating
% 116.17/114.34 eprover: CPU time limit exceeded, terminating
% 118.25/116.35 eprover: CPU time limit exceeded, terminating
% 120.32/118.36 eprover: CPU time limit exceeded, terminating
% 122.33/120.38 eprover: CPU time limit exceeded, terminating
% 124.39/122.39 eprover: CPU time limit exceeded, terminating
% 126.46/124.41 eprover: CPU time limit exceeded, terminating
% 128.51/126.42 eprover: CPU time limit exceeded, terminating
% 130.56/128.44 eprover: CPU time limit exceeded, terminating
% 132.55/130.45 eprover: CPU time limit exceeded, terminating
% 134.64/132.47 eprover: CPU time limit exceeded, terminating
% 136.64/134.49 eprover: CPU time limit exceeded, terminating
% 138.71/136.50 eprover: CPU time limit exceeded, terminating
% 140.79/138.51 eprover: CPU time limit exceeded, terminating
% 142.84/140.54 eprover: CPU time limit exceeded, terminating
% 144.83/142.55 eprover: CPU time limit exceeded, terminating
% 146.89/144.57 eprover: CPU time limit exceeded, terminating
% 148.93/146.58 eprover: CPU time limit exceeded, terminating
% 151.03/148.60 eprover: CPU time limit exceeded, terminating
% 153.10/150.62 eprover: CPU time limit exceeded, terminating
% 155.10/152.64 eprover: CPU time limit exceeded, terminating
% 157.14/154.65 eprover: CPU time limit exceeded, terminating
% 159.15/156.66 eprover: CPU time limit exceeded, terminating
% 161.20/158.67 eprover: CPU time limit exceeded, terminating
% 163.32/160.69 eprover: CPU time limit exceeded, terminating
% 165.28/162.70 eprover: CPU time limit exceeded, terminating
% 167.43/164.72 eprover: CPU time limit exceeded, terminating
% 169.44/166.73 eprover: CPU time limit exceeded, terminating
% 171.48/168.75 eprover: CPU time limit exceeded, terminating
% 173.52/170.76 eprover: CPU time limit exceeded, terminating
% 175.53/172.78 eprover: CPU time limit exceeded, terminating
% 177.62/174.80 eprover: CPU time limit exceeded, terminating
% 179.71/176.81 eprover: CPU time limit exceeded, terminating
% 181.73/178.82 eprover: CPU time limit exceeded, terminating
% 183.76/180.84 eprover: CPU time limit exceeded, terminating
% 185.81/182.85 eprover: CPU time limit exceeded, terminating
% 187.83/184.87 eprover: CPU time limit exceeded, terminating
% 189.89/186.88 eprover: CPU time limit exceeded, terminating
% 191.90/188.90 eprover: CPU time limit exceeded, terminating
% 193.99/190.94 eprover: CPU time limit exceeded, terminating
% 196.06/192.96 eprover: CPU time limit exceeded, terminating
% 198.07/194.97 eprover: CPU time limit exceeded, terminating
% 200.15/196.99 eprover: CPU time limit exceeded, terminating
% 202.23/199.00 eprover: CPU time limit exceeded, terminating
% 204.27/201.02 eprover: CPU time limit exceeded, terminating
% 206.28/203.04 eprover: CPU time limit exceeded, terminating
% 208.31/205.05 eprover: CPU time limit exceeded, terminating
% 210.39/207.07 eprover: CPU time limit exceeded, terminating
% 212.37/209.08 eprover: CPU time limit exceeded, terminating
% 214.48/211.09 eprover: CPU time limit exceeded, terminating
% 216.54/213.11 eprover: CPU time limit exceeded, terminating
% 218.58/215.12 eprover: CPU time limit exceeded, terminating
% 220.61/217.14 eprover: CPU time limit exceeded, terminating
% 222.68/219.15 eprover: CPU time limit exceeded, terminating
% 224.70/221.16 eprover: CPU time limit exceeded, terminating
% 226.73/223.18 eprover: CPU time limit exceeded, terminating
% 228.77/225.19 eprover: CPU time limit exceeded, terminating
% 230.84/227.20 eprover: CPU time limit exceeded, terminating
% 232.97/229.21 eprover: CPU time limit exceeded, terminating
% 234.99/231.23 eprover: CPU time limit exceeded, terminating
% 237.02/233.25 eprover: CPU time limit exceeded, terminating
% 239.07/235.26 eprover: CPU time limit exceeded, terminating
% 241.10/237.27 eprover: CPU time limit exceeded, terminating
% 243.16/239.29 eprover: CPU time limit exceeded, terminating
% 245.21/241.30 eprover: CPU time limit exceeded, terminating
% 247.33/243.31 eprover: CPU time limit exceeded, terminating
% 249.38/245.32 eprover: CPU time limit exceeded, terminating
% 251.42/247.34 eprover: CPU time limit exceeded, terminating
% 253.47/249.35 eprover: CPU time limit exceeded, terminating
% 255.50/251.36 eprover: CPU time limit exceeded, terminating
% 257.56/253.38 eprover: CPU time limit exceeded, terminating
% 259.61/255.39 eprover: CPU time limit exceeded, terminating
% 261.75/257.40 eprover: CPU time limit exceeded, terminating
% 263.78/259.42 eprover: CPU time limit exceeded, terminating
% 265.81/261.45 eprover: CPU time limit exceeded, terminating
% 267.86/263.47 eprover: CPU time limit exceeded, terminating
% 269.91/265.48 eprover: CPU time limit exceeded, terminating
% 271.93/267.49 eprover: CPU time limit exceeded, terminating
% 275.96/269.51 eprover: CPU time limit exceeded, terminating
% 278.01/271.52 eprover: CPU time limit exceeded, terminating
% 280.07/273.53 eprover: CPU time limit exceeded, terminating
% 282.09/275.55 eprover: CPU time limit exceeded, terminating
% 284.13/277.56 eprover: CPU time limit exceeded, terminating
% 286.16/279.57 eprover: CPU time limit exceeded, terminating
% 288.28/281.59 eprover: CPU time limit exceeded, terminating
% 290.27/283.60 eprover: CPU time limit exceeded, terminating
% 292.39/285.61 eprover: CPU time limit exceeded, terminating
% 294.45/287.62 eprover: CPU time limit exceeded, terminating
% 296.51/289.64 eprover: CPU time limit exceeded, terminating
% 298.51/291.65 eprover: CPU time limit exceeded, terminating
% 300.02/293.04 eprover: CPU time limit exceeded, terminating
% 300.02/293.06 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------