TSTP Solution File: SYN906-1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : SYN906-1 : TPTP v8.1.0. Released v2.5.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n018.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 : Thu Jul 21 07:08:21 EDT 2022
% Result : Timeout 287.30s 286.05s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.11 % Problem : SYN906-1 : TPTP v8.1.0. Released v2.5.0.
% 0.07/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n018.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Mon Jul 11 17:16:29 EDT 2022
% 0.12/0.33 % CPUTime :
% 2.41/2.60 eprover: CPU time limit exceeded, terminating
% 4.41/4.61 eprover: CPU time limit exceeded, terminating
% 6.47/6.62 eprover: CPU time limit exceeded, terminating
% 8.44/8.63 eprover: CPU time limit exceeded, terminating
% 10.46/10.64 eprover: CPU time limit exceeded, terminating
% 12.52/12.65 eprover: CPU time limit exceeded, terminating
% 14.53/14.66 eprover: CPU time limit exceeded, terminating
% 16.54/16.66 eprover: CPU time limit exceeded, terminating
% 18.55/18.67 eprover: CPU time limit exceeded, terminating
% 20.57/20.68 eprover: CPU time limit exceeded, terminating
% 22.60/22.69 eprover: CPU time limit exceeded, terminating
% 24.60/24.70 eprover: CPU time limit exceeded, terminating
% 26.67/26.71 eprover: CPU time limit exceeded, terminating
% 28.68/28.72 eprover: CPU time limit exceeded, terminating
% 30.67/30.73 eprover: CPU time limit exceeded, terminating
% 32.73/32.74 eprover: CPU time limit exceeded, terminating
% 34.70/34.75 eprover: CPU time limit exceeded, terminating
% 36.75/36.76 eprover: CPU time limit exceeded, terminating
% 38.72/38.77 eprover: CPU time limit exceeded, terminating
% 40.76/40.78 eprover: CPU time limit exceeded, terminating
% 42.83/42.78 eprover: CPU time limit exceeded, terminating
% 44.86/44.79 eprover: CPU time limit exceeded, terminating
% 46.86/46.80 eprover: CPU time limit exceeded, terminating
% 48.89/48.81 eprover: CPU time limit exceeded, terminating
% 50.92/50.82 eprover: CPU time limit exceeded, terminating
% 52.93/52.83 eprover: CPU time limit exceeded, terminating
% 54.94/54.84 eprover: CPU time limit exceeded, terminating
% 56.94/56.85 eprover: CPU time limit exceeded, terminating
% 58.96/58.86 eprover: CPU time limit exceeded, terminating
% 60.99/60.87 eprover: CPU time limit exceeded, terminating
% 63.01/62.88 eprover: CPU time limit exceeded, terminating
% 65.01/64.89 eprover: CPU time limit exceeded, terminating
% 67.08/66.90 eprover: CPU time limit exceeded, terminating
% 69.11/68.91 eprover: CPU time limit exceeded, terminating
% 71.08/70.92 eprover: CPU time limit exceeded, terminating
% 73.15/72.93 eprover: CPU time limit exceeded, terminating
% 75.16/74.94 eprover: CPU time limit exceeded, terminating
% 77.19/76.95 eprover: CPU time limit exceeded, terminating
% 79.17/78.96 eprover: CPU time limit exceeded, terminating
% 81.21/80.97 eprover: CPU time limit exceeded, terminating
% 83.20/82.98 eprover: CPU time limit exceeded, terminating
% 85.23/84.99 eprover: CPU time limit exceeded, terminating
% 87.27/87.00 eprover: CPU time limit exceeded, terminating
% 89.24/89.01 eprover: CPU time limit exceeded, terminating
% 91.29/91.02 eprover: CPU time limit exceeded, terminating
% 93.35/93.03 eprover: CPU time limit exceeded, terminating
% 95.33/95.04 eprover: CPU time limit exceeded, terminating
% 97.38/97.05 eprover: CPU time limit exceeded, terminating
% 99.36/99.06 eprover: CPU time limit exceeded, terminating
% 101.40/101.07 eprover: CPU time limit exceeded, terminating
% 103.37/103.09 eprover: CPU time limit exceeded, terminating
% 105.41/105.09 eprover: CPU time limit exceeded, terminating
% 107.49/107.10 eprover: CPU time limit exceeded, terminating
% 109.49/109.12 eprover: CPU time limit exceeded, terminating
% 111.51/111.13 eprover: CPU time limit exceeded, terminating
% 113.51/113.14 eprover: CPU time limit exceeded, terminating
% 115.52/115.15 eprover: CPU time limit exceeded, terminating
% 117.53/117.16 eprover: CPU time limit exceeded, terminating
% 119.54/119.17 eprover: CPU time limit exceeded, terminating
% 121.55/121.18 eprover: CPU time limit exceeded, terminating
% 123.65/123.19 eprover: CPU time limit exceeded, terminating
% 125.65/125.20 eprover: CPU time limit exceeded, terminating
% 127.65/127.21 eprover: CPU time limit exceeded, terminating
% 129.69/129.23 eprover: CPU time limit exceeded, terminating
% 131.71/131.24 eprover: CPU time limit exceeded, terminating
% 133.66/133.25 eprover: CPU time limit exceeded, terminating
% 135.70/135.26 eprover: CPU time limit exceeded, terminating
% 137.72/137.27 eprover: CPU time limit exceeded, terminating
% 139.77/139.28 eprover: CPU time limit exceeded, terminating
% 141.82/141.29 eprover: CPU time limit exceeded, terminating
% 143.84/143.30 eprover: CPU time limit exceeded, terminating
% 145.81/145.32 eprover: CPU time limit exceeded, terminating
% 147.81/147.33 eprover: CPU time limit exceeded, terminating
% 149.85/149.34 eprover: CPU time limit exceeded, terminating
% 151.88/151.37 eprover: CPU time limit exceeded, terminating
% 153.91/153.39 eprover: CPU time limit exceeded, terminating
% 155.92/155.42 eprover: CPU time limit exceeded, terminating
% 157.88/157.43 eprover: CPU time limit exceeded, terminating
% 159.99/159.44 eprover: CPU time limit exceeded, terminating
% 162.01/161.45 eprover: CPU time limit exceeded, terminating
% 164.02/163.47 eprover: CPU time limit exceeded, terminating
% 166.03/165.48 eprover: CPU time limit exceeded, terminating
% 168.05/167.49 eprover: CPU time limit exceeded, terminating
% 170.06/169.50 eprover: CPU time limit exceeded, terminating
% 172.05/171.51 eprover: CPU time limit exceeded, terminating
% 174.12/173.52 eprover: CPU time limit exceeded, terminating
% 176.09/175.54 eprover: CPU time limit exceeded, terminating
% 178.13/177.54 eprover: CPU time limit exceeded, terminating
% 180.18/179.55 eprover: CPU time limit exceeded, terminating
% 182.17/181.57 eprover: CPU time limit exceeded, terminating
% 184.22/183.58 eprover: CPU time limit exceeded, terminating
% 186.20/185.60 eprover: CPU time limit exceeded, terminating
% 188.25/187.61 eprover: CPU time limit exceeded, terminating
% 190.28/189.62 eprover: CPU time limit exceeded, terminating
% 192.28/191.63 eprover: CPU time limit exceeded, terminating
% 194.29/193.64 eprover: CPU time limit exceeded, terminating
% 196.32/195.65 eprover: CPU time limit exceeded, terminating
% 198.37/197.65 eprover: CPU time limit exceeded, terminating
% 200.36/199.66 eprover: CPU time limit exceeded, terminating
% 202.39/201.67 eprover: CPU time limit exceeded, terminating
% 204.38/203.68 eprover: CPU time limit exceeded, terminating
% 206.42/205.69 eprover: CPU time limit exceeded, terminating
% 208.43/207.70 eprover: CPU time limit exceeded, terminating
% 210.46/209.71 eprover: CPU time limit exceeded, terminating
% 212.49/211.72 eprover: CPU time limit exceeded, terminating
% 214.51/213.72 eprover: CPU time limit exceeded, terminating
% 216.54/215.73 eprover: CPU time limit exceeded, terminating
% 218.58/217.74 eprover: CPU time limit exceeded, terminating
% 220.60/219.75 eprover: CPU time limit exceeded, terminating
% 222.61/221.76 eprover: CPU time limit exceeded, terminating
% 224.64/223.77 eprover: CPU time limit exceeded, terminating
% 226.63/225.78 eprover: CPU time limit exceeded, terminating
% 228.67/227.79 eprover: CPU time limit exceeded, terminating
% 230.72/229.80 eprover: CPU time limit exceeded, terminating
% 232.74/231.81 eprover: CPU time limit exceeded, terminating
% 234.75/233.82 eprover: CPU time limit exceeded, terminating
% 236.76/235.82 eprover: CPU time limit exceeded, terminating
% 238.80/237.83 eprover: CPU time limit exceeded, terminating
% 240.82/239.84 eprover: CPU time limit exceeded, terminating
% 242.86/241.85 eprover: CPU time limit exceeded, terminating
% 244.79/243.86 eprover: CPU time limit exceeded, terminating
% 246.87/245.87 eprover: CPU time limit exceeded, terminating
% 248.90/247.88 eprover: CPU time limit exceeded, terminating
% 250.88/249.89 eprover: CPU time limit exceeded, terminating
% 252.95/251.90 eprover: CPU time limit exceeded, terminating
% 254.97/253.91 eprover: CPU time limit exceeded, terminating
% 256.98/255.92 eprover: CPU time limit exceeded, terminating
% 259.02/257.92 eprover: CPU time limit exceeded, terminating
% 261.06/259.93 eprover: CPU time limit exceeded, terminating
% 263.06/261.94 eprover: CPU time limit exceeded, terminating
% 265.02/263.95 eprover: CPU time limit exceeded, terminating
% 267.07/265.96 eprover: CPU time limit exceeded, terminating
% 269.14/267.97 eprover: CPU time limit exceeded, terminating
% 271.15/269.98 eprover: CPU time limit exceeded, terminating
% 273.16/271.99 eprover: CPU time limit exceeded, terminating
% 275.18/274.00 eprover: CPU time limit exceeded, terminating
% 277.17/276.01 eprover: CPU time limit exceeded, terminating
% 279.24/278.01 eprover: CPU time limit exceeded, terminating
% 281.19/280.02 eprover: CPU time limit exceeded, terminating
% 283.27/282.03 eprover: CPU time limit exceeded, terminating
% 285.24/284.04 eprover: CPU time limit exceeded, terminating
% 287.30/286.05 eprover: CPU time limit exceeded, terminating
% 289.33/288.06 eprover: CPU time limit exceeded, terminating
% 291.36/290.07 eprover: CPU time limit exceeded, terminating
% 293.35/292.08 eprover: CPU time limit exceeded, terminating
% 295.36/294.08 eprover: CPU time limit exceeded, terminating
% 297.43/296.09 eprover: CPU time limit exceeded, terminating
% 299.46/298.10 eprover: CPU time limit exceeded, terminating
% 300.04/298.68 eprover: CPU time limit exceeded, terminating
% 300.04/298.69 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------