TSTP Solution File: CSR056+3 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR056+3 : TPTP v8.1.0. Released v3.4.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n022.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:38 EDT 2022
% Result : Timeout 287.52s 265.89s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.12/0.12 % Problem : CSR056+3 : TPTP v8.1.0. Released v3.4.0.
% 0.12/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n022.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 : Thu Jun 9 16:40:04 EDT 2022
% 0.13/0.34 % CPUTime :
% 4.34/4.34 eprover: CPU time limit exceeded, terminating
% 6.44/6.35 eprover: CPU time limit exceeded, terminating
% 8.61/8.36 eprover: CPU time limit exceeded, terminating
% 10.85/10.37 eprover: CPU time limit exceeded, terminating
% 12.98/12.39 eprover: CPU time limit exceeded, terminating
% 15.20/14.40 eprover: CPU time limit exceeded, terminating
% 17.28/16.41 eprover: CPU time limit exceeded, terminating
% 19.56/18.42 eprover: CPU time limit exceeded, terminating
% 21.72/20.43 eprover: CPU time limit exceeded, terminating
% 23.92/22.45 eprover: CPU time limit exceeded, terminating
% 26.06/24.46 eprover: CPU time limit exceeded, terminating
% 28.26/26.47 eprover: CPU time limit exceeded, terminating
% 30.49/28.48 eprover: CPU time limit exceeded, terminating
% 32.68/30.49 eprover: CPU time limit exceeded, terminating
% 34.84/32.50 eprover: CPU time limit exceeded, terminating
% 37.04/34.52 eprover: CPU time limit exceeded, terminating
% 39.19/36.53 eprover: CPU time limit exceeded, terminating
% 41.38/38.54 eprover: CPU time limit exceeded, terminating
% 43.56/40.55 eprover: CPU time limit exceeded, terminating
% 45.76/42.57 eprover: CPU time limit exceeded, terminating
% 47.91/44.58 eprover: CPU time limit exceeded, terminating
% 50.12/46.59 eprover: CPU time limit exceeded, terminating
% 52.35/48.61 eprover: CPU time limit exceeded, terminating
% 54.48/50.62 eprover: CPU time limit exceeded, terminating
% 56.70/52.63 eprover: CPU time limit exceeded, terminating
% 58.91/54.64 eprover: CPU time limit exceeded, terminating
% 61.10/56.66 eprover: CPU time limit exceeded, terminating
% 63.27/58.67 eprover: CPU time limit exceeded, terminating
% 65.48/60.68 eprover: CPU time limit exceeded, terminating
% 67.61/62.69 eprover: CPU time limit exceeded, terminating
% 69.82/64.70 eprover: CPU time limit exceeded, terminating
% 72.01/66.71 eprover: CPU time limit exceeded, terminating
% 74.18/68.72 eprover: CPU time limit exceeded, terminating
% 76.35/70.73 eprover: CPU time limit exceeded, terminating
% 78.50/72.74 eprover: CPU time limit exceeded, terminating
% 80.67/74.75 eprover: CPU time limit exceeded, terminating
% 82.87/76.77 eprover: CPU time limit exceeded, terminating
% 84.99/78.78 eprover: CPU time limit exceeded, terminating
% 87.27/80.79 eprover: CPU time limit exceeded, terminating
% 89.46/82.80 eprover: CPU time limit exceeded, terminating
% 91.60/84.81 eprover: CPU time limit exceeded, terminating
% 93.76/86.82 eprover: CPU time limit exceeded, terminating
% 95.92/88.83 eprover: CPU time limit exceeded, terminating
% 98.07/90.84 eprover: CPU time limit exceeded, terminating
% 100.27/92.86 eprover: CPU time limit exceeded, terminating
% 102.44/94.87 eprover: CPU time limit exceeded, terminating
% 104.58/96.88 eprover: CPU time limit exceeded, terminating
% 106.72/98.89 eprover: CPU time limit exceeded, terminating
% 109.00/100.90 eprover: CPU time limit exceeded, terminating
% 111.15/102.91 eprover: CPU time limit exceeded, terminating
% 113.35/104.92 eprover: CPU time limit exceeded, terminating
% 115.55/106.94 eprover: CPU time limit exceeded, terminating
% 117.66/108.95 eprover: CPU time limit exceeded, terminating
% 119.90/110.96 eprover: CPU time limit exceeded, terminating
% 122.02/112.97 eprover: CPU time limit exceeded, terminating
% 124.18/114.98 eprover: CPU time limit exceeded, terminating
% 126.41/116.99 eprover: CPU time limit exceeded, terminating
% 128.52/119.01 eprover: CPU time limit exceeded, terminating
% 130.73/121.02 eprover: CPU time limit exceeded, terminating
% 132.92/123.03 eprover: CPU time limit exceeded, terminating
% 135.11/125.04 eprover: CPU time limit exceeded, terminating
% 137.25/127.05 eprover: CPU time limit exceeded, terminating
% 139.41/129.06 eprover: CPU time limit exceeded, terminating
% 141.58/131.08 eprover: CPU time limit exceeded, terminating
% 143.80/133.09 eprover: CPU time limit exceeded, terminating
% 145.98/135.10 eprover: CPU time limit exceeded, terminating
% 148.08/137.11 eprover: CPU time limit exceeded, terminating
% 150.32/139.12 eprover: CPU time limit exceeded, terminating
% 152.47/141.13 eprover: CPU time limit exceeded, terminating
% 154.68/143.15 eprover: CPU time limit exceeded, terminating
% 156.82/145.16 eprover: CPU time limit exceeded, terminating
% 159.06/147.17 eprover: CPU time limit exceeded, terminating
% 161.15/149.18 eprover: CPU time limit exceeded, terminating
% 163.32/151.20 eprover: CPU time limit exceeded, terminating
% 165.58/153.21 eprover: CPU time limit exceeded, terminating
% 167.75/155.22 eprover: CPU time limit exceeded, terminating
% 169.92/157.23 eprover: CPU time limit exceeded, terminating
% 172.07/159.24 eprover: CPU time limit exceeded, terminating
% 174.22/161.25 eprover: CPU time limit exceeded, terminating
% 176.39/163.27 eprover: CPU time limit exceeded, terminating
% 178.59/165.28 eprover: CPU time limit exceeded, terminating
% 180.72/167.29 eprover: CPU time limit exceeded, terminating
% 182.97/169.30 eprover: CPU time limit exceeded, terminating
% 185.15/171.31 eprover: CPU time limit exceeded, terminating
% 187.32/173.33 eprover: CPU time limit exceeded, terminating
% 189.51/175.34 eprover: CPU time limit exceeded, terminating
% 191.64/177.35 eprover: CPU time limit exceeded, terminating
% 193.80/179.36 eprover: CPU time limit exceeded, terminating
% 195.97/181.38 eprover: CPU time limit exceeded, terminating
% 198.22/183.39 eprover: CPU time limit exceeded, terminating
% 200.39/185.40 eprover: CPU time limit exceeded, terminating
% 202.57/187.41 eprover: CPU time limit exceeded, terminating
% 204.75/189.43 eprover: CPU time limit exceeded, terminating
% 206.88/191.44 eprover: CPU time limit exceeded, terminating
% 209.07/193.45 eprover: CPU time limit exceeded, terminating
% 211.23/195.46 eprover: CPU time limit exceeded, terminating
% 213.46/197.47 eprover: CPU time limit exceeded, terminating
% 215.56/199.49 eprover: CPU time limit exceeded, terminating
% 217.76/201.50 eprover: CPU time limit exceeded, terminating
% 220.00/203.51 eprover: CPU time limit exceeded, terminating
% 222.14/205.52 eprover: CPU time limit exceeded, terminating
% 224.31/207.54 eprover: CPU time limit exceeded, terminating
% 226.50/209.55 eprover: CPU time limit exceeded, terminating
% 228.64/211.56 eprover: CPU time limit exceeded, terminating
% 230.82/213.57 eprover: CPU time limit exceeded, terminating
% 232.96/215.59 eprover: CPU time limit exceeded, terminating
% 235.24/217.60 eprover: CPU time limit exceeded, terminating
% 237.41/219.61 eprover: CPU time limit exceeded, terminating
% 239.59/221.62 eprover: CPU time limit exceeded, terminating
% 241.78/223.63 eprover: CPU time limit exceeded, terminating
% 243.92/225.65 eprover: CPU time limit exceeded, terminating
% 246.11/227.66 eprover: CPU time limit exceeded, terminating
% 248.25/229.67 eprover: CPU time limit exceeded, terminating
% 250.43/231.69 eprover: CPU time limit exceeded, terminating
% 252.58/233.70 eprover: CPU time limit exceeded, terminating
% 254.82/235.71 eprover: CPU time limit exceeded, terminating
% 257.00/237.72 eprover: CPU time limit exceeded, terminating
% 259.19/239.73 eprover: CPU time limit exceeded, terminating
% 261.33/241.74 eprover: CPU time limit exceeded, terminating
% 263.50/243.76 eprover: CPU time limit exceeded, terminating
% 265.73/245.77 eprover: CPU time limit exceeded, terminating
% 267.84/247.78 eprover: CPU time limit exceeded, terminating
% 270.09/249.79 eprover: CPU time limit exceeded, terminating
% 272.27/251.81 eprover: CPU time limit exceeded, terminating
% 274.41/253.82 eprover: CPU time limit exceeded, terminating
% 276.59/255.83 eprover: CPU time limit exceeded, terminating
% 278.80/257.84 eprover: CPU time limit exceeded, terminating
% 280.94/259.86 eprover: CPU time limit exceeded, terminating
% 283.10/261.87 eprover: CPU time limit exceeded, terminating
% 285.30/263.88 eprover: CPU time limit exceeded, terminating
% 287.52/265.89 eprover: CPU time limit exceeded, terminating
% 289.68/267.90 eprover: CPU time limit exceeded, terminating
% 291.87/269.92 eprover: CPU time limit exceeded, terminating
% 294.06/271.93 eprover: CPU time limit exceeded, terminating
% 296.19/273.94 eprover: CPU time limit exceeded, terminating
% 298.39/275.95 eprover: CPU time limit exceeded, terminating
% 300.04/277.42 eprover: CPU time limit exceeded, terminating
% 300.04/277.43 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------