TSTP Solution File: CSR040+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR040+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n015.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 : Fri Jul 15 03:34:26 EDT 2022
% Result : Timeout 286.86s 265.95s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR040+3 : TPTP v8.1.0. Released v3.4.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.12/0.34 % Computer : n015.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 600
% 0.12/0.34 % DateTime : Sat Jun 11 03:19:35 EDT 2022
% 0.12/0.34 % CPUTime :
% 4.29/4.34 eprover: CPU time limit exceeded, terminating
% 6.41/6.34 eprover: CPU time limit exceeded, terminating
% 8.59/8.35 eprover: CPU time limit exceeded, terminating
% 10.77/10.37 eprover: CPU time limit exceeded, terminating
% 12.92/12.38 eprover: CPU time limit exceeded, terminating
% 15.11/14.40 eprover: CPU time limit exceeded, terminating
% 17.29/16.41 eprover: CPU time limit exceeded, terminating
% 19.50/18.42 eprover: CPU time limit exceeded, terminating
% 21.63/20.43 eprover: CPU time limit exceeded, terminating
% 23.81/22.44 eprover: CPU time limit exceeded, terminating
% 25.98/24.45 eprover: CPU time limit exceeded, terminating
% 28.12/26.47 eprover: CPU time limit exceeded, terminating
% 30.35/28.48 eprover: CPU time limit exceeded, terminating
% 32.57/30.50 eprover: CPU time limit exceeded, terminating
% 34.74/32.51 eprover: CPU time limit exceeded, terminating
% 36.90/34.52 eprover: CPU time limit exceeded, terminating
% 39.09/36.53 eprover: CPU time limit exceeded, terminating
% 41.23/38.55 eprover: CPU time limit exceeded, terminating
% 43.40/40.56 eprover: CPU time limit exceeded, terminating
% 45.55/42.58 eprover: CPU time limit exceeded, terminating
% 47.74/44.59 eprover: CPU time limit exceeded, terminating
% 49.90/46.60 eprover: CPU time limit exceeded, terminating
% 52.18/48.61 eprover: CPU time limit exceeded, terminating
% 54.34/50.63 eprover: CPU time limit exceeded, terminating
% 56.53/52.64 eprover: CPU time limit exceeded, terminating
% 58.65/54.66 eprover: CPU time limit exceeded, terminating
% 60.84/56.67 eprover: CPU time limit exceeded, terminating
% 63.01/58.68 eprover: CPU time limit exceeded, terminating
% 65.27/60.70 eprover: CPU time limit exceeded, terminating
% 67.42/62.72 eprover: CPU time limit exceeded, terminating
% 69.59/64.74 eprover: CPU time limit exceeded, terminating
% 71.76/66.75 eprover: CPU time limit exceeded, terminating
% 73.94/68.76 eprover: CPU time limit exceeded, terminating
% 76.09/70.77 eprover: CPU time limit exceeded, terminating
% 78.25/72.78 eprover: CPU time limit exceeded, terminating
% 80.42/74.79 eprover: CPU time limit exceeded, terminating
% 82.66/76.80 eprover: CPU time limit exceeded, terminating
% 84.81/78.82 eprover: CPU time limit exceeded, terminating
% 87.00/80.83 eprover: CPU time limit exceeded, terminating
% 89.19/82.84 eprover: CPU time limit exceeded, terminating
% 91.33/84.86 eprover: CPU time limit exceeded, terminating
% 93.52/86.87 eprover: CPU time limit exceeded, terminating
% 95.68/88.88 eprover: CPU time limit exceeded, terminating
% 97.86/90.89 eprover: CPU time limit exceeded, terminating
% 100.09/92.90 eprover: CPU time limit exceeded, terminating
% 102.24/94.94 eprover: CPU time limit exceeded, terminating
% 104.34/96.95 eprover: CPU time limit exceeded, terminating
% 106.57/98.97 eprover: CPU time limit exceeded, terminating
% 108.77/100.98 eprover: CPU time limit exceeded, terminating
% 110.87/103.00 eprover: CPU time limit exceeded, terminating
% 113.09/105.01 eprover: CPU time limit exceeded, terminating
% 115.27/107.02 eprover: CPU time limit exceeded, terminating
% 117.44/109.03 eprover: CPU time limit exceeded, terminating
% 119.63/111.05 eprover: CPU time limit exceeded, terminating
% 121.77/113.06 eprover: CPU time limit exceeded, terminating
% 123.96/115.08 eprover: CPU time limit exceeded, terminating
% 126.16/117.10 eprover: CPU time limit exceeded, terminating
% 128.38/119.11 eprover: CPU time limit exceeded, terminating
% 130.48/121.12 eprover: CPU time limit exceeded, terminating
% 132.71/123.13 eprover: CPU time limit exceeded, terminating
% 134.84/125.14 eprover: CPU time limit exceeded, terminating
% 137.06/127.15 eprover: CPU time limit exceeded, terminating
% 139.19/129.16 eprover: CPU time limit exceeded, terminating
% 141.39/131.18 eprover: CPU time limit exceeded, terminating
% 143.60/133.19 eprover: CPU time limit exceeded, terminating
% 145.70/135.21 eprover: CPU time limit exceeded, terminating
% 147.91/137.22 eprover: CPU time limit exceeded, terminating
% 150.12/139.24 eprover: CPU time limit exceeded, terminating
% 152.29/141.24 eprover: CPU time limit exceeded, terminating
% 154.45/143.25 eprover: CPU time limit exceeded, terminating
% 156.64/145.27 eprover: CPU time limit exceeded, terminating
% 158.84/147.28 eprover: CPU time limit exceeded, terminating
% 161.04/149.29 eprover: CPU time limit exceeded, terminating
% 163.19/151.30 eprover: CPU time limit exceeded, terminating
% 165.34/153.32 eprover: CPU time limit exceeded, terminating
% 167.54/155.33 eprover: CPU time limit exceeded, terminating
% 169.72/157.37 eprover: CPU time limit exceeded, terminating
% 171.88/159.39 eprover: CPU time limit exceeded, terminating
% 174.09/161.40 eprover: CPU time limit exceeded, terminating
% 176.28/163.41 eprover: CPU time limit exceeded, terminating
% 178.45/165.41 eprover: CPU time limit exceeded, terminating
% 180.62/167.43 eprover: CPU time limit exceeded, terminating
% 182.78/169.44 eprover: CPU time limit exceeded, terminating
% 184.92/171.45 eprover: CPU time limit exceeded, terminating
% 187.02/173.46 eprover: CPU time limit exceeded, terminating
% 189.17/175.47 eprover: CPU time limit exceeded, terminating
% 191.37/177.49 eprover: CPU time limit exceeded, terminating
% 193.58/179.50 eprover: CPU time limit exceeded, terminating
% 195.68/181.51 eprover: CPU time limit exceeded, terminating
% 197.92/183.52 eprover: CPU time limit exceeded, terminating
% 200.10/185.53 eprover: CPU time limit exceeded, terminating
% 202.27/187.54 eprover: CPU time limit exceeded, terminating
% 204.41/189.55 eprover: CPU time limit exceeded, terminating
% 206.53/191.56 eprover: CPU time limit exceeded, terminating
% 208.70/193.57 eprover: CPU time limit exceeded, terminating
% 210.94/195.58 eprover: CPU time limit exceeded, terminating
% 213.04/197.59 eprover: CPU time limit exceeded, terminating
% 215.28/199.60 eprover: CPU time limit exceeded, terminating
% 217.46/201.61 eprover: CPU time limit exceeded, terminating
% 219.60/203.62 eprover: CPU time limit exceeded, terminating
% 221.78/205.63 eprover: CPU time limit exceeded, terminating
% 223.93/207.64 eprover: CPU time limit exceeded, terminating
% 226.10/209.65 eprover: CPU time limit exceeded, terminating
% 228.25/211.67 eprover: CPU time limit exceeded, terminating
% 230.49/213.67 eprover: CPU time limit exceeded, terminating
% 232.59/215.68 eprover: CPU time limit exceeded, terminating
% 234.83/217.69 eprover: CPU time limit exceeded, terminating
% 236.92/219.70 eprover: CPU time limit exceeded, terminating
% 239.17/221.71 eprover: CPU time limit exceeded, terminating
% 241.34/223.72 eprover: CPU time limit exceeded, terminating
% 243.46/225.73 eprover: CPU time limit exceeded, terminating
% 245.63/227.74 eprover: CPU time limit exceeded, terminating
% 247.77/229.75 eprover: CPU time limit exceeded, terminating
% 249.96/231.77 eprover: CPU time limit exceeded, terminating
% 252.11/233.78 eprover: CPU time limit exceeded, terminating
% 254.34/235.79 eprover: CPU time limit exceeded, terminating
% 256.53/237.80 eprover: CPU time limit exceeded, terminating
% 258.71/239.81 eprover: CPU time limit exceeded, terminating
% 260.88/241.82 eprover: CPU time limit exceeded, terminating
% 263.03/243.83 eprover: CPU time limit exceeded, terminating
% 265.20/245.85 eprover: CPU time limit exceeded, terminating
% 267.35/247.86 eprover: CPU time limit exceeded, terminating
% 269.49/249.87 eprover: CPU time limit exceeded, terminating
% 271.68/251.88 eprover: CPU time limit exceeded, terminating
% 273.82/253.89 eprover: CPU time limit exceeded, terminating
% 275.96/255.90 eprover: CPU time limit exceeded, terminating
% 278.23/257.91 eprover: CPU time limit exceeded, terminating
% 280.40/259.92 eprover: CPU time limit exceeded, terminating
% 282.55/261.93 eprover: CPU time limit exceeded, terminating
% 284.70/263.94 eprover: CPU time limit exceeded, terminating
% 286.86/265.95 eprover: CPU time limit exceeded, terminating
% 289.05/267.96 eprover: CPU time limit exceeded, terminating
% 291.18/269.97 eprover: CPU time limit exceeded, terminating
% 293.35/271.98 eprover: CPU time limit exceeded, terminating
% 295.53/273.99 eprover: CPU time limit exceeded, terminating
% 297.75/276.01 eprover: CPU time limit exceeded, terminating
% 299.96/278.02 eprover: CPU time limit exceeded, terminating
% 300.12/278.20 eprover: CPU time limit exceeded, terminating
% 300.12/278.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------