TSTP Solution File: NLP212-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NLP212-1 : TPTP v8.1.0. Released v2.4.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 : Mon Jul 18 02:33:30 EDT 2022
% Result : Timeout 285.87s 286.12s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.10 % Problem : NLP212-1 : TPTP v8.1.0. Released v2.4.0.
% 0.03/0.11 % Command : run_infinox %s
% 0.11/0.32 % Computer : n007.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 : Fri Jul 1 11:04:24 EDT 2022
% 0.11/0.32 % CPUTime :
% 2.19/2.37 eprover: CPU time limit exceeded, terminating
% 4.15/4.38 eprover: CPU time limit exceeded, terminating
% 6.14/6.39 eprover: CPU time limit exceeded, terminating
% 8.20/8.41 eprover: CPU time limit exceeded, terminating
% 10.18/10.42 eprover: CPU time limit exceeded, terminating
% 12.24/12.43 eprover: CPU time limit exceeded, terminating
% 14.19/14.44 eprover: CPU time limit exceeded, terminating
% 16.20/16.47 eprover: CPU time limit exceeded, terminating
% 18.25/18.47 eprover: CPU time limit exceeded, terminating
% 20.27/20.49 eprover: CPU time limit exceeded, terminating
% 22.22/22.50 eprover: CPU time limit exceeded, terminating
% 24.25/24.51 eprover: CPU time limit exceeded, terminating
% 26.30/26.52 eprover: CPU time limit exceeded, terminating
% 28.29/28.53 eprover: CPU time limit exceeded, terminating
% 30.32/30.54 eprover: CPU time limit exceeded, terminating
% 32.30/32.54 eprover: CPU time limit exceeded, terminating
% 34.34/34.55 eprover: CPU time limit exceeded, terminating
% 36.31/36.56 eprover: CPU time limit exceeded, terminating
% 38.33/38.58 eprover: CPU time limit exceeded, terminating
% 40.31/40.59 eprover: CPU time limit exceeded, terminating
% 42.34/42.60 eprover: CPU time limit exceeded, terminating
% 44.37/44.61 eprover: CPU time limit exceeded, terminating
% 46.35/46.62 eprover: CPU time limit exceeded, terminating
% 48.37/48.62 eprover: CPU time limit exceeded, terminating
% 50.44/50.64 eprover: CPU time limit exceeded, terminating
% 52.44/52.65 eprover: CPU time limit exceeded, terminating
% 54.46/54.68 eprover: CPU time limit exceeded, terminating
% 56.45/56.69 eprover: CPU time limit exceeded, terminating
% 58.45/58.69 eprover: CPU time limit exceeded, terminating
% 60.49/60.70 eprover: CPU time limit exceeded, terminating
% 62.47/62.71 eprover: CPU time limit exceeded, terminating
% 64.51/64.72 eprover: CPU time limit exceeded, terminating
% 66.48/66.73 eprover: CPU time limit exceeded, terminating
% 68.50/68.74 eprover: CPU time limit exceeded, terminating
% 70.55/70.75 eprover: CPU time limit exceeded, terminating
% 72.57/72.77 eprover: CPU time limit exceeded, terminating
% 74.58/74.77 eprover: CPU time limit exceeded, terminating
% 76.60/76.78 eprover: CPU time limit exceeded, terminating
% 78.60/78.79 eprover: CPU time limit exceeded, terminating
% 80.60/80.80 eprover: CPU time limit exceeded, terminating
% 82.62/82.81 eprover: CPU time limit exceeded, terminating
% 84.59/84.82 eprover: CPU time limit exceeded, terminating
% 86.59/86.83 eprover: CPU time limit exceeded, terminating
% 88.68/88.84 eprover: CPU time limit exceeded, terminating
% 90.70/90.85 eprover: CPU time limit exceeded, terminating
% 92.71/92.86 eprover: CPU time limit exceeded, terminating
% 94.71/94.87 eprover: CPU time limit exceeded, terminating
% 96.72/96.88 eprover: CPU time limit exceeded, terminating
% 98.73/98.89 eprover: CPU time limit exceeded, terminating
% 100.75/100.90 eprover: CPU time limit exceeded, terminating
% 102.73/102.91 eprover: CPU time limit exceeded, terminating
% 104.74/104.92 eprover: CPU time limit exceeded, terminating
% 106.81/106.93 eprover: CPU time limit exceeded, terminating
% 108.72/108.94 eprover: CPU time limit exceeded, terminating
% 110.81/110.94 eprover: CPU time limit exceeded, terminating
% 112.83/112.95 eprover: CPU time limit exceeded, terminating
% 114.84/114.96 eprover: CPU time limit exceeded, terminating
% 116.84/116.97 eprover: CPU time limit exceeded, terminating
% 118.87/118.98 eprover: CPU time limit exceeded, terminating
% 120.87/120.99 eprover: CPU time limit exceeded, terminating
% 122.91/123.00 eprover: CPU time limit exceeded, terminating
% 124.87/125.01 eprover: CPU time limit exceeded, terminating
% 126.88/127.02 eprover: CPU time limit exceeded, terminating
% 128.93/129.03 eprover: CPU time limit exceeded, terminating
% 130.88/131.04 eprover: CPU time limit exceeded, terminating
% 132.95/133.05 eprover: CPU time limit exceeded, terminating
% 134.99/135.05 eprover: CPU time limit exceeded, terminating
% 136.97/137.06 eprover: CPU time limit exceeded, terminating
% 138.99/139.07 eprover: CPU time limit exceeded, terminating
% 140.99/141.08 eprover: CPU time limit exceeded, terminating
% 143.03/143.09 eprover: CPU time limit exceeded, terminating
% 145.01/145.10 eprover: CPU time limit exceeded, terminating
% 147.07/147.11 eprover: CPU time limit exceeded, terminating
% 149.03/149.12 eprover: CPU time limit exceeded, terminating
% 151.02/151.13 eprover: CPU time limit exceeded, terminating
% 153.09/153.14 eprover: CPU time limit exceeded, terminating
% 155.10/155.15 eprover: CPU time limit exceeded, terminating
% 157.11/157.16 eprover: CPU time limit exceeded, terminating
% 159.14/159.17 eprover: CPU time limit exceeded, terminating
% 161.14/161.18 eprover: CPU time limit exceeded, terminating
% 163.16/163.19 eprover: CPU time limit exceeded, terminating
% 165.15/165.20 eprover: CPU time limit exceeded, terminating
% 167.18/167.23 eprover: CPU time limit exceeded, terminating
% 169.18/169.25 eprover: CPU time limit exceeded, terminating
% 171.23/171.26 eprover: CPU time limit exceeded, terminating
% 173.22/173.30 eprover: CPU time limit exceeded, terminating
% 175.20/175.31 eprover: CPU time limit exceeded, terminating
% 177.26/177.33 eprover: CPU time limit exceeded, terminating
% 179.26/179.34 eprover: CPU time limit exceeded, terminating
% 181.28/181.35 eprover: CPU time limit exceeded, terminating
% 183.29/183.36 eprover: CPU time limit exceeded, terminating
% 185.31/185.38 eprover: CPU time limit exceeded, terminating
% 187.28/187.40 eprover: CPU time limit exceeded, terminating
% 189.32/189.41 eprover: CPU time limit exceeded, terminating
% 191.27/191.42 eprover: CPU time limit exceeded, terminating
% 193.35/193.43 eprover: CPU time limit exceeded, terminating
% 195.33/195.44 eprover: CPU time limit exceeded, terminating
% 197.36/197.45 eprover: CPU time limit exceeded, terminating
% 199.38/199.46 eprover: CPU time limit exceeded, terminating
% 201.36/201.49 eprover: CPU time limit exceeded, terminating
% 203.41/203.50 eprover: CPU time limit exceeded, terminating
% 205.37/205.51 eprover: CPU time limit exceeded, terminating
% 207.39/207.52 eprover: CPU time limit exceeded, terminating
% 209.45/209.53 eprover: CPU time limit exceeded, terminating
% 211.48/211.55 eprover: CPU time limit exceeded, terminating
% 213.46/213.57 eprover: CPU time limit exceeded, terminating
% 215.46/215.59 eprover: CPU time limit exceeded, terminating
% 217.44/217.61 eprover: CPU time limit exceeded, terminating
% 219.51/219.61 eprover: CPU time limit exceeded, terminating
% 221.52/221.62 eprover: CPU time limit exceeded, terminating
% 223.49/223.66 eprover: CPU time limit exceeded, terminating
% 225.56/225.67 eprover: CPU time limit exceeded, terminating
% 227.52/227.69 eprover: CPU time limit exceeded, terminating
% 229.57/229.69 eprover: CPU time limit exceeded, terminating
% 231.58/231.71 eprover: CPU time limit exceeded, terminating
% 233.59/233.73 eprover: CPU time limit exceeded, terminating
% 235.59/235.74 eprover: CPU time limit exceeded, terminating
% 237.58/237.75 eprover: CPU time limit exceeded, terminating
% 239.60/239.76 eprover: CPU time limit exceeded, terminating
% 241.58/241.77 eprover: CPU time limit exceeded, terminating
% 243.66/243.78 eprover: CPU time limit exceeded, terminating
% 245.65/245.79 eprover: CPU time limit exceeded, terminating
% 247.67/247.81 eprover: CPU time limit exceeded, terminating
% 249.65/249.82 eprover: CPU time limit exceeded, terminating
% 251.64/251.84 eprover: CPU time limit exceeded, terminating
% 253.72/253.85 eprover: CPU time limit exceeded, terminating
% 255.74/255.86 eprover: CPU time limit exceeded, terminating
% 257.75/257.87 eprover: CPU time limit exceeded, terminating
% 259.74/259.90 eprover: CPU time limit exceeded, terminating
% 261.75/261.91 eprover: CPU time limit exceeded, terminating
% 263.71/263.94 eprover: CPU time limit exceeded, terminating
% 265.79/265.95 eprover: CPU time limit exceeded, terminating
% 267.81/267.96 eprover: CPU time limit exceeded, terminating
% 269.78/269.99 eprover: CPU time limit exceeded, terminating
% 271.83/272.01 eprover: CPU time limit exceeded, terminating
% 273.84/274.02 eprover: CPU time limit exceeded, terminating
% 275.83/276.03 eprover: CPU time limit exceeded, terminating
% 277.83/278.05 eprover: CPU time limit exceeded, terminating
% 279.91/280.07 eprover: CPU time limit exceeded, terminating
% 281.89/282.09 eprover: CPU time limit exceeded, terminating
% 283.87/284.10 eprover: CPU time limit exceeded, terminating
% 285.87/286.12 eprover: CPU time limit exceeded, terminating
% 287.89/288.14 eprover: CPU time limit exceeded, terminating
% 289.96/290.15 eprover: CPU time limit exceeded, terminating
% 291.97/292.16 eprover: CPU time limit exceeded, terminating
% 293.99/294.17 eprover: CPU time limit exceeded, terminating
% 296.02/296.19 eprover: CPU time limit exceeded, terminating
% 298.01/298.20 eprover: CPU time limit exceeded, terminating
% 300.01/300.21 eprover: CPU time limit exceeded, terminating
% 300.01/300.24 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------