TSTP Solution File: CSR259+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR259+1 : TPTP v8.1.0. Released v7.3.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:36:11 EDT 2022
% Result : Timeout 285.97s 259.42s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : CSR259+1 : TPTP v8.1.0. Released v7.3.0.
% 0.03/0.13 % Command : run_infinox %s
% 0.13/0.34 % Computer : n023.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 : Sat Jun 11 01:19:07 EDT 2022
% 0.13/0.34 % CPUTime :
% 5.79/5.85 eprover: CPU time limit exceeded, terminating
% 8.05/7.86 eprover: CPU time limit exceeded, terminating
% 10.23/9.88 eprover: CPU time limit exceeded, terminating
% 12.50/11.89 eprover: CPU time limit exceeded, terminating
% 14.62/13.90 eprover: CPU time limit exceeded, terminating
% 16.91/15.91 eprover: CPU time limit exceeded, terminating
% 19.12/17.93 eprover: CPU time limit exceeded, terminating
% 21.34/19.94 eprover: CPU time limit exceeded, terminating
% 23.53/21.95 eprover: CPU time limit exceeded, terminating
% 27.73/23.97 eprover: CPU time limit exceeded, terminating
% 29.94/25.98 eprover: CPU time limit exceeded, terminating
% 32.16/27.99 eprover: CPU time limit exceeded, terminating
% 34.33/30.00 eprover: CPU time limit exceeded, terminating
% 36.57/32.02 eprover: CPU time limit exceeded, terminating
% 38.81/34.03 eprover: CPU time limit exceeded, terminating
% 40.99/36.04 eprover: CPU time limit exceeded, terminating
% 43.24/38.06 eprover: CPU time limit exceeded, terminating
% 45.48/40.07 eprover: CPU time limit exceeded, terminating
% 47.70/42.08 eprover: CPU time limit exceeded, terminating
% 49.89/44.10 eprover: CPU time limit exceeded, terminating
% 52.09/46.11 eprover: CPU time limit exceeded, terminating
% 54.34/48.12 eprover: CPU time limit exceeded, terminating
% 56.53/50.13 eprover: CPU time limit exceeded, terminating
% 58.79/52.14 eprover: CPU time limit exceeded, terminating
% 60.98/54.16 eprover: CPU time limit exceeded, terminating
% 63.18/56.17 eprover: CPU time limit exceeded, terminating
% 65.39/58.18 eprover: CPU time limit exceeded, terminating
% 67.57/60.19 eprover: CPU time limit exceeded, terminating
% 69.75/62.20 eprover: CPU time limit exceeded, terminating
% 71.90/64.21 eprover: CPU time limit exceeded, terminating
% 74.14/66.22 eprover: CPU time limit exceeded, terminating
% 76.39/68.24 eprover: CPU time limit exceeded, terminating
% 78.52/70.25 eprover: CPU time limit exceeded, terminating
% 80.81/72.26 eprover: CPU time limit exceeded, terminating
% 82.99/74.27 eprover: CPU time limit exceeded, terminating
% 85.25/76.29 eprover: CPU time limit exceeded, terminating
% 87.44/78.30 eprover: CPU time limit exceeded, terminating
% 89.58/80.31 eprover: CPU time limit exceeded, terminating
% 91.83/82.32 eprover: CPU time limit exceeded, terminating
% 94.01/84.33 eprover: CPU time limit exceeded, terminating
% 96.26/86.35 eprover: CPU time limit exceeded, terminating
% 98.47/88.36 eprover: CPU time limit exceeded, terminating
% 100.66/90.37 eprover: CPU time limit exceeded, terminating
% 102.88/92.39 eprover: CPU time limit exceeded, terminating
% 105.04/94.40 eprover: CPU time limit exceeded, terminating
% 107.27/96.41 eprover: CPU time limit exceeded, terminating
% 109.41/98.42 eprover: CPU time limit exceeded, terminating
% 111.61/100.43 eprover: CPU time limit exceeded, terminating
% 113.88/102.45 eprover: CPU time limit exceeded, terminating
% 116.05/104.46 eprover: CPU time limit exceeded, terminating
% 118.31/106.47 eprover: CPU time limit exceeded, terminating
% 120.50/108.48 eprover: CPU time limit exceeded, terminating
% 122.67/110.49 eprover: CPU time limit exceeded, terminating
% 124.85/112.51 eprover: CPU time limit exceeded, terminating
% 127.07/114.52 eprover: CPU time limit exceeded, terminating
% 129.33/116.53 eprover: CPU time limit exceeded, terminating
% 131.48/118.54 eprover: CPU time limit exceeded, terminating
% 133.72/120.56 eprover: CPU time limit exceeded, terminating
% 135.95/122.57 eprover: CPU time limit exceeded, terminating
% 138.14/124.58 eprover: CPU time limit exceeded, terminating
% 140.37/126.59 eprover: CPU time limit exceeded, terminating
% 142.55/128.60 eprover: CPU time limit exceeded, terminating
% 144.78/130.62 eprover: CPU time limit exceeded, terminating
% 146.95/132.63 eprover: CPU time limit exceeded, terminating
% 149.22/134.65 eprover: CPU time limit exceeded, terminating
% 151.41/136.66 eprover: CPU time limit exceeded, terminating
% 153.62/138.67 eprover: CPU time limit exceeded, terminating
% 155.79/140.68 eprover: CPU time limit exceeded, terminating
% 158.01/142.69 eprover: CPU time limit exceeded, terminating
% 160.24/144.71 eprover: CPU time limit exceeded, terminating
% 162.43/146.72 eprover: CPU time limit exceeded, terminating
% 164.69/148.73 eprover: CPU time limit exceeded, terminating
% 166.82/150.74 eprover: CPU time limit exceeded, terminating
% 169.08/152.76 eprover: CPU time limit exceeded, terminating
% 171.30/154.77 eprover: CPU time limit exceeded, terminating
% 173.45/156.78 eprover: CPU time limit exceeded, terminating
% 175.71/158.79 eprover: CPU time limit exceeded, terminating
% 177.94/160.80 eprover: CPU time limit exceeded, terminating
% 180.10/162.82 eprover: CPU time limit exceeded, terminating
% 182.33/164.83 eprover: CPU time limit exceeded, terminating
% 184.54/166.85 eprover: CPU time limit exceeded, terminating
% 186.77/168.86 eprover: CPU time limit exceeded, terminating
% 188.90/170.87 eprover: CPU time limit exceeded, terminating
% 191.13/172.88 eprover: CPU time limit exceeded, terminating
% 193.39/174.90 eprover: CPU time limit exceeded, terminating
% 195.59/176.91 eprover: CPU time limit exceeded, terminating
% 197.81/178.93 eprover: CPU time limit exceeded, terminating
% 199.99/180.94 eprover: CPU time limit exceeded, terminating
% 202.22/182.95 eprover: CPU time limit exceeded, terminating
% 204.42/184.96 eprover: CPU time limit exceeded, terminating
% 206.65/186.98 eprover: CPU time limit exceeded, terminating
% 208.81/188.99 eprover: CPU time limit exceeded, terminating
% 211.05/191.00 eprover: CPU time limit exceeded, terminating
% 213.28/193.01 eprover: CPU time limit exceeded, terminating
% 215.44/195.03 eprover: CPU time limit exceeded, terminating
% 217.65/197.04 eprover: CPU time limit exceeded, terminating
% 219.86/199.05 eprover: CPU time limit exceeded, terminating
% 222.07/201.06 eprover: CPU time limit exceeded, terminating
% 224.23/203.08 eprover: CPU time limit exceeded, terminating
% 226.42/205.09 eprover: CPU time limit exceeded, terminating
% 228.67/207.10 eprover: CPU time limit exceeded, terminating
% 230.87/209.11 eprover: CPU time limit exceeded, terminating
% 233.09/211.13 eprover: CPU time limit exceeded, terminating
% 235.28/213.14 eprover: CPU time limit exceeded, terminating
% 237.46/215.15 eprover: CPU time limit exceeded, terminating
% 239.67/217.16 eprover: CPU time limit exceeded, terminating
% 241.90/219.18 eprover: CPU time limit exceeded, terminating
% 244.08/221.19 eprover: CPU time limit exceeded, terminating
% 246.24/223.20 eprover: CPU time limit exceeded, terminating
% 248.45/225.21 eprover: CPU time limit exceeded, terminating
% 250.63/227.23 eprover: CPU time limit exceeded, terminating
% 252.82/229.24 eprover: CPU time limit exceeded, terminating
% 255.07/231.25 eprover: CPU time limit exceeded, terminating
% 257.28/233.26 eprover: CPU time limit exceeded, terminating
% 259.45/235.28 eprover: CPU time limit exceeded, terminating
% 261.69/237.29 eprover: CPU time limit exceeded, terminating
% 263.87/239.30 eprover: CPU time limit exceeded, terminating
% 266.10/241.31 eprover: CPU time limit exceeded, terminating
% 268.27/243.32 eprover: CPU time limit exceeded, terminating
% 270.54/245.33 eprover: CPU time limit exceeded, terminating
% 272.72/247.35 eprover: CPU time limit exceeded, terminating
% 274.86/249.36 eprover: CPU time limit exceeded, terminating
% 277.16/251.37 eprover: CPU time limit exceeded, terminating
% 279.35/253.38 eprover: CPU time limit exceeded, terminating
% 281.57/255.40 eprover: CPU time limit exceeded, terminating
% 283.74/257.41 eprover: CPU time limit exceeded, terminating
% 285.97/259.42 eprover: CPU time limit exceeded, terminating
% 288.19/261.43 eprover: CPU time limit exceeded, terminating
% 290.35/263.45 eprover: CPU time limit exceeded, terminating
% 292.55/265.46 eprover: CPU time limit exceeded, terminating
% 294.79/267.47 eprover: CPU time limit exceeded, terminating
% 297.02/269.48 eprover: CPU time limit exceeded, terminating
% 299.17/271.49 eprover: CPU time limit exceeded, terminating
% 300.03/272.19 eprover: CPU time limit exceeded, terminating
% 300.03/272.21 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------