TSTP Solution File: NUM760+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM760+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n004.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 10:40:30 EDT 2022
% Result : Timeout 285.99s 277.94s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.08/0.13 % Problem : NUM760+4 : TPTP v8.1.0. Released v7.3.0.
% 0.08/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n004.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Tue Jul 5 04:47:22 EDT 2022
% 0.14/0.35 % CPUTime :
% 3.84/4.00 eprover: CPU time limit exceeded, terminating
% 5.97/6.02 eprover: CPU time limit exceeded, terminating
% 8.05/8.03 eprover: CPU time limit exceeded, terminating
% 10.12/10.05 eprover: CPU time limit exceeded, terminating
% 12.20/12.06 eprover: CPU time limit exceeded, terminating
% 14.30/14.07 eprover: CPU time limit exceeded, terminating
% 16.32/16.09 eprover: CPU time limit exceeded, terminating
% 18.43/18.10 eprover: CPU time limit exceeded, terminating
% 20.51/20.11 eprover: CPU time limit exceeded, terminating
% 22.56/22.13 eprover: CPU time limit exceeded, terminating
% 24.65/24.14 eprover: CPU time limit exceeded, terminating
% 26.75/26.16 eprover: CPU time limit exceeded, terminating
% 28.80/28.17 eprover: CPU time limit exceeded, terminating
% 30.86/30.18 eprover: CPU time limit exceeded, terminating
% 32.96/32.20 eprover: CPU time limit exceeded, terminating
% 35.07/34.21 eprover: CPU time limit exceeded, terminating
% 37.08/36.23 eprover: CPU time limit exceeded, terminating
% 39.18/38.24 eprover: CPU time limit exceeded, terminating
% 41.29/40.25 eprover: CPU time limit exceeded, terminating
% 43.35/42.27 eprover: CPU time limit exceeded, terminating
% 45.43/44.28 eprover: CPU time limit exceeded, terminating
% 47.51/46.29 eprover: CPU time limit exceeded, terminating
% 49.57/48.31 eprover: CPU time limit exceeded, terminating
% 51.61/50.32 eprover: CPU time limit exceeded, terminating
% 53.75/52.34 eprover: CPU time limit exceeded, terminating
% 55.81/54.35 eprover: CPU time limit exceeded, terminating
% 57.88/56.36 eprover: CPU time limit exceeded, terminating
% 59.95/58.38 eprover: CPU time limit exceeded, terminating
% 62.01/60.39 eprover: CPU time limit exceeded, terminating
% 64.08/62.41 eprover: CPU time limit exceeded, terminating
% 66.20/64.42 eprover: CPU time limit exceeded, terminating
% 68.28/66.43 eprover: CPU time limit exceeded, terminating
% 70.38/68.45 eprover: CPU time limit exceeded, terminating
% 72.45/70.46 eprover: CPU time limit exceeded, terminating
% 74.53/72.48 eprover: CPU time limit exceeded, terminating
% 76.56/74.49 eprover: CPU time limit exceeded, terminating
% 78.67/76.51 eprover: CPU time limit exceeded, terminating
% 80.74/78.52 eprover: CPU time limit exceeded, terminating
% 82.83/80.54 eprover: CPU time limit exceeded, terminating
% 84.93/82.55 eprover: CPU time limit exceeded, terminating
% 87.01/84.56 eprover: CPU time limit exceeded, terminating
% 89.05/86.58 eprover: CPU time limit exceeded, terminating
% 91.14/88.59 eprover: CPU time limit exceeded, terminating
% 93.20/90.61 eprover: CPU time limit exceeded, terminating
% 95.30/92.62 eprover: CPU time limit exceeded, terminating
% 97.33/94.64 eprover: CPU time limit exceeded, terminating
% 99.44/96.65 eprover: CPU time limit exceeded, terminating
% 101.52/98.67 eprover: CPU time limit exceeded, terminating
% 103.61/100.68 eprover: CPU time limit exceeded, terminating
% 105.68/102.70 eprover: CPU time limit exceeded, terminating
% 107.75/104.71 eprover: CPU time limit exceeded, terminating
% 109.85/106.73 eprover: CPU time limit exceeded, terminating
% 111.87/108.74 eprover: CPU time limit exceeded, terminating
% 114.01/110.75 eprover: CPU time limit exceeded, terminating
% 116.08/112.77 eprover: CPU time limit exceeded, terminating
% 118.13/114.78 eprover: CPU time limit exceeded, terminating
% 120.23/116.79 eprover: CPU time limit exceeded, terminating
% 122.29/118.81 eprover: CPU time limit exceeded, terminating
% 124.40/120.82 eprover: CPU time limit exceeded, terminating
% 126.47/122.84 eprover: CPU time limit exceeded, terminating
% 128.49/124.85 eprover: CPU time limit exceeded, terminating
% 130.63/126.87 eprover: CPU time limit exceeded, terminating
% 132.71/128.88 eprover: CPU time limit exceeded, terminating
% 134.74/130.90 eprover: CPU time limit exceeded, terminating
% 136.81/132.91 eprover: CPU time limit exceeded, terminating
% 138.93/134.93 eprover: CPU time limit exceeded, terminating
% 140.94/136.94 eprover: CPU time limit exceeded, terminating
% 143.07/138.96 eprover: CPU time limit exceeded, terminating
% 145.17/140.97 eprover: CPU time limit exceeded, terminating
% 147.24/142.98 eprover: CPU time limit exceeded, terminating
% 149.29/145.00 eprover: CPU time limit exceeded, terminating
% 151.36/147.01 eprover: CPU time limit exceeded, terminating
% 153.41/149.03 eprover: CPU time limit exceeded, terminating
% 155.56/151.04 eprover: CPU time limit exceeded, terminating
% 157.61/153.05 eprover: CPU time limit exceeded, terminating
% 159.65/155.06 eprover: CPU time limit exceeded, terminating
% 161.75/157.07 eprover: CPU time limit exceeded, terminating
% 163.81/159.08 eprover: CPU time limit exceeded, terminating
% 165.89/161.09 eprover: CPU time limit exceeded, terminating
% 167.94/163.10 eprover: CPU time limit exceeded, terminating
% 170.01/165.11 eprover: CPU time limit exceeded, terminating
% 172.07/167.13 eprover: CPU time limit exceeded, terminating
% 174.20/169.14 eprover: CPU time limit exceeded, terminating
% 176.28/171.16 eprover: CPU time limit exceeded, terminating
% 178.33/173.19 eprover: CPU time limit exceeded, terminating
% 180.38/175.20 eprover: CPU time limit exceeded, terminating
% 182.48/177.22 eprover: CPU time limit exceeded, terminating
% 184.54/179.24 eprover: CPU time limit exceeded, terminating
% 186.54/181.25 eprover: CPU time limit exceeded, terminating
% 188.67/183.26 eprover: CPU time limit exceeded, terminating
% 190.73/185.28 eprover: CPU time limit exceeded, terminating
% 192.76/187.30 eprover: CPU time limit exceeded, terminating
% 194.82/189.32 eprover: CPU time limit exceeded, terminating
% 196.92/191.34 eprover: CPU time limit exceeded, terminating
% 199.03/193.35 eprover: CPU time limit exceeded, terminating
% 201.05/195.38 eprover: CPU time limit exceeded, terminating
% 203.13/197.40 eprover: CPU time limit exceeded, terminating
% 205.19/199.42 eprover: CPU time limit exceeded, terminating
% 207.26/201.43 eprover: CPU time limit exceeded, terminating
% 209.31/203.45 eprover: CPU time limit exceeded, terminating
% 211.37/205.46 eprover: CPU time limit exceeded, terminating
% 213.48/207.47 eprover: CPU time limit exceeded, terminating
% 215.57/209.48 eprover: CPU time limit exceeded, terminating
% 217.58/211.49 eprover: CPU time limit exceeded, terminating
% 219.66/213.51 eprover: CPU time limit exceeded, terminating
% 221.74/215.52 eprover: CPU time limit exceeded, terminating
% 223.82/217.53 eprover: CPU time limit exceeded, terminating
% 225.88/219.54 eprover: CPU time limit exceeded, terminating
% 227.97/221.55 eprover: CPU time limit exceeded, terminating
% 230.00/223.56 eprover: CPU time limit exceeded, terminating
% 232.04/225.57 eprover: CPU time limit exceeded, terminating
% 234.10/227.58 eprover: CPU time limit exceeded, terminating
% 236.17/229.60 eprover: CPU time limit exceeded, terminating
% 238.24/231.61 eprover: CPU time limit exceeded, terminating
% 240.38/233.62 eprover: CPU time limit exceeded, terminating
% 242.42/235.64 eprover: CPU time limit exceeded, terminating
% 244.49/237.65 eprover: CPU time limit exceeded, terminating
% 246.57/239.66 eprover: CPU time limit exceeded, terminating
% 248.60/241.68 eprover: CPU time limit exceeded, terminating
% 250.76/243.70 eprover: CPU time limit exceeded, terminating
% 252.82/245.71 eprover: CPU time limit exceeded, terminating
% 254.87/247.72 eprover: CPU time limit exceeded, terminating
% 256.94/249.74 eprover: CPU time limit exceeded, terminating
% 259.03/251.75 eprover: CPU time limit exceeded, terminating
% 261.07/253.76 eprover: CPU time limit exceeded, terminating
% 263.10/255.78 eprover: CPU time limit exceeded, terminating
% 265.19/257.79 eprover: CPU time limit exceeded, terminating
% 267.31/259.80 eprover: CPU time limit exceeded, terminating
% 269.39/261.82 eprover: CPU time limit exceeded, terminating
% 271.45/263.83 eprover: CPU time limit exceeded, terminating
% 273.55/265.85 eprover: CPU time limit exceeded, terminating
% 275.57/267.86 eprover: CPU time limit exceeded, terminating
% 277.65/269.87 eprover: CPU time limit exceeded, terminating
% 279.75/271.88 eprover: CPU time limit exceeded, terminating
% 281.87/273.91 eprover: CPU time limit exceeded, terminating
% 283.93/275.92 eprover: CPU time limit exceeded, terminating
% 285.99/277.94 eprover: CPU time limit exceeded, terminating
% 288.03/279.96 eprover: CPU time limit exceeded, terminating
% 290.14/281.98 eprover: CPU time limit exceeded, terminating
% 292.16/283.99 eprover: CPU time limit exceeded, terminating
% 294.23/286.00 eprover: CPU time limit exceeded, terminating
% 296.37/288.01 eprover: CPU time limit exceeded, terminating
% 298.42/290.03 eprover: CPU time limit exceeded, terminating
% 300.11/291.63 eprover: CPU time limit exceeded, terminating
% 300.11/291.64 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------