TSTP Solution File: CSR166+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR166+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n020.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:35:59 EDT 2022
% Result : Timeout 287.17s 261.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR166+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.14/0.35 % Computer : n020.cluster.edu
% 0.14/0.35 % Model : x86_64 x86_64
% 0.14/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.14/0.35 % Memory : 8042.1875MB
% 0.14/0.35 % OS : Linux 3.10.0-693.el7.x86_64
% 0.14/0.35 % CPULimit : 300
% 0.14/0.35 % WCLimit : 600
% 0.14/0.35 % DateTime : Sat Jun 11 09:05:20 EDT 2022
% 0.14/0.35 % CPUTime :
% 5.89/5.86 eprover: CPU time limit exceeded, terminating
% 8.08/7.87 eprover: CPU time limit exceeded, terminating
% 10.26/9.88 eprover: CPU time limit exceeded, terminating
% 12.51/11.89 eprover: CPU time limit exceeded, terminating
% 14.72/13.91 eprover: CPU time limit exceeded, terminating
% 16.94/15.92 eprover: CPU time limit exceeded, terminating
% 19.16/17.93 eprover: CPU time limit exceeded, terminating
% 21.38/19.94 eprover: CPU time limit exceeded, terminating
% 23.61/21.96 eprover: CPU time limit exceeded, terminating
% 25.82/23.97 eprover: CPU time limit exceeded, terminating
% 28.04/25.98 eprover: CPU time limit exceeded, terminating
% 30.27/27.99 eprover: CPU time limit exceeded, terminating
% 32.49/30.01 eprover: CPU time limit exceeded, terminating
% 34.67/32.02 eprover: CPU time limit exceeded, terminating
% 36.91/34.03 eprover: CPU time limit exceeded, terminating
% 39.09/36.04 eprover: CPU time limit exceeded, terminating
% 41.33/38.05 eprover: CPU time limit exceeded, terminating
% 43.55/40.07 eprover: CPU time limit exceeded, terminating
% 45.79/42.08 eprover: CPU time limit exceeded, terminating
% 47.98/44.09 eprover: CPU time limit exceeded, terminating
% 50.20/46.11 eprover: CPU time limit exceeded, terminating
% 52.44/48.12 eprover: CPU time limit exceeded, terminating
% 54.66/50.13 eprover: CPU time limit exceeded, terminating
% 56.88/52.14 eprover: CPU time limit exceeded, terminating
% 59.10/54.16 eprover: CPU time limit exceeded, terminating
% 61.34/56.17 eprover: CPU time limit exceeded, terminating
% 63.52/58.18 eprover: CPU time limit exceeded, terminating
% 65.71/60.19 eprover: CPU time limit exceeded, terminating
% 67.95/62.21 eprover: CPU time limit exceeded, terminating
% 70.12/64.22 eprover: CPU time limit exceeded, terminating
% 72.36/66.23 eprover: CPU time limit exceeded, terminating
% 74.62/68.24 eprover: CPU time limit exceeded, terminating
% 76.86/70.26 eprover: CPU time limit exceeded, terminating
% 79.07/72.27 eprover: CPU time limit exceeded, terminating
% 81.25/74.28 eprover: CPU time limit exceeded, terminating
% 83.47/76.29 eprover: CPU time limit exceeded, terminating
% 85.66/78.31 eprover: CPU time limit exceeded, terminating
% 87.88/80.32 eprover: CPU time limit exceeded, terminating
% 90.15/82.33 eprover: CPU time limit exceeded, terminating
% 92.27/84.35 eprover: CPU time limit exceeded, terminating
% 94.54/86.36 eprover: CPU time limit exceeded, terminating
% 96.77/88.37 eprover: CPU time limit exceeded, terminating
% 98.96/90.38 eprover: CPU time limit exceeded, terminating
% 101.19/92.40 eprover: CPU time limit exceeded, terminating
% 103.43/94.41 eprover: CPU time limit exceeded, terminating
% 105.62/96.42 eprover: CPU time limit exceeded, terminating
% 107.79/98.43 eprover: CPU time limit exceeded, terminating
% 109.99/100.45 eprover: CPU time limit exceeded, terminating
% 112.29/102.46 eprover: CPU time limit exceeded, terminating
% 114.48/104.47 eprover: CPU time limit exceeded, terminating
% 116.70/106.49 eprover: CPU time limit exceeded, terminating
% 118.89/108.50 eprover: CPU time limit exceeded, terminating
% 121.18/110.51 eprover: CPU time limit exceeded, terminating
% 123.39/112.52 eprover: CPU time limit exceeded, terminating
% 125.59/114.54 eprover: CPU time limit exceeded, terminating
% 127.81/116.55 eprover: CPU time limit exceeded, terminating
% 129.99/118.56 eprover: CPU time limit exceeded, terminating
% 132.28/120.57 eprover: CPU time limit exceeded, terminating
% 134.50/122.59 eprover: CPU time limit exceeded, terminating
% 136.72/124.60 eprover: CPU time limit exceeded, terminating
% 138.91/126.61 eprover: CPU time limit exceeded, terminating
% 141.14/128.63 eprover: CPU time limit exceeded, terminating
% 143.35/130.64 eprover: CPU time limit exceeded, terminating
% 145.61/132.65 eprover: CPU time limit exceeded, terminating
% 147.77/134.67 eprover: CPU time limit exceeded, terminating
% 150.00/136.68 eprover: CPU time limit exceeded, terminating
% 152.21/138.69 eprover: CPU time limit exceeded, terminating
% 154.48/140.71 eprover: CPU time limit exceeded, terminating
% 156.70/142.72 eprover: CPU time limit exceeded, terminating
% 158.89/144.73 eprover: CPU time limit exceeded, terminating
% 161.09/146.74 eprover: CPU time limit exceeded, terminating
% 163.30/148.75 eprover: CPU time limit exceeded, terminating
% 165.54/150.77 eprover: CPU time limit exceeded, terminating
% 167.72/152.78 eprover: CPU time limit exceeded, terminating
% 169.93/154.79 eprover: CPU time limit exceeded, terminating
% 172.16/156.80 eprover: CPU time limit exceeded, terminating
% 174.43/158.82 eprover: CPU time limit exceeded, terminating
% 176.63/160.83 eprover: CPU time limit exceeded, terminating
% 178.84/162.84 eprover: CPU time limit exceeded, terminating
% 181.04/164.85 eprover: CPU time limit exceeded, terminating
% 183.27/166.87 eprover: CPU time limit exceeded, terminating
% 185.48/168.88 eprover: CPU time limit exceeded, terminating
% 187.66/170.89 eprover: CPU time limit exceeded, terminating
% 189.94/172.90 eprover: CPU time limit exceeded, terminating
% 192.16/174.91 eprover: CPU time limit exceeded, terminating
% 194.36/176.92 eprover: CPU time limit exceeded, terminating
% 196.55/178.93 eprover: CPU time limit exceeded, terminating
% 198.78/180.94 eprover: CPU time limit exceeded, terminating
% 200.94/182.95 eprover: CPU time limit exceeded, terminating
% 203.16/184.96 eprover: CPU time limit exceeded, terminating
% 205.33/186.98 eprover: CPU time limit exceeded, terminating
% 207.61/188.99 eprover: CPU time limit exceeded, terminating
% 209.81/191.00 eprover: CPU time limit exceeded, terminating
% 212.03/193.01 eprover: CPU time limit exceeded, terminating
% 214.21/195.02 eprover: CPU time limit exceeded, terminating
% 216.38/197.03 eprover: CPU time limit exceeded, terminating
% 218.61/199.04 eprover: CPU time limit exceeded, terminating
% 220.87/201.05 eprover: CPU time limit exceeded, terminating
% 223.05/203.06 eprover: CPU time limit exceeded, terminating
% 225.26/205.07 eprover: CPU time limit exceeded, terminating
% 227.51/207.09 eprover: CPU time limit exceeded, terminating
% 229.72/209.10 eprover: CPU time limit exceeded, terminating
% 231.91/211.11 eprover: CPU time limit exceeded, terminating
% 234.11/213.12 eprover: CPU time limit exceeded, terminating
% 236.31/215.13 eprover: CPU time limit exceeded, terminating
% 238.52/217.14 eprover: CPU time limit exceeded, terminating
% 240.73/219.15 eprover: CPU time limit exceeded, terminating
% 242.96/221.17 eprover: CPU time limit exceeded, terminating
% 245.12/223.18 eprover: CPU time limit exceeded, terminating
% 247.35/225.19 eprover: CPU time limit exceeded, terminating
% 249.56/227.20 eprover: CPU time limit exceeded, terminating
% 251.71/229.21 eprover: CPU time limit exceeded, terminating
% 253.98/231.23 eprover: CPU time limit exceeded, terminating
% 256.21/233.24 eprover: CPU time limit exceeded, terminating
% 258.36/235.25 eprover: CPU time limit exceeded, terminating
% 260.63/237.27 eprover: CPU time limit exceeded, terminating
% 262.87/239.28 eprover: CPU time limit exceeded, terminating
% 265.03/241.29 eprover: CPU time limit exceeded, terminating
% 267.29/243.31 eprover: CPU time limit exceeded, terminating
% 269.52/245.32 eprover: CPU time limit exceeded, terminating
% 271.70/247.33 eprover: CPU time limit exceeded, terminating
% 273.92/249.34 eprover: CPU time limit exceeded, terminating
% 276.10/251.36 eprover: CPU time limit exceeded, terminating
% 278.26/253.37 eprover: CPU time limit exceeded, terminating
% 280.58/255.38 eprover: CPU time limit exceeded, terminating
% 282.75/257.39 eprover: CPU time limit exceeded, terminating
% 284.90/259.41 eprover: CPU time limit exceeded, terminating
% 287.17/261.42 eprover: CPU time limit exceeded, terminating
% 289.37/263.43 eprover: CPU time limit exceeded, terminating
% 291.58/265.45 eprover: CPU time limit exceeded, terminating
% 293.83/267.46 eprover: CPU time limit exceeded, terminating
% 295.96/269.47 eprover: CPU time limit exceeded, terminating
% 298.19/271.49 eprover: CPU time limit exceeded, terminating
% 300.08/273.12 eprover: CPU time limit exceeded, terminating
% 300.08/273.13 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------