TSTP Solution File: CSR295+1 by Infinox---1.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Infinox---1.0
% Problem : CSR295+1 : TPTP v8.1.0. Released v7.3.0.
% Transfm : none
% Format : tptp:raw
% Command : run_infinox %s
% Computer : n029.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:15 EDT 2022
% Result : Timeout 286.49s 261.40s
% Output : None
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.10/0.12 % Problem : CSR295+1 : TPTP v8.1.0. Released v7.3.0.
% 0.10/0.13 % Command : run_infinox %s
% 0.12/0.33 % Computer : n029.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 07:54:23 EDT 2022
% 0.12/0.34 % CPUTime :
% 5.83/5.88 eprover: CPU time limit exceeded, terminating
% 8.08/7.90 eprover: CPU time limit exceeded, terminating
% 10.29/9.91 eprover: CPU time limit exceeded, terminating
% 12.45/11.92 eprover: CPU time limit exceeded, terminating
% 14.71/13.93 eprover: CPU time limit exceeded, terminating
% 16.87/15.94 eprover: CPU time limit exceeded, terminating
% 19.13/17.96 eprover: CPU time limit exceeded, terminating
% 21.38/19.97 eprover: CPU time limit exceeded, terminating
% 23.54/21.98 eprover: CPU time limit exceeded, terminating
% 25.78/23.99 eprover: CPU time limit exceeded, terminating
% 27.97/26.01 eprover: CPU time limit exceeded, terminating
% 30.20/28.02 eprover: CPU time limit exceeded, terminating
% 32.45/30.03 eprover: CPU time limit exceeded, terminating
% 34.63/32.04 eprover: CPU time limit exceeded, terminating
% 36.80/34.05 eprover: CPU time limit exceeded, terminating
% 39.05/36.06 eprover: CPU time limit exceeded, terminating
% 41.22/38.07 eprover: CPU time limit exceeded, terminating
% 43.45/40.09 eprover: CPU time limit exceeded, terminating
% 45.70/42.10 eprover: CPU time limit exceeded, terminating
% 47.86/44.11 eprover: CPU time limit exceeded, terminating
% 50.13/46.12 eprover: CPU time limit exceeded, terminating
% 52.33/48.13 eprover: CPU time limit exceeded, terminating
% 54.56/50.14 eprover: CPU time limit exceeded, terminating
% 56.73/52.15 eprover: CPU time limit exceeded, terminating
% 58.95/54.17 eprover: CPU time limit exceeded, terminating
% 61.18/56.18 eprover: CPU time limit exceeded, terminating
% 63.40/58.19 eprover: CPU time limit exceeded, terminating
% 65.55/60.20 eprover: CPU time limit exceeded, terminating
% 67.80/62.21 eprover: CPU time limit exceeded, terminating
% 70.01/64.22 eprover: CPU time limit exceeded, terminating
% 72.19/66.23 eprover: CPU time limit exceeded, terminating
% 74.39/68.24 eprover: CPU time limit exceeded, terminating
% 76.64/70.26 eprover: CPU time limit exceeded, terminating
% 78.79/72.27 eprover: CPU time limit exceeded, terminating
% 81.05/74.28 eprover: CPU time limit exceeded, terminating
% 83.28/76.29 eprover: CPU time limit exceeded, terminating
% 85.43/78.30 eprover: CPU time limit exceeded, terminating
% 87.67/80.32 eprover: CPU time limit exceeded, terminating
% 89.89/82.33 eprover: CPU time limit exceeded, terminating
% 92.07/84.34 eprover: CPU time limit exceeded, terminating
% 94.26/86.35 eprover: CPU time limit exceeded, terminating
% 96.51/88.36 eprover: CPU time limit exceeded, terminating
% 98.66/90.37 eprover: CPU time limit exceeded, terminating
% 100.96/92.39 eprover: CPU time limit exceeded, terminating
% 103.18/94.40 eprover: CPU time limit exceeded, terminating
% 105.38/96.41 eprover: CPU time limit exceeded, terminating
% 107.57/98.43 eprover: CPU time limit exceeded, terminating
% 109.79/100.44 eprover: CPU time limit exceeded, terminating
% 111.99/102.45 eprover: CPU time limit exceeded, terminating
% 114.17/104.46 eprover: CPU time limit exceeded, terminating
% 116.45/106.48 eprover: CPU time limit exceeded, terminating
% 118.66/108.49 eprover: CPU time limit exceeded, terminating
% 120.87/110.50 eprover: CPU time limit exceeded, terminating
% 123.09/112.53 eprover: CPU time limit exceeded, terminating
% 125.28/114.53 eprover: CPU time limit exceeded, terminating
% 127.49/116.55 eprover: CPU time limit exceeded, terminating
% 129.67/118.56 eprover: CPU time limit exceeded, terminating
% 131.86/120.57 eprover: CPU time limit exceeded, terminating
% 134.09/122.58 eprover: CPU time limit exceeded, terminating
% 136.35/124.60 eprover: CPU time limit exceeded, terminating
% 138.57/126.61 eprover: CPU time limit exceeded, terminating
% 140.73/128.62 eprover: CPU time limit exceeded, terminating
% 142.94/130.63 eprover: CPU time limit exceeded, terminating
% 145.15/132.64 eprover: CPU time limit exceeded, terminating
% 147.35/134.65 eprover: CPU time limit exceeded, terminating
% 149.60/136.67 eprover: CPU time limit exceeded, terminating
% 151.75/138.68 eprover: CPU time limit exceeded, terminating
% 154.00/140.69 eprover: CPU time limit exceeded, terminating
% 156.22/142.70 eprover: CPU time limit exceeded, terminating
% 158.44/144.72 eprover: CPU time limit exceeded, terminating
% 160.59/146.73 eprover: CPU time limit exceeded, terminating
% 162.82/148.74 eprover: CPU time limit exceeded, terminating
% 165.00/150.75 eprover: CPU time limit exceeded, terminating
% 167.21/152.76 eprover: CPU time limit exceeded, terminating
% 169.46/154.77 eprover: CPU time limit exceeded, terminating
% 171.62/156.78 eprover: CPU time limit exceeded, terminating
% 173.89/158.80 eprover: CPU time limit exceeded, terminating
% 176.03/160.81 eprover: CPU time limit exceeded, terminating
% 178.28/162.82 eprover: CPU time limit exceeded, terminating
% 180.50/164.83 eprover: CPU time limit exceeded, terminating
% 182.66/166.84 eprover: CPU time limit exceeded, terminating
% 184.85/168.85 eprover: CPU time limit exceeded, terminating
% 187.03/170.87 eprover: CPU time limit exceeded, terminating
% 189.25/172.88 eprover: CPU time limit exceeded, terminating
% 191.53/174.89 eprover: CPU time limit exceeded, terminating
% 193.66/176.90 eprover: CPU time limit exceeded, terminating
% 195.94/178.91 eprover: CPU time limit exceeded, terminating
% 198.15/180.92 eprover: CPU time limit exceeded, terminating
% 200.34/182.94 eprover: CPU time limit exceeded, terminating
% 202.56/184.95 eprover: CPU time limit exceeded, terminating
% 204.71/186.96 eprover: CPU time limit exceeded, terminating
% 206.94/188.97 eprover: CPU time limit exceeded, terminating
% 209.19/190.98 eprover: CPU time limit exceeded, terminating
% 211.35/192.99 eprover: CPU time limit exceeded, terminating
% 213.58/195.01 eprover: CPU time limit exceeded, terminating
% 215.82/197.02 eprover: CPU time limit exceeded, terminating
% 218.02/199.03 eprover: CPU time limit exceeded, terminating
% 220.22/201.04 eprover: CPU time limit exceeded, terminating
% 222.40/203.05 eprover: CPU time limit exceeded, terminating
% 224.57/205.06 eprover: CPU time limit exceeded, terminating
% 226.79/207.07 eprover: CPU time limit exceeded, terminating
% 229.06/209.09 eprover: CPU time limit exceeded, terminating
% 231.28/211.10 eprover: CPU time limit exceeded, terminating
% 233.42/213.11 eprover: CPU time limit exceeded, terminating
% 235.66/215.12 eprover: CPU time limit exceeded, terminating
% 237.86/217.13 eprover: CPU time limit exceeded, terminating
% 240.05/219.15 eprover: CPU time limit exceeded, terminating
% 242.25/221.16 eprover: CPU time limit exceeded, terminating
% 244.48/223.17 eprover: CPU time limit exceeded, terminating
% 246.68/225.18 eprover: CPU time limit exceeded, terminating
% 248.89/227.20 eprover: CPU time limit exceeded, terminating
% 251.17/229.20 eprover: CPU time limit exceeded, terminating
% 253.35/231.22 eprover: CPU time limit exceeded, terminating
% 255.58/233.23 eprover: CPU time limit exceeded, terminating
% 257.75/235.24 eprover: CPU time limit exceeded, terminating
% 260.01/237.25 eprover: CPU time limit exceeded, terminating
% 262.17/239.26 eprover: CPU time limit exceeded, terminating
% 264.42/241.28 eprover: CPU time limit exceeded, terminating
% 266.65/243.29 eprover: CPU time limit exceeded, terminating
% 268.78/245.30 eprover: CPU time limit exceeded, terminating
% 271.05/247.31 eprover: CPU time limit exceeded, terminating
% 273.26/249.32 eprover: CPU time limit exceeded, terminating
% 275.43/251.33 eprover: CPU time limit exceeded, terminating
% 277.62/253.35 eprover: CPU time limit exceeded, terminating
% 279.80/255.37 eprover: CPU time limit exceeded, terminating
% 282.00/257.38 eprover: CPU time limit exceeded, terminating
% 284.23/259.39 eprover: CPU time limit exceeded, terminating
% 286.49/261.40 eprover: CPU time limit exceeded, terminating
% 288.68/263.42 eprover: CPU time limit exceeded, terminating
% 290.88/265.43 eprover: CPU time limit exceeded, terminating
% 293.06/267.44 eprover: CPU time limit exceeded, terminating
% 295.29/269.45 eprover: CPU time limit exceeded, terminating
% 297.46/271.46 eprover: CPU time limit exceeded, terminating
% 299.67/273.47 eprover: CPU time limit exceeded, terminating
% 300.09/273.83 eprover: CPU time limit exceeded, terminating
% 300.09/273.85 Cputime limit exceeded (core dumped)
%------------------------------------------------------------------------------