TSTP Solution File: SET412-6 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SET412-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n019.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:55:20 EDT 2022
% Result : Timeout 286.40s 285.79s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : SET412-6 : TPTP v8.1.0. Bugfixed v2.1.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n019.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 : Mon Jul 11 09:55:08 EDT 2022
% 0.12/0.34 % CPUTime :
% 2.23/2.44 eprover: CPU time limit exceeded, terminating
% 4.26/4.45 eprover: CPU time limit exceeded, terminating
% 6.26/6.46 eprover: CPU time limit exceeded, terminating
% 8.30/8.47 eprover: CPU time limit exceeded, terminating
% 10.25/10.48 eprover: CPU time limit exceeded, terminating
% 12.31/12.48 eprover: CPU time limit exceeded, terminating
% 14.34/14.49 eprover: CPU time limit exceeded, terminating
% 16.31/16.50 eprover: CPU time limit exceeded, terminating
% 18.34/18.51 eprover: CPU time limit exceeded, terminating
% 20.31/20.52 eprover: CPU time limit exceeded, terminating
% 22.33/22.53 eprover: CPU time limit exceeded, terminating
% 24.42/24.54 eprover: CPU time limit exceeded, terminating
% 26.45/26.55 eprover: CPU time limit exceeded, terminating
% 28.43/28.56 eprover: CPU time limit exceeded, terminating
% 30.47/30.57 eprover: CPU time limit exceeded, terminating
% 32.48/32.58 eprover: CPU time limit exceeded, terminating
% 34.49/34.58 eprover: CPU time limit exceeded, terminating
% 36.47/36.59 eprover: CPU time limit exceeded, terminating
% 38.52/38.60 eprover: CPU time limit exceeded, terminating
% 40.48/40.61 eprover: CPU time limit exceeded, terminating
% 42.51/42.62 eprover: CPU time limit exceeded, terminating
% 44.58/44.63 eprover: CPU time limit exceeded, terminating
% 46.51/46.64 eprover: CPU time limit exceeded, terminating
% 48.62/48.65 eprover: CPU time limit exceeded, terminating
% 50.59/50.66 eprover: CPU time limit exceeded, terminating
% 52.63/52.67 eprover: CPU time limit exceeded, terminating
% 54.59/54.68 eprover: CPU time limit exceeded, terminating
% 56.64/56.68 eprover: CPU time limit exceeded, terminating
% 58.67/58.69 eprover: CPU time limit exceeded, terminating
% 60.66/60.70 eprover: CPU time limit exceeded, terminating
% 62.67/62.71 eprover: CPU time limit exceeded, terminating
% 64.65/64.72 eprover: CPU time limit exceeded, terminating
% 66.68/66.73 eprover: CPU time limit exceeded, terminating
% 68.78/68.74 eprover: CPU time limit exceeded, terminating
% 70.79/70.75 eprover: CPU time limit exceeded, terminating
% 72.77/72.76 eprover: CPU time limit exceeded, terminating
% 74.81/74.77 eprover: CPU time limit exceeded, terminating
% 76.81/76.78 eprover: CPU time limit exceeded, terminating
% 78.83/78.79 eprover: CPU time limit exceeded, terminating
% 80.83/80.80 eprover: CPU time limit exceeded, terminating
% 82.84/82.81 eprover: CPU time limit exceeded, terminating
% 84.81/84.82 eprover: CPU time limit exceeded, terminating
% 86.84/86.83 eprover: CPU time limit exceeded, terminating
% 88.90/88.83 eprover: CPU time limit exceeded, terminating
% 90.84/90.84 eprover: CPU time limit exceeded, terminating
% 92.96/92.85 eprover: CPU time limit exceeded, terminating
% 94.91/94.86 eprover: CPU time limit exceeded, terminating
% 96.97/96.87 eprover: CPU time limit exceeded, terminating
% 99.00/98.88 eprover: CPU time limit exceeded, terminating
% 100.98/100.89 eprover: CPU time limit exceeded, terminating
% 103.01/102.90 eprover: CPU time limit exceeded, terminating
% 105.00/104.91 eprover: CPU time limit exceeded, terminating
% 107.02/106.92 eprover: CPU time limit exceeded, terminating
% 109.06/108.93 eprover: CPU time limit exceeded, terminating
% 111.09/110.94 eprover: CPU time limit exceeded, terminating
% 113.05/112.95 eprover: CPU time limit exceeded, terminating
% 115.13/114.95 eprover: CPU time limit exceeded, terminating
% 117.12/116.96 eprover: CPU time limit exceeded, terminating
% 119.15/118.97 eprover: CPU time limit exceeded, terminating
% 121.12/120.98 eprover: CPU time limit exceeded, terminating
% 123.16/122.99 eprover: CPU time limit exceeded, terminating
% 125.17/125.00 eprover: CPU time limit exceeded, terminating
% 127.17/127.01 eprover: CPU time limit exceeded, terminating
% 129.16/129.02 eprover: CPU time limit exceeded, terminating
% 131.17/131.03 eprover: CPU time limit exceeded, terminating
% 133.25/133.04 eprover: CPU time limit exceeded, terminating
% 135.27/135.05 eprover: CPU time limit exceeded, terminating
% 137.29/137.06 eprover: CPU time limit exceeded, terminating
% 139.29/139.07 eprover: CPU time limit exceeded, terminating
% 141.32/141.08 eprover: CPU time limit exceeded, terminating
% 143.32/143.09 eprover: CPU time limit exceeded, terminating
% 145.34/145.10 eprover: CPU time limit exceeded, terminating
% 147.32/147.11 eprover: CPU time limit exceeded, terminating
% 149.34/149.12 eprover: CPU time limit exceeded, terminating
% 151.39/151.13 eprover: CPU time limit exceeded, terminating
% 153.33/153.14 eprover: CPU time limit exceeded, terminating
% 155.42/155.14 eprover: CPU time limit exceeded, terminating
% 157.44/157.16 eprover: CPU time limit exceeded, terminating
% 159.44/159.16 eprover: CPU time limit exceeded, terminating
% 161.48/161.17 eprover: CPU time limit exceeded, terminating
% 163.47/163.18 eprover: CPU time limit exceeded, terminating
% 165.49/165.19 eprover: CPU time limit exceeded, terminating
% 167.49/167.20 eprover: CPU time limit exceeded, terminating
% 169.49/169.21 eprover: CPU time limit exceeded, terminating
% 171.50/171.22 eprover: CPU time limit exceeded, terminating
% 173.58/173.23 eprover: CPU time limit exceeded, terminating
% 175.51/175.24 eprover: CPU time limit exceeded, terminating
% 177.60/177.25 eprover: CPU time limit exceeded, terminating
% 179.61/179.26 eprover: CPU time limit exceeded, terminating
% 181.62/181.27 eprover: CPU time limit exceeded, terminating
% 183.63/183.28 eprover: CPU time limit exceeded, terminating
% 185.65/185.29 eprover: CPU time limit exceeded, terminating
% 187.65/187.30 eprover: CPU time limit exceeded, terminating
% 189.68/189.31 eprover: CPU time limit exceeded, terminating
% 191.64/191.31 eprover: CPU time limit exceeded, terminating
% 193.73/193.32 eprover: CPU time limit exceeded, terminating
% 195.66/195.33 eprover: CPU time limit exceeded, terminating
% 197.75/197.34 eprover: CPU time limit exceeded, terminating
% 199.69/199.35 eprover: CPU time limit exceeded, terminating
% 201.79/201.36 eprover: CPU time limit exceeded, terminating
% 203.77/203.37 eprover: CPU time limit exceeded, terminating
% 205.80/205.38 eprover: CPU time limit exceeded, terminating
% 207.83/207.39 eprover: CPU time limit exceeded, terminating
% 209.81/209.40 eprover: CPU time limit exceeded, terminating
% 211.85/211.41 eprover: CPU time limit exceeded, terminating
% 213.82/213.42 eprover: CPU time limit exceeded, terminating
% 215.86/215.43 eprover: CPU time limit exceeded, terminating
% 217.91/217.44 eprover: CPU time limit exceeded, terminating
% 219.88/219.45 eprover: CPU time limit exceeded, terminating
% 221.84/221.46 eprover: CPU time limit exceeded, terminating
% 223.95/223.47 eprover: CPU time limit exceeded, terminating
% 225.95/225.48 eprover: CPU time limit exceeded, terminating
% 227.99/227.49 eprover: CPU time limit exceeded, terminating
% 229.97/229.50 eprover: CPU time limit exceeded, terminating
% 231.99/231.51 eprover: CPU time limit exceeded, terminating
% 234.02/233.52 eprover: CPU time limit exceeded, terminating
% 236.04/235.53 eprover: CPU time limit exceeded, terminating
% 238.07/237.53 eprover: CPU time limit exceeded, terminating
% 240.09/239.54 eprover: CPU time limit exceeded, terminating
% 242.09/241.55 eprover: CPU time limit exceeded, terminating
% 244.11/243.56 eprover: CPU time limit exceeded, terminating
% 246.09/245.57 eprover: CPU time limit exceeded, terminating
% 248.12/247.58 eprover: CPU time limit exceeded, terminating
% 250.15/249.59 eprover: CPU time limit exceeded, terminating
% 252.16/251.60 eprover: CPU time limit exceeded, terminating
% 254.18/253.61 eprover: CPU time limit exceeded, terminating
% 256.17/255.62 eprover: CPU time limit exceeded, terminating
% 258.19/257.65 eprover: CPU time limit exceeded, terminating
% 260.25/259.67 eprover: CPU time limit exceeded, terminating
% 262.24/261.68 eprover: CPU time limit exceeded, terminating
% 264.24/263.69 eprover: CPU time limit exceeded, terminating
% 266.27/265.70 eprover: CPU time limit exceeded, terminating
% 268.27/267.71 eprover: CPU time limit exceeded, terminating
% 270.24/269.73 eprover: CPU time limit exceeded, terminating
% 272.29/271.73 eprover: CPU time limit exceeded, terminating
% 274.33/273.74 eprover: CPU time limit exceeded, terminating
% 276.36/275.75 eprover: CPU time limit exceeded, terminating
% 278.37/277.76 eprover: CPU time limit exceeded, terminating
% 280.37/279.77 eprover: CPU time limit exceeded, terminating
% 282.38/281.78 eprover: CPU time limit exceeded, terminating
% 284.40/283.79 eprover: CPU time limit exceeded, terminating
% 286.40/285.79 eprover: CPU time limit exceeded, terminating
% 288.41/287.80 eprover: CPU time limit exceeded, terminating
% 290.42/289.81 eprover: CPU time limit exceeded, terminating
% 292.40/291.82 eprover: CPU time limit exceeded, terminating
% 294.46/293.83 eprover: CPU time limit exceeded, terminating
% 296.49/295.84 eprover: CPU time limit exceeded, terminating
% 298.50/297.85 eprover: CPU time limit exceeded, terminating
% 300.01/299.35 eprover: CPU time limit exceeded, terminating
% 300.01/299.37 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------