TSTP Solution File: CSR168+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR168+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n010.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 286.05s 261.32s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR168+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.12 % Command : run_infinox %s
% 0.12/0.33 % Computer : n010.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Sat Jun 11 12:26:40 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.87/5.87 eprover: CPU time limit exceeded, terminating
% 8.06/7.88 eprover: CPU time limit exceeded, terminating
% 10.25/9.90 eprover: CPU time limit exceeded, terminating
% 12.48/11.91 eprover: CPU time limit exceeded, terminating
% 14.65/13.92 eprover: CPU time limit exceeded, terminating
% 16.90/15.93 eprover: CPU time limit exceeded, terminating
% 19.13/17.94 eprover: CPU time limit exceeded, terminating
% 21.31/19.96 eprover: CPU time limit exceeded, terminating
% 23.52/21.97 eprover: CPU time limit exceeded, terminating
% 25.75/23.98 eprover: CPU time limit exceeded, terminating
% 27.95/25.99 eprover: CPU time limit exceeded, terminating
% 30.19/28.00 eprover: CPU time limit exceeded, terminating
% 32.40/30.01 eprover: CPU time limit exceeded, terminating
% 34.58/32.03 eprover: CPU time limit exceeded, terminating
% 36.82/34.04 eprover: CPU time limit exceeded, terminating
% 39.06/36.05 eprover: CPU time limit exceeded, terminating
% 41.24/38.06 eprover: CPU time limit exceeded, terminating
% 43.45/40.07 eprover: CPU time limit exceeded, terminating
% 45.68/42.08 eprover: CPU time limit exceeded, terminating
% 47.95/44.09 eprover: CPU time limit exceeded, terminating
% 50.11/46.11 eprover: CPU time limit exceeded, terminating
% 52.33/48.12 eprover: CPU time limit exceeded, terminating
% 54.56/50.13 eprover: CPU time limit exceeded, terminating
% 56.79/52.14 eprover: CPU time limit exceeded, terminating
% 58.96/54.15 eprover: CPU time limit exceeded, terminating
% 61.22/56.17 eprover: CPU time limit exceeded, terminating
% 63.43/58.18 eprover: CPU time limit exceeded, terminating
% 65.61/60.19 eprover: CPU time limit exceeded, terminating
% 67.81/62.20 eprover: CPU time limit exceeded, terminating
% 70.01/64.21 eprover: CPU time limit exceeded, terminating
% 72.21/66.22 eprover: CPU time limit exceeded, terminating
% 74.45/68.23 eprover: CPU time limit exceeded, terminating
% 76.67/70.24 eprover: CPU time limit exceeded, terminating
% 78.91/72.25 eprover: CPU time limit exceeded, terminating
% 81.12/74.26 eprover: CPU time limit exceeded, terminating
% 83.32/76.28 eprover: CPU time limit exceeded, terminating
% 85.52/78.29 eprover: CPU time limit exceeded, terminating
% 87.70/80.30 eprover: CPU time limit exceeded, terminating
% 89.91/82.31 eprover: CPU time limit exceeded, terminating
% 92.09/84.32 eprover: CPU time limit exceeded, terminating
% 94.30/86.33 eprover: CPU time limit exceeded, terminating
% 96.54/88.34 eprover: CPU time limit exceeded, terminating
% 98.74/90.36 eprover: CPU time limit exceeded, terminating
% 100.97/92.37 eprover: CPU time limit exceeded, terminating
% 103.19/94.38 eprover: CPU time limit exceeded, terminating
% 105.37/96.39 eprover: CPU time limit exceeded, terminating
% 107.59/98.40 eprover: CPU time limit exceeded, terminating
% 109.76/100.42 eprover: CPU time limit exceeded, terminating
% 112.02/102.43 eprover: CPU time limit exceeded, terminating
% 114.23/104.44 eprover: CPU time limit exceeded, terminating
% 116.44/106.45 eprover: CPU time limit exceeded, terminating
% 118.70/108.46 eprover: CPU time limit exceeded, terminating
% 120.89/110.48 eprover: CPU time limit exceeded, terminating
% 123.08/112.49 eprover: CPU time limit exceeded, terminating
% 125.27/114.50 eprover: CPU time limit exceeded, terminating
% 127.52/116.51 eprover: CPU time limit exceeded, terminating
% 129.65/118.52 eprover: CPU time limit exceeded, terminating
% 131.93/120.54 eprover: CPU time limit exceeded, terminating
% 134.15/122.55 eprover: CPU time limit exceeded, terminating
% 136.35/124.56 eprover: CPU time limit exceeded, terminating
% 138.56/126.57 eprover: CPU time limit exceeded, terminating
% 140.76/128.58 eprover: CPU time limit exceeded, terminating
% 142.94/130.59 eprover: CPU time limit exceeded, terminating
% 145.14/132.60 eprover: CPU time limit exceeded, terminating
% 147.32/134.62 eprover: CPU time limit exceeded, terminating
% 149.51/136.63 eprover: CPU time limit exceeded, terminating
% 151.79/138.64 eprover: CPU time limit exceeded, terminating
% 154.00/140.65 eprover: CPU time limit exceeded, terminating
% 156.21/142.66 eprover: CPU time limit exceeded, terminating
% 158.41/144.67 eprover: CPU time limit exceeded, terminating
% 160.61/146.68 eprover: CPU time limit exceeded, terminating
% 162.81/148.69 eprover: CPU time limit exceeded, terminating
% 164.98/150.70 eprover: CPU time limit exceeded, terminating
% 167.16/152.71 eprover: CPU time limit exceeded, terminating
% 169.38/154.72 eprover: CPU time limit exceeded, terminating
% 171.62/156.74 eprover: CPU time limit exceeded, terminating
% 173.81/158.75 eprover: CPU time limit exceeded, terminating
% 176.02/160.76 eprover: CPU time limit exceeded, terminating
% 178.22/162.77 eprover: CPU time limit exceeded, terminating
% 180.44/164.78 eprover: CPU time limit exceeded, terminating
% 182.64/166.79 eprover: CPU time limit exceeded, terminating
% 184.83/168.80 eprover: CPU time limit exceeded, terminating
% 187.02/170.81 eprover: CPU time limit exceeded, terminating
% 189.21/172.82 eprover: CPU time limit exceeded, terminating
% 191.45/174.83 eprover: CPU time limit exceeded, terminating
% 193.68/176.84 eprover: CPU time limit exceeded, terminating
% 195.86/178.86 eprover: CPU time limit exceeded, terminating
% 198.06/180.87 eprover: CPU time limit exceeded, terminating
% 200.27/182.88 eprover: CPU time limit exceeded, terminating
% 202.49/184.89 eprover: CPU time limit exceeded, terminating
% 204.66/186.90 eprover: CPU time limit exceeded, terminating
% 206.84/188.91 eprover: CPU time limit exceeded, terminating
% 209.02/190.92 eprover: CPU time limit exceeded, terminating
% 211.28/192.94 eprover: CPU time limit exceeded, terminating
% 213.43/194.95 eprover: CPU time limit exceeded, terminating
% 215.67/196.96 eprover: CPU time limit exceeded, terminating
% 217.87/198.97 eprover: CPU time limit exceeded, terminating
% 220.09/200.98 eprover: CPU time limit exceeded, terminating
% 222.25/202.99 eprover: CPU time limit exceeded, terminating
% 224.48/205.00 eprover: CPU time limit exceeded, terminating
% 226.64/207.01 eprover: CPU time limit exceeded, terminating
% 228.86/209.03 eprover: CPU time limit exceeded, terminating
% 231.10/211.04 eprover: CPU time limit exceeded, terminating
% 233.30/213.05 eprover: CPU time limit exceeded, terminating
% 235.47/215.06 eprover: CPU time limit exceeded, terminating
% 237.68/217.07 eprover: CPU time limit exceeded, terminating
% 239.89/219.08 eprover: CPU time limit exceeded, terminating
% 242.08/221.09 eprover: CPU time limit exceeded, terminating
% 244.29/223.10 eprover: CPU time limit exceeded, terminating
% 246.47/225.12 eprover: CPU time limit exceeded, terminating
% 248.71/227.13 eprover: CPU time limit exceeded, terminating
% 250.82/229.14 eprover: CPU time limit exceeded, terminating
% 253.10/231.15 eprover: CPU time limit exceeded, terminating
% 255.31/233.16 eprover: CPU time limit exceeded, terminating
% 257.47/235.17 eprover: CPU time limit exceeded, terminating
% 259.71/237.18 eprover: CPU time limit exceeded, terminating
% 261.87/239.19 eprover: CPU time limit exceeded, terminating
% 264.09/241.20 eprover: CPU time limit exceeded, terminating
% 266.27/243.21 eprover: CPU time limit exceeded, terminating
% 268.47/245.23 eprover: CPU time limit exceeded, terminating
% 270.64/247.24 eprover: CPU time limit exceeded, terminating
% 272.91/249.25 eprover: CPU time limit exceeded, terminating
% 275.10/251.26 eprover: CPU time limit exceeded, terminating
% 277.30/253.27 eprover: CPU time limit exceeded, terminating
% 279.48/255.28 eprover: CPU time limit exceeded, terminating
% 281.68/257.29 eprover: CPU time limit exceeded, terminating
% 283.91/259.30 eprover: CPU time limit exceeded, terminating
% 286.05/261.32 eprover: CPU time limit exceeded, terminating
% 288.30/263.33 eprover: CPU time limit exceeded, terminating
% 290.48/265.34 eprover: CPU time limit exceeded, terminating
% 292.69/267.35 eprover: CPU time limit exceeded, terminating
% 294.91/269.36 eprover: CPU time limit exceeded, terminating
% 297.11/271.37 eprover: CPU time limit exceeded, terminating
% 299.32/273.38 eprover: CPU time limit exceeded, terminating
% 300.01/273.99 eprover: CPU time limit exceeded, terminating
% 300.01/274.00 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------