TSTP Solution File: NUM758+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM758+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n021.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:28 EDT 2022
% Result : Timeout 285.84s 279.36s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.13 % Problem : NUM758+4 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.13/0.35 % Computer : n021.cluster.edu
% 0.13/0.35 % Model : x86_64 x86_64
% 0.13/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35 % Memory : 8042.1875MB
% 0.13/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35 % CPULimit : 300
% 0.13/0.35 % WCLimit : 600
% 0.13/0.35 % DateTime : Thu Jul 7 19:36:34 EDT 2022
% 0.13/0.35 % CPUTime :
% 3.78/3.96 eprover: CPU time limit exceeded, terminating
% 5.85/5.98 eprover: CPU time limit exceeded, terminating
% 7.95/7.99 eprover: CPU time limit exceeded, terminating
% 10.00/10.00 eprover: CPU time limit exceeded, terminating
% 12.13/12.01 eprover: CPU time limit exceeded, terminating
% 14.20/14.02 eprover: CPU time limit exceeded, terminating
% 16.23/16.03 eprover: CPU time limit exceeded, terminating
% 18.32/18.04 eprover: CPU time limit exceeded, terminating
% 20.41/20.05 eprover: CPU time limit exceeded, terminating
% 22.46/22.06 eprover: CPU time limit exceeded, terminating
% 24.50/24.07 eprover: CPU time limit exceeded, terminating
% 26.57/26.08 eprover: CPU time limit exceeded, terminating
% 28.67/28.09 eprover: CPU time limit exceeded, terminating
% 30.80/30.11 eprover: CPU time limit exceeded, terminating
% 32.88/32.13 eprover: CPU time limit exceeded, terminating
% 34.94/34.13 eprover: CPU time limit exceeded, terminating
% 36.95/36.14 eprover: CPU time limit exceeded, terminating
% 39.01/38.15 eprover: CPU time limit exceeded, terminating
% 41.09/40.16 eprover: CPU time limit exceeded, terminating
% 43.14/42.18 eprover: CPU time limit exceeded, terminating
% 45.18/44.19 eprover: CPU time limit exceeded, terminating
% 47.30/46.19 eprover: CPU time limit exceeded, terminating
% 49.29/48.20 eprover: CPU time limit exceeded, terminating
% 51.45/50.21 eprover: CPU time limit exceeded, terminating
% 53.49/52.22 eprover: CPU time limit exceeded, terminating
% 55.53/54.23 eprover: CPU time limit exceeded, terminating
% 57.59/56.24 eprover: CPU time limit exceeded, terminating
% 59.63/58.25 eprover: CPU time limit exceeded, terminating
% 61.73/60.26 eprover: CPU time limit exceeded, terminating
% 63.73/62.27 eprover: CPU time limit exceeded, terminating
% 65.83/64.28 eprover: CPU time limit exceeded, terminating
% 67.90/66.30 eprover: CPU time limit exceeded, terminating
% 69.95/68.31 eprover: CPU time limit exceeded, terminating
% 72.00/70.32 eprover: CPU time limit exceeded, terminating
% 74.05/72.32 eprover: CPU time limit exceeded, terminating
% 76.09/74.33 eprover: CPU time limit exceeded, terminating
% 78.16/76.34 eprover: CPU time limit exceeded, terminating
% 80.21/78.36 eprover: CPU time limit exceeded, terminating
% 82.26/80.37 eprover: CPU time limit exceeded, terminating
% 84.28/82.38 eprover: CPU time limit exceeded, terminating
% 86.35/84.39 eprover: CPU time limit exceeded, terminating
% 88.38/86.40 eprover: CPU time limit exceeded, terminating
% 90.52/88.41 eprover: CPU time limit exceeded, terminating
% 92.57/90.42 eprover: CPU time limit exceeded, terminating
% 94.60/92.43 eprover: CPU time limit exceeded, terminating
% 96.66/94.44 eprover: CPU time limit exceeded, terminating
% 98.71/96.45 eprover: CPU time limit exceeded, terminating
% 100.73/98.46 eprover: CPU time limit exceeded, terminating
% 102.79/100.47 eprover: CPU time limit exceeded, terminating
% 104.85/102.48 eprover: CPU time limit exceeded, terminating
% 106.86/104.49 eprover: CPU time limit exceeded, terminating
% 109.02/106.50 eprover: CPU time limit exceeded, terminating
% 111.00/108.51 eprover: CPU time limit exceeded, terminating
% 113.14/110.52 eprover: CPU time limit exceeded, terminating
% 115.16/112.53 eprover: CPU time limit exceeded, terminating
% 117.23/114.54 eprover: CPU time limit exceeded, terminating
% 119.26/116.55 eprover: CPU time limit exceeded, terminating
% 121.30/118.56 eprover: CPU time limit exceeded, terminating
% 123.37/120.57 eprover: CPU time limit exceeded, terminating
% 125.43/122.58 eprover: CPU time limit exceeded, terminating
% 127.55/124.59 eprover: CPU time limit exceeded, terminating
% 129.61/126.60 eprover: CPU time limit exceeded, terminating
% 131.56/128.61 eprover: CPU time limit exceeded, terminating
% 133.70/130.62 eprover: CPU time limit exceeded, terminating
% 135.75/132.63 eprover: CPU time limit exceeded, terminating
% 137.81/134.64 eprover: CPU time limit exceeded, terminating
% 139.86/136.65 eprover: CPU time limit exceeded, terminating
% 141.89/138.66 eprover: CPU time limit exceeded, terminating
% 143.93/140.67 eprover: CPU time limit exceeded, terminating
% 145.99/142.68 eprover: CPU time limit exceeded, terminating
% 148.12/144.69 eprover: CPU time limit exceeded, terminating
% 150.17/146.70 eprover: CPU time limit exceeded, terminating
% 152.23/148.71 eprover: CPU time limit exceeded, terminating
% 154.26/150.72 eprover: CPU time limit exceeded, terminating
% 156.32/152.73 eprover: CPU time limit exceeded, terminating
% 158.37/154.74 eprover: CPU time limit exceeded, terminating
% 160.42/156.75 eprover: CPU time limit exceeded, terminating
% 162.49/158.76 eprover: CPU time limit exceeded, terminating
% 164.53/160.77 eprover: CPU time limit exceeded, terminating
% 166.57/162.78 eprover: CPU time limit exceeded, terminating
% 168.62/164.79 eprover: CPU time limit exceeded, terminating
% 170.67/166.80 eprover: CPU time limit exceeded, terminating
% 172.81/168.81 eprover: CPU time limit exceeded, terminating
% 174.84/170.82 eprover: CPU time limit exceeded, terminating
% 176.91/172.83 eprover: CPU time limit exceeded, terminating
% 178.95/174.84 eprover: CPU time limit exceeded, terminating
% 180.97/176.85 eprover: CPU time limit exceeded, terminating
% 183.03/178.86 eprover: CPU time limit exceeded, terminating
% 185.09/180.87 eprover: CPU time limit exceeded, terminating
% 187.12/182.88 eprover: CPU time limit exceeded, terminating
% 189.18/184.89 eprover: CPU time limit exceeded, terminating
% 191.23/186.90 eprover: CPU time limit exceeded, terminating
% 193.36/188.91 eprover: CPU time limit exceeded, terminating
% 195.41/190.92 eprover: CPU time limit exceeded, terminating
% 197.45/192.93 eprover: CPU time limit exceeded, terminating
% 199.52/194.94 eprover: CPU time limit exceeded, terminating
% 201.55/196.95 eprover: CPU time limit exceeded, terminating
% 203.61/198.96 eprover: CPU time limit exceeded, terminating
% 205.66/200.97 eprover: CPU time limit exceeded, terminating
% 207.77/202.98 eprover: CPU time limit exceeded, terminating
% 209.83/204.99 eprover: CPU time limit exceeded, terminating
% 211.88/207.00 eprover: CPU time limit exceeded, terminating
% 213.92/209.01 eprover: CPU time limit exceeded, terminating
% 215.97/211.02 eprover: CPU time limit exceeded, terminating
% 218.04/213.03 eprover: CPU time limit exceeded, terminating
% 220.07/215.04 eprover: CPU time limit exceeded, terminating
% 222.11/217.05 eprover: CPU time limit exceeded, terminating
% 224.17/219.06 eprover: CPU time limit exceeded, terminating
% 226.23/221.07 eprover: CPU time limit exceeded, terminating
% 228.24/223.08 eprover: CPU time limit exceeded, terminating
% 230.31/225.09 eprover: CPU time limit exceeded, terminating
% 232.38/227.10 eprover: CPU time limit exceeded, terminating
% 234.50/229.11 eprover: CPU time limit exceeded, terminating
% 236.52/231.12 eprover: CPU time limit exceeded, terminating
% 238.60/233.13 eprover: CPU time limit exceeded, terminating
% 240.67/235.14 eprover: CPU time limit exceeded, terminating
% 242.69/237.15 eprover: CPU time limit exceeded, terminating
% 244.74/239.16 eprover: CPU time limit exceeded, terminating
% 246.84/241.17 eprover: CPU time limit exceeded, terminating
% 248.82/243.18 eprover: CPU time limit exceeded, terminating
% 250.90/245.19 eprover: CPU time limit exceeded, terminating
% 253.01/247.20 eprover: CPU time limit exceeded, terminating
% 255.04/249.21 eprover: CPU time limit exceeded, terminating
% 257.12/251.22 eprover: CPU time limit exceeded, terminating
% 259.17/253.23 eprover: CPU time limit exceeded, terminating
% 261.20/255.24 eprover: CPU time limit exceeded, terminating
% 263.26/257.25 eprover: CPU time limit exceeded, terminating
% 265.33/259.26 eprover: CPU time limit exceeded, terminating
% 267.36/261.27 eprover: CPU time limit exceeded, terminating
% 269.42/263.28 eprover: CPU time limit exceeded, terminating
% 271.52/265.29 eprover: CPU time limit exceeded, terminating
% 273.52/267.30 eprover: CPU time limit exceeded, terminating
% 275.63/269.31 eprover: CPU time limit exceeded, terminating
% 277.66/271.32 eprover: CPU time limit exceeded, terminating
% 279.73/273.33 eprover: CPU time limit exceeded, terminating
% 281.75/275.34 eprover: CPU time limit exceeded, terminating
% 283.83/277.35 eprover: CPU time limit exceeded, terminating
% 285.84/279.36 eprover: CPU time limit exceeded, terminating
% 287.93/281.37 eprover: CPU time limit exceeded, terminating
% 289.94/283.38 eprover: CPU time limit exceeded, terminating
% 292.04/285.39 eprover: CPU time limit exceeded, terminating
% 294.15/287.40 eprover: CPU time limit exceeded, terminating
% 296.22/289.41 eprover: CPU time limit exceeded, terminating
% 298.22/291.42 eprover: CPU time limit exceeded, terminating
% 300.08/293.19 eprover: CPU time limit exceeded, terminating
% 300.08/293.20 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------