TSTP Solution File: SET200-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET200-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n007.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 01:54:08 EDT 2022
% Result : Timeout 286.23s 283.76s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : SET200-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.06/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n007.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 Jul 10 03:43:01 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.25/2.44 eprover: CPU time limit exceeded, terminating
% 4.23/4.45 eprover: CPU time limit exceeded, terminating
% 6.25/6.46 eprover: CPU time limit exceeded, terminating
% 8.27/8.47 eprover: CPU time limit exceeded, terminating
% 10.22/10.48 eprover: CPU time limit exceeded, terminating
% 12.33/12.48 eprover: CPU time limit exceeded, terminating
% 14.28/14.49 eprover: CPU time limit exceeded, terminating
% 16.36/16.50 eprover: CPU time limit exceeded, terminating
% 18.30/18.51 eprover: CPU time limit exceeded, terminating
% 20.39/20.52 eprover: CPU time limit exceeded, terminating
% 22.40/22.53 eprover: CPU time limit exceeded, terminating
% 24.39/24.54 eprover: CPU time limit exceeded, terminating
% 26.43/26.55 eprover: CPU time limit exceeded, terminating
% 28.41/28.56 eprover: CPU time limit exceeded, terminating
% 30.43/30.56 eprover: CPU time limit exceeded, terminating
% 32.43/32.57 eprover: CPU time limit exceeded, terminating
% 34.44/34.58 eprover: CPU time limit exceeded, terminating
% 36.51/36.59 eprover: CPU time limit exceeded, terminating
% 38.47/38.60 eprover: CPU time limit exceeded, terminating
% 40.50/40.61 eprover: CPU time limit exceeded, terminating
% 42.54/42.62 eprover: CPU time limit exceeded, terminating
% 44.53/44.62 eprover: CPU time limit exceeded, terminating
% 46.56/46.63 eprover: CPU time limit exceeded, terminating
% 48.54/48.64 eprover: CPU time limit exceeded, terminating
% 50.62/50.65 eprover: CPU time limit exceeded, terminating
% 52.57/52.66 eprover: CPU time limit exceeded, terminating
% 54.62/54.67 eprover: CPU time limit exceeded, terminating
% 56.62/56.68 eprover: CPU time limit exceeded, terminating
% 58.66/58.68 eprover: CPU time limit exceeded, terminating
% 60.68/60.69 eprover: CPU time limit exceeded, terminating
% 62.69/62.70 eprover: CPU time limit exceeded, terminating
% 64.68/64.71 eprover: CPU time limit exceeded, terminating
% 66.65/66.72 eprover: CPU time limit exceeded, terminating
% 68.74/68.73 eprover: CPU time limit exceeded, terminating
% 70.70/70.74 eprover: CPU time limit exceeded, terminating
% 72.74/72.75 eprover: CPU time limit exceeded, terminating
% 74.69/74.76 eprover: CPU time limit exceeded, terminating
% 76.77/76.78 eprover: CPU time limit exceeded, terminating
% 78.81/78.79 eprover: CPU time limit exceeded, terminating
% 80.80/80.80 eprover: CPU time limit exceeded, terminating
% 82.82/82.81 eprover: CPU time limit exceeded, terminating
% 84.84/84.82 eprover: CPU time limit exceeded, terminating
% 86.87/86.83 eprover: CPU time limit exceeded, terminating
% 88.83/88.84 eprover: CPU time limit exceeded, terminating
% 90.90/90.85 eprover: CPU time limit exceeded, terminating
% 92.85/92.87 eprover: CPU time limit exceeded, terminating
% 94.89/94.88 eprover: CPU time limit exceeded, terminating
% 96.86/96.89 eprover: CPU time limit exceeded, terminating
% 98.89/98.90 eprover: CPU time limit exceeded, terminating
% 100.95/100.91 eprover: CPU time limit exceeded, terminating
% 102.99/102.93 eprover: CPU time limit exceeded, terminating
% 104.92/104.94 eprover: CPU time limit exceeded, terminating
% 106.99/106.95 eprover: CPU time limit exceeded, terminating
% 109.05/108.96 eprover: CPU time limit exceeded, terminating
% 111.03/110.98 eprover: CPU time limit exceeded, terminating
% 113.05/112.99 eprover: CPU time limit exceeded, terminating
% 115.06/114.99 eprover: CPU time limit exceeded, terminating
% 117.10/117.00 eprover: CPU time limit exceeded, terminating
% 119.08/119.01 eprover: CPU time limit exceeded, terminating
% 121.08/121.02 eprover: CPU time limit exceeded, terminating
% 123.06/123.03 eprover: CPU time limit exceeded, terminating
% 125.15/125.04 eprover: CPU time limit exceeded, terminating
% 127.17/127.05 eprover: CPU time limit exceeded, terminating
% 129.16/129.05 eprover: CPU time limit exceeded, terminating
% 131.19/131.07 eprover: CPU time limit exceeded, terminating
% 133.21/133.07 eprover: CPU time limit exceeded, terminating
% 135.21/135.09 eprover: CPU time limit exceeded, terminating
% 137.20/137.10 eprover: CPU time limit exceeded, terminating
% 139.22/139.11 eprover: CPU time limit exceeded, terminating
% 141.22/141.11 eprover: CPU time limit exceeded, terminating
% 143.21/143.12 eprover: CPU time limit exceeded, terminating
% 145.30/145.13 eprover: CPU time limit exceeded, terminating
% 147.31/147.14 eprover: CPU time limit exceeded, terminating
% 149.31/149.15 eprover: CPU time limit exceeded, terminating
% 151.32/151.16 eprover: CPU time limit exceeded, terminating
% 153.34/153.17 eprover: CPU time limit exceeded, terminating
% 155.33/155.17 eprover: CPU time limit exceeded, terminating
% 157.37/157.18 eprover: CPU time limit exceeded, terminating
% 159.37/159.19 eprover: CPU time limit exceeded, terminating
% 161.39/161.20 eprover: CPU time limit exceeded, terminating
% 163.35/163.21 eprover: CPU time limit exceeded, terminating
% 165.42/165.22 eprover: CPU time limit exceeded, terminating
% 167.39/167.23 eprover: CPU time limit exceeded, terminating
% 169.46/169.24 eprover: CPU time limit exceeded, terminating
% 171.45/171.25 eprover: CPU time limit exceeded, terminating
% 173.48/173.26 eprover: CPU time limit exceeded, terminating
% 177.44/175.27 eprover: CPU time limit exceeded, terminating
% 179.48/177.28 eprover: CPU time limit exceeded, terminating
% 181.50/179.28 eprover: CPU time limit exceeded, terminating
% 183.50/181.29 eprover: CPU time limit exceeded, terminating
% 185.51/183.30 eprover: CPU time limit exceeded, terminating
% 187.52/185.31 eprover: CPU time limit exceeded, terminating
% 189.51/187.32 eprover: CPU time limit exceeded, terminating
% 191.50/189.33 eprover: CPU time limit exceeded, terminating
% 193.60/191.34 eprover: CPU time limit exceeded, terminating
% 195.58/193.35 eprover: CPU time limit exceeded, terminating
% 197.59/195.36 eprover: CPU time limit exceeded, terminating
% 199.63/197.37 eprover: CPU time limit exceeded, terminating
% 201.63/199.38 eprover: CPU time limit exceeded, terminating
% 203.64/201.39 eprover: CPU time limit exceeded, terminating
% 205.65/203.39 eprover: CPU time limit exceeded, terminating
% 207.69/205.40 eprover: CPU time limit exceeded, terminating
% 209.65/207.41 eprover: CPU time limit exceeded, terminating
% 211.65/209.42 eprover: CPU time limit exceeded, terminating
% 213.70/211.43 eprover: CPU time limit exceeded, terminating
% 215.66/213.44 eprover: CPU time limit exceeded, terminating
% 217.72/215.45 eprover: CPU time limit exceeded, terminating
% 219.76/217.46 eprover: CPU time limit exceeded, terminating
% 221.74/219.47 eprover: CPU time limit exceeded, terminating
% 223.77/221.48 eprover: CPU time limit exceeded, terminating
% 225.81/223.48 eprover: CPU time limit exceeded, terminating
% 227.83/225.49 eprover: CPU time limit exceeded, terminating
% 229.82/227.50 eprover: CPU time limit exceeded, terminating
% 231.85/229.51 eprover: CPU time limit exceeded, terminating
% 233.84/231.52 eprover: CPU time limit exceeded, terminating
% 235.87/233.53 eprover: CPU time limit exceeded, terminating
% 237.90/235.54 eprover: CPU time limit exceeded, terminating
% 239.91/237.55 eprover: CPU time limit exceeded, terminating
% 241.92/239.56 eprover: CPU time limit exceeded, terminating
% 243.93/241.57 eprover: CPU time limit exceeded, terminating
% 245.90/243.58 eprover: CPU time limit exceeded, terminating
% 247.94/245.58 eprover: CPU time limit exceeded, terminating
% 249.98/247.59 eprover: CPU time limit exceeded, terminating
% 251.98/249.60 eprover: CPU time limit exceeded, terminating
% 253.99/251.61 eprover: CPU time limit exceeded, terminating
% 256.01/253.62 eprover: CPU time limit exceeded, terminating
% 258.00/255.63 eprover: CPU time limit exceeded, terminating
% 260.03/257.64 eprover: CPU time limit exceeded, terminating
% 262.04/259.65 eprover: CPU time limit exceeded, terminating
% 264.07/261.66 eprover: CPU time limit exceeded, terminating
% 266.09/263.67 eprover: CPU time limit exceeded, terminating
% 268.10/265.68 eprover: CPU time limit exceeded, terminating
% 270.12/267.69 eprover: CPU time limit exceeded, terminating
% 272.10/269.69 eprover: CPU time limit exceeded, terminating
% 274.13/271.70 eprover: CPU time limit exceeded, terminating
% 276.09/273.71 eprover: CPU time limit exceeded, terminating
% 278.12/275.72 eprover: CPU time limit exceeded, terminating
% 280.17/277.73 eprover: CPU time limit exceeded, terminating
% 282.16/279.74 eprover: CPU time limit exceeded, terminating
% 284.20/281.75 eprover: CPU time limit exceeded, terminating
% 286.23/283.76 eprover: CPU time limit exceeded, terminating
% 288.23/285.77 eprover: CPU time limit exceeded, terminating
% 290.26/287.78 eprover: CPU time limit exceeded, terminating
% 292.25/289.79 eprover: CPU time limit exceeded, terminating
% 294.27/291.80 eprover: CPU time limit exceeded, terminating
% 296.25/293.81 eprover: CPU time limit exceeded, terminating
% 298.25/295.81 eprover: CPU time limit exceeded, terminating
% 300.05/297.54 eprover: CPU time limit exceeded, terminating
% 300.05/297.56 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------