TSTP Solution File: NUM313+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : NUM313+1 : TPTP v8.1.0. Released v3.1.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n013.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:36:02 EDT 2022
% Result : Timeout 287.71s 286.41s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : NUM313+1 : TPTP v8.1.0. Released v3.1.0.
% 0.13/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n013.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 : Wed Jul 6 19:38:29 EDT 2022
% 0.13/0.34 % CPUTime :
% 2.35/2.53 eprover: CPU time limit exceeded, terminating
% 4.36/4.54 eprover: CPU time limit exceeded, terminating
% 6.35/6.55 eprover: CPU time limit exceeded, terminating
% 8.36/8.55 eprover: CPU time limit exceeded, terminating
% 10.41/10.56 eprover: CPU time limit exceeded, terminating
% 12.37/12.57 eprover: CPU time limit exceeded, terminating
% 14.45/14.58 eprover: CPU time limit exceeded, terminating
% 16.49/16.61 eprover: CPU time limit exceeded, terminating
% 18.49/18.62 eprover: CPU time limit exceeded, terminating
% 20.53/20.63 eprover: CPU time limit exceeded, terminating
% 22.50/22.64 eprover: CPU time limit exceeded, terminating
% 24.52/24.65 eprover: CPU time limit exceeded, terminating
% 26.54/26.66 eprover: CPU time limit exceeded, terminating
% 28.62/28.67 eprover: CPU time limit exceeded, terminating
% 30.59/30.68 eprover: CPU time limit exceeded, terminating
% 32.65/32.69 eprover: CPU time limit exceeded, terminating
% 34.67/34.70 eprover: CPU time limit exceeded, terminating
% 36.61/36.71 eprover: CPU time limit exceeded, terminating
% 38.70/38.72 eprover: CPU time limit exceeded, terminating
% 40.71/40.73 eprover: CPU time limit exceeded, terminating
% 42.74/42.74 eprover: CPU time limit exceeded, terminating
% 44.72/44.75 eprover: CPU time limit exceeded, terminating
% 46.76/46.76 eprover: CPU time limit exceeded, terminating
% 48.78/48.77 eprover: CPU time limit exceeded, terminating
% 50.82/50.78 eprover: CPU time limit exceeded, terminating
% 52.81/52.79 eprover: CPU time limit exceeded, terminating
% 54.84/54.80 eprover: CPU time limit exceeded, terminating
% 56.89/56.81 eprover: CPU time limit exceeded, terminating
% 58.85/58.82 eprover: CPU time limit exceeded, terminating
% 60.88/60.83 eprover: CPU time limit exceeded, terminating
% 62.93/62.84 eprover: CPU time limit exceeded, terminating
% 64.96/64.85 eprover: CPU time limit exceeded, terminating
% 66.93/66.87 eprover: CPU time limit exceeded, terminating
% 69.03/68.88 eprover: CPU time limit exceeded, terminating
% 71.02/70.89 eprover: CPU time limit exceeded, terminating
% 73.07/72.91 eprover: CPU time limit exceeded, terminating
% 75.07/74.92 eprover: CPU time limit exceeded, terminating
% 77.12/76.93 eprover: CPU time limit exceeded, terminating
% 79.09/78.95 eprover: CPU time limit exceeded, terminating
% 81.15/80.96 eprover: CPU time limit exceeded, terminating
% 83.17/82.98 eprover: CPU time limit exceeded, terminating
% 85.20/84.99 eprover: CPU time limit exceeded, terminating
% 87.19/87.01 eprover: CPU time limit exceeded, terminating
% 89.23/89.02 eprover: CPU time limit exceeded, terminating
% 91.30/91.03 eprover: CPU time limit exceeded, terminating
% 93.25/93.05 eprover: CPU time limit exceeded, terminating
% 95.32/95.06 eprover: CPU time limit exceeded, terminating
% 97.37/97.08 eprover: CPU time limit exceeded, terminating
% 99.37/99.09 eprover: CPU time limit exceeded, terminating
% 101.38/101.11 eprover: CPU time limit exceeded, terminating
% 103.43/103.12 eprover: CPU time limit exceeded, terminating
% 105.44/105.14 eprover: CPU time limit exceeded, terminating
% 107.43/107.15 eprover: CPU time limit exceeded, terminating
% 109.54/109.16 eprover: CPU time limit exceeded, terminating
% 111.53/111.18 eprover: CPU time limit exceeded, terminating
% 113.56/113.19 eprover: CPU time limit exceeded, terminating
% 115.60/115.20 eprover: CPU time limit exceeded, terminating
% 117.60/117.22 eprover: CPU time limit exceeded, terminating
% 119.56/119.23 eprover: CPU time limit exceeded, terminating
% 121.67/121.24 eprover: CPU time limit exceeded, terminating
% 123.69/123.26 eprover: CPU time limit exceeded, terminating
% 125.71/125.27 eprover: CPU time limit exceeded, terminating
% 127.74/127.29 eprover: CPU time limit exceeded, terminating
% 129.74/129.30 eprover: CPU time limit exceeded, terminating
% 131.77/131.32 eprover: CPU time limit exceeded, terminating
% 133.83/133.33 eprover: CPU time limit exceeded, terminating
% 135.80/135.35 eprover: CPU time limit exceeded, terminating
% 137.89/137.36 eprover: CPU time limit exceeded, terminating
% 139.89/139.38 eprover: CPU time limit exceeded, terminating
% 141.92/141.39 eprover: CPU time limit exceeded, terminating
% 143.91/143.40 eprover: CPU time limit exceeded, terminating
% 145.93/145.42 eprover: CPU time limit exceeded, terminating
% 147.90/147.43 eprover: CPU time limit exceeded, terminating
% 150.03/149.45 eprover: CPU time limit exceeded, terminating
% 152.05/151.46 eprover: CPU time limit exceeded, terminating
% 154.07/153.48 eprover: CPU time limit exceeded, terminating
% 156.11/155.49 eprover: CPU time limit exceeded, terminating
% 158.09/157.51 eprover: CPU time limit exceeded, terminating
% 160.09/159.52 eprover: CPU time limit exceeded, terminating
% 162.09/161.53 eprover: CPU time limit exceeded, terminating
% 164.20/163.55 eprover: CPU time limit exceeded, terminating
% 166.24/165.56 eprover: CPU time limit exceeded, terminating
% 168.25/167.58 eprover: CPU time limit exceeded, terminating
% 170.24/169.59 eprover: CPU time limit exceeded, terminating
% 172.27/171.60 eprover: CPU time limit exceeded, terminating
% 174.25/173.62 eprover: CPU time limit exceeded, terminating
% 176.36/175.63 eprover: CPU time limit exceeded, terminating
% 178.38/177.65 eprover: CPU time limit exceeded, terminating
% 180.40/179.66 eprover: CPU time limit exceeded, terminating
% 182.44/181.68 eprover: CPU time limit exceeded, terminating
% 184.41/183.69 eprover: CPU time limit exceeded, terminating
% 186.45/185.70 eprover: CPU time limit exceeded, terminating
% 188.52/187.72 eprover: CPU time limit exceeded, terminating
% 190.50/189.73 eprover: CPU time limit exceeded, terminating
% 192.56/191.75 eprover: CPU time limit exceeded, terminating
% 194.60/193.76 eprover: CPU time limit exceeded, terminating
% 196.62/195.77 eprover: CPU time limit exceeded, terminating
% 198.63/197.79 eprover: CPU time limit exceeded, terminating
% 200.66/199.80 eprover: CPU time limit exceeded, terminating
% 202.69/201.82 eprover: CPU time limit exceeded, terminating
% 204.64/203.83 eprover: CPU time limit exceeded, terminating
% 206.72/205.84 eprover: CPU time limit exceeded, terminating
% 208.78/207.86 eprover: CPU time limit exceeded, terminating
% 210.79/209.87 eprover: CPU time limit exceeded, terminating
% 212.81/211.89 eprover: CPU time limit exceeded, terminating
% 214.80/213.90 eprover: CPU time limit exceeded, terminating
% 216.83/215.91 eprover: CPU time limit exceeded, terminating
% 218.88/217.93 eprover: CPU time limit exceeded, terminating
% 220.84/219.94 eprover: CPU time limit exceeded, terminating
% 222.91/221.95 eprover: CPU time limit exceeded, terminating
% 224.96/223.97 eprover: CPU time limit exceeded, terminating
% 226.95/225.98 eprover: CPU time limit exceeded, terminating
% 228.99/228.00 eprover: CPU time limit exceeded, terminating
% 230.99/230.01 eprover: CPU time limit exceeded, terminating
% 233.01/232.03 eprover: CPU time limit exceeded, terminating
% 235.05/234.04 eprover: CPU time limit exceeded, terminating
% 237.12/236.05 eprover: CPU time limit exceeded, terminating
% 239.11/238.07 eprover: CPU time limit exceeded, terminating
% 241.16/240.08 eprover: CPU time limit exceeded, terminating
% 243.13/242.10 eprover: CPU time limit exceeded, terminating
% 245.20/244.11 eprover: CPU time limit exceeded, terminating
% 247.23/246.12 eprover: CPU time limit exceeded, terminating
% 249.23/248.14 eprover: CPU time limit exceeded, terminating
% 251.25/250.15 eprover: CPU time limit exceeded, terminating
% 253.29/252.17 eprover: CPU time limit exceeded, terminating
% 255.32/254.18 eprover: CPU time limit exceeded, terminating
% 257.38/256.19 eprover: CPU time limit exceeded, terminating
% 259.37/258.21 eprover: CPU time limit exceeded, terminating
% 261.39/260.22 eprover: CPU time limit exceeded, terminating
% 263.39/262.24 eprover: CPU time limit exceeded, terminating
% 265.46/264.25 eprover: CPU time limit exceeded, terminating
% 267.42/266.27 eprover: CPU time limit exceeded, terminating
% 269.49/268.28 eprover: CPU time limit exceeded, terminating
% 271.52/270.30 eprover: CPU time limit exceeded, terminating
% 273.49/272.31 eprover: CPU time limit exceeded, terminating
% 275.54/274.32 eprover: CPU time limit exceeded, terminating
% 277.61/276.34 eprover: CPU time limit exceeded, terminating
% 279.56/278.35 eprover: CPU time limit exceeded, terminating
% 281.64/280.37 eprover: CPU time limit exceeded, terminating
% 283.69/282.38 eprover: CPU time limit exceeded, terminating
% 285.68/284.40 eprover: CPU time limit exceeded, terminating
% 287.71/286.41 eprover: CPU time limit exceeded, terminating
% 289.75/288.43 eprover: CPU time limit exceeded, terminating
% 291.73/290.44 eprover: CPU time limit exceeded, terminating
% 293.81/292.46 eprover: CPU time limit exceeded, terminating
% 295.82/294.47 eprover: CPU time limit exceeded, terminating
% 297.83/296.48 eprover: CPU time limit exceeded, terminating
% 299.89/298.50 eprover: CPU time limit exceeded, terminating
% 300.08/298.67 eprover: CPU time limit exceeded, terminating
% 300.08/298.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------