TSTP Solution File: SEU391+2 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU391+2 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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:36 EDT 2022
% Result : Timeout 287.45s 281.52s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.13 % Problem : SEU391+2 : TPTP v8.1.0. Released v3.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n018.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Mon Jun 20 04:13:05 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.67/3.86 eprover: CPU time limit exceeded, terminating
% 5.73/5.87 eprover: CPU time limit exceeded, terminating
% 7.79/7.88 eprover: CPU time limit exceeded, terminating
% 9.85/9.89 eprover: CPU time limit exceeded, terminating
% 11.99/11.91 eprover: CPU time limit exceeded, terminating
% 14.03/13.92 eprover: CPU time limit exceeded, terminating
% 16.12/15.93 eprover: CPU time limit exceeded, terminating
% 18.16/17.94 eprover: CPU time limit exceeded, terminating
% 20.20/19.95 eprover: CPU time limit exceeded, terminating
% 22.28/21.96 eprover: CPU time limit exceeded, terminating
% 24.31/23.98 eprover: CPU time limit exceeded, terminating
% 26.38/25.99 eprover: CPU time limit exceeded, terminating
% 28.50/28.00 eprover: CPU time limit exceeded, terminating
% 30.57/30.01 eprover: CPU time limit exceeded, terminating
% 32.63/32.02 eprover: CPU time limit exceeded, terminating
% 34.67/34.03 eprover: CPU time limit exceeded, terminating
% 36.73/36.04 eprover: CPU time limit exceeded, terminating
% 38.75/38.05 eprover: CPU time limit exceeded, terminating
% 40.83/40.07 eprover: CPU time limit exceeded, terminating
% 42.91/42.08 eprover: CPU time limit exceeded, terminating
% 44.88/44.09 eprover: CPU time limit exceeded, terminating
% 47.00/46.10 eprover: CPU time limit exceeded, terminating
% 49.04/48.12 eprover: CPU time limit exceeded, terminating
% 51.09/50.13 eprover: CPU time limit exceeded, terminating
% 53.14/52.14 eprover: CPU time limit exceeded, terminating
% 55.19/54.15 eprover: CPU time limit exceeded, terminating
% 57.20/56.16 eprover: CPU time limit exceeded, terminating
% 59.26/58.18 eprover: CPU time limit exceeded, terminating
% 61.29/60.19 eprover: CPU time limit exceeded, terminating
% 63.42/62.20 eprover: CPU time limit exceeded, terminating
% 65.44/64.21 eprover: CPU time limit exceeded, terminating
% 67.49/66.23 eprover: CPU time limit exceeded, terminating
% 69.51/68.24 eprover: CPU time limit exceeded, terminating
% 71.59/70.25 eprover: CPU time limit exceeded, terminating
% 73.63/72.26 eprover: CPU time limit exceeded, terminating
% 75.65/74.27 eprover: CPU time limit exceeded, terminating
% 77.72/76.29 eprover: CPU time limit exceeded, terminating
% 79.74/78.30 eprover: CPU time limit exceeded, terminating
% 81.80/80.31 eprover: CPU time limit exceeded, terminating
% 83.91/82.32 eprover: CPU time limit exceeded, terminating
% 85.97/84.34 eprover: CPU time limit exceeded, terminating
% 88.03/86.35 eprover: CPU time limit exceeded, terminating
% 90.01/88.36 eprover: CPU time limit exceeded, terminating
% 92.12/90.37 eprover: CPU time limit exceeded, terminating
% 94.08/92.39 eprover: CPU time limit exceeded, terminating
% 96.21/94.40 eprover: CPU time limit exceeded, terminating
% 98.18/96.41 eprover: CPU time limit exceeded, terminating
% 100.32/98.42 eprover: CPU time limit exceeded, terminating
% 102.36/100.43 eprover: CPU time limit exceeded, terminating
% 104.39/102.45 eprover: CPU time limit exceeded, terminating
% 106.42/104.46 eprover: CPU time limit exceeded, terminating
% 108.47/106.47 eprover: CPU time limit exceeded, terminating
% 110.53/108.48 eprover: CPU time limit exceeded, terminating
% 112.55/110.50 eprover: CPU time limit exceeded, terminating
% 114.66/112.51 eprover: CPU time limit exceeded, terminating
% 116.72/114.52 eprover: CPU time limit exceeded, terminating
% 118.77/116.53 eprover: CPU time limit exceeded, terminating
% 120.80/118.54 eprover: CPU time limit exceeded, terminating
% 122.85/120.56 eprover: CPU time limit exceeded, terminating
% 124.86/122.57 eprover: CPU time limit exceeded, terminating
% 126.91/124.58 eprover: CPU time limit exceeded, terminating
% 128.94/126.59 eprover: CPU time limit exceeded, terminating
% 131.01/128.60 eprover: CPU time limit exceeded, terminating
% 133.12/130.62 eprover: CPU time limit exceeded, terminating
% 135.16/132.63 eprover: CPU time limit exceeded, terminating
% 137.22/134.64 eprover: CPU time limit exceeded, terminating
% 139.23/136.65 eprover: CPU time limit exceeded, terminating
% 141.30/138.66 eprover: CPU time limit exceeded, terminating
% 143.32/140.68 eprover: CPU time limit exceeded, terminating
% 145.36/142.69 eprover: CPU time limit exceeded, terminating
% 147.49/144.70 eprover: CPU time limit exceeded, terminating
% 149.55/146.71 eprover: CPU time limit exceeded, terminating
% 151.60/148.72 eprover: CPU time limit exceeded, terminating
% 153.62/150.74 eprover: CPU time limit exceeded, terminating
% 155.65/152.75 eprover: CPU time limit exceeded, terminating
% 157.69/154.76 eprover: CPU time limit exceeded, terminating
% 159.72/156.77 eprover: CPU time limit exceeded, terminating
% 161.76/158.78 eprover: CPU time limit exceeded, terminating
% 163.90/160.80 eprover: CPU time limit exceeded, terminating
% 165.89/162.81 eprover: CPU time limit exceeded, terminating
% 168.00/164.82 eprover: CPU time limit exceeded, terminating
% 170.05/166.83 eprover: CPU time limit exceeded, terminating
% 172.06/168.84 eprover: CPU time limit exceeded, terminating
% 174.12/170.85 eprover: CPU time limit exceeded, terminating
% 176.15/172.87 eprover: CPU time limit exceeded, terminating
% 178.21/174.88 eprover: CPU time limit exceeded, terminating
% 180.26/176.89 eprover: CPU time limit exceeded, terminating
% 182.37/178.90 eprover: CPU time limit exceeded, terminating
% 184.33/180.92 eprover: CPU time limit exceeded, terminating
% 186.43/182.93 eprover: CPU time limit exceeded, terminating
% 188.49/184.94 eprover: CPU time limit exceeded, terminating
% 190.55/186.95 eprover: CPU time limit exceeded, terminating
% 192.60/188.96 eprover: CPU time limit exceeded, terminating
% 194.66/190.97 eprover: CPU time limit exceeded, terminating
% 196.73/192.98 eprover: CPU time limit exceeded, terminating
% 198.78/194.99 eprover: CPU time limit exceeded, terminating
% 200.92/197.01 eprover: CPU time limit exceeded, terminating
% 202.93/199.02 eprover: CPU time limit exceeded, terminating
% 204.99/201.03 eprover: CPU time limit exceeded, terminating
% 207.03/203.05 eprover: CPU time limit exceeded, terminating
% 209.07/205.06 eprover: CPU time limit exceeded, terminating
% 211.19/207.08 eprover: CPU time limit exceeded, terminating
% 213.16/209.10 eprover: CPU time limit exceeded, terminating
% 215.28/211.12 eprover: CPU time limit exceeded, terminating
% 217.36/213.13 eprover: CPU time limit exceeded, terminating
% 219.38/215.14 eprover: CPU time limit exceeded, terminating
% 221.42/217.15 eprover: CPU time limit exceeded, terminating
% 223.49/219.16 eprover: CPU time limit exceeded, terminating
% 225.54/221.17 eprover: CPU time limit exceeded, terminating
% 227.59/223.20 eprover: CPU time limit exceeded, terminating
% 229.73/225.21 eprover: CPU time limit exceeded, terminating
% 231.76/227.22 eprover: CPU time limit exceeded, terminating
% 233.84/229.23 eprover: CPU time limit exceeded, terminating
% 235.93/231.24 eprover: CPU time limit exceeded, terminating
% 237.92/233.25 eprover: CPU time limit exceeded, terminating
% 240.00/235.26 eprover: CPU time limit exceeded, terminating
% 242.02/237.27 eprover: CPU time limit exceeded, terminating
% 244.06/239.28 eprover: CPU time limit exceeded, terminating
% 246.13/241.30 eprover: CPU time limit exceeded, terminating
% 248.21/243.30 eprover: CPU time limit exceeded, terminating
% 250.32/245.31 eprover: CPU time limit exceeded, terminating
% 252.36/247.32 eprover: CPU time limit exceeded, terminating
% 254.44/249.34 eprover: CPU time limit exceeded, terminating
% 256.49/251.35 eprover: CPU time limit exceeded, terminating
% 258.53/253.36 eprover: CPU time limit exceeded, terminating
% 260.59/255.36 eprover: CPU time limit exceeded, terminating
% 262.66/257.38 eprover: CPU time limit exceeded, terminating
% 264.74/259.39 eprover: CPU time limit exceeded, terminating
% 266.80/261.40 eprover: CPU time limit exceeded, terminating
% 268.89/263.41 eprover: CPU time limit exceeded, terminating
% 270.86/265.42 eprover: CPU time limit exceeded, terminating
% 273.00/267.43 eprover: CPU time limit exceeded, terminating
% 275.07/269.44 eprover: CPU time limit exceeded, terminating
% 277.10/271.45 eprover: CPU time limit exceeded, terminating
% 279.18/273.47 eprover: CPU time limit exceeded, terminating
% 281.19/275.48 eprover: CPU time limit exceeded, terminating
% 283.26/277.49 eprover: CPU time limit exceeded, terminating
% 285.39/279.51 eprover: CPU time limit exceeded, terminating
% 287.45/281.52 eprover: CPU time limit exceeded, terminating
% 289.52/283.54 eprover: CPU time limit exceeded, terminating
% 291.56/285.55 eprover: CPU time limit exceeded, terminating
% 293.63/287.56 eprover: CPU time limit exceeded, terminating
% 295.66/289.57 eprover: CPU time limit exceeded, terminating
% 297.71/291.58 eprover: CPU time limit exceeded, terminating
% 299.84/293.60 eprover: CPU time limit exceeded, terminating
% 300.09/293.84 eprover: CPU time limit exceeded, terminating
% 300.09/293.86 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------