TSTP Solution File: CSR277+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR277+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n024.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:36:13 EDT 2022
% Result : Timeout 286.78s 261.44s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : CSR277+1 : TPTP v8.1.0. Released v7.3.0.
% 0.07/0.13 % Command : run_infinox %s
% 0.14/0.34 % Computer : n024.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 : Sat Jun 11 06:25:19 EDT 2022
% 0.14/0.35 % CPUTime :
% 5.87/5.86 eprover: CPU time limit exceeded, terminating
% 8.08/7.87 eprover: CPU time limit exceeded, terminating
% 10.28/9.89 eprover: CPU time limit exceeded, terminating
% 12.47/11.90 eprover: CPU time limit exceeded, terminating
% 14.72/13.91 eprover: CPU time limit exceeded, terminating
% 16.94/15.93 eprover: CPU time limit exceeded, terminating
% 19.11/17.94 eprover: CPU time limit exceeded, terminating
% 21.36/19.96 eprover: CPU time limit exceeded, terminating
% 23.54/21.97 eprover: CPU time limit exceeded, terminating
% 25.77/23.98 eprover: CPU time limit exceeded, terminating
% 28.03/26.00 eprover: CPU time limit exceeded, terminating
% 30.25/28.01 eprover: CPU time limit exceeded, terminating
% 32.44/30.02 eprover: CPU time limit exceeded, terminating
% 34.65/32.04 eprover: CPU time limit exceeded, terminating
% 36.86/34.05 eprover: CPU time limit exceeded, terminating
% 39.04/36.06 eprover: CPU time limit exceeded, terminating
% 41.26/38.08 eprover: CPU time limit exceeded, terminating
% 43.48/40.09 eprover: CPU time limit exceeded, terminating
% 45.80/42.11 eprover: CPU time limit exceeded, terminating
% 48.01/44.12 eprover: CPU time limit exceeded, terminating
% 50.19/46.13 eprover: CPU time limit exceeded, terminating
% 52.39/48.15 eprover: CPU time limit exceeded, terminating
% 54.61/50.16 eprover: CPU time limit exceeded, terminating
% 56.82/52.17 eprover: CPU time limit exceeded, terminating
% 58.99/54.18 eprover: CPU time limit exceeded, terminating
% 61.29/56.20 eprover: CPU time limit exceeded, terminating
% 63.49/58.21 eprover: CPU time limit exceeded, terminating
% 65.71/60.22 eprover: CPU time limit exceeded, terminating
% 67.89/62.23 eprover: CPU time limit exceeded, terminating
% 70.10/64.24 eprover: CPU time limit exceeded, terminating
% 72.29/66.25 eprover: CPU time limit exceeded, terminating
% 74.51/68.27 eprover: CPU time limit exceeded, terminating
% 76.68/70.28 eprover: CPU time limit exceeded, terminating
% 79.02/72.29 eprover: CPU time limit exceeded, terminating
% 81.15/74.30 eprover: CPU time limit exceeded, terminating
% 83.43/76.31 eprover: CPU time limit exceeded, terminating
% 85.64/78.33 eprover: CPU time limit exceeded, terminating
% 87.82/80.34 eprover: CPU time limit exceeded, terminating
% 90.03/82.35 eprover: CPU time limit exceeded, terminating
% 92.23/84.36 eprover: CPU time limit exceeded, terminating
% 94.40/86.37 eprover: CPU time limit exceeded, terminating
% 96.69/88.39 eprover: CPU time limit exceeded, terminating
% 98.91/90.40 eprover: CPU time limit exceeded, terminating
% 101.10/92.41 eprover: CPU time limit exceeded, terminating
% 103.31/94.43 eprover: CPU time limit exceeded, terminating
% 105.53/96.44 eprover: CPU time limit exceeded, terminating
% 107.71/98.45 eprover: CPU time limit exceeded, terminating
% 109.92/100.46 eprover: CPU time limit exceeded, terminating
% 112.11/102.47 eprover: CPU time limit exceeded, terminating
% 114.38/104.49 eprover: CPU time limit exceeded, terminating
% 116.50/106.50 eprover: CPU time limit exceeded, terminating
% 118.80/108.51 eprover: CPU time limit exceeded, terminating
% 120.98/110.52 eprover: CPU time limit exceeded, terminating
% 123.20/112.53 eprover: CPU time limit exceeded, terminating
% 125.40/114.55 eprover: CPU time limit exceeded, terminating
% 127.58/116.56 eprover: CPU time limit exceeded, terminating
% 129.80/118.57 eprover: CPU time limit exceeded, terminating
% 131.99/120.58 eprover: CPU time limit exceeded, terminating
% 134.31/122.59 eprover: CPU time limit exceeded, terminating
% 136.52/124.60 eprover: CPU time limit exceeded, terminating
% 138.73/126.62 eprover: CPU time limit exceeded, terminating
% 140.91/128.63 eprover: CPU time limit exceeded, terminating
% 143.12/130.64 eprover: CPU time limit exceeded, terminating
% 145.32/132.65 eprover: CPU time limit exceeded, terminating
% 147.51/134.67 eprover: CPU time limit exceeded, terminating
% 149.78/136.68 eprover: CPU time limit exceeded, terminating
% 151.91/138.69 eprover: CPU time limit exceeded, terminating
% 154.14/140.70 eprover: CPU time limit exceeded, terminating
% 156.40/142.71 eprover: CPU time limit exceeded, terminating
% 158.61/144.73 eprover: CPU time limit exceeded, terminating
% 160.82/146.74 eprover: CPU time limit exceeded, terminating
% 163.01/148.75 eprover: CPU time limit exceeded, terminating
% 165.23/150.76 eprover: CPU time limit exceeded, terminating
% 167.43/152.77 eprover: CPU time limit exceeded, terminating
% 169.61/154.79 eprover: CPU time limit exceeded, terminating
% 171.90/156.80 eprover: CPU time limit exceeded, terminating
% 174.09/158.81 eprover: CPU time limit exceeded, terminating
% 176.31/160.82 eprover: CPU time limit exceeded, terminating
% 178.48/162.83 eprover: CPU time limit exceeded, terminating
% 180.70/164.85 eprover: CPU time limit exceeded, terminating
% 182.93/166.86 eprover: CPU time limit exceeded, terminating
% 185.09/168.87 eprover: CPU time limit exceeded, terminating
% 187.30/170.88 eprover: CPU time limit exceeded, terminating
% 189.53/172.89 eprover: CPU time limit exceeded, terminating
% 191.80/174.91 eprover: CPU time limit exceeded, terminating
% 193.97/176.92 eprover: CPU time limit exceeded, terminating
% 196.20/178.93 eprover: CPU time limit exceeded, terminating
% 198.41/180.94 eprover: CPU time limit exceeded, terminating
% 200.59/182.95 eprover: CPU time limit exceeded, terminating
% 202.86/184.96 eprover: CPU time limit exceeded, terminating
% 205.00/186.98 eprover: CPU time limit exceeded, terminating
% 207.21/188.99 eprover: CPU time limit exceeded, terminating
% 209.48/191.00 eprover: CPU time limit exceeded, terminating
% 211.70/193.01 eprover: CPU time limit exceeded, terminating
% 213.91/195.02 eprover: CPU time limit exceeded, terminating
% 216.10/197.03 eprover: CPU time limit exceeded, terminating
% 218.30/199.05 eprover: CPU time limit exceeded, terminating
% 220.49/201.06 eprover: CPU time limit exceeded, terminating
% 222.75/203.07 eprover: CPU time limit exceeded, terminating
% 224.88/205.08 eprover: CPU time limit exceeded, terminating
% 227.19/207.10 eprover: CPU time limit exceeded, terminating
% 229.40/209.11 eprover: CPU time limit exceeded, terminating
% 231.59/211.12 eprover: CPU time limit exceeded, terminating
% 233.82/213.13 eprover: CPU time limit exceeded, terminating
% 236.00/215.14 eprover: CPU time limit exceeded, terminating
% 238.21/217.15 eprover: CPU time limit exceeded, terminating
% 240.37/219.17 eprover: CPU time limit exceeded, terminating
% 242.58/221.18 eprover: CPU time limit exceeded, terminating
% 244.84/223.19 eprover: CPU time limit exceeded, terminating
% 246.96/225.20 eprover: CPU time limit exceeded, terminating
% 249.24/227.22 eprover: CPU time limit exceeded, terminating
% 251.44/229.23 eprover: CPU time limit exceeded, terminating
% 253.60/231.24 eprover: CPU time limit exceeded, terminating
% 255.82/233.25 eprover: CPU time limit exceeded, terminating
% 258.02/235.26 eprover: CPU time limit exceeded, terminating
% 260.21/237.28 eprover: CPU time limit exceeded, terminating
% 262.47/239.29 eprover: CPU time limit exceeded, terminating
% 264.70/241.30 eprover: CPU time limit exceeded, terminating
% 266.91/243.31 eprover: CPU time limit exceeded, terminating
% 269.11/245.33 eprover: CPU time limit exceeded, terminating
% 271.31/247.34 eprover: CPU time limit exceeded, terminating
% 273.47/249.36 eprover: CPU time limit exceeded, terminating
% 275.69/251.37 eprover: CPU time limit exceeded, terminating
% 277.92/253.38 eprover: CPU time limit exceeded, terminating
% 280.10/255.40 eprover: CPU time limit exceeded, terminating
% 282.30/257.41 eprover: CPU time limit exceeded, terminating
% 284.61/259.42 eprover: CPU time limit exceeded, terminating
% 286.78/261.44 eprover: CPU time limit exceeded, terminating
% 288.99/263.45 eprover: CPU time limit exceeded, terminating
% 291.20/265.47 eprover: CPU time limit exceeded, terminating
% 293.36/267.48 eprover: CPU time limit exceeded, terminating
% 295.66/269.49 eprover: CPU time limit exceeded, terminating
% 297.76/271.51 eprover: CPU time limit exceeded, terminating
% 300.05/273.50 eprover: CPU time limit exceeded, terminating
% 300.05/273.52 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------