TSTP Solution File: NUM783+4 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM783+4 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n014.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:44 EDT 2022
% Result : Timeout 287.52s 277.65s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.11 % Problem : NUM783+4 : TPTP v8.1.0. Released v7.3.0.
% 0.11/0.12 % Command : run_infinox %s
% 0.12/0.32 % Computer : n014.cluster.edu
% 0.12/0.32 % Model : x86_64 x86_64
% 0.12/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.32 % Memory : 8042.1875MB
% 0.12/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.32 % CPULimit : 300
% 0.12/0.32 % WCLimit : 600
% 0.12/0.32 % DateTime : Thu Jul 7 14:03:52 EDT 2022
% 0.12/0.33 % CPUTime :
% 4.32/4.41 eprover: CPU time limit exceeded, terminating
% 6.37/6.42 eprover: CPU time limit exceeded, terminating
% 8.44/8.43 eprover: CPU time limit exceeded, terminating
% 10.51/10.44 eprover: CPU time limit exceeded, terminating
% 12.58/12.45 eprover: CPU time limit exceeded, terminating
% 14.67/14.46 eprover: CPU time limit exceeded, terminating
% 16.75/16.47 eprover: CPU time limit exceeded, terminating
% 18.82/18.48 eprover: CPU time limit exceeded, terminating
% 20.89/20.49 eprover: CPU time limit exceeded, terminating
% 23.06/22.49 eprover: CPU time limit exceeded, terminating
% 25.07/24.50 eprover: CPU time limit exceeded, terminating
% 27.24/26.51 eprover: CPU time limit exceeded, terminating
% 29.31/28.52 eprover: CPU time limit exceeded, terminating
% 31.37/30.53 eprover: CPU time limit exceeded, terminating
% 33.44/32.54 eprover: CPU time limit exceeded, terminating
% 35.53/34.55 eprover: CPU time limit exceeded, terminating
% 37.63/36.56 eprover: CPU time limit exceeded, terminating
% 39.66/38.57 eprover: CPU time limit exceeded, terminating
% 41.75/40.58 eprover: CPU time limit exceeded, terminating
% 43.81/42.58 eprover: CPU time limit exceeded, terminating
% 45.91/44.59 eprover: CPU time limit exceeded, terminating
% 47.97/46.60 eprover: CPU time limit exceeded, terminating
% 50.16/48.61 eprover: CPU time limit exceeded, terminating
% 52.19/50.62 eprover: CPU time limit exceeded, terminating
% 54.30/52.63 eprover: CPU time limit exceeded, terminating
% 56.36/54.64 eprover: CPU time limit exceeded, terminating
% 58.43/56.65 eprover: CPU time limit exceeded, terminating
% 60.49/58.66 eprover: CPU time limit exceeded, terminating
% 62.56/60.67 eprover: CPU time limit exceeded, terminating
% 64.71/62.68 eprover: CPU time limit exceeded, terminating
% 66.72/64.69 eprover: CPU time limit exceeded, terminating
% 68.86/66.69 eprover: CPU time limit exceeded, terminating
% 70.94/68.70 eprover: CPU time limit exceeded, terminating
% 73.03/70.71 eprover: CPU time limit exceeded, terminating
% 75.10/72.72 eprover: CPU time limit exceeded, terminating
% 77.15/74.73 eprover: CPU time limit exceeded, terminating
% 79.24/76.74 eprover: CPU time limit exceeded, terminating
% 81.34/78.75 eprover: CPU time limit exceeded, terminating
% 83.42/80.76 eprover: CPU time limit exceeded, terminating
% 85.48/82.77 eprover: CPU time limit exceeded, terminating
% 87.62/84.78 eprover: CPU time limit exceeded, terminating
% 89.62/86.78 eprover: CPU time limit exceeded, terminating
% 91.77/88.79 eprover: CPU time limit exceeded, terminating
% 93.87/90.80 eprover: CPU time limit exceeded, terminating
% 95.94/92.81 eprover: CPU time limit exceeded, terminating
% 97.99/94.82 eprover: CPU time limit exceeded, terminating
% 100.10/96.83 eprover: CPU time limit exceeded, terminating
% 102.13/98.84 eprover: CPU time limit exceeded, terminating
% 104.24/100.85 eprover: CPU time limit exceeded, terminating
% 106.29/102.86 eprover: CPU time limit exceeded, terminating
% 108.41/104.87 eprover: CPU time limit exceeded, terminating
% 110.44/106.87 eprover: CPU time limit exceeded, terminating
% 112.55/108.88 eprover: CPU time limit exceeded, terminating
% 114.61/110.89 eprover: CPU time limit exceeded, terminating
% 116.71/112.90 eprover: CPU time limit exceeded, terminating
% 118.85/114.91 eprover: CPU time limit exceeded, terminating
% 120.92/116.92 eprover: CPU time limit exceeded, terminating
% 122.98/118.93 eprover: CPU time limit exceeded, terminating
% 125.07/120.94 eprover: CPU time limit exceeded, terminating
% 127.13/122.95 eprover: CPU time limit exceeded, terminating
% 129.22/124.96 eprover: CPU time limit exceeded, terminating
% 131.32/126.97 eprover: CPU time limit exceeded, terminating
% 133.36/128.98 eprover: CPU time limit exceeded, terminating
% 135.52/130.99 eprover: CPU time limit exceeded, terminating
% 137.51/132.99 eprover: CPU time limit exceeded, terminating
% 139.65/135.00 eprover: CPU time limit exceeded, terminating
% 141.77/137.01 eprover: CPU time limit exceeded, terminating
% 143.84/139.02 eprover: CPU time limit exceeded, terminating
% 145.90/141.03 eprover: CPU time limit exceeded, terminating
% 147.96/143.04 eprover: CPU time limit exceeded, terminating
% 150.08/145.05 eprover: CPU time limit exceeded, terminating
% 152.13/147.06 eprover: CPU time limit exceeded, terminating
% 154.23/149.07 eprover: CPU time limit exceeded, terminating
% 156.25/151.08 eprover: CPU time limit exceeded, terminating
% 158.38/153.08 eprover: CPU time limit exceeded, terminating
% 160.50/155.09 eprover: CPU time limit exceeded, terminating
% 162.52/157.10 eprover: CPU time limit exceeded, terminating
% 164.67/159.11 eprover: CPU time limit exceeded, terminating
% 166.71/161.12 eprover: CPU time limit exceeded, terminating
% 168.82/163.13 eprover: CPU time limit exceeded, terminating
% 170.86/165.14 eprover: CPU time limit exceeded, terminating
% 172.95/167.15 eprover: CPU time limit exceeded, terminating
% 175.07/169.16 eprover: CPU time limit exceeded, terminating
% 177.11/171.17 eprover: CPU time limit exceeded, terminating
% 179.19/173.18 eprover: CPU time limit exceeded, terminating
% 181.26/175.18 eprover: CPU time limit exceeded, terminating
% 183.41/177.19 eprover: CPU time limit exceeded, terminating
% 185.49/179.20 eprover: CPU time limit exceeded, terminating
% 187.55/181.21 eprover: CPU time limit exceeded, terminating
% 189.65/183.22 eprover: CPU time limit exceeded, terminating
% 191.75/185.23 eprover: CPU time limit exceeded, terminating
% 193.82/187.24 eprover: CPU time limit exceeded, terminating
% 195.89/189.25 eprover: CPU time limit exceeded, terminating
% 197.93/191.26 eprover: CPU time limit exceeded, terminating
% 200.03/193.27 eprover: CPU time limit exceeded, terminating
% 202.16/195.27 eprover: CPU time limit exceeded, terminating
% 204.18/197.28 eprover: CPU time limit exceeded, terminating
% 206.33/199.29 eprover: CPU time limit exceeded, terminating
% 208.34/201.30 eprover: CPU time limit exceeded, terminating
% 210.50/203.31 eprover: CPU time limit exceeded, terminating
% 212.58/205.32 eprover: CPU time limit exceeded, terminating
% 214.63/207.33 eprover: CPU time limit exceeded, terminating
% 216.68/209.34 eprover: CPU time limit exceeded, terminating
% 218.79/211.35 eprover: CPU time limit exceeded, terminating
% 220.87/213.36 eprover: CPU time limit exceeded, terminating
% 222.92/215.37 eprover: CPU time limit exceeded, terminating
% 225.00/217.37 eprover: CPU time limit exceeded, terminating
% 227.14/219.38 eprover: CPU time limit exceeded, terminating
% 229.24/221.39 eprover: CPU time limit exceeded, terminating
% 231.25/223.40 eprover: CPU time limit exceeded, terminating
% 233.38/225.41 eprover: CPU time limit exceeded, terminating
% 235.47/227.42 eprover: CPU time limit exceeded, terminating
% 237.52/229.43 eprover: CPU time limit exceeded, terminating
% 239.62/231.44 eprover: CPU time limit exceeded, terminating
% 241.70/233.45 eprover: CPU time limit exceeded, terminating
% 243.79/235.46 eprover: CPU time limit exceeded, terminating
% 245.90/237.47 eprover: CPU time limit exceeded, terminating
% 247.94/239.47 eprover: CPU time limit exceeded, terminating
% 250.07/241.48 eprover: CPU time limit exceeded, terminating
% 252.09/243.49 eprover: CPU time limit exceeded, terminating
% 254.24/245.50 eprover: CPU time limit exceeded, terminating
% 256.24/247.51 eprover: CPU time limit exceeded, terminating
% 258.37/249.52 eprover: CPU time limit exceeded, terminating
% 260.46/251.53 eprover: CPU time limit exceeded, terminating
% 262.51/253.54 eprover: CPU time limit exceeded, terminating
% 264.60/255.55 eprover: CPU time limit exceeded, terminating
% 266.69/257.56 eprover: CPU time limit exceeded, terminating
% 268.75/259.56 eprover: CPU time limit exceeded, terminating
% 270.85/261.57 eprover: CPU time limit exceeded, terminating
% 272.91/263.58 eprover: CPU time limit exceeded, terminating
% 275.05/265.59 eprover: CPU time limit exceeded, terminating
% 277.16/267.60 eprover: CPU time limit exceeded, terminating
% 279.23/269.61 eprover: CPU time limit exceeded, terminating
% 281.28/271.62 eprover: CPU time limit exceeded, terminating
% 283.39/273.63 eprover: CPU time limit exceeded, terminating
% 285.43/275.64 eprover: CPU time limit exceeded, terminating
% 287.52/277.65 eprover: CPU time limit exceeded, terminating
% 289.63/279.65 eprover: CPU time limit exceeded, terminating
% 291.67/281.66 eprover: CPU time limit exceeded, terminating
% 293.78/283.67 eprover: CPU time limit exceeded, terminating
% 295.90/285.68 eprover: CPU time limit exceeded, terminating
% 297.97/287.69 eprover: CPU time limit exceeded, terminating
% 299.99/289.70 eprover: CPU time limit exceeded, terminating
% 300.09/289.73 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------