TSTP Solution File: NUM766+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM766+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:34 EDT 2022
% Result : Timeout 286.05s 277.63s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : NUM766+4 : TPTP v8.1.0. Released v7.3.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 600
% 0.13/0.34 % DateTime : Thu Jul 7 06:39:41 EDT 2022
% 0.13/0.34 % CPUTime :
% 3.89/4.03 eprover: CPU time limit exceeded, terminating
% 5.96/6.04 eprover: CPU time limit exceeded, terminating
% 8.01/8.05 eprover: CPU time limit exceeded, terminating
% 10.09/10.06 eprover: CPU time limit exceeded, terminating
% 12.13/12.07 eprover: CPU time limit exceeded, terminating
% 14.24/14.08 eprover: CPU time limit exceeded, terminating
% 16.31/16.09 eprover: CPU time limit exceeded, terminating
% 18.34/18.10 eprover: CPU time limit exceeded, terminating
% 20.44/20.11 eprover: CPU time limit exceeded, terminating
% 22.58/22.12 eprover: CPU time limit exceeded, terminating
% 24.65/24.13 eprover: CPU time limit exceeded, terminating
% 26.69/26.14 eprover: CPU time limit exceeded, terminating
% 28.78/28.15 eprover: CPU time limit exceeded, terminating
% 30.84/30.16 eprover: CPU time limit exceeded, terminating
% 32.92/32.17 eprover: CPU time limit exceeded, terminating
% 35.04/34.18 eprover: CPU time limit exceeded, terminating
% 37.06/36.19 eprover: CPU time limit exceeded, terminating
% 39.18/38.20 eprover: CPU time limit exceeded, terminating
% 41.20/40.21 eprover: CPU time limit exceeded, terminating
% 43.33/42.22 eprover: CPU time limit exceeded, terminating
% 45.41/44.23 eprover: CPU time limit exceeded, terminating
% 47.45/46.24 eprover: CPU time limit exceeded, terminating
% 49.54/48.25 eprover: CPU time limit exceeded, terminating
% 51.59/50.26 eprover: CPU time limit exceeded, terminating
% 53.64/52.27 eprover: CPU time limit exceeded, terminating
% 55.76/54.28 eprover: CPU time limit exceeded, terminating
% 57.80/56.29 eprover: CPU time limit exceeded, terminating
% 59.93/58.30 eprover: CPU time limit exceeded, terminating
% 62.03/60.31 eprover: CPU time limit exceeded, terminating
% 64.07/62.32 eprover: CPU time limit exceeded, terminating
% 66.14/64.33 eprover: CPU time limit exceeded, terminating
% 68.22/66.34 eprover: CPU time limit exceeded, terminating
% 70.28/68.35 eprover: CPU time limit exceeded, terminating
% 72.36/70.36 eprover: CPU time limit exceeded, terminating
% 74.41/72.37 eprover: CPU time limit exceeded, terminating
% 76.46/74.38 eprover: CPU time limit exceeded, terminating
% 78.56/76.39 eprover: CPU time limit exceeded, terminating
% 80.60/78.40 eprover: CPU time limit exceeded, terminating
% 82.74/80.41 eprover: CPU time limit exceeded, terminating
% 84.84/82.42 eprover: CPU time limit exceeded, terminating
% 86.91/84.43 eprover: CPU time limit exceeded, terminating
% 88.99/86.44 eprover: CPU time limit exceeded, terminating
% 91.04/88.45 eprover: CPU time limit exceeded, terminating
% 93.10/90.46 eprover: CPU time limit exceeded, terminating
% 95.13/92.47 eprover: CPU time limit exceeded, terminating
% 97.29/94.48 eprover: CPU time limit exceeded, terminating
% 99.34/96.49 eprover: CPU time limit exceeded, terminating
% 101.44/98.50 eprover: CPU time limit exceeded, terminating
% 103.49/100.51 eprover: CPU time limit exceeded, terminating
% 105.56/102.52 eprover: CPU time limit exceeded, terminating
% 107.66/104.53 eprover: CPU time limit exceeded, terminating
% 109.70/106.54 eprover: CPU time limit exceeded, terminating
% 111.80/108.55 eprover: CPU time limit exceeded, terminating
% 113.84/110.56 eprover: CPU time limit exceeded, terminating
% 115.96/112.57 eprover: CPU time limit exceeded, terminating
% 117.99/114.58 eprover: CPU time limit exceeded, terminating
% 120.10/116.59 eprover: CPU time limit exceeded, terminating
% 122.12/118.60 eprover: CPU time limit exceeded, terminating
% 124.27/120.61 eprover: CPU time limit exceeded, terminating
% 126.33/122.62 eprover: CPU time limit exceeded, terminating
% 128.39/124.63 eprover: CPU time limit exceeded, terminating
% 130.45/126.64 eprover: CPU time limit exceeded, terminating
% 132.52/128.65 eprover: CPU time limit exceeded, terminating
% 134.61/130.66 eprover: CPU time limit exceeded, terminating
% 136.66/132.67 eprover: CPU time limit exceeded, terminating
% 138.73/134.69 eprover: CPU time limit exceeded, terminating
% 140.82/136.70 eprover: CPU time limit exceeded, terminating
% 142.95/138.71 eprover: CPU time limit exceeded, terminating
% 145.02/140.72 eprover: CPU time limit exceeded, terminating
% 147.07/142.73 eprover: CPU time limit exceeded, terminating
% 149.15/144.74 eprover: CPU time limit exceeded, terminating
% 151.23/146.75 eprover: CPU time limit exceeded, terminating
% 153.26/148.76 eprover: CPU time limit exceeded, terminating
% 155.35/150.79 eprover: CPU time limit exceeded, terminating
% 157.45/152.80 eprover: CPU time limit exceeded, terminating
% 159.53/154.81 eprover: CPU time limit exceeded, terminating
% 161.55/156.82 eprover: CPU time limit exceeded, terminating
% 163.66/158.83 eprover: CPU time limit exceeded, terminating
% 165.76/160.84 eprover: CPU time limit exceeded, terminating
% 167.78/162.86 eprover: CPU time limit exceeded, terminating
% 169.88/164.87 eprover: CPU time limit exceeded, terminating
% 171.94/166.88 eprover: CPU time limit exceeded, terminating
% 174.06/168.89 eprover: CPU time limit exceeded, terminating
% 176.11/170.91 eprover: CPU time limit exceeded, terminating
% 178.19/172.93 eprover: CPU time limit exceeded, terminating
% 180.25/174.94 eprover: CPU time limit exceeded, terminating
% 182.32/176.95 eprover: CPU time limit exceeded, terminating
% 184.39/178.97 eprover: CPU time limit exceeded, terminating
% 186.41/180.98 eprover: CPU time limit exceeded, terminating
% 188.50/182.99 eprover: CPU time limit exceeded, terminating
% 190.64/185.00 eprover: CPU time limit exceeded, terminating
% 192.73/187.02 eprover: CPU time limit exceeded, terminating
% 194.77/189.03 eprover: CPU time limit exceeded, terminating
% 196.84/191.04 eprover: CPU time limit exceeded, terminating
% 198.95/193.05 eprover: CPU time limit exceeded, terminating
% 200.97/195.06 eprover: CPU time limit exceeded, terminating
% 203.05/197.07 eprover: CPU time limit exceeded, terminating
% 205.18/199.09 eprover: CPU time limit exceeded, terminating
% 207.25/201.09 eprover: CPU time limit exceeded, terminating
% 209.34/203.11 eprover: CPU time limit exceeded, terminating
% 211.38/205.12 eprover: CPU time limit exceeded, terminating
% 213.46/207.13 eprover: CPU time limit exceeded, terminating
% 215.51/209.15 eprover: CPU time limit exceeded, terminating
% 217.60/211.16 eprover: CPU time limit exceeded, terminating
% 219.69/213.17 eprover: CPU time limit exceeded, terminating
% 221.79/215.19 eprover: CPU time limit exceeded, terminating
% 223.80/217.20 eprover: CPU time limit exceeded, terminating
% 225.92/219.21 eprover: CPU time limit exceeded, terminating
% 227.93/221.22 eprover: CPU time limit exceeded, terminating
% 230.04/223.24 eprover: CPU time limit exceeded, terminating
% 232.13/225.25 eprover: CPU time limit exceeded, terminating
% 234.23/227.26 eprover: CPU time limit exceeded, terminating
% 236.24/229.28 eprover: CPU time limit exceeded, terminating
% 238.37/231.29 eprover: CPU time limit exceeded, terminating
% 240.46/233.30 eprover: CPU time limit exceeded, terminating
% 242.46/235.31 eprover: CPU time limit exceeded, terminating
% 244.61/237.32 eprover: CPU time limit exceeded, terminating
% 246.66/239.34 eprover: CPU time limit exceeded, terminating
% 248.70/241.35 eprover: CPU time limit exceeded, terminating
% 250.79/243.36 eprover: CPU time limit exceeded, terminating
% 252.92/245.37 eprover: CPU time limit exceeded, terminating
% 254.99/247.41 eprover: CPU time limit exceeded, terminating
% 257.07/249.42 eprover: CPU time limit exceeded, terminating
% 259.10/251.43 eprover: CPU time limit exceeded, terminating
% 261.20/253.45 eprover: CPU time limit exceeded, terminating
% 263.28/255.46 eprover: CPU time limit exceeded, terminating
% 265.32/257.47 eprover: CPU time limit exceeded, terminating
% 267.42/259.50 eprover: CPU time limit exceeded, terminating
% 269.49/261.51 eprover: CPU time limit exceeded, terminating
% 271.55/263.52 eprover: CPU time limit exceeded, terminating
% 273.66/265.55 eprover: CPU time limit exceeded, terminating
% 275.67/267.57 eprover: CPU time limit exceeded, terminating
% 277.78/269.58 eprover: CPU time limit exceeded, terminating
% 279.88/271.59 eprover: CPU time limit exceeded, terminating
% 281.95/273.60 eprover: CPU time limit exceeded, terminating
% 284.01/275.61 eprover: CPU time limit exceeded, terminating
% 286.05/277.63 eprover: CPU time limit exceeded, terminating
% 288.16/279.64 eprover: CPU time limit exceeded, terminating
% 290.23/281.67 eprover: CPU time limit exceeded, terminating
% 292.28/283.68 eprover: CPU time limit exceeded, terminating
% 294.38/285.69 eprover: CPU time limit exceeded, terminating
% 296.40/287.71 eprover: CPU time limit exceeded, terminating
% 298.51/289.73 eprover: CPU time limit exceeded, terminating
% 300.01/291.15 eprover: CPU time limit exceeded, terminating
% 300.01/291.17 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------