TSTP Solution File: CSR058+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR058+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n023.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:40 EDT 2022
% Result : Timeout 286.93s 261.77s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR058+3 : TPTP v8.1.0. Released v3.4.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n023.cluster.edu
% 0.14/0.34 % Model : x86_64 x86_64
% 0.14/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.34 % Memory : 8042.1875MB
% 0.14/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.34 % CPULimit : 300
% 0.14/0.34 % WCLimit : 600
% 0.14/0.34 % DateTime : Thu Jun 9 16:45:52 EDT 2022
% 0.14/0.34 % CPUTime :
% 4.23/4.32 eprover: CPU time limit exceeded, terminating
% 6.41/6.33 eprover: CPU time limit exceeded, terminating
% 8.62/8.35 eprover: CPU time limit exceeded, terminating
% 10.78/10.36 eprover: CPU time limit exceeded, terminating
% 12.97/12.37 eprover: CPU time limit exceeded, terminating
% 15.11/14.38 eprover: CPU time limit exceeded, terminating
% 17.34/16.39 eprover: CPU time limit exceeded, terminating
% 19.47/18.40 eprover: CPU time limit exceeded, terminating
% 21.68/20.42 eprover: CPU time limit exceeded, terminating
% 23.89/22.43 eprover: CPU time limit exceeded, terminating
% 26.04/24.44 eprover: CPU time limit exceeded, terminating
% 28.25/26.45 eprover: CPU time limit exceeded, terminating
% 30.43/28.46 eprover: CPU time limit exceeded, terminating
% 32.62/30.48 eprover: CPU time limit exceeded, terminating
% 34.82/32.49 eprover: CPU time limit exceeded, terminating
% 36.97/34.50 eprover: CPU time limit exceeded, terminating
% 39.16/36.51 eprover: CPU time limit exceeded, terminating
% 41.36/38.53 eprover: CPU time limit exceeded, terminating
% 43.48/40.54 eprover: CPU time limit exceeded, terminating
% 45.70/42.55 eprover: CPU time limit exceeded, terminating
% 47.85/44.56 eprover: CPU time limit exceeded, terminating
% 50.05/46.57 eprover: CPU time limit exceeded, terminating
% 52.30/48.59 eprover: CPU time limit exceeded, terminating
% 54.45/50.60 eprover: CPU time limit exceeded, terminating
% 56.67/52.61 eprover: CPU time limit exceeded, terminating
% 58.79/54.62 eprover: CPU time limit exceeded, terminating
% 61.03/56.63 eprover: CPU time limit exceeded, terminating
% 63.18/58.64 eprover: CPU time limit exceeded, terminating
% 65.33/60.66 eprover: CPU time limit exceeded, terminating
% 67.55/62.67 eprover: CPU time limit exceeded, terminating
% 69.76/64.68 eprover: CPU time limit exceeded, terminating
% 71.89/66.69 eprover: CPU time limit exceeded, terminating
% 74.13/68.70 eprover: CPU time limit exceeded, terminating
% 76.31/70.71 eprover: CPU time limit exceeded, terminating
% 78.45/72.73 eprover: CPU time limit exceeded, terminating
% 80.66/74.74 eprover: CPU time limit exceeded, terminating
% 82.80/76.75 eprover: CPU time limit exceeded, terminating
% 85.02/78.76 eprover: CPU time limit exceeded, terminating
% 87.16/80.77 eprover: CPU time limit exceeded, terminating
% 89.40/82.79 eprover: CPU time limit exceeded, terminating
% 91.61/84.80 eprover: CPU time limit exceeded, terminating
% 93.73/86.81 eprover: CPU time limit exceeded, terminating
% 95.97/88.82 eprover: CPU time limit exceeded, terminating
% 98.17/90.83 eprover: CPU time limit exceeded, terminating
% 100.30/92.84 eprover: CPU time limit exceeded, terminating
% 102.49/94.86 eprover: CPU time limit exceeded, terminating
% 104.67/96.87 eprover: CPU time limit exceeded, terminating
% 106.85/98.88 eprover: CPU time limit exceeded, terminating
% 109.03/100.89 eprover: CPU time limit exceeded, terminating
% 111.18/102.90 eprover: CPU time limit exceeded, terminating
% 113.41/104.91 eprover: CPU time limit exceeded, terminating
% 115.59/106.93 eprover: CPU time limit exceeded, terminating
% 117.80/108.94 eprover: CPU time limit exceeded, terminating
% 119.96/110.95 eprover: CPU time limit exceeded, terminating
% 122.09/112.96 eprover: CPU time limit exceeded, terminating
% 124.25/114.97 eprover: CPU time limit exceeded, terminating
% 126.51/116.99 eprover: CPU time limit exceeded, terminating
% 128.69/119.00 eprover: CPU time limit exceeded, terminating
% 130.87/121.01 eprover: CPU time limit exceeded, terminating
% 133.07/123.02 eprover: CPU time limit exceeded, terminating
% 135.25/125.03 eprover: CPU time limit exceeded, terminating
% 137.35/127.04 eprover: CPU time limit exceeded, terminating
% 139.58/129.05 eprover: CPU time limit exceeded, terminating
% 141.76/131.06 eprover: CPU time limit exceeded, terminating
% 143.88/133.07 eprover: CPU time limit exceeded, terminating
% 146.09/135.08 eprover: CPU time limit exceeded, terminating
% 148.28/137.09 eprover: CPU time limit exceeded, terminating
% 150.47/139.10 eprover: CPU time limit exceeded, terminating
% 152.63/141.11 eprover: CPU time limit exceeded, terminating
% 154.81/143.12 eprover: CPU time limit exceeded, terminating
% 156.98/145.14 eprover: CPU time limit exceeded, terminating
% 159.15/147.15 eprover: CPU time limit exceeded, terminating
% 161.36/149.16 eprover: CPU time limit exceeded, terminating
% 163.56/151.17 eprover: CPU time limit exceeded, terminating
% 165.71/153.18 eprover: CPU time limit exceeded, terminating
% 167.93/155.20 eprover: CPU time limit exceeded, terminating
% 170.02/157.21 eprover: CPU time limit exceeded, terminating
% 172.28/159.22 eprover: CPU time limit exceeded, terminating
% 174.38/161.23 eprover: CPU time limit exceeded, terminating
% 176.61/163.24 eprover: CPU time limit exceeded, terminating
% 178.75/165.25 eprover: CPU time limit exceeded, terminating
% 180.88/167.27 eprover: CPU time limit exceeded, terminating
% 183.06/169.28 eprover: CPU time limit exceeded, terminating
% 187.23/171.29 eprover: CPU time limit exceeded, terminating
% 189.40/173.30 eprover: CPU time limit exceeded, terminating
% 191.49/175.31 eprover: CPU time limit exceeded, terminating
% 193.72/177.32 eprover: CPU time limit exceeded, terminating
% 195.89/179.33 eprover: CPU time limit exceeded, terminating
% 198.06/181.34 eprover: CPU time limit exceeded, terminating
% 200.16/183.35 eprover: CPU time limit exceeded, terminating
% 202.39/185.36 eprover: CPU time limit exceeded, terminating
% 204.55/187.37 eprover: CPU time limit exceeded, terminating
% 206.69/189.38 eprover: CPU time limit exceeded, terminating
% 208.90/191.39 eprover: CPU time limit exceeded, terminating
% 211.02/193.41 eprover: CPU time limit exceeded, terminating
% 213.25/195.42 eprover: CPU time limit exceeded, terminating
% 215.44/197.43 eprover: CPU time limit exceeded, terminating
% 217.61/199.44 eprover: CPU time limit exceeded, terminating
% 219.77/201.45 eprover: CPU time limit exceeded, terminating
% 221.90/203.46 eprover: CPU time limit exceeded, terminating
% 224.10/205.47 eprover: CPU time limit exceeded, terminating
% 226.23/207.48 eprover: CPU time limit exceeded, terminating
% 228.43/209.49 eprover: CPU time limit exceeded, terminating
% 230.58/211.50 eprover: CPU time limit exceeded, terminating
% 232.81/213.51 eprover: CPU time limit exceeded, terminating
% 234.91/215.52 eprover: CPU time limit exceeded, terminating
% 237.12/217.53 eprover: CPU time limit exceeded, terminating
% 239.30/219.54 eprover: CPU time limit exceeded, terminating
% 241.44/221.55 eprover: CPU time limit exceeded, terminating
% 243.65/223.56 eprover: CPU time limit exceeded, terminating
% 245.85/225.58 eprover: CPU time limit exceeded, terminating
% 247.96/227.59 eprover: CPU time limit exceeded, terminating
% 250.20/229.60 eprover: CPU time limit exceeded, terminating
% 252.27/231.61 eprover: CPU time limit exceeded, terminating
% 254.53/233.62 eprover: CPU time limit exceeded, terminating
% 256.69/235.63 eprover: CPU time limit exceeded, terminating
% 258.85/237.64 eprover: CPU time limit exceeded, terminating
% 261.00/239.65 eprover: CPU time limit exceeded, terminating
% 263.16/241.66 eprover: CPU time limit exceeded, terminating
% 265.36/243.67 eprover: CPU time limit exceeded, terminating
% 267.55/245.69 eprover: CPU time limit exceeded, terminating
% 271.72/247.70 eprover: CPU time limit exceeded, terminating
% 273.88/249.71 eprover: CPU time limit exceeded, terminating
% 276.06/251.72 eprover: CPU time limit exceeded, terminating
% 278.22/253.73 eprover: CPU time limit exceeded, terminating
% 280.40/255.74 eprover: CPU time limit exceeded, terminating
% 282.57/257.75 eprover: CPU time limit exceeded, terminating
% 284.73/259.76 eprover: CPU time limit exceeded, terminating
% 286.93/261.77 eprover: CPU time limit exceeded, terminating
% 289.09/263.78 eprover: CPU time limit exceeded, terminating
% 291.26/265.79 eprover: CPU time limit exceeded, terminating
% 293.39/267.80 eprover: CPU time limit exceeded, terminating
% 295.58/269.81 eprover: CPU time limit exceeded, terminating
% 297.79/271.82 eprover: CPU time limit exceeded, terminating
% 299.92/273.83 eprover: CPU time limit exceeded, terminating
% 300.11/273.98 eprover: CPU time limit exceeded, terminating
% 300.11/273.99 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------