TSTP Solution File: SEU182+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SEU182+1 : TPTP v8.1.0. Released v3.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n008.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:12:06 EDT 2022
% Result : Timeout 285.89s 283.88s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : SEU182+1 : TPTP v8.1.0. Released v3.3.0.
% 0.11/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n008.cluster.edu
% 0.11/0.32 % Model : x86_64 x86_64
% 0.11/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.11/0.32 % Memory : 8042.1875MB
% 0.11/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.11/0.32 % CPULimit : 300
% 0.11/0.32 % WCLimit : 600
% 0.11/0.32 % DateTime : Sun Jun 19 07:16:22 EDT 2022
% 0.11/0.32 % CPUTime :
% 2.12/2.36 eprover: CPU time limit exceeded, terminating
% 4.15/4.37 eprover: CPU time limit exceeded, terminating
% 6.14/6.38 eprover: CPU time limit exceeded, terminating
% 8.21/8.39 eprover: CPU time limit exceeded, terminating
% 10.23/10.40 eprover: CPU time limit exceeded, terminating
% 12.20/12.41 eprover: CPU time limit exceeded, terminating
% 14.26/14.43 eprover: CPU time limit exceeded, terminating
% 16.22/16.43 eprover: CPU time limit exceeded, terminating
% 18.26/18.45 eprover: CPU time limit exceeded, terminating
% 20.22/20.46 eprover: CPU time limit exceeded, terminating
% 22.26/22.47 eprover: CPU time limit exceeded, terminating
% 24.31/24.49 eprover: CPU time limit exceeded, terminating
% 26.25/26.50 eprover: CPU time limit exceeded, terminating
% 28.30/28.51 eprover: CPU time limit exceeded, terminating
% 30.33/30.53 eprover: CPU time limit exceeded, terminating
% 32.29/32.54 eprover: CPU time limit exceeded, terminating
% 34.33/34.55 eprover: CPU time limit exceeded, terminating
% 36.31/36.56 eprover: CPU time limit exceeded, terminating
% 38.33/38.57 eprover: CPU time limit exceeded, terminating
% 40.34/40.58 eprover: CPU time limit exceeded, terminating
% 42.31/42.59 eprover: CPU time limit exceeded, terminating
% 46.29/44.60 eprover: CPU time limit exceeded, terminating
% 48.31/46.61 eprover: CPU time limit exceeded, terminating
% 50.32/48.62 eprover: CPU time limit exceeded, terminating
% 52.33/50.63 eprover: CPU time limit exceeded, terminating
% 54.33/52.64 eprover: CPU time limit exceeded, terminating
% 56.32/54.65 eprover: CPU time limit exceeded, terminating
% 58.32/56.66 eprover: CPU time limit exceeded, terminating
% 60.36/58.67 eprover: CPU time limit exceeded, terminating
% 62.34/60.68 eprover: CPU time limit exceeded, terminating
% 64.37/62.69 eprover: CPU time limit exceeded, terminating
% 66.40/64.70 eprover: CPU time limit exceeded, terminating
% 68.38/66.71 eprover: CPU time limit exceeded, terminating
% 70.40/68.72 eprover: CPU time limit exceeded, terminating
% 72.49/70.73 eprover: CPU time limit exceeded, terminating
% 74.50/72.74 eprover: CPU time limit exceeded, terminating
% 76.49/74.75 eprover: CPU time limit exceeded, terminating
% 78.48/76.76 eprover: CPU time limit exceeded, terminating
% 80.52/78.77 eprover: CPU time limit exceeded, terminating
% 82.52/80.78 eprover: CPU time limit exceeded, terminating
% 84.52/82.79 eprover: CPU time limit exceeded, terminating
% 86.53/84.80 eprover: CPU time limit exceeded, terminating
% 88.59/86.81 eprover: CPU time limit exceeded, terminating
% 90.54/88.82 eprover: CPU time limit exceeded, terminating
% 92.60/90.83 eprover: CPU time limit exceeded, terminating
% 94.60/92.84 eprover: CPU time limit exceeded, terminating
% 96.63/94.85 eprover: CPU time limit exceeded, terminating
% 98.60/96.87 eprover: CPU time limit exceeded, terminating
% 100.63/98.88 eprover: CPU time limit exceeded, terminating
% 102.67/100.89 eprover: CPU time limit exceeded, terminating
% 104.66/102.90 eprover: CPU time limit exceeded, terminating
% 106.65/104.91 eprover: CPU time limit exceeded, terminating
% 108.71/106.92 eprover: CPU time limit exceeded, terminating
% 110.66/108.93 eprover: CPU time limit exceeded, terminating
% 112.74/110.95 eprover: CPU time limit exceeded, terminating
% 114.75/112.96 eprover: CPU time limit exceeded, terminating
% 116.76/114.97 eprover: CPU time limit exceeded, terminating
% 118.75/116.98 eprover: CPU time limit exceeded, terminating
% 120.76/118.99 eprover: CPU time limit exceeded, terminating
% 122.78/121.00 eprover: CPU time limit exceeded, terminating
% 124.82/123.01 eprover: CPU time limit exceeded, terminating
% 126.85/125.03 eprover: CPU time limit exceeded, terminating
% 128.86/127.04 eprover: CPU time limit exceeded, terminating
% 130.82/129.05 eprover: CPU time limit exceeded, terminating
% 132.87/131.06 eprover: CPU time limit exceeded, terminating
% 134.86/133.07 eprover: CPU time limit exceeded, terminating
% 136.89/135.08 eprover: CPU time limit exceeded, terminating
% 138.88/137.09 eprover: CPU time limit exceeded, terminating
% 140.86/139.11 eprover: CPU time limit exceeded, terminating
% 142.95/141.12 eprover: CPU time limit exceeded, terminating
% 144.98/143.13 eprover: CPU time limit exceeded, terminating
% 146.99/145.14 eprover: CPU time limit exceeded, terminating
% 148.96/147.15 eprover: CPU time limit exceeded, terminating
% 151.00/149.16 eprover: CPU time limit exceeded, terminating
% 153.03/151.17 eprover: CPU time limit exceeded, terminating
% 155.01/153.19 eprover: CPU time limit exceeded, terminating
% 157.07/155.20 eprover: CPU time limit exceeded, terminating
% 159.07/157.21 eprover: CPU time limit exceeded, terminating
% 161.06/159.22 eprover: CPU time limit exceeded, terminating
% 163.10/161.23 eprover: CPU time limit exceeded, terminating
% 165.13/163.24 eprover: CPU time limit exceeded, terminating
% 167.05/165.25 eprover: CPU time limit exceeded, terminating
% 169.15/167.26 eprover: CPU time limit exceeded, terminating
% 171.16/169.27 eprover: CPU time limit exceeded, terminating
% 173.12/171.28 eprover: CPU time limit exceeded, terminating
% 175.17/173.29 eprover: CPU time limit exceeded, terminating
% 177.22/175.30 eprover: CPU time limit exceeded, terminating
% 179.19/177.31 eprover: CPU time limit exceeded, terminating
% 181.17/179.32 eprover: CPU time limit exceeded, terminating
% 183.23/181.33 eprover: CPU time limit exceeded, terminating
% 185.22/183.35 eprover: CPU time limit exceeded, terminating
% 187.24/185.36 eprover: CPU time limit exceeded, terminating
% 189.22/187.37 eprover: CPU time limit exceeded, terminating
% 191.31/189.38 eprover: CPU time limit exceeded, terminating
% 193.25/191.39 eprover: CPU time limit exceeded, terminating
% 195.33/193.40 eprover: CPU time limit exceeded, terminating
% 197.26/195.41 eprover: CPU time limit exceeded, terminating
% 199.36/197.42 eprover: CPU time limit exceeded, terminating
% 201.35/199.43 eprover: CPU time limit exceeded, terminating
% 203.34/201.44 eprover: CPU time limit exceeded, terminating
% 205.37/203.45 eprover: CPU time limit exceeded, terminating
% 207.36/205.46 eprover: CPU time limit exceeded, terminating
% 209.35/207.47 eprover: CPU time limit exceeded, terminating
% 211.35/209.48 eprover: CPU time limit exceeded, terminating
% 213.45/211.49 eprover: CPU time limit exceeded, terminating
% 215.48/213.50 eprover: CPU time limit exceeded, terminating
% 217.49/215.51 eprover: CPU time limit exceeded, terminating
% 219.46/217.52 eprover: CPU time limit exceeded, terminating
% 221.51/219.53 eprover: CPU time limit exceeded, terminating
% 223.51/221.54 eprover: CPU time limit exceeded, terminating
% 225.49/223.55 eprover: CPU time limit exceeded, terminating
% 227.47/225.56 eprover: CPU time limit exceeded, terminating
% 229.49/227.57 eprover: CPU time limit exceeded, terminating
% 231.54/229.58 eprover: CPU time limit exceeded, terminating
% 233.50/231.59 eprover: CPU time limit exceeded, terminating
% 235.60/233.60 eprover: CPU time limit exceeded, terminating
% 237.61/235.61 eprover: CPU time limit exceeded, terminating
% 239.60/237.62 eprover: CPU time limit exceeded, terminating
% 241.62/239.63 eprover: CPU time limit exceeded, terminating
% 243.64/241.64 eprover: CPU time limit exceeded, terminating
% 245.62/243.65 eprover: CPU time limit exceeded, terminating
% 247.62/245.66 eprover: CPU time limit exceeded, terminating
% 249.67/247.67 eprover: CPU time limit exceeded, terminating
% 251.63/249.68 eprover: CPU time limit exceeded, terminating
% 253.68/251.69 eprover: CPU time limit exceeded, terminating
% 255.73/253.70 eprover: CPU time limit exceeded, terminating
% 257.77/255.71 eprover: CPU time limit exceeded, terminating
% 259.71/257.72 eprover: CPU time limit exceeded, terminating
% 261.77/259.73 eprover: CPU time limit exceeded, terminating
% 263.75/261.75 eprover: CPU time limit exceeded, terminating
% 265.79/263.76 eprover: CPU time limit exceeded, terminating
% 267.83/265.77 eprover: CPU time limit exceeded, terminating
% 269.81/267.78 eprover: CPU time limit exceeded, terminating
% 271.85/269.79 eprover: CPU time limit exceeded, terminating
% 273.83/271.80 eprover: CPU time limit exceeded, terminating
% 275.88/273.81 eprover: CPU time limit exceeded, terminating
% 277.86/275.83 eprover: CPU time limit exceeded, terminating
% 279.90/277.84 eprover: CPU time limit exceeded, terminating
% 281.89/279.86 eprover: CPU time limit exceeded, terminating
% 283.93/281.87 eprover: CPU time limit exceeded, terminating
% 285.89/283.88 eprover: CPU time limit exceeded, terminating
% 287.90/285.89 eprover: CPU time limit exceeded, terminating
% 289.96/287.90 eprover: CPU time limit exceeded, terminating
% 291.95/289.92 eprover: CPU time limit exceeded, terminating
% 293.99/291.93 eprover: CPU time limit exceeded, terminating
% 296.02/293.95 eprover: CPU time limit exceeded, terminating
% 298.05/295.96 eprover: CPU time limit exceeded, terminating
% 300.04/297.95 eprover: CPU time limit exceeded, terminating
% 300.04/297.96 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------