TSTP Solution File: COM014+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : COM014+1 : TPTP v8.1.0. Released v4.0.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 : Fri Jul 15 01:20:47 EDT 2022
% Result : Timeout 285.84s 286.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.05/0.09 % Problem : COM014+1 : TPTP v8.1.0. Released v4.0.0.
% 0.05/0.10 % Command : run_infinox %s
% 0.10/0.30 % Computer : n019.cluster.edu
% 0.10/0.30 % Model : x86_64 x86_64
% 0.10/0.30 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.30 % Memory : 8042.1875MB
% 0.10/0.30 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.30 % CPULimit : 300
% 0.10/0.30 % WCLimit : 600
% 0.10/0.30 % DateTime : Thu Jun 16 19:34:54 EDT 2022
% 0.10/0.30 % CPUTime :
% 2.12/2.34 eprover: CPU time limit exceeded, terminating
% 4.13/4.35 eprover: CPU time limit exceeded, terminating
% 6.16/6.36 eprover: CPU time limit exceeded, terminating
% 8.15/8.38 eprover: CPU time limit exceeded, terminating
% 10.17/10.40 eprover: CPU time limit exceeded, terminating
% 12.13/12.41 eprover: CPU time limit exceeded, terminating
% 14.16/14.42 eprover: CPU time limit exceeded, terminating
% 16.19/16.43 eprover: CPU time limit exceeded, terminating
% 18.16/18.44 eprover: CPU time limit exceeded, terminating
% 20.21/20.45 eprover: CPU time limit exceeded, terminating
% 22.24/22.48 eprover: CPU time limit exceeded, terminating
% 24.23/24.49 eprover: CPU time limit exceeded, terminating
% 26.23/26.50 eprover: CPU time limit exceeded, terminating
% 28.23/28.51 eprover: CPU time limit exceeded, terminating
% 30.21/30.53 eprover: CPU time limit exceeded, terminating
% 32.28/32.54 eprover: CPU time limit exceeded, terminating
% 34.24/34.55 eprover: CPU time limit exceeded, terminating
% 36.31/36.57 eprover: CPU time limit exceeded, terminating
% 38.31/38.58 eprover: CPU time limit exceeded, terminating
% 40.32/40.59 eprover: CPU time limit exceeded, terminating
% 42.35/42.60 eprover: CPU time limit exceeded, terminating
% 44.32/44.62 eprover: CPU time limit exceeded, terminating
% 46.34/46.63 eprover: CPU time limit exceeded, terminating
% 48.32/48.64 eprover: CPU time limit exceeded, terminating
% 50.38/50.66 eprover: CPU time limit exceeded, terminating
% 52.40/52.67 eprover: CPU time limit exceeded, terminating
% 54.43/54.68 eprover: CPU time limit exceeded, terminating
% 56.44/56.69 eprover: CPU time limit exceeded, terminating
% 58.45/58.70 eprover: CPU time limit exceeded, terminating
% 60.45/60.71 eprover: CPU time limit exceeded, terminating
% 62.51/62.72 eprover: CPU time limit exceeded, terminating
% 64.45/64.73 eprover: CPU time limit exceeded, terminating
% 66.44/66.74 eprover: CPU time limit exceeded, terminating
% 68.54/68.75 eprover: CPU time limit exceeded, terminating
% 70.54/70.77 eprover: CPU time limit exceeded, terminating
% 72.58/72.78 eprover: CPU time limit exceeded, terminating
% 74.56/74.79 eprover: CPU time limit exceeded, terminating
% 76.56/76.80 eprover: CPU time limit exceeded, terminating
% 78.56/78.82 eprover: CPU time limit exceeded, terminating
% 80.62/80.83 eprover: CPU time limit exceeded, terminating
% 82.63/82.84 eprover: CPU time limit exceeded, terminating
% 84.61/84.85 eprover: CPU time limit exceeded, terminating
% 86.64/86.87 eprover: CPU time limit exceeded, terminating
% 88.63/88.88 eprover: CPU time limit exceeded, terminating
% 90.63/90.89 eprover: CPU time limit exceeded, terminating
% 92.67/92.90 eprover: CPU time limit exceeded, terminating
% 94.62/94.91 eprover: CPU time limit exceeded, terminating
% 96.67/96.93 eprover: CPU time limit exceeded, terminating
% 98.66/98.95 eprover: CPU time limit exceeded, terminating
% 100.70/100.96 eprover: CPU time limit exceeded, terminating
% 102.70/102.97 eprover: CPU time limit exceeded, terminating
% 104.72/104.98 eprover: CPU time limit exceeded, terminating
% 106.73/106.99 eprover: CPU time limit exceeded, terminating
% 108.69/109.01 eprover: CPU time limit exceeded, terminating
% 110.72/111.02 eprover: CPU time limit exceeded, terminating
% 112.72/113.04 eprover: CPU time limit exceeded, terminating
% 114.75/115.05 eprover: CPU time limit exceeded, terminating
% 116.77/117.06 eprover: CPU time limit exceeded, terminating
% 118.82/119.07 eprover: CPU time limit exceeded, terminating
% 120.80/121.09 eprover: CPU time limit exceeded, terminating
% 122.77/123.10 eprover: CPU time limit exceeded, terminating
% 124.83/125.11 eprover: CPU time limit exceeded, terminating
% 126.80/127.12 eprover: CPU time limit exceeded, terminating
% 128.78/129.13 eprover: CPU time limit exceeded, terminating
% 130.88/131.15 eprover: CPU time limit exceeded, terminating
% 132.89/133.16 eprover: CPU time limit exceeded, terminating
% 134.86/135.17 eprover: CPU time limit exceeded, terminating
% 136.90/137.18 eprover: CPU time limit exceeded, terminating
% 138.90/139.19 eprover: CPU time limit exceeded, terminating
% 140.92/141.21 eprover: CPU time limit exceeded, terminating
% 142.90/143.22 eprover: CPU time limit exceeded, terminating
% 144.95/145.23 eprover: CPU time limit exceeded, terminating
% 146.92/147.24 eprover: CPU time limit exceeded, terminating
% 148.98/149.25 eprover: CPU time limit exceeded, terminating
% 150.98/151.26 eprover: CPU time limit exceeded, terminating
% 153.01/153.27 eprover: CPU time limit exceeded, terminating
% 154.97/155.28 eprover: CPU time limit exceeded, terminating
% 157.00/157.29 eprover: CPU time limit exceeded, terminating
% 159.03/159.30 eprover: CPU time limit exceeded, terminating
% 161.05/161.31 eprover: CPU time limit exceeded, terminating
% 163.02/163.32 eprover: CPU time limit exceeded, terminating
% 165.04/165.33 eprover: CPU time limit exceeded, terminating
% 167.06/167.34 eprover: CPU time limit exceeded, terminating
% 169.10/169.35 eprover: CPU time limit exceeded, terminating
% 171.11/171.36 eprover: CPU time limit exceeded, terminating
% 173.13/173.39 eprover: CPU time limit exceeded, terminating
% 175.15/175.43 eprover: CPU time limit exceeded, terminating
% 177.15/177.44 eprover: CPU time limit exceeded, terminating
% 179.16/179.45 eprover: CPU time limit exceeded, terminating
% 181.19/181.47 eprover: CPU time limit exceeded, terminating
% 183.20/183.48 eprover: CPU time limit exceeded, terminating
% 185.15/185.51 eprover: CPU time limit exceeded, terminating
% 187.21/187.52 eprover: CPU time limit exceeded, terminating
% 189.26/189.53 eprover: CPU time limit exceeded, terminating
% 191.27/191.55 eprover: CPU time limit exceeded, terminating
% 193.29/193.56 eprover: CPU time limit exceeded, terminating
% 195.29/195.57 eprover: CPU time limit exceeded, terminating
% 197.28/197.58 eprover: CPU time limit exceeded, terminating
% 199.26/199.59 eprover: CPU time limit exceeded, terminating
% 201.29/201.61 eprover: CPU time limit exceeded, terminating
% 203.26/203.62 eprover: CPU time limit exceeded, terminating
% 205.27/205.63 eprover: CPU time limit exceeded, terminating
% 207.33/207.64 eprover: CPU time limit exceeded, terminating
% 209.35/209.66 eprover: CPU time limit exceeded, terminating
% 211.36/211.67 eprover: CPU time limit exceeded, terminating
% 213.33/213.69 eprover: CPU time limit exceeded, terminating
% 215.38/215.70 eprover: CPU time limit exceeded, terminating
% 217.39/217.71 eprover: CPU time limit exceeded, terminating
% 219.39/219.72 eprover: CPU time limit exceeded, terminating
% 221.41/221.74 eprover: CPU time limit exceeded, terminating
% 223.42/223.75 eprover: CPU time limit exceeded, terminating
% 225.46/225.75 eprover: CPU time limit exceeded, terminating
% 227.45/227.76 eprover: CPU time limit exceeded, terminating
% 229.47/229.77 eprover: CPU time limit exceeded, terminating
% 231.46/231.78 eprover: CPU time limit exceeded, terminating
% 233.44/233.79 eprover: CPU time limit exceeded, terminating
% 235.53/235.80 eprover: CPU time limit exceeded, terminating
% 237.49/237.81 eprover: CPU time limit exceeded, terminating
% 239.49/239.83 eprover: CPU time limit exceeded, terminating
% 241.57/241.84 eprover: CPU time limit exceeded, terminating
% 243.48/243.85 eprover: CPU time limit exceeded, terminating
% 245.57/245.86 eprover: CPU time limit exceeded, terminating
% 247.59/247.87 eprover: CPU time limit exceeded, terminating
% 249.60/249.87 eprover: CPU time limit exceeded, terminating
% 251.59/251.88 eprover: CPU time limit exceeded, terminating
% 253.61/253.89 eprover: CPU time limit exceeded, terminating
% 255.62/255.90 eprover: CPU time limit exceeded, terminating
% 257.60/257.91 eprover: CPU time limit exceeded, terminating
% 259.60/259.92 eprover: CPU time limit exceeded, terminating
% 261.63/261.93 eprover: CPU time limit exceeded, terminating
% 263.68/263.94 eprover: CPU time limit exceeded, terminating
% 265.72/265.95 eprover: CPU time limit exceeded, terminating
% 267.73/267.96 eprover: CPU time limit exceeded, terminating
% 269.74/269.97 eprover: CPU time limit exceeded, terminating
% 271.72/271.98 eprover: CPU time limit exceeded, terminating
% 273.73/273.99 eprover: CPU time limit exceeded, terminating
% 275.78/276.00 eprover: CPU time limit exceeded, terminating
% 277.78/278.01 eprover: CPU time limit exceeded, terminating
% 279.76/280.02 eprover: CPU time limit exceeded, terminating
% 281.80/282.03 eprover: CPU time limit exceeded, terminating
% 283.76/284.04 eprover: CPU time limit exceeded, terminating
% 285.84/286.05 eprover: CPU time limit exceeded, terminating
% 287.86/288.06 eprover: CPU time limit exceeded, terminating
% 289.86/290.08 eprover: CPU time limit exceeded, terminating
% 291.86/292.09 eprover: CPU time limit exceeded, terminating
% 293.91/294.10 eprover: CPU time limit exceeded, terminating
% 295.88/296.11 eprover: CPU time limit exceeded, terminating
% 297.87/298.12 eprover: CPU time limit exceeded, terminating
% 299.86/300.13 eprover: CPU time limit exceeded, terminating
% 300.28/300.47 eprover: CPU time limit exceeded, terminating
% 300.28/300.48 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------